Award Data

There is an urgent Department of Defense (DoD) need for precision Positioning, Navigation, and Timing (PNT) for weapons systems and platforms operating in severely degraded or GPS-denied environments. Next-generation PNT systems using Alkali-atom and cold-atom physics have been demonstrated and are being actively developed by the Air Force and other DoD agencies. These emerging PNT technologies ...

This proposal documents Phase II efforts of Tietronix Software Inc. as it relates to the combination of a multi-platform game with graphic novel elements in support of computer science education. Aegis is a software application that combines the playabili

THE CONTRACTOR SHALL DEVELOP A FUZZY SET METHODOLOGY FOR UNCERTAINTY ANALYSIS IN PROBABILISTIC SEISMIC SAFETY ASSESSMENT OF NUCLEAR POWER PLANTS. FUZZY SET LOGIC WILL BEUSED FOR COLLECTING, QUANTIFYING AND PROPAGATING SUBJECTIVE,ENGINEERING JUDGEMENT USED IN THE UNCERTAINTY ANALYSIS. IN PHASE I, FEASIBILITY OF THE PROPOSED APPROACH WILL BE DEMONSTRATED BY APPLYING IT TO SELECTED PARTS OF A PROBABI ...

This Phase 2 project targets the completion of the development of an improved system for the broadcasting of the WWVB signal, as a direct continuation of the Phase 1 project, which successfully validated the proposed approach through a feasibility study and analyses. Objectives of this project include the design of the new modulation scheme and protocol, the development of a new time-code generato ...

In this project we will develop a framework for and demonstrate the feasibility of a neural signal processing system for informing cognitive models. Specifically, we will use single-trial analysis of EEG to inform a cognitive model of socio-cultural behavior. Our framework will include 1) a methodology for mapping characteristics of neural signals to cortical processes and cognitive modules, 2) a ...

The recent disclosure of sensitive and classified government documents through WikiLeaks demonstrates a new systemic threat, exfiltration and broad global broadcast of government confidential data and information. We propose to develop techniques and mechanisms for identifying likely malicious insiders within an organization by leveraging automatically generated misinformation and modern system an ...

DESIGN, SIMULATION, FABRICATION, AND EVALUATION OF A PROTOTYPE VERY LARGE SCALE INTEGRATION (VLSI) DATA ACQUISITION SUBSYSTEM IS PROPOSED. AVAILABLE STATE-OF-THE-ART ONE MICRON CMOS TECHNOLOGY MAY ALLOW INCORPORATION OF MORE THAN 128 CHANNELS OF 24-BIT 300 MHZ COUNTERS INTO A SINGLE INTEGRATED CIRCUIT. A PROTOTYPE SYSTEM OF SIMPLE REPEATED CELLS OF COUNTERS, CONTROL AND I/O BUFFERS HAS BEEN DESIGN ...

Intelligent Tutoring Systems (ITSs) functions as virtual tutors that adapt to student responses. Such ITSs, however, do not yield student learning improvements equivalent to students tutored by human instructors. Ascertaining Un-Reported Affect (AURA) is a closed-loop, platform-independent"front-end"for informing ITSs with near real-time inferences of student engagement and affect during learning ...

Recent studies have shown that embedded systems are extremely vulnerable to security attacks. Some published exploits include remote hijacking of the electronic systems in a modern car and using IP phones and smart televisions to perform covert surveillance of their owners. In this project, we are building a system that removes known vulnerabilities from embedded software and adds protections to p ...

Recently, solvers for the Satisfiability problem (SAT) have proved to be an enabling technology for diverse application areas including planning, cryptography, hardware verification, and software verification. However, solver performance, in terms of speed, maximum problem size, and efficiency, is a limiting factor to the more extensive application of the technology. We have developed novel proble ...