Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|riazanov|seanb|horrocks}@cs.man.ac.

Source URL: www.cs.man.ac.uk

A Proposal for an OWL Rules Language Ian Horrocks Peter F. Patel-Schneider University of Manchester

Source URL: www.cs.man.ac.uk

In the 7th IEEE International Conference on Computer Vision, September 20–27, 1999, Kerkyra, Greece. Globally Optimal Regions and Boundaries Ian H. Jermyn and Hiroshi Ishikawa Courant Institute of Mathematical Science

Source URL: www.f.waseda.jp

THE ROLE OF CADASTRES IN SUSTAINABLE DEVELOPMENT Ian Williamson Emeritus Professor Centre for Spatial Data Infrastructure and Land Administration Department of Infrastructure Engineering

Source URL: csdila.unimelb.edu.au

• Real estate
• Surveying
• Geography
• Economy
• Land law
• Land management
• Property law
• Real property law
• Cadastre
• Land administration
• National mapping agency
• Land survey

Information Elicitation for Decision Making∗ Yiling Chen Ian A. Kash School of Engineering and

Source URL: yiling.seas.harvard.edu

SWEETPEA: Software Tools for Programmable Embodied Agents Michael Kaminsky∗, Paul Dourish, W. Keith Edwards, Anthony LaMarca, Michael Salisbury and Ian Smith *

Source URL: www.dourish.com

• Human communication
• User interface techniques
• Barney & Friends
• Surface computing
• Humancomputer interaction
• User interface
• ActiMates
• Ubiquitous computing
• Embodied agent
• Ambient intelligence
• Android
• Internet protocol suite

www.jcmglobal.com NEWS RELEASE 925 PILOT ROAD  LAS VEGAS  NEVADA 89119   FAXJCM Global Names Ian Payne General Manager of JCM Global Australasia

Source URL: emea-en.jcmglobal.com

Looking for Carbon-Rich Giant Planets: Ground-based Observations of the Extremely Hot Jupiter WASP-12b Ian Crossfield (UCLA) w/Brad Hansen & Travis Barman

Source URL: www.astro.ex.ac.uk

Steve Leider, University of Michigan Do Convex Incentive Schemes Attract Overconfident Employees?  Experimental Evidence (with Ian Larkin, Harvard Business School)

Source URL: economics-experiments.unimelb.edu.au

Bull. Astr. Soc. India, in press Low-frequency GMRT observations of the magnetic Bp star HR Lup (HDSamuel J. George1,2∗ and Ian R. Stevens2 1

Source URL: www.ncra.tifr.res.in