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; 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, 2013
- Source ID
- CCS-02_0601101E_1_0400_PB_2013
Related Documents
- Root: DEFENSE RESEARCH SCIENCES
- Child Accomplishment: Computer Science Study Group (CSSG)
- Child Accomplishment: Young Faculty Award (YFA)
- Child Accomplishment: Strategic Social Interaction Modules (SSIM)
- Child Accomplishment: Engage
- Child Accomplishment: Mathematics of Sensing, Exploitation and Evaluation (MSEE)
- Child Accomplishment: Graph-theoretical Research in Algorithm Performance & Hardware for Social networks (GRAPHS)*
- Child Accomplishment: Unconventional Computation
- Child Accomplishment: Foundational Machine Intelligence
- Child Accomplishment: Information Theory for Wireless Mobile Ad Hoc Networks (ITMANET)
- Child Accomplishment: Computer Science /Science, Technology, Engineering, and Mathematics Research Outreach
- Child Accomplishment: Focus Areas in Theoretical Mathematics (FAThM)
- Child Accomplishment: 23 Mathematical Challenges