Lof

Results: 179



#Item
171Inductive reasoning / Per Martin-Löf / Random sequence / Entropy / Randomness / Probability and statistics / Mathematics

Measures and Transformations Arbitrary Measures

Add to Reading List

Source URL: www.ims.nus.edu.sg

Language: English - Date: 2010-01-12 23:03:20
172Model theory / Mathematical constructivism / Function / Lambda calculus / Interpretation / Type theory / Universal quantification / Adjoint functors / Primitive recursive arithmetic / Mathematics / Mathematical logic / Logic

NOTIONS OF ANONYMOUS EXISTENCE ¨ TYPE THEORY IN MARTIN-LOF

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2014-03-31 11:37:40
173Legal terms / Arbitration / Arbitration clause / Business law / Marine salvage / Contract / Property / Law / Contract law / Private law

LOF 2011

Add to Reading List

Source URL: www.lloyds.com

Language: English
174Cryptography / Random number generation / Random sequence / Per Martin-Löf / Probability theory / Entropy / Complexity / Andrey Kolmogorov / NL / Randomness / Probability and statistics / Mathematics

Randomness by Design William A. Dembski Conceptual Foundations of Science

Add to Reading List

Source URL: www.designinference.com

Language: English - Date: 2012-05-23 07:37:37
175Set theory / Constructive set theory / Intuitionism / Mathematical constructivism / Axiom of choice / Zermelo–Fraenkel set theory / Constructivism / Axiom / Function / Mathematical logic / Mathematics / Logic

100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf

Add to Reading List

Source URL: www.math.kth.se

Language: English - Date: 2006-02-08 12:22:57
176Arbitration clause / Marine salvage / Arbitration / Contract / Property / Law / Private law / Contract law

LOF[removed]Lloyd’s Standard Form of Salvage Agreement

Add to Reading List

Source URL: www.lloyds.com

Language: English
177Sufficient statistic / T-statistic / Maximum likelihood / Efficiency / Normal distribution / Per Martin-Löf / E. J. G. Pitman / Statistics / Statistical theory / Likelihood-ratio test

PDF Document

Add to Reading List

Source URL: www.stat.uchicago.edu

Language: English - Date: 2009-04-07 10:02:05
178Outlier / Anomaly detection / ELKI / Hans-Peter Kriegel / K-nearest neighbor algorithm / LOF / Plot / Statistics / Data mining / Local outlier factor

PDF Document

Add to Reading List

Source URL: www.dbs.ifi.lmu.de

Language: English - Date: 2009-11-19 06:27:50
179Local outlier factor / Multivariate statistics / Outlier / Cluster analysis / Anomaly detection / DBSCAN / BIRCH / Hans-Peter Kriegel / LOF / Statistics / Data mining / Data analysis

PDF Document

Add to Reading List

Source URL: www.dbs.ifi.lmu.de

Language: English - Date: 2000-03-01 04:16:11
UPDATE