HAL/S programmer's guide

HAL/S is a programming language developed to satisfy the flight software requirements for the space shuttle program. The user's guide explains pertinent language operating procedures and described the various HAL/S facilities for manipulating integer, scalar, vector, and matrix data types

HAL/S programmer's guide

This programming language was developed for the flight software of the NASA space shuttle program. HAL/S is intended to satisfy virtually all of the flight software requirements of the space shuttle. To achieve this, HAL/s incorporates a wide range of features, including applications-oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks. As the name indicates, HAL/S is a dialect of the original HAL language previously developed. Changes have been incorporated to simplify syntax, curb excessive generality, or facilitate flight code emission

HAL/S-360 compiler system specification

A three phase language compiler is described which produces IBM 360/370 compatible object modules and a set of simulation tables to aid in run time verification. A link edit step augments the standard OS linkage editor. A comprehensive run time system and library provide the HAL/S operating environment, error handling, a pseudo real time executive, and an extensive set of mathematical, conversion, I/O, and diagnostic routines. The specifications of the information flow and content for this system are also considered

Context-specific complementary feeding recommendations developed using Optifood could improve the diets of breast-fed infants and young children from diverse livelihood groups in northern Kenya.

OBJECTIVE: To formulate age- and context-specific complementary feeding recommendations (CFR) for infants and young children (IYC) and to compare the potential of filling population-level nutrient gaps using common sets of CFR across age groups. DESIGN: Linear programming was used to develop CFR using locally available and acceptable foods based on livelihood- and age-group-specific dietary patterns observed through 24 h dietary recalls. Within each livelihood group, the nutrient potential of age-group-specific v. consolidated CFR across the three age groups was tested. SETTING: Three food-insecure counties in northern Kenya; namely, settled communities from Isiolo (n 300), pastoralist communities from Marsabit (n 283) and agro-pastoralist communities from Turkana (n 299). SUBJECTS: Breast-fed IYC aged 6-23 months (n 882). RESULTS: Age-specific CFR could achieve adequacy for seven to nine of eleven modelled micronutrients, except among 12-23-month-old children in agro-pastoralist communities. Contribution of Fe, Zn and niacin remained low for most groups, and thiamin, vitamin B6 and folate for some groups. Age-group-consolidated CFR could not reach the same level of nutrient adequacy as age-specific sets among the settled and pastoralist communities. CONCLUSIONS: Context- and age-specific CFR could ensure adequate levels of more modelled nutrients among settled and pastoralist IYC than among agro-pastoralist communities where use of nutrient-dense foods was limited. Adequacy of all eleven modelled micronutrients was not achievable and additional approaches to ensure adequate diets are required. Consolidated messages should be easier to implement as part of a behaviour change strategy; however, they would likely not achieve the same improvements in population-level dietary adequacy as age-specific CFR

A Search for Scalar Chameleons with ADMX

Scalar fields with a "chameleon" property, in which the effective particle mass is a function of its local environment, are common to many theories beyond the standard model and could be responsible for dark energy. If these fields couple weakly to the photon, they could be detectable through the "afterglow" effect of photon-chameleon-photon transitions. The ADMX experiment was used in the first chameleon search with a microwave cavity to set a new limit on scalar chameleon-photon coupling excluding values between 2*10^9 and 5*10^14 for effective chameleon masses between 1.9510 and 1.9525 micro-eV.Comment: 4 pages, 3 figure

A SQUID-based microwave cavity search for dark-matter axions

Axions in the micro eV mass range are a plausible cold dark matter candidate and may be detected by their conversion into microwave photons in a resonant cavity immersed in a static magnetic field. The first result from such an axion search using a superconducting first-stage amplifier (SQUID) is reported. The SQUID amplifier, replacing a conventional GaAs field-effect transistor amplifier, successfully reached axion-photon coupling sensitivity in the band set by present axion models and sets the stage for a definitive axion search utilizing near quantum-limited SQUID amplifiers.Comment: 4 pages, 5 figures, submitted to PR

The Bioinformatics Open Source Conference (BOSC) 2013

Contact: [email protected]

Move of a large but delicate apparatus on a trailer with air-ride suspension

When valuable delicate goods are shipped by truck, attention must be paid to vibrations that may cause damage. We present a case study of moving an extremely delicate 6230-kg superconducting magnet, immersed in liquid nitrogen, from Livermore, CA to Seattle, WA showing the steps of fatigue analysis of the load, a test move, and acceleration monitoring of the final move to ensure a successful damage-free transport

Volumetric optoacoustic neurobehavioral tracking of epileptic seizures in freely-swimming zebrafish larvae

Fast three-dimensional imaging of freely-swimming zebrafish is essential to understand the link between neuronal activity and behavioral changes during epileptic seizures. Studying the complex spatiotemporal patterns of neuronal activity at the whole-brain or -body level typically requires physical restraint, thus hindering the observation of unperturbed behavior. Here we report on real-time volumetric optoacoustic imaging of aberrant circular swimming activity and calcium transients in freely behaving zebrafish larvae, continuously covering their motion across an entire three-dimensional region. The high spatiotemporal resolution of the technique enables capturing ictal-like epileptic seizure events and quantifying their propagation speed, independently validated with simultaneous widefield fluorescence recordings. The work sets the stage for discerning functional interconnections between zebrafish behavior and neuronal activity for studying fundamental mechanisms of epilepsy and in vivo validation of treatment strategies

Design and performance of the ADMX SQUID-based microwave receiver

The Axion Dark Matter eXperiment (ADMX) was designed to detect ultra-weakly interacting relic axion particles by searching for their conversion to microwave photons in a resonant cavity positioned in a strong magnetic field. Given the extremely low expected axion-photon conversion power we have designed, built and operated a microwave receiver based on a Superconducting QUantum Interference Device (SQUID). We describe the ADMX receiver in detail as well as the analysis of narrow band microwave signals. We demonstrate the sustained use of a SQUID amplifier operating between 812 and 860 MHz with a noise temperature of 1 K. The receiver has a noise equivalent power of 1.1x10^-24 W/sqrt(Hz) in the band of operation for an integration time of 1.8x10^3 s.Comment: 8 pages, 12 figures, Submitted to Nuclear Inst. and Methods in Physics Research,