H-theorem - PDFSEARCH.IO - Document Search Engine

H-theorem
Results: 165

#	Item
41	UITP 2003 Preliminary Version Interactive Theorem Proving with Tasks M. H¨ ubner1 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2008-02-15 04:25:19
42	Normal Typicality and von Neumann’s Quantum Ergodic Theorem Sheldon Goldstein,∗† Joel L. Lebowitz,∗‡ Christian Mastrodonato,§¶ Roderich Tumulka,∗k and Nino Zangh`ı§∗∗ April 15, 2010 Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2010-04-23 15:57:29 Physics Quantum mechanics Theoretical physics Hilbert space Density matrix Quantum statistical mechanics Self-adjoint operator Quantum state Wave function Mathematical formulation of quantum mechanics H-theorem
43	Opinion Supporting a National Treasure It is a sunny July afternoon on the campus of Hampshire College, and the five o’clock “Prime Time Theorem” talk has just ended. The talk is part of the daily ritual for the h Add to Reading List Source URL: web.archive.org Language: English
44	LYAPUNOV-KRASOVSKII STABILITY THEOREM FOR FRACTIONAL SYSTEMS WITH DELAY D. BALEANU1,2, A. RANJBAR N.3, S.J. SADATI R.3, H. DELAVARI3, T. ABDELJAWAD1 (MARAABA), V. GEJJİ4 1 Add to Reading List Source URL: www.nipne.ro Language: English - Date: 2012-10-05 05:08:25
45	A SPECTRAL MULTIPLIER THEOREM FOR A SUBLAPLACIAN ON SU(2) MICHAEL COWLING AND ADAM SIKORA Abstract. We prove a H¨ ormander-type spectral multiplier theorem for a sublaplacian on SU(2), with critical index determined by Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2008-09-07 06:55:54
46	Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2010-04-21 04:49:56 Theoretical computer science Mathematical logic Logic Logic in computer science Automated theorem proving Formal methods Model theory Satisfiability modulo theories Automated reasoning Presburger arithmetic First-order logic Formal verification
47	Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-04-02 18:22:28 Functional languages Type theory Automated theorem proving Hybrid automaton Numerical analysis Proof assistant Coq Verification OCaml Model checking Discretization
48	SUPPLEMENT TO “RATE-OPTIMAL POSTERIOR CONTRACTION FOR SPARSE PCA” By Chao Gao and Harrison H. Zhou Yale University In this text, we present proofs of Proposition 2.1, Lemma 5.1, Lemma 5.8, Lemma 5.10, Theorem 4.2, Th Add to Reading List Source URL: www.stat.yale.edu Language: English - Date: 2015-04-29 14:39:03
49	1 January 10, 2010 ECONOMIC VIEW Of Individual Liberty and Cap and Add to Reading List Source URL: www.robert-h-frank.com Language: English - Date: 2010-01-10 10:59:58 Environmental economics Market failure Emissions trading The Problem of Social Cost Ronald Coase Externality Global warming Coase theorem Carbon emission trading Economics Law and economics Climate change policy
50	On Malliavin’s proof of H¨ormander’s theorem March 10, 2011 Martin Hairer Mathematics Department, University of Warwick Email: Add to Reading List Source URL: www.hairer.org Language: English - Date: 2011-03-10 06:31:00 Vectors Stochastic calculus Integral calculus Operator theory Functional analysis Malliavin calculus Frobenius theorem Vector bundle Heat equation Mathematical analysis Mathematics Algebra

UPDATE