MATH AND COMPUTER SCIENCES
Abstract
This project supports scientific study and experimentation on new computational models and mechanisms for reasoning and communication in complex, interconnected systems in support of long-term national security requirements. The project is exploring novel means of exploiting 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, 2015
- Source ID
- CCS-02_0601101E_1_0400_PB_2015
Related Documents
- Root: DEFENSE RESEARCH SCIENCES
- Child Accomplishment: Unconventional Processing of Signals for Intelligent Data Exploitation (UPSIDE)
- Child Accomplishment: Young Faculty Award (YFA)
- Child Accomplishment: Graph-theoretical Research in Algorithm Performance & Hardware for Social networks (GRAPHS)
- Child Accomplishment: Probabilistic Programming for Advancing Machine Learning (PPAML)*
- Child Accomplishment: Big Mechanism
- Child Accomplishment: Mining and Understanding Software Enclaves (MUSE)
- Child Accomplishment: Transparent Computing
- Child Accomplishment: Human and Computer Symbiosis (HCS)
- Child Accomplishment: Full Spectrum Learning
- Child Accomplishment: Cortical Processor
- Child Accomplishment: Strategic Social Interaction Modules (SSIM)
- Child Accomplishment: Engage
- Child Accomplishment: Mathematics of Sensing, Exploitation and Evaluation (MSEE)
- Child Accomplishment: Computer Science Study Group (CSSG)