Theorem - PDFSEARCH.IO - Document Search Engine

Theorem
Results: 6939

#	Item
631	LNCSOur Data, Ourselves: Privacy Via Distributed Noise Generation Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2008-09-15 04:56:28 Statistics Probability Mathematical analysis Probability distributions Normal distribution Randomness extractor Exponential distribution Central limit theorem Gaussian function
632	B-test: A Non-parametric, Low Variance Kernel Two-sample Test Arthur Gretton Gatsby Unit University College London Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-09-05 02:59:42 Statistics Probability distributions Statistical inference Computational statistics Nonparametric statistics Hypothesis testing Normal distribution Bootstrapping Central limit theorem Chi-squared distribution Median Variance
633	Dynamic Graph Labeling Andreas Kinell Instructors: Regina O’Dell Roger Wattenhofer November 6, 2004 Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:37:00 Graph theory NP-complete problems Graph Graph coloring Planar graph Dominating set Connectivity Graph operations Planar separator theorem
634	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
635	Inference, Models and Simulation for Complex Systems Lecture 7 Prof. Aaron Clauset 1 Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2011-09-16 15:35:38 Statistics Mathematical analysis Probability Covariance and correlation Random walk Correlation and dependence Correlation function Normal distribution Autocorrelation Time series Central limit theorem Chaos theory
636	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution
637	51 Documenta Math. Variations on the Bloch-Ogus Theorem Ivan Panin, Kirill Zainoulline Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-09-22 14:29:20 Algebra Abstract algebra Mathematics Algebraic geometry Sheaf theory Algebraic varieties Cohomology theories Homological algebra Sheaf Proper morphism tale cohomology Morphism of algebraic varieties
638	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
639	Daniel GorensteinA Biographical Memoir by Michael Aschbacher Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2016-03-10 13:32:54 Algebra Abstract algebra Group theory Finite groups Classification of finite simple groups Signalizer functor Koichiro Harada Simple group Richard Lyons L-balance theorem Fitting subgroup Daniel Gorenstein
640	Camerer & Talley, Experimental Law and Economics (DRAFT: Do not quote, cite or circulate without permission) Add to Reading List Source URL: people.hss.caltech.edu Language: English - Date: 2004-12-29 10:40:00 Economics Science Economy Prospect theory Design of experiments Experiments Behavioral finance Law and economics Experimental economics Behavioral economics Coase theorem Field experiment

UPDATE