2 resultados para Automatic theorem proving

em Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States


Relevância:

20.00% 20.00%

Publicador:

Resumo:

An offender reentry grant program funded through the Governor’s Office of Drug Control Policy supports one reentry coordinator at each of the following institutions: Mount Pleasant Correctional Facility (MPCF), Fort Dodge Correctional Facility and the Clarinda Correctional Facility. The reentry coordinators there engage in a myriad of activities, working with institution educators, counselors and medical personnel, probation/parole officers and counselors, and most importantly the offenders themselves. The program has not been in operation for very long, and only MPCF has operated long enough to be looking at outcomes. The early returns for MPCF show good promise.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An automatic system was designed to concurrently measure stage and discharge for the purpose of developing stage-discharge ratings and high flow hydrographs on small streams. Stage, or gage height, is recorded by an analog-to-digital recorder and discharge is determined by the constant-rate tracer-dilution method. The system measures flow above a base stage set by the user. To test the effectiveness of the system and its components, eight systems, with a variety of equipment, were installed at crest-stage gaging stations across Iowa. A fluorescent dye, rhodamine-WT, was used as the tracer. Tracer-dilution discharge measurements were made during 14 flow periods at six stations from 1986 through 1988 water years. Ratings were developed at three stations with the aid of these measurements. A loop rating was identified at one station during rapidly-changing flow conditions. Incomplete mixing and dye loss to sediment apparently were problems at some stations. Stage hydrographs were recorded for 38 flows at seven stations. Limited data on background fluorescence during high flows were also obtained.