Doherty - PDFSEARCH.IO - Document Search Engine

Doherty
Results: 1049

#	Item
491	LINKMAV, A PROTOYPE ROTARY WING MICRO AERIAL VEHICLE S. Duranti and G. Conte and D. Lundstr¨ om and P. Rudol and M. Wzorek and P. Doherty Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:00:33 Radio-controlled aircraft Helicopter rotor Coaxial rotors Helicopter Radio-controlled helicopter Tail rotor Electric motor Brushless DC electric motor E-Sky Lama model helicopters Aircraft Rotorcraft Aerospace engineering
492	The PMA and Relativizing Change for Action Update Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:08:21 Boolean algebra Propositional calculus Modal logic Philosophical logic Consistency Well-formed formula Mereology Logic Mathematical logic Non-classical logic
493	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic
494	The WITAS UAV System Demonstration Mariusz Wzorek and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {marwz,patdo}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-09 03:42:19 Unmanned aerial vehicles National security Military terminology Signals intelligence Military
495	J Glob Optim DOI[removed]s10898[removed]Optimal placement of UV-based communications relay nodes Oleg Burdakov · Patrick Doherty · Kaj Holmberg · Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-20 06:09:28 Operations research Network theory Network flow Shortest path problem Bellman–Ford algorithm Tree Graph Flow network Tree decomposition Graph theory Mathematics Theoretical computer science
496	Vision for a UAV helicopter Klas Nordberg, Patrick Doherty† , Gunnar Farneb¨ ack, Per-Erik Forss´en, G¨ osta Granlund, Anders Moe, Johan Wiklund † Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:19:19 Unmanned aerial vehicle Pose Template matching Image analysis Artificial intelligence Military Knowledge Computer vision Military terminology Signals intelligence
497	1 Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter Per Olof Pettersson and Patrick Doherty Link¨oping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:45:11 Theoretical computer science Probabilistic roadmap Unmanned aerial vehicle Physics Holonomic Flight controller Mathematics Robot control Motion planning
498	Approximate Databases and Query Techniques for Agents with Heterogeneous Perceptual Capabilities Patrick Doherty Department of Computer Science University of Link¨oping Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:35:11 Database theory Relational model Mathematical structures Relational database management systems Theoretical computer science Relational database Finitary relation Tuple Structure Mathematics Algebra Data management
499	Relay Positioning for Unmanned Aerial Vehicle Surveillance∗ Oleg Burdakov? , Patrick Doherty† , Kaj Holmberg? , Jonas Kvarnstr¨ om† , Per-Magnus Olsson†,‡ ? † Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-11-01 07:29:23 Network theory Shortest path problem Unmanned aerial vehicle Pareto efficiency Mathematics Theoretical computer science Applied mathematics
500	Declarative PTIME Queries to Relational Databases Patrick Doherty Witold Lukaszewicz March 9, 2001 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:09:00 Query languages Formal languages Programming paradigms Model theory Datalog FO Well-formed formula Function Interpretation Logic Mathematics Mathematical logic

UPDATE