Monotonicity - PDFSEARCH.IO - Document Search Engine

Monotonicity
Results: 113

#	Item
61	Complete Monotonicity of the Representative Consumer’s Discount Factor Chiaki Hara∗ Institute of Economic Research, Kyoto University August 25, 2007 Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-01 09:05:04 Spectral theory Analytic number theory Spectral theory of ordinary differential equations Itō diffusion Mathematical analysis Operator theory Ordinary differential equations
62	Preference Monotonicity and Information Aggregation in Elections Sourav Bhattacharya Department of Economics, University of Pittsburgh Email: November 15, 2007 Add to Reading List Source URL: www.wallis.rochester.edu Language: English - Date: 2013-10-21 14:57:47 Elections Voting system criteria Voting systems Voting theory Monotonicity criterion Voting system Preference FO Single peaked preferences Social choice theory Voting Politics
63	Quantum Algorithm for Monotonicity Testing on the Hypercube Aleksandrs Belovs ∗ Eric Blais Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-03-10 20:22:32 Computational complexity theory Quantum information science Analysis of algorithms Property testing Quantum algorithm Decision tree model Monotonic function FO Big O notation Theoretical computer science Mathematics Applied mathematics
64	Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It Add to Reading List Source URL: www.cprover.org Language: English - Date: 2014-06-22 11:48:59 Model checking Thread Monotonic function Abstraction Mathematical analysis Concurrent computing Computing
65	The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:24:41 Sequent Intuitionistic logic Method of analytic tableaux Monotonicity of entailment Proof calculus Rule of inference Proof procedure Modal logic Natural deduction Logic Mathematical logic Proof theory
66	Degree modifiers and monotonicity Rick Nouwen December 21, 2009 Abstract This paper concerns the question of what it takes to be a degree modifier.1 In particular, I propose an account of why only certain predicates can Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 04:55:28 Grammar Adjective Intensifier Adverb Predicate Grammatical modifier Disjunct Noun phrase Comparison Linguistics Parts of speech Syntax
67	On a Rule-Based Interpretation of Default Conditionals James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2007-05-11 16:16:44 Philosophical logic Reasoning Binary operations Default logic Non-monotonic logic Inference Entailment Material conditional Monotonicity of entailment Logic Logical consequence Non-classical logic
68	Noname Vol. 43 Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette · Alexander Krauss Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Symbol Lambda calculus Interpretation Structure Orbifold Curry–Howard correspondence Mathematics Mathematical logic Logic
69	Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette? and Alexander Krauss Institut für Informatik, Technische Universität München, Germany {blanchette,krauss}@in.tum.de Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Logic Metalogic Symbol Interpretation Structure Lambda calculus Orbifold Normal distribution Mathematics Model theory Mathematical logic
70	Dependency Pairs are a Simple Semantic Path Ordering Nachum Dershowitz School of Computer Science, Tel Aviv University Ramat Aviv, Israel Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Rewriting Monotonic function Monotonicity criterion Abstraction Mathematics Formal languages Logic in computer science

UPDATE