The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

Using Survey Data and Mathematical Modeling to Prioritize Water Interventions in Developing Countries

Water Resources Management - A traditional cost-benefit analysis of potential water interventions in a given locality is a laborious and time-intensive process. To help decision makers identify...     

Exploitation of a pulsed neutron source for the structural study of anisotropic polymer films

A novel but simple time-of-flight neutron scattering geometry which allows structural anisotropy to be probed directly, simultaneously and thus unambiguously in polymeric and other materials is described. A particular advantage of the simultaneous data collection when coupled to the large area of the beam is that it enables thin films (< 10 m < 10 mg) to be studied with relative ease. The utility of the technique is illustrated by studies on both deformed poly(styrene) glasses and on thin films of electrical conducting polymers. In the latter case, the power of isotopic substitution is illustrated to great effect. The development of these procedures for use in other areas of materials science is briefly discussed.     

Exosomal Cargo May Hold the Key to Improving Reproductive Outcomes in Dairy Cows

The reproductive status of dairy cows remains a challenge for dairy farmers worldwide, with impaired fertility linked to a significant reduction in herd profitability, due in part to impaired immunity, increased metabolic pressure, and longer postpartum anestrous interval (PPAI). Exosomes are nanovesicles released from a variety of cell types and end up in circulation, and carry proteins, bioactive peptides, lipids, and nucleic acids specific to the place of origin. As such, their role in health and disease has been investigated in humans and animals. This review discusses research into exosomes in the context of reproduction in dairy herds and introduces recent advances in mass-spectrometry (MS) based proteomics that have a potential to advance quantitative profiling of exosomal protein cargo in a search for early biomarkers of cattle fertility.     

Radiation-Induced Senescence Reprograms Secretory and Metabolic Pathways in Colon Cancer HCT-116 Cells

Understanding the global metabolic changes during the senescence of tumor cells can have implications for developing effective anti-cancer treatment strategies. Ionizing radiation (IR) was used to induce senescence in a human colon cancer cell line HCT-116 to examine secretome and metabolome profiles. Control proliferating and senescent cancer cells (SCC) exhibited distinct morphological differences and expression of senescent markers. Enhanced secretion of pro-inflammatory chemokines and IL-1, anti-inflammatory IL-27, and TGF-β1 was observed in SCC. Significantly reduced levels of VEGF-A indicated anti-angiogenic activities of SCC. Elevated levels of tissue inhibitors of matrix metalloproteinases from SCC support the maintenance of the extracellular matrix. Adenylate and guanylate energy charge levels and redox components NAD and NADP and glutathione were maintained at near optimal levels indicating the viability of SCC. Significant accumulation of pyruvate, lactate, and suppression of the TCA cycle in SCC indicated aerobic glycolysis as the predominant energy source for SCC. Levels of several key amino acids decreased significantly, suggesting augmented utilization for protein synthesis and for use as intermediates for energy metabolism in SCC. These observations may provide a better understanding of cellular senescence basic mechanisms in tumor tissues and provide opportunities to improve cancer treatment.     

Tasting green leaf volatiles by larvae and adults of Colorado potato beetle,Leptinotarsa decemlineata

Larvae and adults of the Colorado potato beetle,Leptinotarsa decemlineata (Say), are shown to have galeal gustatory cells that are highly sensitive to distillate of potato leaf extracts, (E)-2-hexen-1-ol, (E)-2-hexenal, and other saturated and unsaturated six-carbon alcohols. In larvae and adults, the sensory response patterns elicited by leaf homogenate, leaf distillate and a mixture of these two extracts differ in subtle ways. Beetle larvae feed most readily on Millipore disks treated with leaf homogenate and the mixture, but they did not feed on disks treated with leaf distillate. The differences in behavioral response and sensory input are used to derive a potential gustatory code that may stimulate different levels of feeding. This code may be disrupted by compounds present in nonhost leaves, thus leading to reduced feeding. Possible interactions of sapid leaf volatiles, amino acids, sugars, and potentially deterrent plant compounds are discussed.     

A review of the use of human factors classification frameworks that identify causal factors for adverse events in the hospital setting

Various human factors classification frameworks have been used to identified causal factors for clinical adverse events. A systematic review was conducted to identify human factors classification frameworks that identified the causal factors (including human error) of adverse events in a hospital setting. Six electronic databases were searched, identifying 1997 articles and 38 of these met inclusion criteria. Most studies included causal contributing factors as well as error and error type, but the nature of coding varied considerably between studies. The ability of human factors classification frameworks to provide information on specific causal factors for an adverse event enables the focus of preventive attention on areas where improvements are most needed. This review highlighted some areas needing considerable improvement in order to meet this need, including better definition of terms, more emphasis on assessing reliability of coding and greater sophistication in analysis of results of the classification.

Practitioner Summary: Human factors classification frameworks can be used to identify causal factors of clinical adverse events. However, this review suggests that existing frameworks are diverse, limited in their identification of the context of human error and have poor reliability when used by different individuals.     

Processing and Properties of Particulate Composites from Coated Powders

A method is described for sintering of highly loaded (≤20 vol%) alumina matrix/silicon carbide whisker or platelet composites to closed porosity. The method uses controlled heterogeneous precipitation in a suspension of whiskers or platelets. The suspension-coated particles are calcined to produce a free-flowing composite powder which can be hot-pressed or free-sintered to high density. The results of consolidation and mechanical property testing are reported.     

Scandinavian Thins on Top of Cake: New and Improved Algorithms for Stacking and Packing

We show how to compute the smallest rectangle that can enclose any polygon, from a given set of polygons, in nearly linear time; we also present a PTAS for the problem, as well as a linear-time algorithm for the case when the polygons are rectangles themselves. We prove that finding a smallest convex polygon that encloses any of the given polygons is NP-hard, and give a PTAS for minimizing the perimeter of the convex enclosure. We also give efficient algorithms to find the smallest rectangle simultaneously enclosing a given pair of convex polygons.     

Structural and functional analogy between pneumolysin and proaerolysin

Pneumolysin and proaerolysin are bacterial toxins that form pores in host cells by oligomerization. We propose that they may have similar structures despite a poor sequence identity. The crystal structure of proaerolysin reveals a protein composed of four domains, arranged in the shape of an elongated comma. Electron microscopy of the pneumolysin monomer shows a similar arrangement of domains. The sequence of pneumolysin recognizes the template of proaerolysin from a library of protein folds. A three-dimensional model of pneumolysin has been constructed by the comparative approach using the structure of proaerolysin. This model, together with results on the activity of site- specific mutants and the positions of antigenic sites, has been used to propose functional roles of individual domains.