Future conflicts will necessitate the ability to conduct effective military operations in a contested information environment. The building and maintaining of robust situational awareness, protection of decision-making effectiveness of individuals and teams, fighting through information attacks from both in, and through, the cyberspace domain, will be essential. Increasing the knowledge of the ...

Persons who have difficulty navigating the health care system because of language, cultural or other barriers. Persons who, because of their life circumstances, do not seek preventive services or case management that could improve their health outcomes. Persons who need services that are not covered or not completely covered. This may include Employees of Catholic health care facilities and oth...

Dynamic resource management is a crucial part of the infrastructure for emerging distributed real-time embedded systems, responsible for keeping mission-critical applications operating and allocating the resources necessary for them to meet their requirements. Because of this, the resource manager must be fault-tolerant, with nearly continuous operation. This paper describes our efforts to deve...

Micro Air Vehicles (MAVs) are noted for their small size and low-Reynolds number flight regime. Because they have small mass, they are attractive for use in sensing of toxic plumes. This mission requires high aerodynamic efficiency and the ability to be quickly and easily launched. A variable-sweep wing is investigated to meet these goals. Numerical simulations are used to demonstrate that swee...

For ML and Haskell, accurate warnings when a function definition has redundant or missing patterns are mission critical. But today’s compilers generate bogus warnings when the programmer uses guards (even simple ones), GADTs, pattern guards, or view patterns. We give the first algorithm that handles all these cases in a single, uniform framework, together with an implementation in GHC, and evid...

This work describes a new autonomous surface vessel (ASV) for marine sensing applications. It provides the capabilities necessary for long-duration data-collection missions while having minimal upfront and operational costs. It has been optimized for both low-power and low-speed operation in order to meet long-duration mission requirements. Both air data and marine sensors as part of its standa...