Skip to main content

Search results for "automated reasoning"

Viewing 1 - 50 of 52 results by relevance
Proceedings

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

Proceedings

Developing Human Capital to Support U.S. Innovation Capacity: Proceedings of a Workshop—in Brief  (2023)

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

Ontologies in the Behavioral Sciences: Accelerating Research and the Spread of Knowledge: Digest Version  (2022)

Consensus Study Report

Ontologies in the Behavioral Sciences: Accelerating Research and the Spread of Knowledge  (2022)

Consensus Study Report

Human-AI Teaming: State-of-the-Art and Research Needs  (2022)

Memorial Tributes: Volume 24  (2022)

Consensus Study Report

Automated Research Workflows for Accelerated Discovery: Closing the Knowledge Discovery Loop  (2022)

Consensus Study Report

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

NAM Special Publication

Artificial Intelligence in Health Care: The Hope, the Hype, the Promise, the Peril  (2019)

Proceedings

Leveraging Advances in Social Network Thinking for National Security: Proceedings of a Workshop  (2018)

Implications of Connected and Automated Driving Systems, Vol. 3: Legal Modification Prioritization and Harmonization Analysis  (2018)

Consensus Study Report

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

Consensus Study Report

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

Memorial Tributes: Volume 20  (2016)

Consensus Study Report

Bulk Collection of Signals Intelligence: Technical Options  (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

Complex Operational Decision Making in Networked Systems of Humans and Machines: A Multidisciplinary Approach  (2014)

Consensus Study Report

A Framework to Guide Selection of Chemical Alternatives  (2014)

Consensus Study Report

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

Proceedings

Intelligent Human-Machine Collaboration: Summary of a Workshop  (2012)

Proceedings

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

Proceedings

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

Consensus Study Report

Advancing Aeronautical Safety: A Review of NASA's Aviation Safety-Related Research Programs  (2010)

Consensus Study Report

Interacademy Programs Between the United States and Eastern Europe 1967-2009: The Changing Landscape  (2009)

Consensus Study Report

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

Consensus Study Report

Environmental Data Management at NOAA: Archiving, Stewardship, and Access  (2007)

Proceedings

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

Consensus Study Report

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

Consensus Study Report

Decadal Survey of Civil Aeronautics: Foundation for the Future  (2006)

Consensus Study Report

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

Proceedings

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

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

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

Proceedings

Survey Automation: Report and Workshop Proceedings  (2003)

Consensus Study Report

The Polygraph and Lie Detection  (2003)

Consensus Study Report

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

Proceedings

A Review of the New Initiatives at the NASA Ames Research Center: Summary of a Workshop  (2001)

Proceedings

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

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

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

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

Consensus Study Report

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

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

Consensus Study Report

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

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

Computing the Future: A Broader Agenda for Computer Science and Engineering  (1992)