The PEPA Eclipse Plug-in A modelling, analysis and verification platform for PEPA Adam Duguid, Stephen Gilmore, Michael Smith and Mirco Tribastone Wednesday 01 December 2010

Source URL: www.dcs.ed.ac.uk

• System software
• Process calculi
• PEPA
• Markov models
• Software
• Markov chain
• Workbench
• Process calculus
• Time series

Bio & Background: Pradeep Varakantham received his PhD in 2007 from University of Southern California with Prof. Milind Tambe. He did a postdoctoral fellowship with Stephen Smith at Carnegie Mellon University until 200

Source URL: www.aamas-conference.org

• Artificial intelligence
• International Conference on Autonomous Agents and Multiagent Systems
• International Joint Conference on Artificial Intelligence
• Academia
• Peter Stone
• Computer science

Town of Ontario Planning Board Minutes January 12, 2016 Present: Planning Board Members – Chairman Stephen Leaty, Gerald Smith, Tab Orbaker, Town Engineer Kurt Rappazzo, Interim Planning Board Secretary Nicole Yonker A

Source URL: www.ontariotown.org

From: President <> To: xxxxxxx Date: 19 December:41:31 GMT Subject: Strengthening our Health leadership roles at Imperial A LETTER TO THE FACULTY OF MEDICINE FROM THE PRESIDENT

Source URL: www.dcscience.net

• Health
• Euthenics
• Health policy
• Public health
• Quality of life
• Personal life
• Stephen Kevin Smith
• Ohio State University Health Sciences Center for Global Health

3 Continuous Auditory and Tactile Interaction Design Yon Visell, Roderick Murray-Smith, Stephen A. Brewster, and John Williamson

Source URL: dl.dropboxusercontent.com

• Multimodal interaction
• User interface techniques
• Virtual reality
• Sensory systems
• Hearing
• Sensory substitution
• Haptic technology
• Earcon
• Auditory display
• Sensory processing
• Auditory feedback
• Sensory cue

Bio & Background: Pradeep Varakantham received his PhD in 2007 from University of Southern California with Prof. Milind Tambe. He did a postdoctoral fellowship with Stephen Smith at Carnegie Mellon University until 200

Source URL: www.ifaamas.org

• Artificial intelligence
• International Conference on Autonomous Agents and Multiagent Systems
• International Joint Conference on Artificial Intelligence
• Peter Stone

7 Trends in Autumn Counts of Migratory Raptors Around the Gulf of Mexico, 1995–2005 Jeff P. Smith,1 Christopher J. Farmer,2 Stephen W. Hoffman,3 Casey A. Lott,4

Source URL: rpi-project.org

4 Value Added Tax and Excises Ian Crawford, Michael Keen, and Stephen Smith∗ Ian Crawford is a Reader in Economics at the University of Oxford, a Fellow of New College, and a Research Fellow at the IFS. His main areas

Source URL: www.ifs.org.uk

~4~ Teamwork Is Its Own Reward James A. Chatfield, Joseph F. Boggs, Gary Y. Gao, Erik A. Draper, Keith L. Smith, Barbara G. Ludwig, and Stephen R. Baertsche The Extension Nursery Landscape and

Source URL: ohioline.osu.edu

Development of arrays of position-sensitive microcalorimeters for Constellation-X Stephen J. Smith*,a,b , Simon R. Bandlera,c, Regis P. Brekoskya,d, Ari -D. Browna,b, James A. Chervenaka, Megan E. Eckarta,b, Enectali Fig

Source URL: ixo.gsfc.nasa.gov