On the Monotonicity of Process Number Nicolas Nisse, Ronan Pardo Soares To cite this version: Nicolas Nisse, Ronan Pardo Soares. On the Monotonicity of Process Number. Discrete Applied Mathematics, Elsevier, 2016, Discre

Source URL: hal.inria.fr

PAMM · Proc. Appl. Math. Mech. 10, 157 – DOIpammA Verified Monotonicity-Based Solution of a Simple Finite Element Model with Uncertain Node Locations Andrew P. Smith1 , Jürgen Garlof

Source URL: www-home.htwg-konstanz.de

On Distance to Monotonicity and Longest Increasing Subsequence of a Data Stream Funda Ergun∗ Abstract In this paper we consider problems related to the sortedness of a data stream. First we investigate the problem of

Source URL: www.cs.sfu.ca

Weaker Forms of Monotonicity for Declarative Networking: a More Fine-grained Answer to the CALM-conjecture ∗ Tom J. Ameloot

Source URL: alpha.uhasselt.be

Noname Vol. 43 Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette · Alexander Krauss

Source URL: people.mpi-inf.mpg.de

Locally robust implementation and its limits Philippe Jehiely, Moritz Meyer-ter-Vehnz, Benny Moldovanux March 12, 2012 Abstract We study a notion of locally robust implementation that captures the idea that the planner

Source URL: www.econ.ucla.edu

• Game theory
• Mechanism design
• Social choice theory
• Mathematical analysis
• Envelope theorem
• Monotonicity
• Mathematics
• Economy

Most babies are little and most problems are huge: Compositional Entailment in Adjective-Nouns Ellie Pavlick University of Pennsylvania

Source URL: www.cis.upenn.edu

• Logic
• Logical consequence
• Philosophy of logic
• Textual entailment
• SemEval
• Entailment
• Monotonicity of entailment
• Implication
• Implicature
• Argument
• WordNet
• Machine learning

0 Auctions for Heterogeneous Items and Budget Limits ¨ PAUL DUTTING , Department of Mathematics, London School of Economics MONIKA HENZINGER, Faculty of Computer Science, University of Vienna

Source URL: paulduetting.com

• Mechanism design
• Game theory
• Decision theory
• Gaming
• Vickrey auction
• VickreyClarkeGroves mechanism
• Monotonicity
• VickreyClarkeGroves auction
• Valuation
• Incentive compatibility
• Rental harmony

Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗

Source URL: www.dcs.bbk.ac.uk

• Mathematics
• Multiset
• Set
• Path ordering
• Theoretical computer science
• Computing

E¢cient Design with Interdependent Valuations Philippe Jehiel and Benny Moldovanu¤ First version: January 1998, This version: February 20, 2000 Abstract

Source URL: www.econ2.uni-bonn.de

• Mechanism design
• Game theory
• Decision theory
• Gaming
• Mathematics
• Revenue equivalence
• Revelation principle
• Paul Milgrom
• Monotonicity
• Valuation
• Principalagent problem
• Incentive compatibility