H-theorem - PDFSEARCH.IO - Document Search Engine

H-theorem
Results: 165

#	Item
81	Chapter 1 Beyond the Second Law: An Overview Roderick C. Dewar, Charles H. Lineweaver, Robert K. Niven and Klaus Regenauer-Lieb Add to Reading List Source URL: www.mso.anu.edu.au Language: English - Date: 2014-03-17 02:31:59 Thermodynamic entropy Philosophy of thermal and statistical physics State functions Entropy Fluctuation theorem Second law of thermodynamics Equilibrium thermodynamics Thermodynamic equilibrium Statistical mechanics Thermodynamics Physics Non-equilibrium thermodynamics
82	Bibliographie autour des graphes et surfa es Théorème de Jordan H. Tverberg. A Proof of the Jordan Curve Theorem. Bull. London Math. So . Add to Reading List Source URL: www.gipsa-lab.grenoble-inp.fr Language: English - Date: 2010-01-05 11:15:43 Graph theory Bridge Minor
83	BMGL: Synchronous Key-stream Generator with Provable Security (Revision 1) Johan H˚ astad∗ NADA, Royal Inst. of Technology SE[removed]Stockholm, Sweden Add to Reading List Source URL: www.cosic.esat.kuleuven.be Language: English - Date: 2001-03-16 15:30:07 Cryptography Pseudorandom generator theorem Hard-core predicate Pseudorandom generator Keystream Exponential distribution Itō diffusion Pseudorandomness Theoretical computer science Mathematics
84	STATISTICAL DISTRIBUTIONS OF SPEEDS OF CORONAL MASS EJECTIONS V. Yurchyshyn1 , S. Yashiro2 , V. Abramenko1 3 , H. Wang4 , and N. Gopalswamy5 1 Big 2 Center Add to Reading List Source URL: www.bbso.njit.edu Language: English - Date: 2004-09-16 15:21:18 Astrophysics Astronomy Coronal mass ejection Solar wind Solar flare Log-normal distribution Corona Normal distribution Central limit theorem Space plasmas Plasma physics Physics
85	Mechanical Verification of SAT Refutations with Extended Resolution Nathan Wetzler, Marijn J. H. Heule, and Warren A. Hunt Jr. ⋆ The University of Texas at Austin Abstract. We present a mechanically-verified proof che Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-07-31 07:11:51 Logic Unit propagation Resolution Conjunctive normal form Clause Literal ACL2 Logic programming First-order logic Theoretical computer science Mathematical logic Automated theorem proving
86	MUS Extraction using Clausal Proofs Anton Belov1 , Marijn J. H. Heule2 and Joao Marques-Silva1,3 1 Complex and Adaptive Systems Laboratory, University College Dublin 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:41:50 Mathematics Propositional calculus Unsatisfiable core Conjunctive normal form Resolution Logic programming First-order logic Logic Mathematical logic Automated theorem proving
87	Blocked Clause Decomposition Marijn J. H. Heule? and Armin Biere?? The University of Texas at Austin and Johannes Kepler University Linz Abstract. We demonstrate that it is fairly easy to decompose any propositional form Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 14:11:30 Automated theorem proving Propositional calculus Boolean algebra Mathematical logic Logic in computer science Conjunctive normal form Boolean satisfiability problem Resolution Unit propagation Theoretical computer science Mathematics Logic
88	Everything You Always Wanted to Know About Blocked Sets (But Were Afraid to Ask) Tom´ aˇs Balyo1 , Andreas Fr¨ohlich2 , Marijn J. H. Heule3 , Armin Biere2 ? Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 10:00:09 Automated theorem proving Logic in computer science Propositional calculus NP-complete problems Logic programming Boolean satisfiability problem Unit propagation Conjunctive normal form Resolution Theoretical computer science Mathematics Mathematical logic
89	Efficient Extraction of Skolem Functions from QRAT Proofs Marijn J.H. Heule Martina Seidl and Armin Biere Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:58:16 Model theory Automated theorem proving Boolean algebra Metalogic First-order logic Function True quantified Boolean formula Skolem normal form Resolution Mathematics Logic Mathematical logic
90	Trimming while Checking Clausal Proofs Marijn J.H. Heule, Warren A. Hunt, Jr., and Nathan Wetzler The University of Texas at Austin Abstract—Conflict-driven clause learning (CDCL) satisfiability solvers can emit more t Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 11:58:01 Unsatisfiable core Conjunctive normal form Resolution Five lemma Theorem Logic programming Unit propagation Automated proof checking Boolean satisfiability problem Logic Mathematics Automated theorem proving

UPDATE