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

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

Minor nutrients are critical for the improved growth of Corylus avellana shoot cultures

Creator:: Hand, Charles and Reed, Barbara M.
Abstract:: Many hazelnut (Corylus avellana L.) cultivars fail to thrive in vitro on standard growth medium and the reasons for poor growth are not well understood. Our initial study of five C. avellana cultivars showed that changes in the mineral nutrients of Driver and Kuniyuki walnut (DKW) medium, including doubling the...
Resource Type:: Article
Full Text:: avellana shoot cultures Hand, C., & Reed, B. M. (2014). Minor nutrients are critical for the improved

B-s(0) lifetime measurement in the CP-odd decay channel B-s(0) → J/ψf₀(980)

Creator:: Abazov, V. M., Abbott, B., Acharya, B. S., Adams, M., Adams, T., Agnew, J. P., Alexeev, G. D., Alkhazov, G., Alton, A., Askew, A., Atkins, S., Augsten, K., Aushev, V., Aushev, Y., Avila, C., Badaud, F., Bagby, L., Baldin, B., Bandurin, D. V., Banerjee, S., Barberis, E., Baringer, P., Bartlett, J. F., Bassler, U., Bazterra, V., Bean, A., Begalli, M., Bellantoni, L., Beri, S. B., Bernardi, G., Bernhard, R., Bertram, I., Besançon, M., Beuselinck, R., Bhat, P. C., Bhatia, S., Bhatnagar, V., Blazey, G., Blessing, S., Bloom, K., Boehnlein, A., Boline, D., Boos, E. E., Borissov, G., Borysova, M., Brandt, A., Brandt, O., Brochmann, M., Brock, R., Bross, A., Brown, D., Bu, X. B., Buehler, M., Buescher, V., Bunichev, V., Burdin, S., Buszello, C. P., Camacho-Pérez, E., Casey, B. C. K., Castilla-Valdez, H., Caughron, S., Chakrabarti, S., Chan, K. M., Chandra, A., Chapon, E., Chen, G., Cho, S. W., Choi, S., Choudhary, B., Cihangir, S., Claes, D., Clutter, J., Cooke, M., Cooper, W. E., Corcoran, M., Couderc, F., Cousinou, M.-C., Cuth, J., Cutts, D., Das, A., Davies, G., de Jong, S. J., De La Cruz-Burelo, E., Déliot, F., Demina, R., Denisov, D., Denisov, S. P., Desai, S., Deterre, C., DeVaughan, K., Diehl, H. T., Diesburg, M., Ding, P. F., Dominguez, A., Dubey, A., Dudko, L. V., Duperrin, A., Dutt, S., Eads, M., Edmunds, D., Ellison, J., Elvira, V. D., Enari, Y., Evans, H., Evdokimov, A., Evdokimov, V. N., Fauré, A., Feng, L., Ferbel, T., Fiedler, F., Filthaut, F., Fisher, W., Fisk, H. E., Fortner, M., Fox, H., Franc, J., Fuess, S., Garbincius, P. H., Garcia-Bellido, A., García-González, J. A., Gavrilov, V., Geng, W., Gerber, C. E., Gershtein, Y., Ginther, G., Gogota, O., Golovanov, G., Grannis, P. D., Greder, S., Greenlee, H., Grenier, G., Gris, Ph., Grivaz, J.-F., Grohsjean, A., Grünendahl, S., Grünewald, M. W., Guillemin, T., Gutierrez, G., Gutierrez, P., Haley, J., Han, L., Harder, K., Harel, A., Hauptman, J. M., Hays, J., Head, T., Hebbeker, T., Hedin, D., Hegab, H., Heinson, A. P., Heintz, U., Hensel, C., Heredia-De La Cruz, I., Hernández-Villanueva, M., Herner, K., Hesketh, G., Hildreth, M. D., Hirosky, R., Hoang, T., Hobbs, J. D., Hoeneisen, B., Hogan, J., Hohlfeld, M., Holzbauer, J. L., Howley, I., Hubacek, Z., Hynek, V., Iashvili, I., Ilchenko, Y., Illingworth, R., Ito, A. S., Jabeen, S., Jaffré, M., Jayasinghe, A., Jeong, M. S., Jesik, R., Jiang, P., Johns, K., Johnson, E., Johnson, M., Jonckheere, A., Jonsson, P., Joshi, J., Jung, A. W., Juste, A., Kajfasz, E., Karmanov, D., Katsanos, I., Kaur, M., Kehoe, R., Kermiche, S., Khalatyan, N., Khanov, A., Kharchilava, A., Kharzheev, Y. N., Kiselevich, I., Kohli, J. M., Kozelov, A. V., Kraus, J., Kumar, A., Kupco, A., Kurča, T., Kuzmin, V. A., Lammers, S., Lebrun, P., Lee, H. S., Lee, S. W., Lee, W. M., Lei, X., Lellouch, J., Li, D., Li, H., Li, L., Li, Q. Z., Lim, J. K., Lincoln, D., Linnemann, J., Lipaev, V. V., Lipton, R., Liu, H., Liu, Y., Lobodenko, A., Lokajicek, M., Lopes de Sa, R., Luna-Garcia, R., Lyon, A. L., Maciel, A. K. A., Madar, R., Magaña-Villalba, R., Malik, S., Malyshev, V. L., Mansour, J., Martínez-Ortega, J., McCarthy, R., McGivern, C. L., Meijer, M. M., Melnitchouk, A., Menezes, D., Mercadante, P. G., Merkin, M., Meyer, A., Meyer, J., Miconi, F., Mondal, N. K., Mulhearn, M., Nagy, E., Narain, M., Nayyar, R., Neal, H. A., Negret, J. P., Neustroev, P., Nguyen, H. T., Nunnemann, T., Orduna, J., Osman, N., Pal, A., Parashar, N., Parihar, V., Park, S. K., Partridge, R., Parua, N., Patwa, A., Penning, B., Perfilov, M., Peters, Y., Petridis, K., Petrillo, G., Pétroff, P., Pleier, M.-A., Podstavkov, V. M., Popov, A. V., Prewitt, M., Price, D., Prokopenko, N., Qian, J., Quadt, A., Quinn, B., Ratoff, P. N., Razumov, I., Ripp-Baudot, I., Rizatdinova, F., Rominsky, M., Ross, A., Royon, C., Rubinov, P., Ruchti, R., Sajot, G., Sánchez-Hernández, A., Sanders, M. P., Santos, A. S., Savage, G., Savitskyi, M., Sawyer, L., Scanlon, T., Schamberger, R. D., Scheglov, Y., Schellman, H., Schott, M., Schwanenberger, C., Schwienhorst, R., Sekaric, J., Severini, H., Shabalina, E., Shary, V., Shaw, S., Shchukin, A. A., Simak, V., Skubic, P., Slattery, P., Snow, G. R., Snow, J., Snyder, S., Söldner-Rembold, S., Sonnenschein, L., Soustruznik, K., Stark, J., Stefaniuk, N., Stoyanova, D. A., Strauss, M., Suter, L., Svoisky, P., Titov, M., Tokmenin, V. V., Tsai, Y.-T., Tsybychev, D., Tuchming, B., Tully, C., Uvarov, L., Uvarov, S., Uzunyan, S., Van Kooten, R., van Leeuwen, W. M., Varelas, N., Varnes, E. W., Vasilyev, I. A., Verkheev, A. Y., Vertogradov, L. S., Verzocchi, M., Vesterinen, M., Vilanova, D., Vokac, P., Wahl, H. D., Wang, M. H. L. S., Warchol, J., Watts, G., Wayne, M., Weichert, J., Welty-Rieger, L., Williams, M. R. J., Wilson, G. W., Wobisch, M., Wood, D. R., Wyatt, T. R., Xie, Y., Yamada, R., Yang, S., Yasuda, T., Yatsunenko, Y. A., Ye, W., Ye, Z., Yin, H., Yip, K., Youn, S. W., Yu, J. M., Zennamo, J., Zhao, T. G., Zhou, B., Zhu, J., Zielinski, M., Zieminska, D., Zivkovic, L., and D0 Collaboration
Abstract:: See article for Abstract.
Resource Type:: Article
Full Text:: B0s → J=ψ f 0ð980Þ V.M. Abazov,31 B. Abbott,67 B. S. Acharya,25 M. Adams,46 T. Adams,44 J. P. Agnew,41

ScholarsArchive@OSU

Meteorological predictions for the Mars Pathfinder lander

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

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

Minor nutrients are critical for the improved growth of Corylus avellana shoot cultures

B-s(0) lifetime measurement in the CP-odd decay channel B-s(0) → J/ψf₀(980)

Limit your search

Academic Affiliation

Conference Name

Conference Section/Track

Creator

Date

Decade

File Format

Language

License

Location

Non-Academic Affiliation

Peer Reviewed

Resource Type

Rights Statement

Subject

Search Constraints

Search Results

Limit your search