Derek Fox - PDFSEARCH.IO - Document Search Engine

Derek Fox
Results: 23

#	Item
1	Dissertation Abstract ¨ Emre Okkes ¸ Savas¸ Supervisors: Maria Fox, Derek Long Department of Informatics, Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:40 Mathematics Automated planning and scheduling Control engineering Planning Domain Definition Language Control theory Mathematical optimization Variable Parameter Linear programming Motor coordination
2	Temporal Inference In Forward Search Temporal Planning Dissertation Abstract Atif Talukdar Supervisors: Maria Fox and Derek Long King’s College London London WC2R 2LS Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:43 Logic Metaphysics Philosophy of science Theoretical philosophy Reasoning Logic in computer science Expert systems Inference Logical consequence Causality Automated planning and scheduling Forward chaining
3	Death of Massive Stars (DoMaS) Probe Pete RomingÜ (), Eric Schlegel, Thomas GreathouseÜ, Neil GehrelsÖ, Chris FryerÆ, Derek Fox®, Michael DavisÜ, Amanda BaylessÜ I. INTRODUCTION The death of mass Add to Reading List Source URL: pcos.gsfc.nasa.gov Language: English - Date: 2016-02-29 09:56:05 Astronomy Outer space Nature Space observatories Gamma-ray burst Neil Gehrels X-ray telescope X-ray transient Reionization Compton Gamma Ray Observatory European Southern Observatory X-ray astronomy
4	Planning Domains and Plans: Validation, Verification and Analysis Derek Long and Maria Fox Richard Howey {} Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48
5	INTERNATIONAL X-RAY OBSERVATORY EXTREME STATES OF MATTER Frits Paerels/ Columbia University Sudip Bhattacharyya (Tata Institute), Ed Cackett (U. Michigan), Jean Cottam (GSFC), Derek Fox (PSU), Wynn Ho (Harvard), Peter Jo Add to Reading List Source URL: ixo.gsfc.nasa.gov Language: English - Date: 2008-12-29 13:26:06 Phases of matter Quark matter Space telescopes International X-ray Observatory Neutron star Pulsar Spectroscopy X-ray burster Neutron Physics Star types Exotic matter
6	HAL E. HERSHFIELD, DANIEL G. GOLDSTEIN, WILLIAM F. SHARPE, JESSE FOX, LEO YEYKELIS, LAURA L. CARSTENSEN, and JEREMY N. BAILENSON? Many people fail to save what they will need for retirement. Research on excessive discoun Add to Reading List Source URL: people.stern.nyu.edu Language: English - Date: 2011-10-03 17:23:13 Ethology Virtual world Mind Hyperbolic discounting Intertemporal choice Derek Parfit Psychology of self Empathy Virtual community Virtual reality Behavior Social psychology
7	Forward-Chaining Partial-Order Planning Amanda Coles and Andrew Coles and Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastname Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2010-06-08 10:04:32 Search algorithms Mathematics Mathematical optimization Job shop scheduling Partial-order planning Planning Domain Definition Language A* search algorithm STRIPS Backtracking Artificial intelligence Operations research Automated planning and scheduling
8	Incremental Constraint-Posting Algorithms in Interleaved Planning and Scheduling Amanda Coles, Andrew Coles, Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-09-29 10:17:17 Operations research Constraint programming Convex optimization Linear programming Constraint satisfaction Shortest path problem Automated planning and scheduling Mathematical optimization Planning Domain Definition Language Mathematics Applied mathematics Theoretical computer science
9	Teaching Forward-Chaining Planning with JAVA FF Andrew Coles, Maria Fox, Derek Long and Amanda Smith Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastna Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2008-04-25 19:16:20 Algorithm Planner Planning Best-first search A* search algorithm Heuristic function Automated planning and scheduling Artificial intelligence Search algorithms Mathematics
10	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic