Skip to main content

Search results for "automated reasoning"

Filters: Conflict and Security Issues Conflict and Security Issues ×
Viewing 1 - 13 of 13 results by relevance
Consensus Study Report

Statistical Methods for Testing and Evaluating Defense Systems: Interim Report  (1995)

Consensus Study Report

Technology for the United States Navy and Marine Corps, 2000-2035: Becoming a 21st-Century Force: Volume 7: Undersea Warfare  (1997)

Statistics, Testing, and Defense Acquisition: New Approaches and Methodological Improvements  (1998)

Consensus Study Report

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

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

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

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

2017-2018 Assessment of the Army Research Laboratory: Interim Report  (2018)

Consensus Study Report

2017-2018 Assessment of the Army Research Laboratory  (2019)