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.     

Genetic basis of neurological tumours

Neurological tumours are common neoplasms of both adults and children. Recent studies have begun to delineate the genetic abnormalities that underlie such tumours, and have implicated two classes of genes, oncogenes and tumour suppressor genes. Most investigations have focused on those astrocytomas that affect the cerebral hemispheres of adults, since these are the most common and malignant brain tumours. The high-grade astrocytomas that affect adults, such as glioblastoma multiforme, often have amplification of the epidermal growth factor receptor (EGFR) oncogene and loss of a variety of chromosomal loci that probably harbour tumour suppressor genes. Of the various tumour suppressor gene loci, the p53 gene on chromosome 17p has been studied most closely and has been shown to be mutated in both low- and high-grade astrocytomas. These genetic alterations may provide a means for subdividing astrocytomas into diagnostic categories. For instance, p53 gene mutations occur more commonly in glioblastomas from young adults and women, while EGFR gene amplification is more common in glioblastomas from older adults and men. For the other primary CNS tumours, genetic studies remain in their infancy. The neurocutaneous syndromes, such as neurofibromatosis types 1 and 2, have provided unique insights into neurological oncogenesis. The NF1 gene on chromosomes 17q and its product, neurofibromin, may be important in the formation of neurofibrosarcomas, while the NF2 gene on chromosome 22q and its product, merlin, are probably involved in the formation of schwannomas and other nervous system tumours. The further characterization of these and other neurological tumour genes will undoubtedly illuminate many other areas in neurooncology.     

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.     

Predicting external sulphur requirement of alfalfa from sulphate sorption isotherm of Tanzanian soils

For Tanzanian soils dominant in hydrous oxides of iron and amorphous ferri-alumino silicate, a 48-hour (hr) mixing period with the sulphate (SO₄) solution was adequate for a near-equilibrium condition. Although differing in their SO₄ sorption capacity, all the soils sorbed SO₄ at or beyond 1µg ml^–1 sulphur (S) concentration in the supernatant. Hydroxyl (OH) ions were displaced during SO₄ sorption as indicated by a significant positive correlation between the amount of sorbed SO₄ and the difference in pH values determined in 0.1N K₂ SO₄ and 0.1N KCl, i.e. the dpH values.In a greenhouse experiment, alfalfa was grown on eight soils at six adjusted S concentrations. Sulphur deficiency symptoms appeared in the control pots of those soils which were low in native sorbed SO₄, SO₄ sorption capacity and initial soil solution S concentration. Sulphur fertilization increased dry matter (DM) yield as well as response to applied S. The external S concentration, i.e. adjusted S concentration required for 95% of the maximum DM yield, ranged from 0.8 to 8.2µg S ml^–1 with values less than 2.0 on most of the soils. The external S concentration decreased hyperbolically as the SO₄ sorption capacity of the soils increased. The total amount of fertilizer S required to obtain the external S concentration in solution, and at the same time satisfy the SO₄ sorption capacity of the soil at the external S concentration (determined from the sorption isotherm) was defined as the external S requirement for the specified yield level of alfalfa. The external S requirement for 95% of the maximum yield of alfalfa varied from soil to soil due to differences in their capacity and intensity for S nutrition.Part of a thesis by the senior author for the MSc (Agric) degree of the University of Dar es Salaam