Sputtr.com | Alternative Search Engine

Nasaamesresearch

From Scenarios to Code: An Air Traffic Control Case Study

From Scenarios to Code: An Air Traffic Control Case Study Jon Whittle QSS Group/NASAAmesResearch Center jonathw@email.arc.nasa.gov Richard Kwan Raytheon/NASAAmesResearch Center rkwan@mail.arc.nasa.gov Jyoti Saboo Foothill College/NASAAmesResearch Center jsaboo@email.arc.nasa.gov Abstract Two ...

An Agent-Oriented Language for Work Practice Simulation and ...

In the early years (1992-1999), Brahms was purely a modeling and simulation language and tool designed to model people'sworkpractice, i.e. the cultural, Maarten Sierhuis Carnegie Mellon University Silicon Valley/NASAAmesResearch Center, Moett Field, CA 94035, Man-Machine Interaction Group, Delft University ...

Testing First-Order Logic Axioms in Program Verification

Testing First-Order Logic Axioms in Program Verification Ki YungAh n1 2and Ewen Denney 3 1 Portland State University, Portland, OR 97207-0751, USA 2? Mission Critical Technologies, Inc. /NASAAmesResearch Center, Moett Field, CA 94035, USA 3 Stinger Ghaarian Technologies, Inc. /NASAAmesResearch ...

Modeling gas flow throughmicrochannels and nanopores

Chuang, b) Brett A. Cruden, c) and M. Meyyappan Center for Nanotechnology, NASAAmesResearch Center, Moffett Field, California 94035 ~Received 22November 2002; accepted 21 January 2003!

An Intelligent Procedure Assistant

... Built Using REGULUS 2 and ALTER F Manny Rayner, Beth Ann Hockey, Jim Hieronymus, John Dowding, Greg Aist Research Institute for Advanced Computer Science (RIACS) NASA AmesResearch Center Moffet Field, CA 94035 fmrayner,bahockey,jimh,jdowding,aistg@riacs. edu Susana Early DeAnza College/NASAAmesResearch Center ...

Autominder: An Intelligent Cognitive Orthotic System for ...

... Tennessee 37232, United States c Computer Science and Engineering, Michigan State University East Lansing, Michigan 48824, United States d Computer Engineering and Computer Science, California State University at Long Beach Long Beach, California 90840, United States e QSSGroupInc./NASAAmesResearch Center ...

Decomposition of Turbulent Velocity Fields in Numerical ...

Mansour 1,Dali Georgobiani 2,Alexander G. Kosovichev 3,Robert F. Stein 4, û Ake Nordlund 5 1 NASA AmesResearch Center, Moffett Field, CA 94035, USA 2 Center for Turbulence Research, Stanford University /NASAAmesResearch Center, Moffett Field, CA 94035, USA 3 Hansen Experimental Physics Laboratory, Stanford ...

The Rovibrational Intensities of the

The Rovibrational Intensities of the 2V3 Band of 12C160180 at 4639 cm-l R. J. Kshirsagart$, L. P. Giver?, C. Chackerian, Jr.? andL. R. Brown$ ~NASAAmesResearch Center, Moffett Field, CA 94035, $Jet Propulsion Laboratory California Institute of Technology Pasadena, CA 91109.

Automatic Derivation of Statistical Data Analysis Algorithms ...

Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond Bernd Fischer, Arsen Hajian †, Kevin Knuthand Johann Schumann RIACS/NASAAmesResearch Center † United States Naval Observatory NASA AmesResearch Center Abstract.

Comparison of Low-Cost GPS/INS Sensors for Autonomous Vehicle ...

Comparison of Low-Cost GPS/INS Sensors for Autonomous Vehicle Applications G. H. Elkaim, M. Lizarraga, and L. Pedersen y Autonomous Systems Lab, Computer Engineering, University of California, Santa Cruz, Santa Cruz, CA 95064 USA y Intelligent Systems Division,NASAAmesResearch Center, Moffett ...