C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
291	Geometric Singular Perturbation Theory Christopher K.R.T. Jones Division of A p p l i e d M a t h e m a t i c s Brown University P r o v i d e n c e , R I 02912 Add to Reading List Source URL: gorbankarlin.narod.ru Language: English - Date: 2013-04-04 00:34:12 Differential geometry Differential topology Tangent space Diffeomorphism Differential equation Manifold Frobenius theorem Itō diffusion Mathematical analysis Mathematics Theoretical physics
292	C OV ER F E AT U RE Overcoming CAP with Consistent Soft-State Replication Add to Reading List Source URL: dfreedman.cs.cornell.edu Language: English - Date: 2012-01-26 12:18:05 Computer architecture Data synchronization Database management systems Distributed computing architecture Computer storage Virtual synchrony Replication CAP theorem State machine replication Computing Fault-tolerant computer systems Concurrent computing
293	C AHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES RONALD B ROWN C HRISTOPHER B. S PENCER Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2008-05-25 09:00:41 Mathematics Category theory Higher category theory Algebraic topology Algebraic structures Double groupoid Groupoid Seifert–van Kampen theorem Crossed module Abstract algebra Homotopy theory Topology
294	H* PowerPoint letter is 10 x 7.5", by its ruler - apparently 12" margins are not shown. Imported gif is -> 8960,720,3<: 960 10 = 96; 720 7.5 = 96 , so this is 96 dpi. L LatheInput1 = Import@"C:\\Users\\3000\\Des Add to Reading List Source URL: www.youvan.com Language: English* - Date: 2014-05-25 12:14:47 Gauss–Markov theorem 8I 8J
295	errata et corrigenda (as of 23mar09) Box Splines C. de Boor, K. H¨ ollig, S. Riemenschneider xvi/2/-2: τj --> τ j 3/(7)/: {x} + --> x + Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2009-04-29 19:36:31 Parallelepiped Space-filling polyhedra Zonohedra Sinc function Theorem Logic Mathematics Geometry
296	Optimal rates for zero-order optimization: the power of two function evaluations John C. Duchi1 Michael I. Jordan1,2 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-12-09 20:27:48 Mathematical optimization Operations research Maximum likelihood Hájek–Le Cam convolution theorem Statistics Estimation theory Statistical theory
297	An Elementary Problem Equivalent to the Riemann Hypothesis Jeffrey C. Lagarias arXiv:math/0008177v2 [math.NT] 6 May[removed]May 5, 2001 version) Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 01:10:59 Integer sequences Analytic number theory Divisor function Conjectures Colossally abundant number Superabundant number Riemann hypothesis Riemann zeta function Prime number theorem Mathematics Mathematical analysis Number theory
298	Applications of Feasible Path Analysis to Program Testing Allen Goldberg, T.C. Wang, David Zimmerman* Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:07 Mathematical logic Automated theorem proving Formal methods Metalogic KeY Resolution First-order logic Model theory Well-formed formula Logic Mathematics Theoretical computer science
299	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:59 Type theory Reasoning Proof theory Deduction Natural deduction Logical framework Resolution First-order logic Type system Logic Mathematical logic Automated theorem proving
300	THE JOHN ELLIPSOID THEOREM RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C[removed], USA [removed] Add to Reading List Source URL: www.math.sc.edu Language: English - Date: 2003-09-05 08:42:13 Mathematics Functional analysis John ellipsoid Ellipsoid Convex function Banach–Mazur compactum Convex hull Block design Multivariate normal distribution Geometry Mathematical analysis Convex analysis

UPDATE