A method for constructing decodable de Bruijn sequences

We present two related methods of construction for de Bruijn (1946) sequences, both based on interleaving “smaller” de Bruijn sequences. Sequences obtained using these construction methods have the advantage that they can be “decoded” very efficiently, i.e., the position within the sequence of any particular “window” can be found very simply. Sequences with simple decoding algorithms are of considerable practical importance in position location applications     

Selectors Make Set-Based Analysis Too Hard

A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example, if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract the relevant component from the abstract representation of the procedure. In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more efficient manner.     

Medications and cataract. The Blue Mountains Eye Study

PURPOSE: Corticosteroids are known to cause cataracts, but the effects of other medications on the lens are unclear. The aim of this study was to investigate the relationships between cataracts and a range of medications, including allopurinol, aspirin, chloroquine, diuretics, phenothiazines, and simvastatin. DESIGN: Population-based cross-sectional study. PARTICIPANTS: 3654 individuals 49 to 97 years of age (response rate, 82%) from an urban community near Sydney, Australia, were included. TESTING: Lens photography. PRIMARY OUTCOME MEASURE: Lens photographs were graded for the presence and severity of cortical, nuclear, and posterior subcapsular cataract. RESULTS: After adjusting for numerous potential confounders in ordinal regression models, use of phenothiazines was associated with nuclear cataract (adjusted odds ratio [OR], 2.18; 95% confidence interval [CI], 1.01-4.74); long-term aspirin users (> or = 10 years) had higher prevalence of posterior subcapsular cataract than did nonusers and short-term users (test for trend, P = 0.02); and the antimalarial drug mepacrine was associated with posterior subcapsular cataract (adjusted OR, 3.56; 95% CI, 1.56-8.13). There was a suggestion that use of chloroquine-like drugs for more than 1 year (test for trend, P = 0.12) might also be associated with posterior subcapsular cataract. Antihypertensive medications, cholesterol-lowering drugs, and allopurinol were not associated with any type of cataract. Potassium-sparing diuretics were the only diuretic to show any evidence of an association with cataract (test for trend for posterior subcapsular cataract, P = 0.14). Amiodarone was associated with cortical cataract (age- and gender-adjusted OR, 3.84; 95% CI, 1.01-14.81), but there were too few users to do analyses adjusted for multiple confounders. CONCLUSIONS: Most drugs commonly used in the community do not appear to be associated with cataract. The findings of this study do not support the hypothesis that aspirin protects against cataract.     

Recognition and management of catheter-induced pulmonary artery rupture

The use of PCR to amplify a specific virA gene fragment serves as a highly specific and sensitive method to detect virulent bacteria of the genus Shigella and enteroinvasive Escherichia coli. Amplification of a 215-bp DNA band was obtained by using isolated genomic DNA of Shigella, individual cells of Shigella dysenteriae, and mayonnaise contaminated with S. dysenteriae. Moreover, a multiplex PCR with specific (virA) and bacterium-restricted (16S ribosomal DNA) primers generated an amplification product of approximately 755 bp for all bacteria tested and an additional 215-bp product for Shigella and enteroinvasive E. coli.     

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.