L-theory - PDFSEARCH.IO - Document Search Engine

L-theory
Results: 3295

#	Item
541	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-11-23 16:29:49 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
542	ISSN, Izvestiya, Physics of the Solid Earth, 2009, Vol. 45, No. 1, pp. 63–69. © Pleiades Publishing, Ltd., 2009. Original Russian Text © L.L. Afremov, A.V. Panov, 2009, published in Fizika Zemli, 2009, No. Add to Reading List Source URL: canopus.iacp.dvo.ru Language: English - Date: 2008-12-25 08:39:43 Spectral theory Quantum mechanics
543	Bulletin of Mathematical Biology: 800–818 DOIs11538O R I G I N A L A RT I C L E Evolutionary Entropy: A Predictor of Body Size, Metabolic Rate and Maximal Life Span Add to Reading List Source URL: www.mcz.harvard.edu Language: English - Date: 2009-11-20 14:05:49 State functions Probability and statistics Information theory Philosophy of thermal and statistical physics Entropy Allometry Normal distribution Differential entropy Log-normal distribution Thermodynamic entropy Thermodynamics Physics
544	Containment of Data Graph Queries Egor V. Kostylev Juan L. Reutter University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-11-07 07:11:59 Computational complexity theory Graph Connectivity FO Reachability Tree Theoretical computer science Mathematics Graph theory
545	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
546	Decision Support Methods for Climate Change Adaption 7 Add to Reading List Source URL: www.mediation-project.eu Language: English - Date: 2013-08-14 08:25:04 Decision-making software Robust decision making Adaptation to global warming Mathematical sciences Science Decision making Mediation Real options valuation Thomas L. Saaty Decision theory Analytic Hierarchy Process Management
547	ON CHOOSING AND BOUNDING PROBABILITY METRICS ALISON L. GIBBS AND FRANCIS EDWARD SU Manuscript version January 2002 Abstract. When studying convergence of measures, an important issue is the choice of probability metric. Add to Reading List Source URL: www.math.hmc.edu Language: English - Date: 2002-02-04 06:25:27 Measure theory Metric geometry Mathematics Wasserstein metric Statistical distance Symbol Kullback–Leibler divergence Probability space Radon–Nikodym theorem Mathematical analysis Probability theory Statistics
548	Understanding Periods in Edon80 - Response on Remarks on the Period of Edon80, by Jin Hong D. Gligoroski∗ ∗∗ , S. Markovski∗∗ , L. Kocarev∗∗∗ and M. Guˇ sev∗∗ ∗ Add to Reading List Source URL: www.ecrypt.eu.org Language: English - Date: 2005-07-29 11:43:26 Measurement Inductive reasoning Random variable Log-normal distribution Normal distribution Probability and statistics Randomness Probability theory
549	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
550	EFFICIENT MONTE CARLO FOR NEURAL NETWORKS WITH LANGEVIN SAMPLERS L.A. BREYER, M. PICCIONI, AND S. SCARLATTI Abstract. We consider the task of simulating efficiently from the posterior distribution over weight space of a Add to Reading List Source URL: www.lbreyer.com Language: English - Date: 2006-06-16 03:40:29 Central limit theorem Estimation theory Exponentiation Moment-generating function Integral transforms Normal distribution Fourier transform Mathematical analysis Mathematics Statistics

UPDATE