Index Catalog // ScholarsArchive@OSU

Meteorological predictions for the Mars Pathfinder lander

Creator:: Haberle, Robert M., Barnes, Jeffrey R., Murphy, James R., Joshi, Manoj M., and Schaeffer, James
Abstract:: 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...
Resource Type:: Article

General circulation model simulations of the Mars Pathfinder atmospheric structure investigation/meteorology data

Creator:: Haberle, Robert M., Joshi, Manoj M., Murphy, James R., Barnes, Jeffrey R., Schofield, John T., Wilson, Greg, Lopez-Valverde, Miguel, Hollingsworth, Jeffrey L., Bridger, Alison F. C., and Schaeffer, James
Abstract:: 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....
Resource Type:: Article

Confirmation of interaction of a novel HIV NS2 Protein with host proteins in living mammalian cells

Creator:: Sarker, Minhazur R. and Pastey, Manoj
Abstract:: 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...
Resource Type:: Research Paper
Full Text:: . Sarker, Dr. Manoj Pastey Abstract NS2 is a novel HIV protein confirmed to be expressed from an open

Vet Gazette ; October 29, 2007

Creator:: Oregon State University. College of Veterinary Medicine
Abstract:: Bi-weekly newsletter of the Oregon State University College of Veterinary Medicine.
Resource Type:: Other
Full Text:: : 30 people, M Lobby 2-3pm •Tour: 30 people, M Lobby 3-4pm •Board Review Session—Class ’08, M298 6

Decision-Theoretic Planning with Generalized First Order Decision Diagrams

Creator:: Joshi, Saket, Kersting, Kristian, and Khardon, Roni
Abstract:: 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...
Resource Type:: Article
Full Text:: Joshi and Khardon [11] introduced the First-Order Decision Diagram (FODD) representation, showed how

Swarm Verification Techniques

Creator:: Holzmann, Gerard J., Joshi, Rajeev, and Groce, Alex
Abstract:: 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...
Resource Type:: Article
Full Text:: , Rajeev Joshi, and Alex Groce Abstract—The range of verification problems that can be solved with logic

Low-level jets in the NASA Ames Mars general circulation model

Creator:: Joshi, M. M., Haberle, Robert M., Barnes, Jeffrey R., Murphy, J. R., and Schaeffer, J.
Abstract:: 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...
Resource Type:: Article

Shallow Aquifer Recharge from Irrigation in a Semi-arid Agricultural Valley in New Mexico, USA

Creator:: Ochoa, Carlos G., Fernald, Alexander G., Guldan, Steven J., Tidwell, Vincent C., and Shukla, Manoj K.
Abstract:: 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...
Resource Type:: Article
Full Text:: C. Tidwell4, Manoj K. Shukla5 3 Abstract 4 Irrigation percolation can be an important source of

The Center for Independent Experts: The National External Peer Review Program of NOAA's National Marine Fisheries Service

Creator:: Brown, Stephen K., Shivlani, Manoj, Die, David, Sampson, David B., and Ting, Tina A.
Abstract:: 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...
Resource Type:: Article
Full Text:: Experts Stephen K. Brown a , Manoj Shivlani b , David Die c , David B. Sampson d & Tina A. Ting e a Chief

Establishing Flight Software Reliability: Testing, Model Checking, Constraint-Solving, Monitoring and Learning

Creator:: Groce, Alex, Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev, and Xu, Ru-Gang
Abstract:: 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...
Resource Type:: Article
Full Text:: ., Joshi, R., & Xu, R. G. (2014). Establishing flight software reliability: testing, model checking

ScholarsArchive@OSU

Meteorological predictions for the Mars Pathfinder lander

General circulation model simulations of the Mars Pathfinder atmospheric structure investigation/meteorology data

Confirmation of interaction of a novel HIV NS2 Protein with host proteins in living mammalian cells

Vet Gazette ; October 29, 2007

Decision-Theoretic Planning with Generalized First Order Decision Diagrams

Swarm Verification Techniques

Low-level jets in the NASA Ames Mars general circulation model

Shallow Aquifer Recharge from Irrigation in a Semi-arid Agricultural Valley in New Mexico, USA

The Center for Independent Experts: The National External Peer Review Program of NOAA's National Marine Fisheries Service

Establishing Flight Software Reliability: Testing, Model Checking, Constraint-Solving, Monitoring and Learning

Limit your search

Academic Affiliation

Advisor

Conference Name

Conference Section/Track

Creator

Contributor

Date

Decade

Degree Level

Degree Name

File Format

Language

License

Location

Non-Academic Affiliation

Peer Reviewed

Resource Type

Rights Statement

Subject

Search Constraints

Search Results

Limit your search