نتایج جستجو برای: شاخص nasa

تعداد نتایج: 85856  

2007
Rick Briggs

In the past twenty years, much time, effort, and money has been expended on designing an unambiguous representation of natural languages to make them accessible to computer processing. These efforts have centered around creating schemata designed to parallel logical relations with relations expressed by the syntax and semantics of natural languages, which are clearly cumbersome and ambiguous in...

2001
T. M. Heckman K. R. Sembach G. R. Meurer D. K. Strickland C. L. Martin

Guest Investigators on the NASA-CNES-CSA Far Ultraviolet Spectroscopic Explorer. FUSE is operated for NASA by the Johns Hopkins University under NASA contract NAS5-32985. Adjunct Astronomer, Space Telescope Science Institute Chandra Fellow

2013
Guru P. Guruswamy

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific and technical information (STI) program plays a key part in helping NASA maintain this important role. The NASA STI program operates under the auspices of the Agency Chief Information Officer. It collects, organizes, provides for archiving, and disseminates NASA's STI. The NASA S...

2002
Russell H. Thomas Meelan M. Choudhari Ronald D. Joslin

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific and Technical Information (STI) Program Office plays a key part in helping NASA maintain this important role. The NASA STI Program Office is operated by Langley Research Center, the lead center for NASA's scientific and technical information. The NASA STI Program Office provides ...

2001
Federico París

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific and Technical Information (STI) Program Office plays a key part in helping NASA maintain this important role. The NASA STI Program Office is operated by Langley Research Center, the lead center for NASA's scientific and technical information. The NASA STI Program Office provides ...

2009
Ewen Denney Dimitra Giannakopoulou Corina S. Păsăreanu

Model Checking is an automatic verification technique for state-transition systems that are finitestate or that have finite-state abstractions. In the early 1980’s in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we proposed that Model Checking could be used for verifying concurrent systems and gave algorithms for this purpose. At roughly the same time, Joseph...

1998
G. James

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific and Technical Information (STI) Program Office plays a key part in helping NASA maintain this important role. The NASA STI Program Office is operated by Langley Research Center, the lead center for NASA's scientific and technical information. The NASA STI Program Office provides ...

2013
Gautam Biswas Daniel Mack Raj Bharadwaj

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific and technical information (STI) program plays a key part in helping NASA maintain this important role. The NASA STI program operates under the auspices of the Agency Chief Information Officer. It collects, organizes, provides for archiving, and disseminates NASA's STI. The NASA S...

1999
M. Rokni T. B. Gatski

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientiic and Technical Information (STI) Program OOce plays a key part in helping NASA maintain this important role. The NASA STI Program OOce is operated by Langley Research Center, the lead center for NASA's scientiic and technical information. The NASA STI Program OOce provides access t...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید