Skip to main content

Search results for "automated reasoning"

Viewing 21 - 40 of 52 results by relevance
Consensus Study Report

A Framework to Guide Selection of Chemical Alternatives  (2014)

Consensus Study Report

Lessons Learned from the Fukushima Nuclear Accident for Improving Safety of U.S. Nuclear Plants  (2014)

Proceedings

Intelligent Human-Machine Collaboration: Summary of a Workshop  (2012)

Proceedings

Report of a Workshop on the Pedagogical Aspects of Computational Thinking  (2011)

Proceedings

Report of a Workshop on the Scope and Nature of Computational Thinking  (2010)

Consensus Study Report

Advancing Aeronautical Safety: A Review of NASA's Aviation Safety-Related Research Programs  (2010)

Consensus Study Report

Interacademy Programs Between the United States and Eastern Europe 1967-2009: The Changing Landscape  (2009)

Consensus Study Report

Behavioral Modeling and Simulation: From Individuals to Societies  (2008)

Consensus Study Report

Environmental Data Management at NOAA: Archiving, Stewardship, and Access  (2007)

Proceedings

Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale  (2007)

Consensus Study Report

Basic Research in Information Science and Technology for Air Force Needs  (2006)

Consensus Study Report

Decadal Survey of Civil Aeronautics: Foundation for the Future  (2006)

Consensus Study Report

Catalyzing Inquiry at the Interface of Computing and Biology  (2005)

Proceedings

The Mathematical Sciences' Role in Homeland Security: Proceedings of a Workshop  (2004)

Consensus Study Report

Information Technology for Counterterrorism: Immediate Actions and Future Possibilities  (2003)

Consensus Study Report

Environmental Information for Naval Warfare  (2003)

Consensus Study Report

Review of NASA's Aerospace Technology Enterprise: An Assessment of NASA's Pioneering Revolutionary Technology Program  (2003)

Proceedings

Survey Automation: Report and Workshop Proceedings  (2003)

Consensus Study Report

The Polygraph and Lie Detection  (2003)

Consensus Study Report

Making the Nation Safer: The Role of Science and Technology in Countering Terrorism  (2002)