Skip to main content

Search results for "automated reasoning"

Filters: Division on Engineering and Physical Sciences DEPS ×
Viewing 1 - 20 of 24 results by relevance
Proceedings

Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop  (2023)

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

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

Proceedings

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

Proceedings

Summary of a Workshop on Information Technology Research for Crisis Management  (1999)

Advanced Engineering Environments: Achieving the Vision, Phase 1  (1999)

Evaluation of the Army's Draft Assessment Criteria to Aid in the Selection of Alternative Technologies for Chemical Demilitarization  (1995)

Consensus Study Report

Bulk Collection of Signals Intelligence: Technical Options  (2015)

Proceedings

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

Proceedings

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

Review of Systemization of the Tooele Chemical Agent Disposal Facility  (1996)

The New Engineering Research Centers: Purposes, Goals, and Expectations  (1986)

Maintaining U.S. Leadership in Aeronautics: Breakthrough Technologies to Meet Future Air and Space Transportation Needs and Goals  (1998)

Consensus Study Report

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

Proceedings

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

Consensus Study Report

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

Consensus Study Report

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

Consensus Study Report

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