Skip to main content

Search results for "automated reasoning"

Filters: Policy, Reviews and Evaluations Policy, Reviews and Evaluations ×
Viewing 1 - 18 of 18 results by relevance
Consensus Study Report

An Assessment of the National Institute of Standards and Technology Physics Laboratory: Fiscal Year 2008  (2008)

Proceedings

Empowering Tomorrow's Chemist: Laboratory Automation and Accelerated Synthesis: Proceedings of a Workshop–in Brief  (2022)

Proceedings

Reducing the Time from Basic Research to Innovation in the Chemical Sciences: A Workshop Report to the Chemical Sciences Roundtable  (2003)

Consensus Study Report

An Assessment of the National Institute of Standards and Technology Physics Laboratory: Fiscal Year 2010  (2010)

Consensus Study Report

Report of the Committee on Proposal Evaluation for Allocation of Supercomputing Time for the Study of Molecular Dynamics: Tenth Round  (2019)

Consensus Study Report

A Research Agenda for Transforming Separation Science  (2019)

Assessing the Value of Research in the Chemical Sciences  (1998)

Proceedings

Frontiers in Synthetic Moiré Quantum Matter: Proceedings of a Workshop  (2022)

Proceedings

Opportunities and Obstacles in Large-Scale Biomass Utilization: The Role of the Chemical Sciences and Engineering Communities: A Workshop Summary  (2012)

Consensus Study Report

The Future of U.S. Chemistry Research: Benchmarks and Challenges  (2007)

Consensus Study Report

Possible Health Effects of Exposure to Residential Electric and Magnetic Fields  (1997)

Proceedings

Sustainability in the Chemical Industry: Grand Challenges and Research Needs  (2006)

Consensus Study Report

Nuclear Physics: Exploring the Heart of Matter  (2013)

Consensus Study Report

Frontiers in Massive Data Analysis  (2013)

Consensus Study Report

Strengthening the Linkages Between the Sciences and the Mathematical Sciences  (2000)

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

The Mathematical Sciences in 2025  (2013)

Consensus Study Report

Expanding Underrepresented Minority Participation: America's Science and Technology Talent at the Crossroads  (2011)