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

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

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

Field assisted sintering of larger scaled ceramic parts using adapted tool design and hybrid heating

Field Assisted Sintering/Spark Plasma Sintering (FAST/SPS) is a promising technology for the energy efficient sintering of ceramic, composite and metal powders. The combination of direct current heating and applied pressure enables high heating rates, rapid densification and offers the potential to decrease the sintering temperature significantly. FAST/SPS is of special interest for materials, which are difficult to densify by conventional methods like pressure less sintering. To establish this processing technology on industrial scale, fundamental studies are required to better understand the relationship between processing parameters, specific FAST/SPS boundary conditions and resulting material properties. A challenging task – especially for non-conductive oxide ceramics – is the decrease of thermal gradients during FAST/SPS cycles to a minimum and to suppress interface reactions with the tool material. In the present work, a systematic study was conducted in our FAST/SPS device aiming on to homogeneously densifying commercial yttria (Y2O3) powder to discs with diameter up to 100 mm. Specific attention was laid on the formation of thermal gradients during the cycle and to investigate their influence on the resulting microstructure. Therefore, different tool set ups were used. Amongst others, carbon fiber reinforced carbon (CFC) inlays were implemented to adjust thermal conductivity of the tool. Furthermore, the effect of hybrid heating was evaluated. For this experimental series, an additional induction coil was mounted in the FAST/SPS device. For evaluating the efficiency of hybrid heating, total energy consumption of the FAST/SPS device – operated with and without induction coil – was measured. The experimental studies were accompanied by finite element modelling to estimate the temperature distribution of non-conductive yttria sample during FAST/SPS processing. The modelling results will be correlated with the grain size distribution along the cross section of the 100 mm disc. Additionally, Vickers hardness measurements were done to investigate how thermal gradients tend to influence mechanical properties

Phase transitions between single- and double-layered smectic structures in binary mixtures of cyano-mesogens

Binary mixtures of mesogens which exhibit respectively single-layered (A 1), double layered (A2) and partially double layered (A d) smectic phases show abrupt A2-A1 or A2-Ad transitions as a function of concentration. Double layered structures imply the formation of dimerized entities and the possibility of dimerization is discussed in terms of the amphiphilic nature of the molecules in the binary mixture (symmetrical and dissymmetrical polar mesogens). The results are analysed with respect to the thermal stability of the A 2 phase when defects are introduced in the polar interface by adding non-polar symmetrical mesogens.Des mélanges binaires de mésogènes présentant respectivement des phases smectiques monocouches (A1), bicouches (A2) et partiellement bicouches (Ad) permettent de mettre en évidence en fonction de la concentration des transitions brusques A2-A1 ou A 2-Ad. La structure bicouche implique un processus de dimérisation des entités mésogènes qui est discuté en fonction du caractère amphipathique des molécules (molécules polaires symétriques et dissymétriques). La stabilité de la phase bicouche est également analysée lorsque l'on introduit une perturbation au niveau de l'interface polaire par adjonction de molécules non polaires

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