E-function - PDFSEARCH.IO - Document Search Engine

E-function
Results: 1361

#	Item
761	c Applied Mathematics E-Notes, [removed]), [removed] Available free at mirror sites of http://www.math.nthu.edu.tw/∼amen/ ISSN[removed] Add to Reading List Source URL: www.math.nthu.edu.tw Language: English - Date: 2010-10-03 00:28:09 Contraction Continuous function Limit superior and limit inferior Functional analysis Mathematical analysis Mathematics Operator theory
762	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
763	On the so-called antinomy of the variable Joshua Schwartz 1 The creation and use of quantifier-variable notations (e.g., “(∀x)(F x)”), which launched the rapid development of mathematical logic in the 19th century, Add to Reading List Source URL: cas.uchicago.edu Language: English - Date: 2012-08-29 15:59:06 Predicate logic Semantics Elementary mathematics Model theory Quantification Function First-order logic Proposition Expression Logic Mathematics Mathematical logic
764	E¢ cient Likelihood Evaluation of State-Space Representations David N. DeJong , Hariharan Dharmarajan , Roman Liesenfeld Guilherme V. Moura , Jean-Francois Richard Pitt Bates and White Add to Reading List Source URL: www.szgerzensee.ch Language: English - Date: 2014-05-16 09:37:51 Robot control Monte Carlo methods Bayesian statistics Economics Particle filter Dynamic stochastic general equilibrium Likelihood function Normal distribution Estimation theory Statistics Control theory
765	c Applied Mathematics E-Notes, [removed]), [removed] Available free at mirror sites of http://www.math.nthu.edu.tw/∼amen/ ISSN[removed] Add to Reading List Source URL: www.math.nthu.edu.tw Language: English - Date: 2010-10-22 04:31:20 Symbol Partial differential equation Hyperbolic function Wave equation Differential equation Calculus Mathematical analysis Mathematics
766	Real Analysis Exchange Summer Symposium 2009, pp. 21–23 Kenneth R. Kellum, Department of Mathematics, San Jos´e State University, San Jos´e, California 95192, USA. email: [removed] Add to Reading List Source URL: www.stolaf.edu Language: English - Date: 2010-01-15 15:06:14 General topology Calculus Algebraic topology Continuous function Locally connected space Connected space Sheaf Metric geometry Intermediate value theorem Topology Mathematics Mathematical analysis
767	Real-Time Continuous 6D Relocalisation for Depth Cameras Jos´e Mart´ınez-Carranza∗ and Walterio Mayol-Cuevas∗† ∗ Department of Computer Science, University of Bristol, UK Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:06:36 Artificial intelligence Vision Image processing Visual descriptors RANSAC Hash function Feature Hash table Select Computer vision Statistics Search algorithms
768	Strongly History-Independent Hashing with Applications Guy E. Blelloch ∗ Computer Science Department Carnegie Mellon University Daniel Golovin † Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-09-21 01:15:40 Information science Artificial intelligence Hash table Hash function Linear probing Cuckoo hashing Universal hashing Quadratic probing Dynamic perfect hashing Hashing Search algorithms Information retrieval
769	ORIGINAL INVESTIGATION Risk Factors for End-Stage Renal Disease 25-Year Follow-up Chi-yuan Hsu, MD, MSc; Carlos Iribarren, MD, PhD; Charles E. McCulloch, PhD; Jeanne Darbinian, MPH; Alan S. Go, MD Add to Reading List Source URL: archinte.jamanetwork.com Language: English Biology Renal function Chronic kidney disease Renal failure Creatinine Proteinuria Hyperuricemia Kidney transplantation Diabetic nephropathy Medicine Kidney diseases Anatomy
770	TEACHING AND LEARNING IN SCIENCE \CHEM/GRAD 971 Spring 2010 Add to Reading List Source URL: www.unh.edu Language: English - Date: 2011-03-09 10:26:41 Email Synthesizer X Window System E-learning Function Software Music Computing

UPDATE