Detection of water at z = 0.685 towards B0218+357

We report the detection of the H_2O molecule in absorption at a redshift z = 0.68466 in front of the gravitationally lensed quasar B0218+357. We detect the fundamental transition of ortho-water at 556.93 GHz (redshifted to 330.59 GHz). The line is highly optically thick and relatively wide (15 km/s FWHM), with a profile that is similar to that of the previously detected CO(2--1) and HCO^+(2--1) optically thick absorption lines toward this quasar. From the measured level of the continuum at 330.59 GHz, which corresponds to the level expected from the power-law spectrum $S(\nu) \propto \nu^{-0.25}$ already observed at lower frequencies, we deduce that the filling factor of the H_2O absorption is large. It was already known from the high optical thickness of the CO, ^{13}CO and C^{18}O lines that the molecular clouds entirely cover one of the two lensed images of the quasar (all its continuum is absorbed); our present results indicate that the H_2O clouds are covering a comparable surface. The H_2O molecules are therefore not confined to small cores with a tiny filling factor, but are extended over parsec scales. The H_2O line has a very large optical depth, and only isotopic lines could give us the water abundance. We have also searched for the 183 GHz line in absorption, obtaining only an upper limit; this yields constraints on the excitation temperature.Comment: 4 pages, 3 figures, accepted in ApJ Letter

Control dependence for extended finite state machines

Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related definitions, introducing a new definition that subsumes one and extends another. We illustrate that by using this new definition our slices respect Weiser slicing’s termination behaviour. We prove results that clarify the relationships between our definition and older ones, following this up with examples to motivate the need for these differences

Exact evidence for the spontaneous antiferromagnetic long-range order in the two-dimensional hybrid model of localized Ising spins and itinerant electrons

The generalized decoration-iteration transformation is adopted to treat exactly a hybrid model of doubly decorated two-dimensional lattices, which have localized Ising spins at their nodal lattice sites and itinerant electrons delocalized over pairs of decorating sites. Under the assumption of a half filling of each couple of the decorating sites, the investigated model system exhibits a remarkable spontaneous antiferromagnetic long-range order with an obvious quantum reduction of the staggered magnetization. It is shown that the critical temperature of the spontaneously long-range ordered quantum antiferromagnet displays an outstanding non-monotonic dependence on a ratio between the kinetic term and the Ising-type exchange interaction.Comment: 8 pages, 6 figure

A new limit on the CP violating decay KS -> 3pi0 with the KLOE experiment

We have carried out a new direct search for the CP violating decay KS -> 3pi0 with 1.7 fb^-1 of e+e- collisions collected by the KLOE detector at the phi-factory DAFNE. We have searched for this decay in a sample of about 5.9 x 10^8 KS KL events tagging the KS by means of the KL interaction in the calorimeter and requiring six prompt photons. With respect to our previous search, the analysis has been improved by increasing of a factor four the tagged sample and by a more effective background rejection of fake KS tags and spurious clusters. We find no candidates in data and simulated background samples, while we expect 0.12 standard model events. Normalizing to the number of KS -> 2pi0 events in the same sample, we set the upper limit on BR(KS -> 3pi0 < 2.6 x 10^-8 at 90% C.L., five times lower than the previous limit. We also set the upper limit on the eta_000 parameter, |eta_000 | < 0.0088 at 90% C.L., improving by a factor two the latest direct measurement.Comment: Accepted for publication in Physics Letters B (15 pages, 13 figures

Kinetic models with randomly perturbed binary collisions

We introduce a class of Kac-like kinetic equations on the real line, with general random collisional rules, which include as particular cases models for wealth redistribution in an agent-based market or models for granular gases with a background heat bath. Conditions on these collisional rules which guarantee both the existence and uniqueness of equilibrium profiles and their main properties are found. We show that the characterization of these stationary solutions is of independent interest, since the same profiles are shown to be solutions of different evolution problems, both in the econophysics context and in the kinetic theory of rarefied gases

Use of ethyleneglycol monomethyl ether as cryoprotectant in vitrification of IVP bovine embryos.

Publicado: Proceedings of the 29th Annual Meeting of the Brazilian Embryo Technology Society (SBTE); Gramado, RS, Brazil, August 20th to 23rd, 2015, and 31st Meeting of the European Embryo Transfer Association (AETE); Ghent, Belgium, September 11th and 12th, 2015. Abstracts

Resonant tunneling through a C60 molecular junction in liquid environment

We present electronic transport measurements through thiolated C$_{60}$ molecules in liquid environment. The molecules were placed within a mechanically controllable break junction using a single anchoring group per molecule. When varying the electrode separation of the C$_{60}$-modified junctions, we observed a peak in the conductance traces. The shape of the curves is strongly influenced by the environment of the junction as shown by measurements in two distinct solvents. In the framework of a simple resonant tunneling model, we can extract the electronic tunneling rates governing the transport properties of the junctions.Comment: 13 pages, 4 figures. To appear in Nanotechnolog

Le diabète dans le canton de Vaud : évaluation de la pratique des professionnel(le)s de santé et de la collaboration interprofessionnelle

Contexte: Le Programme cantonal diabète se développe depuis 2010 dans le canton de Vaud. Il a pour objectif de limiter l'évolution de l'incidence du diabète et d'améliorer la prise en charge des patients diabétiques. - Méthodes: Cette étude vise à recueillir des données concernant : 1) la collaboration interprofessionnelle, 2) la pratique professionnelle au regard du « Chronic care model », ainsi que 3) la connaissance et la mise en pratique des recommandations pour la pratique clinique (RPC) auprès du patient diabétique. Les professionnels de santé (PdS) suivant ont été sollicités pour participer à cette étude : médecins et infirmier(ère)s spécialisé(e)s en diabétologie, médecins de premiers recours et infirmier(ère)s en soins généraux. Cette étude comporte un volet quantitatif où les PdS étaient invités à répondre à un questionnaire sur Internet, et un volet qualitatif où des PdS ont été réunis lors de trois focus groups pour recueillir leurs avis sur les trois thématiques de l'étude