A tutorial on program development and optimization using the Ciao preprocessor

We present in a tutorial fashion CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost).

Retardation of skeletal development and cervical abnormalities in transgenic mice expressing a dominant-negative retinoic acid receptor in chondrogenic cells

Skeletal formation is a fundamental element of body patterning and is strictly regulated both temporally and spatially by a variety of molecules. Among these, retinoic acid (RA) has been shown to be involved in normal skeletal development. However, its pleiotropic effects have caused difficulty in identifying its crucial target cells and molecular mechanisms for each effect. Development of cartilage primordia is an important process in defining the skeletal structures. To address the role of RA in skeletal formation, we have generated mice expressing a dominant-negative retinoic acid receptor (RAR) in chondrogenic cells by using the type II collagen α1 promoter, and we have analyzed their phenotypes. These mice exhibited small cartilage primordia during development and retarded skeletal formation in both embryonic and postnatal periods. They also showed selective degeneration in their cervical vertebrae combined with homeotic transformations, but not in their extremities. The cervical phenotypes are reminiscent of phenotypes involving homeobox genes. We found that the expression of Hoxa-4 was indeed reduced in the cartilage primordia of cervical vertebrae of embryonic day 12.5 embryos. These observations demonstrate that endogenous RA acts directly on chondrogenic cells to promote skeletal growth in both embryonic and growing periods, and it regulates the proper formation of cervical vertebrae. Furthermore, RA apparently specifies the identities of the cervical vertebrae through the regulation of homeobox genes in the chondrogenic cells. Great similarities of the phenotypes between our mice and reported RAR knockout mice revealed that chondrogenic cells are a principal RA target during complex cascades of skeletal development.

An un-mounted horse care group for children and youth with an Autism Spectrum Disorder: Recommendations for program development and treatment intervention

Equine Assisted Activities and Therapies (EAAT) including Therapeutic Horseback Riding (THR) and un-mounted equine assisted activities are interventions aimed at improving the daily functioning and success of individuals with disabilities, including those with an autism spectrum disorder (ASD). While THR is frequently utilized as a treatment intervention for children with ASD, there are many limitations (individual's weight, horse health, weather, physical limitations, health conditions, etc.) that prevent this population from participating in mounted programs. Un-mounted equine assisted activities are often utilized as an alternative, but they are not informed by empirical research or a standardized treatment model. This paper provides a comprehensive review of the literature for EAAT including un-mounted programs, examination of organizational guidelines as they apply to un-mounted programs, and consultation with program directors regarding current practices in the field, and finally it establishes recommendations for the development of a standard curriculum that would strengthen un-mounted horse care group programs serving children with ASD.

Occupational employment survey booklet of definitions : trucking and warehousing.

"BLS-2877 142."

Occupational employment survey booklet of definitions : rubber and selected plastics products.

"BLS-2877 230."

Occupational employment survey booklet of definitions : food and tobacco products industry.

"BLS-2877 220."

Occupational employment survey booklet of definitions : instruments and related industries.

"Approval expires: 3-31-93."

A directory of research, development and demonstration projects in public transportation. Fiscal year 1981.

Mode of access: Internet.

Occupational employment survey booklet of definitions : wholesale and retail trade.

"BLS-2877 150."

Occupational employment survey booklet of definitions : local and interurban passenger transit.

"BLS-2877 141."

Workshop to identify training requirements designed to reduce young driver risk taking and improve decision making skills. Final report.

National Highway Traffic Safety Administration, Office of Program Development and Evaluation, Washington, D.C.

Survey report of the development of the Fox River for recreational navigation.

Cover title: Survey report for development of Fox River, Ottawa to McHenry Dam; LaSalle, Kane, Kendall, McHenry and Lake Counties.

Report of the Hawaiian Humpback Whale Sanctuary Workshop Committee : December 12-14, 1979

Mode of access: Internet.

State of Massachusetts coastal management draft environmental impact statement

Mode of access: Internet.

Monitor Marine Sanctuary : an archaeological and engineering assessment : operations manual /

Mode of access: Internet.