C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
31	ECONOMETRIC SPECIFICATIONS OF STOCHASTIC DISCOUNT FACTOR MODELS C. GOURIEROUX (1) Add to Reading List Source URL: www.istfin.eco.usi.ch Language: English - Date: 2009-01-27 08:16:48 Mathematical finance Finance Economy Money Stochastic discount factor BlackScholes model Stochastic volatility Volatility Girsanov theorem HullWhite model
32	Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Logic Logic programming Automated theorem proving Prolog Substitution Interpreter Term Programming language Declarative programming
33	Statistics of Robust Optimization: A Generalized Empirical Likelihood Approach John C. Duchi1 Peter W. Glynn2 Add to Reading List Source URL: stanford.edu Language: English - Date: 2016-07-20 19:02:49 Normal distribution Central limit theorem
34	C:/Mina dokument/4th year project/ProjectReport.dvi Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2007-02-02 09:38:01 Automated theorem proving Rippling IsaPlanner A* search algorithm Mathematical proof Planner Isabelle Theorem Prolog
35	C´ edric VILLANI: Curriculum Vitae (last updated August 4, 2012) Professor of the Universit´e de Lyon Director of the Institut Henri Poincar´e 11 rue Pierre et Marie Curie, FParis Cedex 05, FRANCE. Tel.: +33 1 Add to Reading List Source URL: cedricvillani.org Language: English - Date: 2012-10-25 16:30:22 Philosophy of thermal and statistical physics Dynamical systems Thermodynamic entropy Statistical mechanics Alessio Figalli Differential equation Nonlinear system Ludwig Boltzmann Differential geometry of surfaces Entropy Boltzmann equation H-theorem
36	Algebra 2. Teorema di Lindemann-Weierstrass. Roma, gennaio 2010 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem. Let Q denote the algebraic closure of Q inside C. Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2010-01-22 06:36:10 Transcendental numbers Number theory E Exponentials LindemannWeierstrass theorem Pi Constructible universe E-function SchneiderLang theorem Auxiliary function
37	UoB Maths C. Good, N. Kamaleson, C. Mu, D. Parker, M. Puljiz, Add to Reading List Source URL: www.hieratic.eu Language: English Foliations Frobenius theorem
38	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Theoretical computer science Constraint programming Satisfiability modulo theories Z3 Isabelle Formal verification Proof assistant Automated reasoning E theorem prover
39	SIAM J. MATRIX ANAL. APPL. Vol. 27, No. 1, pp. 61–71 c 2005 Society for Industrial and Applied Mathematics Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2007-09-11 17:01:53 Matrices Matrix theory Linear algebra Mathematical physics Order theory Hermitian matrix Eigenvalues and eigenvectors Matrix Symmetric matrix SchurHorn theorem Tridiagonal matrix Orthogonal matrix
40	COMPUTING SHORTEST PATHS USING SPARSE GAUSSIAN ELIMINATION Aydın Bulu¸c, John Gilbert, Sivan Toledo SIAM Workshop on Network Science 2014 July 6-7 · Chicago For example, U ∗ encodes the paths from lower numbered Add to Reading List Source URL: siam.org Language: English - Date: 2014-06-30 13:57:26 Routing algorithms Network theory Graph theory Graph connectivity Dynamic programming FloydWarshall algorithm Shortest path problem Distance Path Planar separator theorem Edge disjoint shortest pair algorithm

UPDATE