Skip to main content

Search results for "automated reasoning"

Viewing 21 - 40 of 52 results by relevance

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)

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

Consensus Study Report

Measuring Human Capabilities: An Agenda for Basic Research on the Assessment of Individual and Group Performance Potential for Military Accession  (2015)

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

Consensus Study Report

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

Assessing Evaluation Studies: The Case of Bilingual Education Strategies  (1992)

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

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)

Consensus Study Report

A Framework to Guide Selection of Chemical Alternatives  (2014)

Proceedings

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

Proceedings

Survey Automation: Report and Workshop Proceedings  (2003)

Memorial Tributes: Volume 20  (2016)

Memorial Tributes: Volume 24  (2022)

Consensus Study Report

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