About Medlock Ames Wine is an amazing and intriguing creation. In many respects, the process that transforms sunlight, air, water, and dirt into wine seems like a miracle. Indeed, it is a magical experience to be part of

Source URL: www.medlockames.com

Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad

Source URL: ti.arc.nasa.gov

• Formal methods
• Theoretical computer science
• Failure
• Materials science
• Reliability engineering
• Survival analysis
• DO-178B
• Exception handling
• Formal verification
• Software development process
• KeY
• Software development

Tools for Building Asynchronous Servers to Support Speech and Audio Applications Barry Arons Speech Research Group MIT Media Lab 20 Ames Street, E15-353

Source URL: xenia.media.mit.edu

• Inter-process communication
• Distributed computing architecture
• Middleware
• Remote procedure call
• Server
• Client–server model
• X Window System
• Stub
• Sound server
• Computing
• Software
• System software

Process Is Technology: Coming to Terms with Systems-Level Problems and Human-Factors Failures with Voting Edwin J. Selker MIT Media Lab 20 Ames Street, Cambridge, MA 02139

Source URL: research.microsoft.com

To Appear: Body Sensor Networks Workshop, Boston MA, AprilMulti-sensor Data Fusion Using the Influence Model Wen Dong and Alex Pentland E15-383, 20 Ames Street The MIT Media Laboratory

Source URL: vismod.media.mit.edu

• Markov processes
• Markov chain
• Hidden Markov model
• Expectation–maximization algorithm
• Stochastic process
• Matrix
• Mixture model
• Normal distribution
• Sensor
• Statistics
• Markov models
• Statistical models

A Characterization of Interventional Distributions in Semi-Markovian Causal Models Jin Tian and Changsung Kang Department of Computer Science Iowa State University Ames, IA 50011

Source URL: www.cs.iastate.edu

• Causality
• Logical syntax
• Stochastic processes
• Conditionals
• Bayesian network
• Causal model
• Entailment
• Markov process
• Causal diagram
• Statistics
• Logic
• Statistical models

Microsoft Word - Non AMEP Complaints and Appeals Process.doc

Source URL: www.ames.net.au

Microsoft Word - AMEP Complaints and Appeals Process.doc

Source URL: www.ames.net.au

• Ombudsman
• Ethics

RARE EARTH MINERALS AND 21ST CENTURY INDUSTRY Detailed Written Responses to Subcommittee’s Questions Karl A. Gschneidner, Jr.* Ames Laboratory, U.S. Department of Energy and Department of Materials Science and Engineer

Source URL: www.globalsecurity.org

• Reducing agents
• Lanthanides
• Ferromagnetic materials
• Actinides
• Ames Laboratory
• Ames process
• Rare earth element
• Lanthanum
• Frank Spedding
• Chemistry
• Matter
• Chemical elements

NetP: A Network API for Building Heterogeneous Modular Intelligent Systems Kai-Yuh Hsiao and Peter Gorniak and Deb Roy Cognitive Machines Group MIT Media Laboratory 20 Ames St., Cambridge, MA, 02142 {eepness,pgorniak,dkr

Source URL: www.media.mit.edu

• Inter-process communication
• Application programming interfaces
• Distributed computing architecture
• Message Passing Interface
• Communications protocol
• Parallel Virtual Machine
• Message passing
• Modularity
• Kernel
• Concurrent computing
• Computing
• Parallel computing