Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Mathematics

Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Reconciling Fault-Tolerant Distributed Computing and Systems-On-Chip

Distributed Computing

Computer Networks

Computational Theory

Theoretical Computer Science

English

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Computer-Aided Tools in Negotiation: Negotiable Issues, Counterfactual Thinking, and Satisfaction

Journal of Organizational Computing and Electronic Commerce

Computational Theory

Computer Science Applications

Information Systems

English

Stream Sampling Framework and Application for Frequency Cap Statistics

ACM Transactions on Algorithms

English

Conditional Expectations in $$L^p(\mu ;L^q(\nu ;X))$$ L P ( Μ ; L Q ( Ν ; X ) )

Theoretical Computer Science

English

Scaling Limits in Divisible Sandpiles: A Fourier Multiplier Approach

Journal of Theoretical Probability

English

Hot Enough for You? A Spatial Exploratory and Inferential Analysis of North American Climate-Change Projections

Mathematical Geosciences

Planetary Sciences

English

Representability in Supergeometry

Expositiones Mathematicae

English

Inequalities for Some Integrals Involving Modified Lommel Functions of the First Kind

Results in Mathematics

Applied Mathematics

English