C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
101	QUANTUM THEORY AND ANALYSIS John C. BaezStates, Observables, and Symmetries The basic ingredients of a theory of a physical system are mathematical objects describing 1) a set S of states of the system, 2) the Add to Reading List Source URL: www.math.ucr.edu Language: English - Date: 2008-11-18 16:54:34 Spectral theory Operator theory Matrix theory Singular value decomposition Spectrum Self-adjoint operator Spectral theorem Hilbert space Eigenvalues and eigenvectors Algebra Mathematics Linear algebra
102	Foliations, C-algebras and index theory Part III Paul Baum notes taken by: Pawel Witkowski March 15, 2006 Add to Reading List Source URL: toknotes.mimuw.edu.pl Language: English* - Date: 2006-03-15 18:41:18 Differential geometry Algebraic topology Differential topology Vector bundle Vectors Symbol Atiyah–Singer index theorem Pullback Differential form Mathematical analysis Mathematics Differential operators
103	Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:42 Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics Proof theory
104	A geometric characterization of c-optimal designs for heteroscedastic regression Holger Dette Tim Holland-Letz Add to Reading List Source URL: www.statistik.tu-dortmund.de Language: English - Date: 2009-01-12 11:08:18 Regression analysis Design of experiments Econometrics Fisher information Maximum likelihood Linear regression Optimal design Dimensional analysis Hájek–Le Cam convolution theorem Statistics Estimation theory Statistical theory
105	THE CARLO ALBERTO NOTEBOOKS On Concavity and Supermodularity Massimo Marinacci Luigi Montrucchio Add to Reading List Source URL: www.carloalberto.org Language: English - Date: 2011-11-14 08:53:32 Functional analysis Linear algebra Riesz space Riesz representation theorem Vector space Linear functional Normed vector space Approximately finite dimensional C*-algebra Algebra Mathematics Mathematical analysis
106	EPJ Web of Conferences 9 5, DOI: epjconf10 C Owned by the authors, published by EDP Sciences, 2015 Add to Reading List Source URL: www.epj-conferences.org Language: English Nuclear force Nuclear structure Three-body force Nucleon Isotope Atomic nucleus Binding energy Pandya theorem Physics Particle physics Nuclear physics
107	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
108	c 2010 Society for Industrial and Applied Mathematics SIAM J. SCI. COMPUT. Vol. 32, No. 3, pp. 1465–1483 Add to Reading List Source URL: www-m3.ma.tum.de Language: English - Date: 2010-06-21 04:42:34 Wigner quasi-probability distribution Symbol Normal distribution Operator Wave function Central limit theorem Continuous function Wave packet Dirac delta function Physics Quantum mechanics Mathematical analysis
109	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
110	Continuum Mech. Thermodyn:679–698 DOIs00161O R I G I NA L A RT I C L E Yalchin R. Efendiev · Lev Truskinovsky Add to Reading List Source URL: hera.polytechnique.fr Language: English - Date: 2011-05-26 06:14:12 Critical phenomena Phase transitions Quantum field theory Equipartition theorem Nucleation Statistical ensemble Elastic energy Spin Ising model Physics Statistical mechanics Thermodynamics

UPDATE