Probabilistic program analysis for parallelizing compilers

Parallelizing compilers have difficulty analysing and optimising complex code. To address this, some analysis may be delayed until run-time, and techniques such as speculative execution used. Furthermore, to enhance performance, a feedback loop may be setup between the compile time and run-time analysis systems, as in iterative compilation. To extend this, it is proposed that the run-time analysis collects information about the values of variables not already determined, and estimates a probability measure for the sampled values. These measures may be used to guide optimisations in further analyses of the program. To address the problem of variables with measures as values, this paper also presents an outline of a novel combination of previous probabilistic denotational semantics models, applied to a simple imperative language.

Stabilization of zinc electrodes with a conducting polymer

The reversibility of zinc anode in alkaline medium was enhanced by electrostatic deposition of a conducting polymer (polypyrrole). Electropolymerization of pyrrole onto zinc in aqueous medium using an organic acid as dopant is feasible and preferred as zinc is less corrosive in this medium. The structure of the polymer film was analyzed by FT-IR spectroscopy and scanning electron microscopy. The effect of the polypyrrole deposit on the zinc electrode was studied by cyclic voltammetry and charge–discharge cycling.

Investigation of various growth mechanisms of solid tumour growth within the linear-quadratic model for radiotherapy

The standard linear-quadratic survival model for radiotherapy is used to investigate different schedules of radiation treatment planning to study how these may be affected by different tumour repopulation kinetics between treatments.

Low-dose studies of bystander cell killing with targeted soft X rays

The Gray Cancer Institute ultrasoft X-ray microprobe was used to quantify the bystander response of individual V79 cells exposed to a focused carbon K-shell (278 eV) X-ray beam. The ultrasoft X-ray microprobe is designed to precisely assess the biological response of individual cells irradiated in vitro with a very fine beam of low-energy photons. Characteristic C-K X rays are generated by a focused beam of 10 keV electrons striking a graphite target. Circular diffraction gratings (i.e. zone plates) are then employed to focus the X-ray beam into a spot with a radius of 0.25 mum at the sample position. Using this microbeam technology, the correlation between the irradiated cells and their nonirradiated neighbors can be examined critically. The survival response of V79 cells irradiated with a C-K X-ray beam was measured in the 0-2-Gy dose range. The response when all cells were irradiated was compared to that obtained when only a single cell was exposed. The cell survival data exhibit a linear-quadratic response when all cells were targeted (with evidence for hyper-sensitivity at low doses). When only a single cell was targeted within the population, 10% cell killing was measured. In contrast to the binary bystander behavior reported by many other investigations, the effect detected was initially dependent on dose (200 mGy). In the low-dose region (

A longitudinal study of infant feeding and obesity throughout the life course

Background: The Centers for Disease Control and Prevention and the US Department of Health and Human Services promote breastfeeding as a strategy for reducing childhood overweight. We evaluated the relation between infant feeding and the development of overweight and obesity throughout life course. Methods: We investigated the association between infant feeding and obesity among 35 526 participants in the Nurses' Health Study II who were followed prospectively from 1989 to 2001. Mothers of participants provided information by mailed questionnaires on the duration of breast- and bottle-feeding, as well as the type of milk or milk substitute in the bottle. Information on body shape at ages 5 and 10, weight at age 18, current weight between 1989 and 2001, and height was reported by the participants. Results: The duration of breastfeeding, including exclusive breastfeeding, was not related to being overweight (25 body mass index (BMI)

Single-shot characterisation of independent femtosecond extreme ultraviolet free electron andf infrared laser pulses

Two-color above threshold ionization of helium and xenon has been used to analyze the synchronization between individual pulses of the femtosecond extreme ultraviolet (XUV) free electron laser in Hamburg and an independent intense 120 fs mode-locked Ti:sapphire laser. Characteristic sidebands appear in the photoelectron spectra when the two pulses overlap spatially and temporally. The cross-correlation curve points to a 250 fs rms jitter between the two sources at the experiment. A more precise determination of the temporal fluctuation between the XUV and infrared pulses is obtained through the analysis of the single-shot sideband intensities. ©2007 American Institute of Physics

Willingness to Pay for Rural Landscape Improvements: Combining Mixed Logit and Random-Effects Models

This paper reports the findings from a discrete-choice experiment designed to estimate the economic benefits associated with rural landscape improvements in Ireland. Using a mixed logit model, the panel nature of the dataset is exploited to retrieve willingness-to-pay values for every individual in the sample. This departs from customary approaches in which the willingness-to-pay estimates are normally expressed as measures of central tendency of an a priori distribution. Random-effects models for panel data are subsequently used to identify the determinants of the individual-specific willingness-to-pay estimates. In comparison with the standard methods used to incorporate individual-specific variables into the analysis of discrete-choice experiments, the analytical approach outlined in this paper is shown to add considerable explanatory power to the welfare estimates.

Isotopic composition of tropospheric and soil N2O from successive depths of agricultural plots with contrasting crops and nitrogen amendments

Agricultural soils are the dominant contributor to increases in atmospheric nitrous oxide (N2O). Few studies have investigated the natural N and O isotopic composition of soil N2O. We collected soil gas samples using horizontal sampling tubes installed at successive depths under five contrasting agricultural crops (e.g., unamended alfalfa, fertilized cereal), and tropospheric air samples. Mean d 15N and d 18O values of soil N2O ranged from -28.0 to +8.9‰, and from +29.0 to +53.6‰. The mean d 15N and d 18O values of tropospheric N2O were +4.6 ± 0.7‰ and +48.3 ± 0.2‰, respectively. In general, d values were lowest at depth, they were negatively correlated to soil [N2O], and d 15N was positively correlated to d 18O for every treatment on all sampling dates. N2O from the different agricultural treatments had distinct d 15N and d 18O values that varied among sampling dates. Fertilized treatments had soil N2O with low d values, but the unamended alfalfa yielded N2O with the lowest d values. Diffusion was not the predominant process controlling N2O concentration profiles. Based on isotopic and concentration data, it appears that soil N2O was consumed, as it moved from deeper to shallower soil layers. To better assess the main process(es) controlling N2O within a soil profile, we propose a conceptual model that integrates data on net N2O production or consumption and isotopic data. The direct local impact of agricultural N2O on the isotopic composition of tropospheric N2O was recorded by a shift toward lower d values of locally measured tropospheric N2O on a day with very high soil N2O emissions.