The Longitudinal Study of Astronaut Health (LSAH) Participant Summary software captures data based on a custom information model designed to gather all relevant, discrete medical events for its study participants. This software provides a summarized view of the study participant’s entire medical...

A computer program partly automates the task of determining whether an HDF-EOS 5 file is valid in that it conforms to specifications for such characteristics as attribute names, dimensionality of data products, and ranges of legal data values. [“HDF-EOS” and variants thereof are defined in “Converting EOS Data From HDF-EOS...

Several algorithms developed for use in automated planning and scheduling of sets of interdependent activities employ aggregation techniques to increase the efficiency of searching for temporal assignments that are legal in the sense that they do not violate constraints. In the aggregate-search...