Equivalence - PDFSEARCH.IO - Document Search Engine

Equivalence
Results: 2665

#	Item
111	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
112	Equivalence of item difficulties across national versions of the PIRLS and PISA reading assessments Aletta Grisay University of Liège, Belgium Add to Reading List Source URL: ierinstitute.org Language: English - Date: 2012-01-04 07:01:18 Education Educational research Psychometrics Reading Organisation for Economic Co-operation and Development Psychological testing Progress in International Reading Literacy Study Programme for International Student Assessment International Association for the Evaluation of Educational Achievement Differential item functioning Standardized test Item response theory
113	SEMI-GRAPHS OF ANABELIOIDS Shinichi Mochizuki October 2005 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2012-03-05 23:18:24 Category theory Mathematics Abstract algebra Sheaf theory Algebraic topology Graph Graph theory Equivalence of categories Adjoint functors Sheaf Category Functor
114	545 Documenta Math. The C ∗ -Algebra of an Affine Map on the 3-Torus Kasper K.S. Andersen and Klaus Thomsen Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-09-26 07:09:33 Algebra Abstract algebra Mathematics General topology Homeomorphisms Local homeomorphism tale morphism Group action Equivalence relation Lie algebras Morphism of algebraic varieties Morphism of schemes
115	Do Tax Cuts Increase Consumption? An Experimental Test of Ricardian Equivalence Add to Reading List Source URL: www.macroeconomics.tu-berlin.de Language: English - Date: 2014-07-30 05:31:23 Economics Economy Consumer behaviour Public economics Structure Ricardian equivalence Permanent income hypothesis Tax Consumption smoothing Intertemporal choice Value-added tax
116	E¢cient Design with Interdependent Valuations Philippe Jehiel and Benny Moldovanu¤ First version: January 1998, This version: February 20, 2000 Abstract Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Mechanism design Game theory Decision theory Gaming Mathematics Revenue equivalence Revelation principle Paul Milgrom Monotonicity Valuation Principalagent problem Incentive compatibility
117	1.14 An SLR campaign on Galileo satellites 5 and 6 for a test of the gravitational redshift – the GREAT experiment P. Delva (1), M. Aimar (2), D. Albanese (2), S. Bertone (3), C. Courde (2), F. Deleflie (4), P. Exerti Add to Reading List Source URL: cddis.gsfc.nasa.gov Language: English - Date: 2016-03-07 11:27:10 Physics Spaceflight Spacecraft Satellite navigation systems Acceleration Albert Einstein Geodesy European Space Agency Galileo GIOVE Equivalence principle Satellite navigation
118	M PRA Munich Personal RePEc Archive Charity Auctions for the Happy Few Olivier Bos Panth´eon-Assas University Add to Reading List Source URL: mpra.ub.uni-muenchen.de Language: English - Date: 2015-12-05 10:00:19 Auction theory Game theory Economy Business First-price sealed-bid auction Vickrey auction All-pay auction Auction Revenue equivalence Eauction Bidding Bid shading
119	Patent Licensing to Bertrand Competitors¤ Benny Moldovanuy and Aner Selaz April 18, 2001 Abstract A cost-reducing process innovation protected by a patent is sold to one Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Auction theory Game theory Marketing Vickrey auction Revenue equivalence Economy Auction Patent
120	The Mother of All Tableaux NOW WORKING ON THE MS — 9:00am 6/30 — NM P Nazarré Merchant Alan Prince Silent, upon a peak in Darien Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2016-07-12 15:05:00 Linguistics Humanities Archaeology Formal languages Grammar Language comparison Linguistic typology Typology Equivalence Dependency grammar Formal grammar Language

UPDATE