Skip to main content

Search results for "automated reasoning"

Filters: Division on Engineering and Physical Sciences DEPS × 2013 2013 ×
Viewing 1 - 20 of 30 results by relevance
Consensus Study Report

Engineering Aviation Security Environments—Reduction of False Alarms in Computed Tomography-Based Screening of Checked Baggage  (2013)

Proceedings

U.S. Air Force Strategic Deterrence Capabilities in the 21st Century Security Environment: A Workshop Summary  (2013)

Consensus Study Report

Frontiers in Massive Data Analysis  (2013)

Consensus Study Report

Making the Soldier Decisive on Future Battlefields  (2013)

Consensus Study Report

The Mathematical Sciences in 2025  (2013)

Proceedings

Public Response to Alerts and Warnings Using Social Media: Report of a Workshop on Current Knowledge and Research Gaps  (2013)

Consensus Study Report

Adapting to a Changing World: Challenges and Opportunities in Undergraduate Physics Education  (2013)

Proceedings

The Resilience of the Electric Power Delivery System in Response to Terrorism and Natural Disasters: Summary of a Workshop  (2013)

Proceedings

Materials and Manufacturing Capabilities for Sustaining Defense Systems: Summary of a Workshop  (2013)

Consensus Study Report

Optics and Photonics: Essential Technologies for Our Nation  (2013)

Proceedings

Novel Processes for Advanced Manufacturing: Summary of a Workshop  (2013)

Proceedings

Directed Evolution for Development and Production of Bioactive Agents: A Meeting Summary  (2013)

Consensus Study Report

Managing for High-Quality Science and Engineering at the NNSA National Security Laboratories  (2013)

Consensus Study Report

Landsat and Beyond: Sustaining and Enhancing the Nation's Land Imaging Program  (2013)

Proceedings

Geotargeted Alerts and Warnings: Report of a Workshop on Current Knowledge and Research Gaps  (2013)

Consensus Study Report

Professionalizing the Nation's Cybersecurity Workforce?: Criteria for Decision-Making  (2013)

Consensus Study Report

An Assessment of the Prospects for Inertial Fusion Energy  (2013)

Consensus Study Report

Interim Report on the Second Triennial Review of the National Nanotechnology Initiative  (2013)

Proceedings

Energy Reduction at U.S. Air Force Facilities Using Industrial Processes: A Workshop Summary  (2013)

Proceedings

Zero-Sustainment Aircraft for the U.S. Air Force: A Workshop Summary  (2013)