Skip to main content

Search results for "proofs chapter"

Filters: Computers and Information Technology Computers and Information Technology ×
Viewing 1 - 100 of 267 results by relevance
Consensus Study Report

Software for Dependable Systems: Sufficient Evidence?  (2007)

Consensus Study Report

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

Proceedings

Cryptographic Agility and Interoperability: Proceedings of a Workshop  (2017)

Evolving the High Performance Computing and Communications Initiative to Support the Nation's Information Infrastructure  (1995)

Consensus Study Report

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

Consensus Study Report

Advancing Commercialization of Digital Products from Federal Laboratories  (2021)

Consensus Study Report

Trust in Cyberspace  (1999)

Consensus Study Report

Bulk Collection of Signals Intelligence: Technical Options  (2015)

Consensus Study Report

Computing Research for Sustainability  (2012)

Consensus Study Report

Assessing the Impacts of Changes in the Information Technology R&D Ecosystem: Retaining Leadership in an Increasingly Global Environment  (2009)

Proceedings

Opportunities from the Integration of Simulation Science and Data Science: Proceedings of a Workshop  (2018)

Proceedings

Recoverability as a First-Class Security Objective: Proceedings of a Workshop  (2018)

Consensus Study Report

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

Consensus Study Report

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

Proceedings

Software Update as a Mechanism for Resilience and Security: Proceedings of a Workshop  (2017)

Proceedings

Beyond Spectre: Confronting New Technical and Policy Challenges: Proceedings of a Workshop  (2019)

Consensus Study Report

The Future of Computing Performance: Game Over or Next Level?  (2011)

Consensus Study Report

A Review of the Next Generation Air Transportation System: Implications and Importance of System Architecture  (2015)

Consensus Study Report

Continuing Innovation in Information Technology  (2012)

Consensus Study Report

Review of Three Divisions of the Information Technology Laboratory at the National Institute of Standards and Technology: Fiscal Year 2015  (2015)

Consensus Study Report

Future Directions for NSF Advanced Computing Infrastructure to Support U.S. Science and Engineering in 2017-2020: Interim Report  (2014)

Consensus Study Report

Wireless Technology Prospects and Policy Options  (2011)

Proceedings

Continuing Innovation in Information Technology: Workshop Report  (2016)

Consensus Study Report

Decrypting the Encryption Debate: A Framework for Decision Makers  (2018)

Consensus Study Report

An Assessment of the Communications Technology Laboratory at the National Institute of Standards and Technology: Fiscal Year 2019  (2019)

Consensus Study Report

Future Directions for NSF Advanced Computing Infrastructure to Support U.S. Science and Engineering in 2017-2020  (2016)

Proceedings

Exploring Encryption and Potential Mechanisms for Authorized Government Access to Plaintext: Proceedings of a Workshop  (2016)

Consensus Study Report

At the Nexus of Cybersecurity and Public Policy: Some Basic Concepts and Issues  (2014)

Consensus Study Report

IDs -- Not That Easy: Questions About Nationwide Identity Systems  (2002)

Consensus Study Report

Looking Over the Fence at Networks: A Neighbor's View of Networking Research  (2001)

Consensus Study Report

Identification of Research Needs Relating to Potential Biological or Adverse Health Effects of Wireless Communication Devices  (2008)

Summary of a Forum on Spectrum Management Policy Reform  (2004)

Consensus Study Report

The Internet Under Crisis Conditions: Learning from September 11  (2003)

Proceedings

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

Consensus Study Report

The Future of Supercomputing: An Interim Report  (2003)

Consensus Study Report

Critical Information Infrastructure Protection and the Law: An Overview of Key Issues  (2003)

Consensus Study Report

Building an Electronic Records Archive at the National Archives and Records Administration: Recommendations for Initial Development  (2003)

Consensus Study Report

Avoiding Surprise in an Era of Global Technology Advances  (2005)

Consensus Study Report

Global Networks and Local Values: A Comparative Look at Germany and the United States  (2001)

Proceedings

Summary of a Workshop on Software Certification and Dependability  (2004)

Proceedings

The Socioeconomic Effects of Public Sector Information on Digital Networks: Toward a Better Understanding of Different Access and Reuse Policies: Workshop Summary  (2009)

Consensus Study Report

Getting Up to Speed: The Future of Supercomputing  (2005)

Consensus Study Report

Building an Electronic Records Archive at the National Archives and Records Administration: Recommendations for a Long-Term Strategy  (2005)

Proceedings

Toward Better Usability, Security, and Privacy of Information Technology: Report of a Workshop  (2010)

Consensus Study Report

Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers  (2001)

Consensus Study Report

The Internet's Coming of Age  (2001)

Consensus Study Report

Broadband: Bringing Home the Bits  (2002)

Cryptography's Role in Securing the Information Society  (1996)

Being Fluent with Information Technology  (1999)

Revolution in the U.S. Information Infrastructure  (1995)

Fostering Research on the Economic and Social Impacts of Information Technology  (1998)

Critical Issues in NASA Information Systems: Final Report to the National Aeronautics and Space Administration  (1987)

Challenges in Federal Facility Control System Cyber Security, Including Level 0 and 1 Devices  (2023)

Funding a Revolution: Government Support for Computing Research  (1999)

Proceedings

Domestic Manufacturing Capabilities for Critical DoD Applications: Emerging Needs in Quantum-Enabled Systems: Proceedings of a Workshop  (2019)

Proceedings

Implications of Artificial Intelligence for Cybersecurity: Proceedings of a Workshop  (2019)

Consensus Study Report

Making IT Better: Expanding Information Technology Research to Meet Society's Needs  (2000)

Consensus Study Report

Quantum Computing: Progress and Prospects  (2019)

Consensus Study Report

An Assessment of Selected Divisions of the Information Technology Laboratory at the National Institute of Standards and Technology: Fiscal Year 2021  (2021)

Consensus Study Report

2022 Assessment of the National Institute of Standards and Technology's Communications Technology Laboratory  (2023)

Consensus Study Report

An Assessment of the Center for Neutron Research at the National Institute of Standards and Technology: Fiscal Year 2021  (2022)

Consensus Study Report

Who Goes There?: Authentication Through the Lens of Privacy  (2003)

Proceedings

Data Breach Aftermath and Recovery for Individuals and Institutions: Proceedings of a Workshop  (2016)

Consensus Study Report

An Assessment of Four Divisions of the Information Technology Laboratory at the National Institute of Standards and Technology: Fiscal Year 2018  (2018)

Proceedings

Summary of a Workshop on the Technology, Policy, and Cultural Dimensions of Biometric Systems  (2006)

Proceedings

Summary of a Workshop on the Future of Antennas  (2012)

Consensus Study Report

Letter Report for the Committee on Deterring Cyberattacks: Informing Strategies and Developing Options for U.S. Policy  (2010)

Consensus Study Report

Report of the Committee on Proposal Evaluation for Allocation of Supercomputing Time for the Study of Molecular Dynamics  (2010)

Proceedings

Sustainability Considerations for Procurement Tools and Capabilities: Summary of a Workshop  (2012)

Consensus Study Report

Beyond Productivity: Information Technology, Innovation, and Creativity  (2003)

Consensus Study Report

Putting People on the Map: Protecting Confidentiality with Linked Social-Spatial Data  (2007)

Proceedings

Information and Communication Technology and Peacebuilding: Summary of a Workshop  (2008)

Consensus Study Report

Protecting Data Privacy in Health Services Research  (2000)

Consensus Study Report

Information Technology Research, Innovation, and E-Government  (2002)

Internet Access to the National Library of Medicine's Toxicology and Environmental Health Databases  (1998)

Consensus Study Report

More Than Screen Deep: Toward Every-Citizen Interfaces to the Nation's Information Infrastructure  (1997)

Consensus Study Report

A Technical Analysis of the Common Carrier/User Interconnections Area  (1970)

Proceedings

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

Proceedings

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

Consensus Study Report

Cultivating Interest and Competencies in Computing: Authentic Experiences and Design Factors  (2021)

Consensus Study Report

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

Proceedings

The Role of Advanced Computation, Predictive Technologies, and Big Data Analytics in Food and Nutrition Research: Proceedings of a Workshop  (2024)

Proceedings

AI for Scientific Discovery: Proceedings of a Workshop  (2024)

Proceedings

Opportunities and Challenges for Using Digital Health Applications in Oncology: Proceedings of a Workshop  (2021)

Consensus Study Report

Charting a Path in a Shifting Technical and Geopolitical Landscape: Post-Exascale Computing for the National Nuclear Security Administration  (2023)

Consensus Study Report

Foundational Research Gaps and Future Directions for Digital Twins  (2024)

Consensus Study Report

Building Data Capacity for Patient-Centered Outcomes Research: Priorities for the Next Decade  (2022)

Consensus Study Report

Toward a Safer and More Secure Cyberspace  (2007)

Proceedings

Planning for Long-Term Use of Biomedical Data: Proceedings of a Workshop  (2020)

Consensus Study Report

Interim Report on 21st Century Cyber-Physical Systems Education  (2015)

Proceedings

Robust Machine Learning Algorithms and Systems for Detection and Mitigation of Adversarial Attacks and Anomalies: Proceedings of a Workshop  (2019)

Consensus Study Report

The New Global Ecosystem in Advanced Computing: Implications for U.S. Competitiveness and National Security  (2012)

Proceedings

Dynamic Social Network Modeling and Analysis: Workshop Summary and Papers  (2003)

Proceedings

The Telecommunications Challenge: Changing Technologies and Evolving Policies: Report of a Symposium  (2006)

Consensus Study Report

Bits of Power: Issues in Global Access to Scientific Data  (1997)

Consensus Study Report

Computer Science: Reflections on the Field, Reflections from the Field  (2004)

Consensus Study Report

Cybersecurity Today and Tomorrow: Pay Now or Pay Later  (2002)

Rapid Expert Consultation

Rapid Expert Consultation on Archival Data Storage Technologies for the Intelligence Community  (2024)