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 ...

This ARPA-E SBIR project is to research, design, construct and field trial a cost-effective and efficient 25kW 200kWh energy storage system based on the all-Iron Hybrid Flow Battery (IFB) technology. Energy Storage Systems Inc. (ESS) develops and commercializes grid-scale energy storage systems based on flow battery technologies. Applying its proprietary flow cell design, ESS has demonstrated a 4- ...

DESCRIPTION provided by applicant Atrial fibrillation AF is the most prevalent type of cardiac arrhythmia in the developed world affecting million people in the United States alone a number that is expected to double by because of population aging Current pharmacological options are ineffective which may be in part because these drugs fail to target key pathogenic mechanisms Recen ...

DESCRIPTION provided by applicant Each year million Americans go to health care providers because of vertigo dizziness or balance problems It is the second most common complaint heard in doctorandapos s offices and will occur in of the nationandapos s population at sometime in their lives From through of US adults aged years and older million Americans had ve ...

DESCRIPTION provided by applicant Methamphetamine MA dependence is associated with long term damage to regions of the brain that control cognitive and psychiatric function One third to one half of MA dependent adults experience persistent cognitive and other psychiatric disorders up to three years or longer into remission The neuropsychiatric impairments that persist following abstinence ar ...

DESCRIPTION provided by applicant Human brain development represents a highly vulnerable time to chemical exposures because immature cells are actively undergoing differentiation into more complex cell types e g neurons astrocytes oligodendroglia to form neural circuits A major reason for this vulnerability is that neuronal differentiation requires critical time dependent changes to the ...

DESCRIPTION provided by applicant Stroke is a leading cause of morbidity and mortality in the United States However less than of patients are eligible for the current approved interventions of tissue plasminogen activator or thrombectomy We seek to develop new therapeutics to reduce the extent of damage and functional impairment resulting from ischemic injury to the brain an area of signi ...

DESCRIPTION provided by applicant The long term goal of this project is to develop and test a nutritional product that will improve physical function in individuals with heart failure H in the geriatric population Our approach to nutritional therapy NT focuses on increasing skeletal muscle strength improving vascular reactivity and optimizing regulation of energy substrate metabolism All ...

DESCRIPTION provided by applicant The goal of this project is to develop and evaluate a new system called GaitRF that can measure walking speed and other detailed gait parameters passively within the home The ability to move is a critical function that underlies the quality of life for elders as well as those suffering from neurologic or physical ailments Changes in aspects of gait such as wa ...

DESCRIPTION provided by applicant The overall goal of this project is to test a meal replacement beverage that will ultimately preserve muscle loss during calorie restriction weight loss CRWL in obese older individuals We previously developed a meal replacement rich with a proprietary blend of essential amino acids TMR that was more than three times as effective as whey protein in stimulat ...