Thomas theorem - PDFSEARCH.IO - Document Search Engine

Thomas theorem
Results: 45

#	Item
1	Result Certification of Static Program Analysers with Automated Theorem Provers∗ Frédéric Besson, Pierre-Emmanuel Cornilleau, and Thomas Jensen Inria Rennes – Bretagne Atlantique Campus de Beaulieu, 35042, Rennes C Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:29
2	PHYSICAL REVIEW E 73, 026121 !2006" Fluctuation theorem for constrained equilibrium systems Thomas Gilbert1,* and J. Robert Dorfman2,† 1 Add to Reading List Source URL: homepages.ulb.ac.be - Date: 2011-09-06 17:31:48
3	Virtual Coordinates for Ad hoc and Sensor Networks∗ Thomas Moscibroda Regina O’Dell Computer Engineering and Networks Laboratory Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:28 Graph theory Planar graphs Maximal independent set Graph minor Minimum spanning tree Graph coloring Graph Planar separator theorem Line graph
4	Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2012-07-18 09:07:52 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic programming Logic in computer science Type theory Logical truth Substitution Unification Admissible rule Symbol
5	ON A THEOREM OF OSSA DAVID COPELAND JOHNSON AND W. STEPHEN WILSON (Communicated by Thomas G. Goodwillie) Abstract. If V is an elementary abelian 2-group, Ossa proved that the connective K-theory of BV splits into copies Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Algebra Abstract algebra Mathematics Homotopy theory Algebraic topology Cohomology Spectrum P-group Steenrod algebra Abelian group Algebraic geometry Classifying space for U
6	Mechanisms with Unique Learnable Equilibria ¨ PAUL DUTTING , Stanford University THOMAS KESSELHEIM, Cornell University ´ Add to Reading List Source URL: paulduetting.com Language: English - Date: 2014-04-23 11:54:36 Game theory Decision theory Nash equilibrium Linear utility Mechanism design First-price sealed-bid auction Correlated equilibrium Strategy Folk theorem
7	Approximation Algorithms for Single and Multi-Commodity Connected Facility Location Fabrizio Grandoni & Thomas Rothvoß Department of Mathematics, M.I.T. Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2013-11-01 17:11:36 NP-complete problems Approximation algorithms Operations research Facility location problem Combinatorial optimization Steiner tree problem APX Draft:Sub-linear time algorithm Planar separator theorem
8	RAPID COMMUNICATIONS PHYSICAL REVIEW E 73, 035102共R兲共2006兲 Fluctuation theorem applied to the Nosé–Hoover thermostated Lorentz gas Thomas Gilbert* Add to Reading List Source URL: homepages.ulb.ac.be Language: English - Date: 2011-09-06 17:31:57 Non-equilibrium thermodynamics NosHoover thermostat Fluctuation theorem
9	5 Which Processes Satisfy the Second Law? Thomas M. Covert Durand Bldg Rm 121 Sranford University Stanford, CA 9430 I, USA Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2014-02-18 12:20:16 Information theory Philosophy of thermal and statistical physics Thermodynamic entropy Markov models Non-equilibrium thermodynamics Entropy rate Markov chain Entropy Asymptotic equipartition property KullbackLeibler divergence H-theorem Second law of thermodynamics
10	The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten Add to Reading List Source URL: www.iltp.de Language: English - Date: 2013-01-21 15:04:19