Quantification

Results: 1716



#Item
781Ontology / Topology / Mereology / Predicate logic / Substance theory / Coproduct / Causality / Economic model / Universal quantification / Mathematical logic / Logic / Mathematics

  Structure, Dependence and Categories L. A. Paul UNC-Chapel Hill My central thesis: Ontological structure depends on the ontological categories. There is only

Add to Reading List

Source URL: www.bris.ac.uk

Language: English - Date: 2011-04-08 07:09:14
782Cell biology / Skin physiology / Traumatology / Wound healing / Cell migration / Healing / Cell / Monolayer / Endothelium / Biology / Physiology / Angiology

Quantification of cell alignment and migration for biomedical engineering applications Advisors: Georgios Stefopoulos, Dr. Aldo Ferrari and Prof. Dimos Poulikakos Keywords Biological image analysis, wound healing, cell m

Add to Reading List

Source URL: www.ltnt.ethz.ch

Language: English - Date: 2014-12-06 13:42:33
783Predicate logic / Markup languages / Mathematical markup languages / Computability theory / OpenMath / First-order logic / Quantification / MathML / Lambda calculus / Logic / Mathematical logic / Mathematics

Quantifiers and n-ary Binders: an OpenMath Standard Enhancement Proposal Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden;

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2013-07-06 08:50:41
784Quantification / Philosophical logic / Predicate logic / Linguistic modality / Logic / Semantics / Science

  Title:     The  Modality  of  Quantification     Abstract:     In  reaction  to  some  puzzling  interactions  between  quantifiers,  

Add to Reading List

Source URL: philosophy.ucsd.edu

Language: English - Date: 2014-03-27 13:08:41
785Predicate logic / Semantics / Statements / Philosophy of language / Propositional calculus / Proposition / Quantification / Naturalness / Type theory / Logic / Mathematical logic / Science

Comments on Ted Sider’s “Which questions are substantive?” J.R.G.Williams∗ (March 25, 2007) Ted Sider’s paper ‘Which disputes are substantive?’ is incredibly rich and stimulating. I want to raise three ques

Add to Reading List

Source URL: www.personal.leeds.ac.uk

Language: English - Date: 2007-03-25 17:49:52
786Predicate logic / Model theory / Philosophy of language / Semantics / First-order logic / Function / Proposition / Constructible universe / Quantification / Logic / Mathematical logic / Mathematics

On Specifying Truth-Conditions∗ Agust´ın Rayo Massachusetts Institute of Technology December 4, 2007 Consider a committalist—someone who believes that assertions of a sentence like ‘the number of the planets is 8

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2007-12-04 13:13:48
787Measurement / Cognition / Statistical theory / Uncertainty / Sensitivity analysis / Foam / Statistics / Knowledge / Science

INTERNSHIP / MASTER THESIS Uncertainty quantification and sensitivity analysis applied to CFD simulations of foam-based catalytic reactors ASCOMP develops its own CFD software, TransAT, as a specialized tool for simulati

Add to Reading List

Source URL: edit.ethz.ch

Language: English
788Philosophy of language / Mathematics / Modal logic / Philosophical logic / De dicto and de re / Quantification / Opaque context / Predicate abstraction / Interpretation / Logic / Mathematical logic / Semantics

Specific, Yet Opaque Zolt´an Gendler Szab´o Yale University [removed] Abstract. In her dissertation, Janet Fodor has argued that the quantificational force and the intensional status of certain quantifier

Add to Reading List

Source URL: pantheon.yale.edu

Language: English - Date: 2010-07-13 19:36:25
789Polymerase chain reaction / Laboratory techniques / Molecular biology / Chemistry / Amplifiers / Sausage / Real-time polymerase chain reaction / Pork / Chicken / Food and drink / Meat / Biology

Eur Food Res Technol[removed]:55–61 DOI[removed]s00217[removed]ORIGINAL PAPER Quantification of beef, pork, chicken and turkey proportions

Add to Reading List

Source URL: www.ag.ch

Language: English - Date: 2012-12-10 10:52:42
790Mathematical proofs / Inductive reasoning / Mathematical induction / Proof theory / Constructible universe / Universal quantification / String / Surreal number / Peano axioms / Mathematics / Mathematical logic / Logic

COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 9 Discrete Mathematics (AMP) (a) The subset S of N = {0, 1, 2, . . .} is inductively defined by the following axiom and rules, where n ranges over N:

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:18:43
UPDATE