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

The project team is developing and testing a prototype of Thinkzone, a blended learning portal intended for Kindergarten through Grade 8 teachers to host existing education learning games across core subject areas. The prototype will host games, and include a learning system to train educators to integrate games to replace or supplement instructional practice. In the Phase I pilot study will inclu ...

This project team is developing and testing a prototype of the Ivymount Social Readiness System, a mobile app designed for practitioners to assess the social and emotional strengths and deficits of kindergarten through Grade 6 students with high-functioning Autism Spectrum Disorders (HF-ASD). The prototype app will include an assessment rubric and professional development resources to facilitate i ...

This project team will develop and test a prototype of Emotion Explorer, a web-based program intended for kindergarten to Grade 2 students to create interactive storybooks to strengthen emotional literacy. Using the prototype, students will read and listen to storybooks focused on emotional literacy topics (i.e., emotion recognition, labeling, understanding, expression, regulation), after which th ...

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

onal evaluation, that concentrates on the service area of Education Data Management. The plan will investigate the requirements involved in providing readable and interpretable test results for teacher and principal use. Realizing testing is only as good as the teaching, teaching is only as good as the environment and the environment is only as good as its resources; this project will be a result ...

School reform efforts call for using scientific approaches to making decisions in education. Currently, data are available to inform decisions, but many educators are not well equipped to understand quantitative information, how to use it, and how to communicate quantitative results. During Phase I, we will conduct focus groups and surveys, and train educators to use data to help students succeed. ...

The Phase 2 objective is to provide NIST with a modular gauge head unit equipped with InsituTec's standing wave probe technology. The complete gauge head unit will be retrofitted to the NIST M48 which is one of the most precise measuring machines in the world. This unit will enable NIST to achieve the agency's program goal in dimensional metrology which is to provide microscale measurement capacit ...

Individuals with cognitive disabilities represent one of the fastest growing disability groups in the U. S. The potential for computer technology to increase social integration for this population is well-documented. However, cognitive and financial barriers frequently preclude the acquisition and maintenance of personal computer hardware, software programs, and Internet service. The Personal Ac ...

The Personal Access Computer Key a modified Universal Serial Bus designed to accommodate adaptive software capable of being launched on publicly accessible updated computers