Quantification - PDFSEARCH.IO - Document Search Engine

Quantification
Results: 1716

#	Item
791	Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:13:38 Program logic Model theory Hoare logic Function Universal quantification Aliasing Interpretation Propositional calculus Independence Mathematical logic Mathematics Logic
792	Steps Towards Uncertainty Assessment for Calculated Atomic and Molecular Data B. J. Braams and H.-K. Chung Nuclear Data Section, Division of Physical and Chemical Sciences (NAPC) International Atomic Energy Agency, A-140 Add to Reading List Source URL: www-amdis.iaea.org Language: English - Date: 2015-02-13 07:46:15 Numerical analysis Measurement Operations research Uncertainty quantification Uncertainty Monte Carlo method Polynomial chaos Propagation of uncertainty Introduction to quantum mechanics Statistics Probability and statistics Mathematical sciences
793	Formalizations Of Substitution Of Equals For Equals David Gries 1,2 and Fred B. Schneider 1 1 Computer Science, Univ. of Georgia Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:46:38 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Constructible universe Generalization Universal quantification Logic Mathematical logic Mathematics
794	Business, legal and socioeconomic impacts Deliverable: D3.4 Date: 15 May[removed]Version: 1.0 Add to Reading List Source URL: www.laquadrature.net Language: English - Date: 2013-08-20 13:50:49 Quantification Semantics Network neutrality Sensitivity analysis Science Analytic philosophy Logic Philosophical logic Predicate logic
795	John Barnes Expressions This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:30 Procedural programming languages Quantification Predicate logic Conditional ALGOL 68 Control flow Switch statement Universal quantification Regular expression Software engineering Computing Computer programming
796	Open Research Online The Open University’s repository of research publications and other research outputs Quantification of uncertainties in fossil leaf aleoaltimetry: does leaf size matter? Journal Article Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2012-10-28 05:57:47 Regression analysis Statistical classification Ordination Proxy Biome Paleothermometer Statistics Paleoclimatology Calibration
797	Agriculture Sector GHG Practices and Quantification Review Add to Reading List Source URL: sustainablefood.org Language: English - Date: 2010-06-07 13:32:38 Climate change ISO 14064 United Nations Framework Convention on Climate Change Carbon offset Greenhouse gas Kyoto Protocol Low-carbon economy Emissions trading Personal carbon credits Carbon finance Environment Climate change policy
798	QUANTIFICATION OF ACCESSIBILITY LEVELS OF RURAL AREAS: A CASE STUDY IN THE NORTHERN PROVINCE SOUTH AFRICA Prof. Ashoke K. Sarkar Civil Engineering Group Add to Reading List Source URL: www.ilo.org Language: English - Date: 2009-07-22 02:06:00 Environmental design Rural culture Sustainable transport Technology Accessibility Ergonomics Level of service Public transport Rural area Transportation planning Urban design Human geography
799	On the Design and Quantification of Privacy Preserving Data Mining Algorithms Dakshi Agrawal Charu C. Aggarwal Add to Reading List Source URL: www.charuaggarwal.net Language: English - Date: 2006-11-17 15:35:44 Statistical theory Expectation–maximization algorithm Missing data Normal distribution Mutual information Logarithm Entropy Maximum likelihood Variational Bayesian methods Statistics Estimation theory Information theory
800	Possibilist Quantification Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2010-12-02 05:18:40 Philosophical logic Possibility Model theory Predicate logic Actualism Modal realism Possible world Kripke semantics Interpretation Logic Mathematical logic Modal logic

UPDATE