MATH AND COMPUTER SCIENCES
Abstract
(U) 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; practical, logical and heuristic 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; and new learning mechanisms for systematically upgrading and improving these capabilities. Additionally, this project explores mathematical programs and their potential for defense applications. Promising techniques will transition to both technology development and system-level projects.
Document Details
- Document Type
- Project
- Publication Date
- Oct 01, 2011
- Source ID
- CCS-02_0601101E_1_0400_PB_2011
Related Documents
- Root: DEFENSE RESEARCH SCIENCES
- Child Accomplishment: Foundational Computer Science
- Child Accomplishment: Foundational Machine Intelligence*
- Child Accomplishment: Information Theory for Wireless Mobile Ad Hoc Networks (ITMANET)*
- Child Accomplishment: Centers of Excellence for Computational Science and Engineering (COECSE)
- Child Accomplishment: Training for Adaptability
- Child Accomplishment: Computer Science Study Group (CSSG)
- Child Accomplishment: Programmable Matter
- Child Accomplishment: Young Faculty Award
- Child Accomplishment: Computer Science Futures/Science, Technology, Engineering, and Mathematics Research Outreach*
- Child Accomplishment: Focus Areas in Theoretical Mathematics (FAThM)
- Child Accomplishment: Fundamental Laws and Limits of Cyber Security
- Child Accomplishment: 23 Mathematical Challenges