Heim theory

Results: 43



#Item
1Model theory / First-order logic / Type / Hoare logic / Unification

A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway

Add to Reading List

Source URL: heim.ifi.uio.no

Language: English - Date: 2015-09-03 07:24:29
2Referring expression / Singular they / Predicate / Interpretation / Grammatical number / Anaphora / Discourse representation theory / Linguistics / Semantics / Philosophy of language

9 File Change Semantics and the Familiarity Theory of Definiteness Irene Heim 1

Add to Reading List

Source URL: www.jimpryor.net

Language: English - Date: 2012-09-11 17:06:38
3Scientific method / Scientific theory / Theory / Optics / Light / Wave–particle duality / Photon / String theory / Heim theory / Physics / Science / Philosophy of science

How do we see things? Author: Date Created: Subject: Level: Standards:

Add to Reading List

Source URL: www.ccmr.cornell.edu

Language: English - Date: 2014-08-04 12:19:44
4Faster-than-light travel / Heim theory / Field propulsion / Gravitomagnetism / Physics / Fringe physics / General relativity

Sacramento Dinner Lecture Series Date: Friday, March 13th, 2009 Venue: Aerospace Museum of California, McClellan, CA Emerging Physics for Novel Field Propulsion Dr. Jochem Hauser, Faculty of Karl-Scharfenberg, Univ. of

Add to Reading List

Source URL: www.hpcc-space.com

Language: English - Date: 2012-03-13 09:03:19
5Faster-than-light travel / Heim theory / Field propulsion / Gravitomagnetism / Physics / Fringe physics / General relativity

Sacramento Dinner Lecture Series Date: Friday, March 13th, 2009 Venue: Aerospace Museum of California, McClellan, CA Emerging Physics for Novel Field Propulsion Dr. Jochem Hauser, Faculty of Karl-Scharfenberg, Univ. of

Add to Reading List

Source URL: www.hpcc-space.de

Language: English - Date: 2012-03-13 09:03:19
6Tests of general relativity / Theoretical physics / Particle physics / Martin Tajmar / Gravitomagnetism / Heim theory / Frame-dragging / String theory / Loop quantum gravity / Physics / General relativity / Fringe physics

Physics of Extreme Gravitomagnetic and Gravity-Like Fields for Novel Space Propulsion and Energy Generation Jochem Hauser 1 , Walter Dröscher 2 ∗ Abstract - Gravity in the form of Newtonian gravity is the weakest of

Add to Reading List

Source URL: www.hpcc-space.de

Language: English - Date: 2012-03-13 09:03:14
7Anti-gravity / Martin Tajmar / Year of birth missing / Gravitomagnetism / Frame-dragging / Gravity Probe B / Gravitation / Mass / Heim theory / Physics / Tests of general relativity / General relativity

Microsoft Word - AerospaceAmericaVers2007Vers4.doc

Add to Reading List

Source URL: www.hpcc-space.com

Language: English - Date: 2012-03-13 09:03:15
8Tests of general relativity / Theoretical physics / Particle physics / Martin Tajmar / Gravitomagnetism / Heim theory / Frame-dragging / String theory / Loop quantum gravity / Physics / General relativity / Fringe physics

Physics of Extreme Gravitomagnetic and Gravity-Like Fields for Novel Space Propulsion and Energy Generation Jochem Hauser 1 , Walter Dröscher 2 ∗ Abstract - Gravity in the form of Newtonian gravity is the weakest of

Add to Reading List

Source URL: www.hpcc-space.com

Language: English - Date: 2012-03-13 09:03:14
9Special relativity / Time / General relativity / Heim theory / Spacetime / Minkowski space / Metric tensor / Equivalence principle / Introduction to special relativity / Physics / Relativity / Lorentzian manifolds

Current Research in Gravito-Electromagnetic Space Propulsion Walter Dröscher and Jochem Hauser 1 Institut für Grenzgebiete der Wissenschaft, 6010 Innsbruck, Austria Abbreviated Version 2

Add to Reading List

Source URL: www.hpcc-space.com

Language: English - Date: 2012-03-13 09:03:24
10Faster-than-light travel / Tests of general relativity / Fringe physics / Heim theory / Gravitomagnetism / Martin Tajmar / Spacetime / Dark matter / Frame-dragging / Physics / General relativity / Theoretical physics

46th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit AIAA 2010-NFF1[removed]July 2010, Nashville, Tennessee

Add to Reading List

Source URL: www.hpcc-space.com

Language: English - Date: 2012-03-13 09:03:13
UPDATE