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.     

Dynamics and organization of MAP kinase signal pathways

In the budding yeast, Saccharomyces cerevisiae, four separate but structurally related mitogen-activated protein kinase (MAPK) activation pathways are known. The best understood of these regulates mating. Pheromone binding to receptor informs cells of the proximity of a mating partner and induces differentiation to a mating competent state. The MAPK activation cascade mediating this signal is made up of Ste11 (a MEK kinase [MEKK]), Ste7 (a MAPK/ERK kinase [MEK]), and the redundant MAPK-related Fus3 and Kss1 enzymes. Another MAPK activation pathway is important for cell integrity and regulates cell wall construction. This cascade consists of Bck1 (a MEKK), the redundant Mkk1 and Mkk2 enzymes (MEKs), and Mpk1 (a MAPK). We exploited these two pathways to learn about the coordination and signal transmission fidelity of MAPK activation cascades. Two lines of evidence suggest that the activities of the mating and cell integrity pathways are coordinated during mating differentiation. First, cells deficient in Mpk1 are susceptible to lysis when they make a mating projection in response to pheromone. Second, Mpk1 activation during pheromone induction coincides with projection formation. The mechanism underlying this coordination is still unknown to us. Our working model is that projection formation generates a mobile second messenger for activation of the cell integrity pathway. Analysis of a STE7 mutation gave us some unanticipated but important insights into parameters important for fidelity of signal transmission. The Ste7 variant has a serine to proline substitution at position 368. Ste7-P368 has higher basal activity than the wild-type enzyme but still requires Ste11 for its function. Additionally, the proline substitution enables the variant to transmit the signal from mammalian Raf expressed in yeast. This novel activity suggests that Ste7-P368 is inherently more permissive than Ste7 in its interactions with MEKKs. Yet, Ste7-P368 cross function in the cell integrity pathway occurs only when it is highly overproduced or when Ste5 is missing. This behavior suggests that Ste5, which has been proposed to be a tether for the kinases in the mating pathway, contributes to Ste7 specificity and fidelity of signal transmission.     

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.     

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.     

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.     

Reaction products of ammonium nitrate phosphate fertilizers of varying water-soluble phosphorus content in different Indian soils

Studies were undertaken on the isolation and identification of reaction products of ammonium nitrate phosphate (ANP) fertilizers containing 30, 50 and 70 per cent water-soluble phosphorus (WSP) of total phosphorus in representative soils of the vertisol, oxisol, alfisol, entisol, mollisol and aridisol groups of India. ANP fertilizers were applied in solid form to soil, and reaction products formed at and around the site of ANP fertilizer placement were identified after six weeks incubation in moist soils by X-ray diffraction technique. DCPD (dicalcium phosphate dihydrate- CaHPO₄ · 2H₂O) was the major reaction product of ANP fertilizers containing 30 and 50 per cent WSP in vertisol, entisol, aridisol, mollisol, oxisol and alfisol, and of ANP containing 70 per cent WSP in vertisol, entisol, alfisol, aridisol and mollisol. DCP (dicalcium phosphate-CaHPO₄) was detected with ANP of 30 and 50 per cent WSP in the vertisol, alfisol, entisol, mollisol and aridisol groups of soils. In addition to DCPD, FePO₄ · 2H₂O (metastrengite) and AlPO₄ · 2H₂ O-monoclinic (metavariscite) were formed in alfisol and oxisol soils with ANP of 30 and 50 per cent WSP. FePO₄ · 2H₂O and AlPO₄ · 2H₂O (metavariscite) were identified in alfisol and oxisol soils while AlPO₄ · 2H₂O-orthorhombic (variscite) was formed in alfisol soils with ANP of 70 per cent WSP.     

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.