The NASA Ames Mars general circulation and boundary layer models are used as guides to forecast the meteorological environment of the Pathfinder lander site. Based on these models we predict that for a Viking-like atmospheric dust loading, significant vertical wave structure will be seen in the entry temperature profile above...
The NASA Ames Mars General Circulation Model is used to interpret selected results from the Mars Pathfinder atmospheric structure instrument/meteorology (ASI/MET) experiment. The present version of the model has an improved soil thermal model, a new boundary layer scheme, and a correction for non-local thermodynamic equilibrium effects at solar wavelengths....
NS2 is a novel HIV protein confirmed to be expressed from an open reading frame alongside the Pol open reading frame. Furthermore, NS2 has been shown to be critical to viral replication and to localize in the nucleolus of the nucleus. The mechanism of NS2 function is currently unknown. A...
Many tasks in AI require representation and manipulation of complex functions. First-Order Decision Diagrams (FODD) are a compact knowledge representation expressing functions over relational structures. They represent numerical functions that, when constrained to the Boolean range, use only existential quantification. Previous work has developed a set of operations for composition...
The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in capability is based on algorithmic advances and new theoretical insights, but it has also benefitted from the steady increase in processing speeds and main memory...
Previous simulations of the Martian atmosphere have shown how topography acts to confine the low-level Hadley cell flow into intense jets on the eastern flanks of Tharsis and Syrtis Major. We now conduct detailed studies of these jets using the NASA Ames Mars general circulation model (MGCM). The structure of...
Irrigation percolation can be an important source of shallow aquifer replenishment in arid regions of the southwestern United States. Aquifer recharge derived from irrigation percolation can be more significant in fluvial valleys overlying shallow aquifers where highly permeable soils allow rapid water infiltration and aquifer replenishment. We used data from...
Requirements are growing for peer review of the science used for governmental management decisions. This is particularly true for fisheries science, where management decisions are often controversial. The National Oceanic and Atmospheric Administration's National Marine Fisheries Service instituted the Center for Independent Experts (CIE) in 1998 as a national peer-review...
In this paper we discuss the application of a range of techniques to the
verification of mission-critical flight software at NASA’s Jet Propulsion Laboratory.
For this type of application we want to achieve a higher level of confidence than can
be achieved through standard software testing. Unfortunately, given the current...