Which Classes of Origin Graphs Are Generated by Transducers.

We study various models of transducers equipped with origin information. We consider the semantics of these models as particular graphs, called origin graphs, and we characterise the families of such graphs recognised by streaming string transducers

Undecidability of a weak version of MSO+U

We prove the undecidability of MSO on ω-words extended with the second-order predicate U1(X) which says that the distance between consecutive positions in a set X⊆N is unbounded. This is achieved by showing that adding U1 to MSO gives a logic with the same expressive power as MSO+U, a logic on ω-words with undecidable satisfiability. As a corollary, we prove that MSO on ω-words becomes undecidable if allowing to quantify over sets of positions that are ultimately periodic, i.e., sets X such that for some positive integer p, ultimately either both or none of positions x and x+p belong to X

The Effects of Mortality, Subsistence, and Ecology on Human Adult Height and Implications for Homo Evolution

The increase in body size observed with the appearance and evolution of Homo is most often attributed to thermoregulatory and locomotor adaptations to environment; increased reliance on animal protein and fat; or increased behavioral flexibility, provisioning, and cooperation leading to decreased mortality rates and slow life histories. It is not easy to test these hypotheses in the fossil record. Therefore, understanding selective pressures shaping height variability in living humans might help to construct models for the interpretation of body size variation in the hominins. Among human populations, average male height varies extensively (145 cm–183 cm); a similar range of variation is found in Homo erectus (including African and Georgian samples). Previous research shows that height in human populations covaries with life history traits and variations in mortality rates and that different environments affect adult height through adaptations related to thermoregulation and nutrition. We investigate the interactions between life history traits, mortality rates, environmental setting, and subsistence for 89 small-scale societies. We show that mortality rates are the primary factor shaping adult height variation and that people in savanna are consistently taller than people in forests. We focus on relevant results for interpreting the evolution of Homo body size variability

Barometric pumping of a fractured porous medium

International audienceBarometric pumping plays a crucial role in the release of trace gases from fractured porous media to the atmosphere, and it requires a rigorous and complete modeling in order to go beyond the approximate schemes available in the literature. Therefore, a coupled set of convection and convection-diffusion equations for a slightly compressible fluid in unsteady conditions should be solved. The numerical methodology is presented, and it is applied to conditions close to the ones of the Roselend Natural Laboratory (France). The precision of the code is assessed and the mechanism of barometric pumping is explained. The usual schematization by simple vertical fractures is shown to be only qualitative. Finally, barometric pumping is shown to be efficient in a narrow range of parameter values; its efficiency is a decreasing function of the matrix porosity and of the fracture density

Role of phosphoinositide 3-kinase in the autophagic death of serum-deprived PC12 cells

The death of serum-deprived undifferentiated PC12 cells shows both autophagic and apoptotic features. Since it is still controversial whether the autophagy is instrumental in the cell death or a mere epiphenomenon, we tested the effects of inhibiting the autophagy by a variety of phosphoinositide 3-kinase inhibitors, and provided evidence that the autophagy, or a related trafficking event, is indeed instrumental in the cell death. Furthermore, by comparing the effects of PI3-K inhibition and caspase-inhibition on autophagic and apoptotic cellular events, we showed that in this case the autophagic and apoptotic mechanisms mediate cell death by parallel pathways and do not act in serie

Coherent acoustic vibration of metal nanoshells

Using time-resolved pump-probe spectroscopy we have performed the first investigation of the vibrational modes of gold nanoshells. The fundamental isotropic mode launched by a femtosecond pump pulse manifests itself in a pronounced time-domain modulation of the differential transmission probed at the frequency of nanoshell surface plasmon resonance. The modulation amplitude is significantly stronger and the period is longer than in a gold nanoparticle of the same overall size, in agreement with theoretical calculations. This distinct acoustical signature of nanoshells provides a new and efficient method for identifying these versatile nanostructures and for studying their mechanical and structural properties.Comment: 5 pages, 3 figure

G0^0 Electronics and Data Acquisition (Forward-Angle Measurements)

The G$^0$ parity-violation experiment at Jefferson Lab (Newport News, VA) is designed to determine the contribution of strange/anti-strange quark pairs to the intrinsic properties of the proton. In the forward-angle part of the experiment, the asymmetry in the cross section was measured for $\vec{e}p$ elastic scattering by counting the recoil protons corresponding to the two beam-helicity states. Due to the high accuracy required on the asymmetry, the G$^0$ experiment was based on a custom experimental setup with its own associated electronics and data acquisition (DAQ) system. Highly specialized time-encoding electronics provided time-of-flight spectra for each detector for each helicity state. More conventional electronics was used for monitoring (mainly FastBus). The time-encoding electronics and the DAQ system have been designed to handle events at a mean rate of 2 MHz per detector with low deadtime and to minimize helicity-correlated systematic errors. In this paper, we outline the general architecture and the main features of the electronics and the DAQ system dedicated to G$^0$ forward-angle measurements.Comment: 35 pages. 17 figures. This article is to be submitted to NIM section A. It has been written with Latex using \documentclass{elsart}. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment In Press (2007

Interparticle interactions:Energy potentials, energy transfer, and nanoscale mechanical motion in response to optical radiation

In the interactions between particles of material with slightly different electronic levels, unusually large shifts in the pair potential can result from photoexcitation, and on subsequent electronic excitation transfer. To elicit these phenomena, it is necessary to understand the fundamental differences between a variety of optical properties deriving from dispersion interactions, and processes such as resonance energy transfer that occur under laser irradiance. This helps dispel some confusion in the recent literature. By developing and interpreting the theory at a deeper level, one can anticipate that in suitable systems, light absorption and energy transfer will be accompanied by significant displacements in interparticle separation, leading to nanoscale mechanical motion

Development of a quality assurance process for the SoLid experiment

The SoLid experiment has been designed to search for an oscillation pattern induced by a light sterile neutrino state, utilising the BR2 reactor of SCK circle CEN, in Belgium. The detector leverages a new hybrid technology, utilising two distinct scintillators in a cubic array, creating a highly segmented detector volume. A combination of 5 cm cubic polyvinyltoluene cells, with (LiF)-Li-6:ZnS(Ag) sheets on two faces of each cube, facilitate reconstruction of the neutrino signals. Whilst the high granularity provides a powerful toolset to discriminate backgrounds; by itself the segmentation also represents a challenge in terms of homogeneity and calibration, for a consistent detector response. The search for this light sterile neutrino implies a sensitivity to distortions of around O(10)% in the energy spectrum of reactor (v) over bare. Hence, a very good neutron detection efficiency, light yield and homogeneous detector response are critical for data validation. The minimal requirements for the SoLid physics program are a light yield and a neutron detection efficiency larger than 40 PA/MeV/cube and 50% respectively. In order to guarantee these minimal requirements, the collaboration developed a rigorous quality assurance process for all 12800 cubic cells of the detector. To carry out the quality assurance process, an automated calibration system called CALIPSO was designed and constructed. CALIPSO provides precise, automatic placement of radioactive sources in front of each cube of a given detector plane (16 x 16 cubes). A combination of Na-22, Cf-252 and AmBe gamma and neutron sources were used by CALIPSO during the quality assurance process. Initially, the scanning identified defective components allowing for repair during initial construction of the SoLid detector. Secondly, a full analysis of the calibration data revealed initial estimations for the light yield of over 60 PA/MeV and neutron reconstruction efficiency of 68%, validating the SoLid physics requirements