Skip to main content

Search results for "mathematical logic"

Viewing 1 - 20 of 138 results by relevance
Consensus Study Report

Defense Software for a Contested Future: Agility, Assurance, and Incentives  (2025)

Implementation of Life-Cycle Planning Analysis in a Transportation Asset Management Framework  (2023)

Consensus Study Report

Advancing Chemistry and Quantum Information Science: An Assessment of Research Opportunities at the Interface of Chemistry and Quantum Information Science in the United States  (2023)

Consensus Study Report

Progress Toward Restoring the Everglades: The Ninth Biennial Review - 2022  (2023)

Consensus Study Report

Physics of Life  (2022)

Imagining the Future of Undergraduate STEM Education: Proceedings of a Virtual Symposium  (2022)

Consensus Study Report

Science and Engineering in Preschool Through Elementary Grades: The Brilliance of Children and the Strengths of Educators  (2022)

Consensus Study Report

Information Technology Innovation: Resurgence, Confluence, and Continuing Impact  (2020)

Consensus Study Report

Evaluation of the Achievement Levels for Mathematics and Reading on the National Assessment of Educational Progress  (2017)

Consensus Study Report

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

From Research to Reward: How a Political Scientist Knows What Our Enemies Will Do (Often Before They Do)  (2016)

Consensus Study Report

A 21st Century Cyber-Physical Systems Education  (2016)

Balancing Airport Stormwater and Bird Hazard Management  (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)

Consensus Study Report

Transforming the Workforce for Children Birth Through Age 8: A Unifying Foundation  (2015)

Consensus Study Report

Advancing Land Change Modeling: Opportunities and Research Requirements  (2014)

Proceedings

The Influence of Global Environmental Change on Infectious Disease Dynamics: Workshop Summary  (2014)

Innovative Bridge Designs for Rapid Renewal  (2014)

Letter Report on a Technical Peer Review of the Buzzards Bay Risk Assessment  (2013)