Skip to main content

Search results for "automated reasoning"

Viewing 21 - 40 of 52 results by relevance
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

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

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

Consensus Study Report

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

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)

Proceedings

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

Proceedings

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

Consensus Study Report

Complex Operational Decision Making in Networked Systems of Humans and Machines: A Multidisciplinary Approach  (2014)

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)

Consensus Study Report

Bulk Collection of Signals Intelligence: Technical Options  (2015)

Consensus Study Report

Measuring Human Capabilities: An Agenda for Basic Research on the Assessment of Individual and Group Performance Potential for Military Accession  (2015)

Memorial Tributes: Volume 20  (2016)

Consensus Study Report

Foundational Cybersecurity Research: Improving Science, Engineering, and Institutions  (2017)

Proceedings

Leveraging Advances in Social Network Thinking for National Security: Proceedings of a Workshop  (2018)

Implications of Connected and Automated Driving Systems, Vol. 3: Legal Modification Prioritization and Harmonization Analysis  (2018)