Award Data

Current seL4 ecosystem is centered on a wiki and github that are maintained by NICTA and Data61 (a commercial spin-off organization of NICTA). Many branches and forks of the seL4 code base that are readily publicly accessible but often orphaned and out dated. Additionally, the major training and education efforts are mainly offered and managed by Data61. However, due to geographical distance from ...

Warfighters operating in teams often face environments characterized by time pressure, rapidly unfolding events, high information processing demand and severe consequences of error. Managing an efficient work environment and minimizing errors due to the wear and tear, termed as the Allostatic Load, experienced by individuals under these highly stressful conditions necessitate identification of ind ...

Medical Ultra Sound (US) technology, and associated hardware, software, algorithms, and systems have seen great development over the last decade, and field portable US transducer and imaging systems are readily available. However, key shortcomings remain that limit their application: 1) Need for operator control of wand pose, 2) Need for human expert interpretation of resulting US images, 3) Large ...

Obstructive sleep apnea (OSA) is a common clinical condition that affects close to 30 million Americans. To overcome patient non-compliance and discomfort associated with current OSA treatments, we have developed SONOSA, a wearable device that can remotely diagnose, monitor, and treat OSA using ultrasound alone. As a diagnostic device, SONOSA can eliminate the expensive, in-hospital equipment requ ...

The Defense Advance Research Project Authority (DARPA) is seeking a capability to produce 500 Flying Missile Rails (FMRs) a month. Providing such a capability is challenging because one must simultaneously come up with a design for a FMR that meets mission requirements while being able to be mass produced. The North American Wave Engine Corporation (NAWEC) can provide a solution that will meet the ...

We propose a novel three-phased border monitoring system to detect and describe potential risks for trans-border activities from commercial very high resolution imagery. This system also supports the development of a general level assessment of potential risks, based on medium resolution satellite imagery such as Landsat or MODIS, to detect features or changes in features that may be predictors of ...

IAI proposes to develop a statistical framework and a novel modeling tool to assess the success of deterrence in the Gray Zone. All data collection and model building is grounded in an innovative theoretical understanding of deterrence in Gray Zone confl...

There are various factors (such as propagation delay, time-varying multipath and fading, both natural and man-made noise, Doppler shift, low-bandwidth and energy constraints) that make undersea communications and networking extremely challenging. Innovat...

Traditionally data or document discovery has been essentially two-step process: 1) A query service built upon a strong foundation of information extraction and indexing, and 2) presentation services coupled with analytics services that works on queried s...

Recommender systems have achieved great success in the commercial world, and also hold a strong potential for providing a major advantage to analysts and planners in the military domain. However, in order to realize this potential, a number of key challe...