Elaborator reflection : extending Idris in Idris

Many programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of implicit information to a highly explicit core language. In many advanced languages, these elaboration facilities contain powerful tools for program construction, but these tools are rarely designed to be repurposed by users. We describe elaborator reflection, a paradigm for metaprogramming in which the elaboration machinery is made directly available to metaprograms, as well as a concrete realization of elaborator reflection in Idris, a functional language with full dependent types. We demonstrate the applicability of Idris’s reflected elaboration framework to a number of realistic problems, we discuss the motivation for the specific features of its design, and we explore the broader meaning of elaborator reflection as it can relate to other languages.Postprin

Restoration and Reexamination of Apollo Lunar Dust Detector Data from Original Telemetry Files

We are recovering the original telemetry (Figure I) from the Apollo Dust, Thermal, Radiation Environment Monitor (DTREM) experiment, more commonly known as the Dust Detector, and producing full time resolution (54 second) data sets for release through the Planetary Data System (PDS). The primary objective of the experiment was to evaluate the effect of dust deposition, temperature, and radiation damage on solar cells on the lunar surface. The monitor was a small box consisting of three solar cells and thermistors mounted on the ALSEP (Apollo Lunar Surface Experiments Package) central station. The Dust Detector was carried on Apollo's 11, 12, 14 and 15. The Apollo 11 DTREM was powered by solar cells and only operated for a few months as planned. The Apollo 12, 14, and 15 detectors operated for 5 to 7 years, returning data every 54 seconds, consisting of voltage outputs from the three solar cells and temperatures measured by the three thermistors. The telemetry was received at ground stations and held on the Apollo Housekeeping (known as "Word 33") tapes. made available to the National Space Science Data Center (NSSDC) by Yosio Nakamura (University of Texas Institute for Geophysics). We have converted selected parts of the telemetry into uncalibrated and calibrated output voltages and temperatures

Restoration and Reexamination of Data from the Apollo 11, 12, 14, and 15 Dust, Thermal and Radiation Engineering Measurements Experiments

As part of an effort by the Lunar Data Node (LDN) we are restoring data returned by the Apollo Dust, Thermal, and Radiation Engineering Measurements (DTREM) packages emplaced on the lunar surface by the crews of Apollo 11, 12, 14, and 15. Also commonly known as the Dust Detector experiments, the DTREM packages measured the outputs of exposed solar cells and thermistors over time. They operated on the surface for up to nearly 8 years, returning data every 54 seconds. The Apollo 11 DTREM was part of the Early Apollo Surface Experiments Package (EASEP), and operated for a few months as planned following emplacement in July 1969. The Apollo 12, 14, and 15 DTREMs were mounted on the central station as part of the Apollo Lunar Surface Experiments Package (ALSEP) and operated from deployment until ALSEP shutdown in September 1977. The objective of the DTREM experiments was to determine the effects of lunar and meteoric dust, thermal stresses, and radiation exposure on solar cells. The LDN, part of the Geosciences Node of the Planetary Data System (PDS), operates out of the National Space Science Data Center (NSSDC) at Goddard Space Flight Center. The goal of the LDN is to extract lunar data stored on older media and/or in obsolete formats, restore the data into a usable digital format, and archive the data with PDS and NSSDC. For the DTREM data we plan to recover the raw telemetry, translate the raw counts into appropriate output units, and then apply calibrations. The final archived data will include the raw, translated, and calibrated data and the associated conversion tables produced from the microfilm, as well as ancillary supporting data (metadata) packaged in PDS format

First-Time Analysis of Completely Restored DTREM Instrument Data from Apollo 14 and 15

The Dust, Thermal and Radiation Engineering Measurement (DTREM) packages (figure 1) mounted on the central stations of the Apollo 11, 12, 14, and 15 ALSEPs (Apollo Lunar Surface Experiments Packages) measured the outputs of exposed solar cells and thermistors over time. The goal of the experiment, also commonly known as the dust detector, was to study the long-term effects of dust, radiation, and temperature at the lunar surface on solar cells. The monitors returned data for up to almost 8 years from the lunar surface

Update on Apollo Data Restoration by the NSSDC and the PDS Lunar Data Node

The Lunar Data Node (LDN) , under the auspices of the Geosciences Node of the Planetary Data System (PDS) and the National Space Science Data Center (NSSDC), is continuing its efforts to recover and restore Apollo science data. The data being restored are in large part archived with NSSDC on older media, but unarchived data are also being recovered from other sources. They are typically on 7- or 9-track magnetic tapes, often in obsolete formats, or held on microfilm, microfiche, or paper documents. The goal of the LDN is to restore these data from their current form, which is difficult for most researchers to access, into common digital formats with all necessary supporting data (metadata) and archive the data sets with PDS. Restoration involves reading the data from the original media, deciphering the data formats to produce readable digital data and converting the data into usable tabular formats. Each set of values in the table must then be understood in terms of the quantity measured and the units used. Information on instrument properties, operational history, and calibrations is gathered and added to the data set, along with pertinent references, contacts, and other ancillary documentation. The data set then undergoes a peer review and the final validated product is archived with PDS. Although much of this effort has concentrated on data archived at NSSDC in the 1970's, we have also recovered data and information that were never sent to NSSDC. These data, retrieved from various outside sources, include raw and reduced Gamma-Ray Spectrometer data from Apollos 15 and 16, information on the Apollo 17 Lunar Ejecta And Meteorites experiment, Dust Detector data from Apollos 11, 12, 14, and I5, raw telemetry tapes from the Apollo ALSEPs, and Weekly Status Reports for all the Apollo missions. These data are currently being read or organized, and supporting data is being gathered. We are still looking for the calibrated heat flow data from Apollos 15 and 17 for the period 1975-1977, any assistance or information on these data would be welcome. NSSDC has recently been tasked to release its hard-copy archive, comprising photography, microfilm, and microfiche. The details are still being discussed, but we are concentrating on recovering the valuable lunar data from these materials while they are still readily accessible. We have identified the most critical of these data and written a LASER proposal to fund their restoration. Included in this effort are data from the Apollo 15 and 16 Mass Spectrometers and the Apollo 17 Par-UV Spectrometer and ancillary information on the Apollo 17 Surface Electrical Properties Experiment

Condoms and developmental contexts in younger adolescent boys

BACKGROUND: Condom use is a key part of sexually transmitted infection (STI) prevention for young men. Yet little is known about how younger adolescent boys initially learn about and use condoms. We examined sources of information, attitudes towards, acquisition, practice and early use of condoms among 14-16-year-old boys. METHODS: Thirty 14-16-year-old boys were recruited from a teen clinic serving a community with high STI rates and were asked open-ended questions about condoms, such as, "Where did you learn about condoms?" and "In what situations would you/would you not, use condoms." Interviews were audio recorded, transcribed and coded. Qualitative analysis focused upon key concepts and shared social cognitions related to condom use. RESULTS: Both sexually inexperienced and experienced participants perceived that sex feels or would feel less pleasurable with condoms. For almost all participants, families were the primary source of both information about condoms and of condoms themselves. This information focused on pregnancy prevention, with STIs secondary. Participants' views of condoms fell into three developmental groups: not interested in condoms and equating their use with interest in sex; exploring condoms out of either curiosity or in preparation for sex; and experienced with condom use. Exploring included behaviours such as checking condoms out and trying them on. CONCLUSIONS: Our findings of existing negative perceptions of condoms, the importance of families in learning about condoms and the developmental need to test and try on condoms before use have implications for adolescent STI prevention programmes

Accommodative rock: a normative study on a grade school population

A general vision screening was performed on 566 1st and 4th grade school children from which the accommodative rock test was normed. The procedure consisted of a + 2.00D lens flipper, recording the number of lens flips for a one minute testing. This included an intermediate count taken after the first 30 seconds and a final total count after 60 seconds. A significant difference of the normative means was found between the 1st and 4th grade population. No significant difference was found within each population between those who passed and those who failed the general screening, or between the first 30 seconds and the final 30 seconds of testing

The Conservation Reserve Program: Economic Implications for Rural America

This report estimates the impact that high levels of enrollment in the Conservation Reserve Program (CRP) have had on economic trends in rural counties since the program's inception in 1985 until today. The results of a growth model and quasi-experimental control group analysis indicate no discernible impact by the CRP on aggregate county population trends. Aggregate employment growth may have slowed in some high-CRP counties, but only temporarily. High levels of CRP enrollment appear to have affected farm-related businesses over the long run, but growth in the number of other nonfarm businesses moderated CRP's impact on total employment. If CRP contracts had ended in 2001, simulation models suggest that roughly 51 percent of CRP land would have returned to crop production, and that spending on outdoor recreation would decrease by as much as $300 million per year in rural areas. The resulting impacts on employment and income vary widely among regions having similar CRP enrollments, depending upon local economic conditions.Community/Rural/Urban Development, Land Economics/Use,

Lunar Data Node: Apollo Data Restoration and Archiving Update

The Lunar Data Node (LDN) of the Planetary Data System (PDS) is responsible for the restoration and archiving of Apollo data. The LDN is located at the National Space Science Data Center (NSSDC), which holds much of the extant Apollo data on microfilm, microfiche, hard-copy documents, and magnetic tapes in older formats. The goal of the restoration effort is to convert the data into user-accessible PDS formats, create a full set of explanatory supporting data (metadata), archive the full data sets through PDS, and post the data online at the PDS Geosciences Node. This will both enable easy use of the data by current researchers and ensure that the data and metadata are securely preserved for future use. We are also attempting to locate and preserve Apollo data which were never archived at NSSDC. We will give a progress report on the data sets we have been restoring and future work