On Multiphase-Linear Ranking Functions

Multiphase ranking functions ($\mathit{M{\Phi}RFs}$) were proposed as a means to prove the termination of a loop in which the computation progresses through a number of "phases", and the progress of each phase is described by a different linear ranking function. Our work provides new insights regarding such functions for loops described by a conjunction of linear constraints (single-path loops). We provide a complete polynomial-time solution to the problem of existence and of synthesis of $\mathit{M{\Phi}RF}$ of bounded depth (number of phases), when variables range over rational or real numbers; a complete solution for the (harder) case that variables are integer, with a matching lower-bound proof, showing that the problem is coNP-complete; and a new theorem which bounds the number of iterations for loops with $\mathit{M{\Phi}RFs}$. Surprisingly, the bound is linear, even when the variables involved change in non-linear way. We also consider a type of lexicographic ranking functions, $\mathit{LLRFs}$, more expressive than types of lexicographic functions for which complete solutions have been given so far. We prove that for the above type of loops, lexicographic functions can be reduced to $\mathit{M{\Phi}RFs}$, and thus the questions of complexity of detection and synthesis, and of resulting iteration bounds, are also answered for this class.Comment: typos correcte

A spatio-temporal model for estimating the long-term effects of air pollution on respiratory hospital admissions in Greater London

It has long been known that air pollution is harmful to human health, as many epidemiological studies have been conducted into its effects. Collectively, these studies have investigated both the acute and chronic effects of pollution, with the latter typically based on individual level cohort designs that can be expensive to implement. As a result of the increasing availability of small-area statistics, ecological spatio-temporal study designs are also being used, with which a key statistical problem is allowing for residual spatio-temporal autocorrelation that remains after the covariate effects have been removed. We present a new model for estimating the effects of air pollution on human health, which allows for residual spatio-temporal autocorrelation, and a study into the long-term effects of air pollution on human health in Greater London, England. The individual and joint effects of different pollutants are explored, via the use of single pollutant models and multiple pollutant indices

Maintaining dimensions and mechanical properties of ionically crosslinked alginate hydrogel scaffolds in vitro

Ionically crosslinked alginate hydrogels are attractive scaffolds because of their biocompatibility and mild gelation reaction that allows for gentle cell incorporation. However, the instability of ionically crosslinked hydrogels in an aqueous environment is a challenge that limits their application. This report presents a novel method to control the dimensions and mechanical properties of ionically crosslinked hydrogels via control of the ionic concentration of the medium. Homogeneous calcium-alginate gels were incubated in physiological saline baths adjusted to specific calcium ion concentrations. Swelling and shrinking occurred at low and high ionic concentrations of the medium, respectively, while an “optimal” intermediate calcium ion concentration of the medium was found to maintain original size and shape of the hydrogel. This optimal calcium ion concentration was found to be a function of crosslinking density and polymer concentration of the hydrogel and chemical composition of the alginate. The effects of optimal and high calcium ion concentrations of the medium on swelling behavior, calcium content, dry weight, and mechanical properties of the immersed hydrogels were investigated. It was found that the resulting hydrogel composition and mechanical properties depended on not only the calcium concentration of the medium, but also the crosslinking density and polymer concentration of the gel. In an 8-week experiment, controlled dimensions and mechanical properties of alginate gels in an aqueous environment were demonstrated. This new technique significantly enhances the potential of alginate hydrogels for tissue engineering and other biomedical applications. © 2007 Wiley Periodicals, Inc. J Biomed Mater Res, 2008Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/58038/1/31375_ftp.pd

Fungicide-Driven Evolution and Molecular Basis of Multidrug Resistance in Field Populations of the Grey Mould Fungus Botrytis cinerea

The grey mould fungus Botrytis cinerea causes losses of commercially important fruits, vegetables and ornamentals worldwide. Fungicide treatments are effective for disease control, but bear the risk of resistance development. The major resistance mechanism in fungi is target protein modification resulting in reduced drug binding. Multiple drug resistance (MDR) caused by increased efflux activity is common in human pathogenic microbes, but rarely described for plant pathogens. Annual monitoring for fungicide resistance in field isolates from fungicide-treated vineyards in France and Germany revealed a rapidly increasing appearance of B. cinerea field populations with three distinct MDR phenotypes. All MDR strains showed increased fungicide efflux activity and overexpression of efflux transporter genes. Similar to clinical MDR isolates of Candida yeasts that are due to transcription factor mutations, all MDR1 strains were shown to harbor activating mutations in a transcription factor (Mrr1) that controls the gene encoding ABC transporter AtrB. MDR2 strains had undergone a unique rearrangement in the promoter region of the major facilitator superfamily transporter gene mfsM2, induced by insertion of a retrotransposon-derived sequence. MDR2 strains carrying the same rearranged mfsM2 allele have probably migrated from French to German wine-growing regions. The roles of atrB, mrr1 and mfsM2 were proven by the phenotypes of knock-out and overexpression mutants. As confirmed by sexual crosses, combinations of mrr1 and mfsM2 mutations lead to MDR3 strains with higher broad-spectrum resistance. An MDR3 strain was shown in field experiments to be selected against sensitive strains by fungicide treatments. Our data document for the first time the rising prevalence, spread and molecular basis of MDR populations in a major plant pathogen in agricultural environments. These populations will increase the risk of grey mould rot and hamper the effectiveness of current strategies for fungicide resistance management

Visualization of the <i>Serratia </i>type VI secretion system reveals unprovoked attacks and dynamic assembly

SummaryThe Type VI secretion system (T6SS) is a bacterial nanomachine that fires toxic proteins into target cells. Deployment of the T6SS represents an efficient and widespread means by which bacteria attack competitors or interact with host organisms and may be triggered by contact from an attacking neighbor cell as a defensive strategy. Here, we use the opportunist pathogen Serratia marcescens and functional fluorescent fusions of key components of the T6SS to observe different subassemblies of the machinery simultaneously and on multiple timescales in vivo. We report that the localization and dynamic behavior of each of the components examined is distinct, revealing a multi-stage and dynamic assembly process for the T6SS machinery. We also show that the T6SS can assemble and fire without needing a cell contact trigger, defining an aggressive strategy that broadens target range and suggesting that activation of the T6SS is tailored to survival in specific niches

Large Anomalous Hall effect in a silicon-based magnetic semiconductor

Magnetic semiconductors are attracting high interest because of their potential use for spintronics, a new technology which merges electronics and manipulation of conduction electron spins. (GaMn)As and (GaMn)N have recently emerged as the most popular materials for this new technology. While Curie temperatures are rising towards room temperature, these materials can only be fabricated in thin film form, are heavily defective, and are not obviously compatible with Si. We show here that it is productive to consider transition metal monosilicides as potential alternatives. In particular, we report the discovery that the bulk metallic magnets derived from doping the narrow gap insulator FeSi with Co share the very high anomalous Hall conductance of (GaMn)As, while displaying Curie temperatures as high as 53 K. Our work opens up a new arena for spintronics, involving a bulk material based only on transition metals and Si, and which we have proven to display a variety of large magnetic field effects on easily measured electrical properties.Comment: 19 pages with 5 figure

The Contribution of Dental Amalgam to Urinary Mercury Excretion in Children

BACKGROUND: Urinary mercury concentrations are widely used as a measure of mercury exposure from dental amalgam fillings. No studies have evaluated the relationship of these measures in a longitudinal context in children. OBJECTIVE: We evaluated urinary mercury in children 8–18 years of age in relation to number of amalgam surfaces and time since placement over a 7-year course of amalgam treatment. METHODS: Five hundred seven children, 8–10 years of age at baseline, participated in a clinical trial to evaluate the neurobehavioral effects of dental amalgam in children. Subjects were randomized to either dental amalgam or resin composite treatments. Urinary mercury and creatinine concentrations were measured at baseline and annually on all participants. RESULTS: Treatment groups were comparable in baseline urinary mercury concentration (~ 1.5 μg/L). Mean urinary mercury concentrations in the amalgam group increased to a peak of ~ 3.2 μg/L at year 2 and then declined to baseline levels by year 7 of follow-up. There was a strong, positive association between urinary mercury and both number of amalgam surfaces and time since placement. Girls had significantly higher mean urinary mercury concentrations than boys throughout the course of amalgam treatment. There were no differences by race in urinary mercury concentration associated with amalgam exposure. CONCLUSIONS: Urinary mercury concentrations are highly correlated with both number of amalgam fillings and time since placement in children. Girls excrete significantly higher concentrations of mercury in the urine than boys with comparable treatment, suggesting possible sex-related differences in mercury handling and susceptibility to mercury toxicity.info:eu-repo/semantics/publishedVersio

Atom lasers: production, properties and prospects for precision inertial measurement

We review experimental progress on atom lasers out-coupled from Bose-Einstein condensates, and consider the properties of such beams in the context of precision inertial sensing. The atom laser is the matter-wave analog of the optical laser. Both devices rely on Bose-enhanced scattering to produce a macroscopically populated trapped mode that is output-coupled to produce an intense beam. In both cases, the beams often display highly desirable properties such as low divergence, high spectral flux and a simple spatial mode that make them useful in practical applications, as well as the potential to perform measurements at or below the quantum projection noise limit. Both devices display similar second-order correlations that differ from thermal sources. Because of these properties, atom lasers are a promising source for application to precision inertial measurements.Comment: This is a review paper. It contains 40 pages, including references and figure

Organic electrode coatings for next-generation neural interfaces

Traditional neuronal interfaces utilize metallic electrodes which in recent years have reached a plateau in terms of the ability to provide safe stimulation at high resolution or rather with high densities of microelectrodes with improved spatial selectivity. To achieve higher resolution it has become clear that reducing the size of electrodes is required to enable higher electrode counts from the implant device. The limitations of interfacing electrodes including low charge injection limits, mechanical mismatch and foreign body response can be addressed through the use of organic electrode coatings which typically provide a softer, more roughened surface to enable both improved charge transfer and lower mechanical mismatch with neural tissue. Coating electrodes with conductive polymers or carbon nanotubes offers a substantial increase in charge transfer area compared to conventional platinum electrodes. These organic conductors provide safe electrical stimulation of tissue while avoiding undesirable chemical reactions and cell damage. However, the mechanical properties of conductive polymers are not ideal, as they are quite brittle. Hydrogel polymers present a versatile coating option for electrodes as they can be chemically modified to provide a soft and conductive scaffold. However, the in vivo chronic inflammatory response of these conductive hydrogels remains unknown. A more recent approach proposes tissue engineering the electrode interface through the use of encapsulated neurons within hydrogel coatings. This approach may provide a method for activating tissue at the cellular scale, however, several technological challenges must be addressed to demonstrate feasibility of this innovative idea. The review focuses on the various organic coatings which have been investigated to improve neural interface electrodes