Ian Pratt - PDFSEARCH.IO - Document Search Engine

Ian Pratt
Results: 20

#	Item
1	Proceedings, 17th National Conference on Artificial Intelligence (AAAI-00), 2000, pp. 423–Total Knowledge∗ Ian Pratt-Hartmann Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2000-09-22 04:39:01
2	No Syllogisms for the Numerical Syllogistic Ian Pratt-Hartmann School of Computer Science, University of Manchester, Manchester M13 9PL, U.K. Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-05-25 00:54:33
3	The Relational Syllogistic Revisited Ian Pratt-Hartmann Abstract The relational syllogistic is the extension of the language of Classical syllogisms in which predicates are allowed to feature transitive verbs with quanti Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-11-21 14:38:26
4	Chapter 1 FIRST-ORDER MEREOTOPOLOGY Ian Pratt-Hartmann Manchester University Second Reader Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-05-29 05:17:31
5	On the Computability of Region-Based Euclidean Logics Yavor Nenov and Ian Pratt-Hartmann School of Computer Science, University of Manchester, UK {nenovy,ipratt}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2010-09-01 07:06:02
6	A Topological Constraint Language with Component Counting Ian Pratt-Hartmann Department of Computer Science, University of Manchester, U.K. Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-08-16 13:52:50
7	Xen and the Art of Virtualization Paul Barham∗, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer†, Ian Pratt, Andrew Warfield University of Cambridge Computer Laboratory 15 JJ Thomson Av Add to Reading List Source URL: timharris.uk Language: English - Date: 2014-08-25 06:24:52
8	Live Migration of Virtual Machines Christopher Clark, Keir Fraser, Steven Hand, Jacob Gorm Hansen † , Eric Jul† , Christian Limpach, Ian Pratt, Andrew Warfield University of Cambridge Computer Laboratory † Departme Add to Reading List Source URL: www.usenix.org Language: English - Date: 2005-05-04 12:35:30
9	Sectoral Marine Planning for Offshore Renewable Energy in Scotland Andronikos Kafas, David Pratt, Robert Watret, Matt Gubbins and Ian Davies Outline  Marine management in Scotland Add to Reading List Source URL: www.partiseapate.eu Language: English - Date: 2013-11-27 11:13:06 Marine (Scotland) Act Renewable energy in Scotland Marine Scotland Scotland United Kingdom Marine spatial planning Wind power in the United Kingdom Fishing in Scotland Climate change in Scotland Environment of Scotland
10	Controlling the XenoServer Open Platform Steven Hand, Tim Harris, Evangelos Kotsovinos, Ian Pratt University of Cambridge Computer Laboratory J J Thomson Avenue, Cambridge, UK, CB3 0FD A Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-20 12:28:49 Virtualization Xen Enterprise JavaBeans Grid computing Server X Window System Distributed computing Operating system VMware Computing Software System software

UPDATE