Gdel - PDFSEARCH.IO - Document Search Engine

Gdel
Results: 11

#	Item
1	Condition for the absence of timelike closed curves How to find new Lorentzian metrics? Comments on spacetime kinematics First example: Metrics with vanishing shear tensor Second example: Gödel metric Third example: Gen Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:09:06 Theoretical physics Physics General relativity Exact solutions in general relativity Theory of relativity Lorentzian manifolds Gdel metric Metric tensor Spacetime Kurt Gdel Congruence Van Stockum dust
2	Microsoft Word - Front_page-05.doc Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2006-10-21 05:03:58 Knowledge representation American philosophers Analytic philosophers Philosophy of artificial intelligence Philosophy of information Skvde Mereology Ontology Philosophy Luciano Floridi Kurt Gdel Lorenzo Magnani
3	Closed Geodesics in Lorentzian Surfaces Stefan Suhr September 13, 2011 Stefan Suhr Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Differential geometry Dynamical systems Theory of relativity Closed geodesic Geodesic Differential geometry of surfaces Spacetime Surface Prime geodesic Gdel metric
4	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Computability theory Theory of computation Mathematical logic Models of computation Theoretical computer science Gdel numbering Membrane computing Multiset Kurt Gdel Computable number Numbering Turing machine
5	Prize in Game Theory and Computer Science of the Game Theory Society The Prize was established in 2008 in recognition of Ehud Kalai’s role in promoting the connection of the two research areas by an endowment of Yoav S Add to Reading List Source URL: gametheorysociety.org Language: English - Date: 2015-09-27 15:29:59 Constantinos Daskalakis Fellows of the Econometric Society Knuth Prize laureates Game theory Yoav Shoham Symposium on Theory of Computing Ehud Kalai Christos Papadimitriou Nash equilibrium Gdel Prize
6	PRICING & SPECIFICATION GUIDE Geneva Conference April 1, 2016 Design: Add to Reading List Source URL: www.tuohyfurniture.com Language: English - Date: 2016-06-04 16:51:55 Geb Proxy Cabinetry Gdel Escher Bach
7	SIGACCESS FY’14 Annual Report July 2013 – June 2014 Submitted by: Andrew Sears SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s confere Add to Reading List Source URL: www.acm.org Language: English - Date: 2014-11-11 12:51:19 Theoretical computer science Edsger W. Dijkstra ACM SIGACT Association for Computing Machinery Symposium on Theory of Computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Symposium on Computational Geometry ACM-W International Colloquium on Automata Languages and Programming Gdel Prize Symposium on Foundations of Computer Science
8	First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:57 Logic Mathematical logic Abstraction Model theory Non-classical logic Logic in computer science Predicate logic First-order logic Boolean satisfiability problem Gdel numbering Many-valued logic Kripke semantics
9	The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2013-04-23 16:45:47 Philosophy American philosophers Automated planning and scheduling Hierarchical task network Partial-order planning Kurt Gdel Logic programming Godel
10	Microsoft PowerPoint - Ethics_HTAiethics2006_GdeL.ppt Add to Reading List Source URL: www.inahta.org Language: English - Date: 2015-01-05 07:30:05 Health technology assessment Medical ethics Ethology Medicine Behavior University of Toronto Joint Centre for Bioethics Outline of ethics Ethics Bioethics Philosophy of biology

UPDATE