Award Data

Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...

Inexperienced swimmers are often unaware of the presence of treacherous rip currents and this leads to many drowning deaths each year. Even when signs are posted, the public probably does not clearly understand the danger. It would be more informative if the public were ale to maps of the location, speed, and direction of coastal currents. Ocean safety officials are using various methods to inform ...

A DNA sequencer for biometric applications will be developed. The system will enable rapid and low-cost identification of individuals and kinship verification using a self-contained and portable device. All process steps from DNA extraction to DNA sequencing will be automatically performed within the disposable single-use cartridge. This high-level of functional integration is made possible by Adv ...

The recent emergence of the Silicon Drift detector (SDD), for use in energy dispersive x-ray spectrometry (EDS), has made possible x-ray event streams with count rates as high as 1-10 Mcps. A problem with existing digital signal processing, as applied to SDDs, is the significant presence of coincidence peaks above the x-ray background. These coincidence peaks occur with amplitudes comparable to lo ...

Screening is a repetitive and often monotonous task, involving long periods of vigilance despite low occurrences of threat. Because of the nature of this task and the high consequence if a threat is missed, a screener`s vigilance and avoidance of operation during fatigue are critical to their job effectiveness. This proposal describes an integrated solution to monitoring vigilance levels in airpor ...

The Department of Homeland Security's charter has a fundamental requirement to collaborate with other government agencies. Secure collaboration on this scale requires strong identity management which can "vouch for" DHS personnel working with other agencies, and makes it possible to provide DHS resources to individuals in other agencies whose work requires it. We propose the development of a reu ...

First responders operate in challenging acoustic environments where noise, alarms, engines, radio communications, and communications to others in the environment make voice communications with hands-free, voice operated switch (VOX) operation difficult. Broad Digital will use a combination of passive acoustic design, noise suppression and subtraction, signal separation, and equalization to provide ...

With the range and variety of radiation detectors that exist and the continuing threat of a radiological disaster in the future, the need for training of first responders and personnel in the front lines of interdiction is extraordinary and daunting. It is daunting because of the number of people across the nation that must be trained initially and who must continually maintain their training to b ...

This SBIR Phase I will model and physically demonstrate wearable, small factor, and lightweight thermoelectric generator prototypes powered by human body heat. The project will make use of Perpetua`s novel Flexible Thermoelectric Film technology to yield higher voltages and power from small active areas. End devices will be in wearable form factors, including a flexible button array that can be in ...

An existing low-cost FPGA-based processing platform will be demonstrated with fiber-coupling to single-photon detectors, to perform photon-arrival time stamping with