MATH AND COMPUTER SCIENCES
Abstract
This project supports scientific study and experimentation on new computational 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; development of 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, 2016
- Source ID
- CCS-02_0601101E_1_0400_PB_2016
Related Documents
- Root: DEFENSE RESEARCH SCIENCES
- Child Accomplishment: Big Mechanism
- Child Accomplishment: Unconventional Processing of Signals for Intelligent Data Exploitation (UPSIDE)
- Child Accomplishment: Young Faculty Award (YFA)
- Child Accomplishment: Probabilistic Programming for Advancing Machine Learning (PPAML)
- Child Accomplishment: Mining and Understanding Software Enclaves (MUSE)
- Child Accomplishment: Graph-theoretical Research in Algorithm Performance & Hardware for Social networks (GRAPHS)
- Child Accomplishment: Knowledge Representation
- Child Accomplishment: Communicating With Computers (CWC)*
- Child Accomplishment: Building Resource Adaptive Software from Specifications (BRASS)
- Child Accomplishment: Quantifying Uncertainty in Physical Systems
- Child Accomplishment: Complexity Management Hardware*
- Child Accomplishment: Engage
- Child Accomplishment: Strategic Social Interaction Modules (SSIM)
- Child Accomplishment: Mathematics of Sensing, Exploitation and Evaluation (MSEE)
- Child Accomplishment: Computer Science Study Group (CSSG)