MATH AND COMPUTER SCIENCES
Abstract
The Math and Computer Sciences project supports scientific study and experimentation on new computational algorithms, models, and mechanisms in support of long-term national security requirements. The project is exploring novel means of leveraging computer capabilities, including: practical, logical, heuristic, and automated reasoning by machines; enhanced human-to-computer and computer-to-computer interaction technologies; innovative approaches to the composition of software; innovative computer architectures; mathematical programs and their potential for defense applications; and new learning mechanisms for systematically upgrading and improving these capabilities. Promising techniques will transition to both technology development and system-level projects.
Document Details
- Document Type
- Project
- Publication Date
- Oct 01, 2017
- Source ID
- CCS-02_0601101E_1_0400_PB_2017
Related Documents
- Root: DEFENSE RESEARCH SCIENCES
- Child Accomplishment: Big Mechanism
- Child Accomplishment: Building Resource Adaptive Software from Specifications (BRASS)
- Child Accomplishment: Quantifying Uncertainty in Physical Systems
- Child Accomplishment: Young Faculty Award (YFA)
- Child Accomplishment: Communicating With Computers (CWC)
- Child Accomplishment: Mining and Understanding Software Enclaves (MUSE)
- Child Accomplishment: Knowledge Representation
- Child Accomplishment: Probabilistic Programming for Advancing Machine Learning (PPAML)
- Child Accomplishment: Secure Programming Languages (SPL)
- Child Accomplishment: Unconventional Processing of Signals for Intelligent Data Exploitation (UPSIDE)
- Child Accomplishment: Graph-theoretical Research in Algorithm Performance & Hardware for Social networks (GRAPHS)
- Child Accomplishment: Complexity Management Hardware