Non-deterministic Boolean Proof Nets

16 pagesInternational audienceWe introduce Non-deterministic Boolean proof nets to study the correspondence with Boolean circuits, a parallel model of computation. We extend the cut elimination of Non-deterministic Multiplicative Linear logic to a parallel procedure in proof nets. With the restriction of proof nets to Boolean types, we prove that the cut-elimination procedure corresponds to Non-deterministic Boolean circuit evaluation and reciprocally. We obtain implicit characterization of the complexity classes NP and NC (the efficiently parallelizable functions)

HARD PHOTON PRODUCTION IN NUCLEUS-NUCLEUS COLLISIONS AT 30 MeV/u AND 44 MeV/u

Doubly differential cross-sections for Bremsstrahlung production have been measured in the reactions 40Ar + 197Au at 30 MeV/u and 86Kr +12C, AgNat and 197Au at 44 MeV/u. A qualitative analysis of the characteristics of the γ-ray emission suggests strongly that the initial proton-neutron collisions are the main source of nuclear Bremsstrahlung

Innovation et gouvernance territoriale : une analyse par les dispositifs

International audienceCette communication vise à présenter les outils méthodologiques d'analyse/évaluation de la gouvernance territoriale élaborés dans le cadre du projet de recherche PSDR Gouv.Innov sur les innovations organisationnelles relatives à la gouvernance territoriale. Il s'agit d'étudier les transformations introduites par les politiques de développement durable au niveau des dispositifs de gouvernance territoriale visant à favoriser une gestion intégrée des espaces ruraux. Dans un contexte de recomposition de l'action publique où les procédures d'aménagement sont plutôt normées par des représentations urbaines, l'accent est mis sur la question des modalités de représentation des activités rurales, pour lesquelles nous faisons l'hypothèse qu'elles sont sous représentées. Les premiers résultats méthodologiques permettent, dans une première partie, de proposer une définition générique et pragmatique de la gouvernance territoriale et de préciser la notion de dispositifs de gouvernance comme objet d'observation. A partir de cette définition une grille d'analyse permettant d'appréhender l'ensemble des dimensions en jeu dans les processus de gouvernance territoriale est élaborée. Dans la deuxième partie nous explorons l'intérêt de la notion de dispositif pour observer les processus de gouvernance et proposons une grille de collecte et de structuration des informations pour constituer des chroniques des dispositifs étudiés. / This paper seeks to present the methodological tools used in the analysis/evaluation of territorial governance developed during research undertaken within the framework of the PSDR Gouv-Innov project on organisational innovations with respect to territorial governance. It involves the study of the changes resulting from the emergence of sustainable development policies in territorial governance systems aiming to implement the integrated management of rural areas. In a context of changes in the way in which public action is implemented (for instance, public-private partnerships), where development procedures are usually standardised by urban representations, the emphasis is placed on the issue of the representation of rural activities, the hypothesis being that they are under-represented. The initial methodological results lead, in the first instance, to a proposition for a generic and pragmatic definition of territorial governance and a clarification of the notion of governance systems as objects of observation. This definition can be used as the basis of a framework to address all the analytical dimensions of the territorial governance process. In the second part, the authors explore the idea of system in order to observe governance processes and suggest a matrix for the collection and structuring of information in order to report on the studied systems

Highlights from the Pierre Auger Observatory

The Pierre Auger Observatory is the world's largest cosmic ray observatory. Our current exposure reaches nearly 40,000 km$^2$ str and provides us with an unprecedented quality data set. The performance and stability of the detectors and their enhancements are described. Data analyses have led to a number of major breakthroughs. Among these we discuss the energy spectrum and the searches for large-scale anisotropies. We present analyses of our X$_{max}$ data and show how it can be interpreted in terms of mass composition. We also describe some new analyses that extract mass sensitive parameters from the 100% duty cycle SD data. A coherent interpretation of all these recent results opens new directions. The consequences regarding the cosmic ray composition and the properties of UHECR sources are briefly discussed.Comment: 9 pages, 12 figures, talk given at the 33rd International Cosmic Ray Conference, Rio de Janeiro 201

A search for point sources of EeV photons

Measurements of air showers made using the hybrid technique developed with the fluorescence and surface detectors of the Pierre Auger Observatory allow a sensitive search for point sources of EeV photons anywhere in the exposed sky. A multivariate analysis reduces the background of hadronic cosmic rays. The search is sensitive to a declination band from -85{\deg} to +20{\deg}, in an energy range from 10^17.3 eV to 10^18.5 eV. No photon point source has been detected. An upper limit on the photon flux has been derived for every direction. The mean value of the energy flux limit that results from this, assuming a photon spectral index of -2, is 0.06 eV cm^-2 s^-1, and no celestial direction exceeds 0.25 eV cm^-2 s^-1. These upper limits constrain scenarios in which EeV cosmic ray protons are emitted by non-transient sources in the Galaxy.Comment: 28 pages, 10 figures, accepted for publication in The Astrophysical Journa

Controlled assembly of SNAP-PNA-fluorophore systems on DNA templates to produce fluorescence resonance energy transfer

The SNAP protein is a widely used self-labeling tag that can be used for tracking protein localization and trafficking in living systems. A model system providing controlled alignment of SNAP-tag units can provide a new way to study clustering of fusion proteins. In this work, fluorescent SNAP-PNA conjugates were controllably assembled on DNA frameworks forming dimers, trimers, and tetramers. Modification of peptide nucleic acid (PNA) with the O6-benzyl guanine (BG) group allowed the generation of site-selective covalent links between PNA and the SNAP protein. The modified BG-PNAs were labeled with fluorescent Atto dyes and subsequently chemo-selectively conjugated to SNAP protein. Efficient assembly into dimer and oligomer forms was verified via size exclusion chromatography (SEC), electrophoresis (SDS-PAGE), and fluorescence spectroscopy. DNA directed assembly of homo- and hetero-dimers of SNAP-PNA constructs induced homo- and hetero-FRET, respectively. Longer DNA scaffolds controllably aligned similar fluorescent SNAP-PNA constructs into higher oligomers exhibiting homo-FRET. The combined SEC and homo-FRET studies indicated the 1:1 and saturated assemblies of SNAP-PNA-fluorophore:DNA formed preferentially in this system. This suggested a kinetic/stoichiometric model of assembly rather than binomially distributed products. These BG-PNA-fluorophore building blocks allow facile introduction of fluorophores and/or assembly directing moieties onto any protein containing SNAP. Template directed assembly of PNA modified SNAP proteins may be used to investigate clustering behavior both with and without fluorescent labels which may find use in the study of assembly processes in cells

Post conjunction detection of β\beta Pictoris b with VLT/SPHERE

With an orbital distance comparable to that of Saturn in the solar system, \bpic b is the closest (semi-major axis $\simeq$\,9\,au) exoplanet that has been imaged to orbit a star. Thus it offers unique opportunities for detailed studies of its orbital, physical, and atmospheric properties, and of disk-planet interactions. With the exception of the discovery observations in 2003 with NaCo at the Very Large Telescope (VLT), all following astrometric measurements relative to \bpic have been obtained in the southwestern part of the orbit, which severely limits the determination of the planet's orbital parameters. We aimed at further constraining \bpic b orbital properties using more data, and, in particular, data taken in the northeastern part of the orbit. We used SPHERE at the VLT to precisely monitor the orbital motion of beta \bpic b since first light of the instrument in 2014. We were able to monitor the planet until November 2016, when its angular separation became too small (125 mas, i.e., 1.6\,au) and prevented further detection. We redetected \bpic b on the northeast side of the disk at a separation of 139\,mas and a PA of 30$^{\circ}$ in September 2018. The planetary orbit is now well constrained. With a semi-major axis (sma) of $a = 9.0 \pm 0.5$ au (1 $\sigma$), it definitely excludes previously reported possible long orbital periods, and excludes \bpic b as the origin of photometric variations that took place in 1981. We also refine the eccentricity and inclination of the planet. From an instrumental point of view, these data demonstrate that it is possible to detect, if they exist, young massive Jupiters that orbit at less than 2 au from a star that is 20 pc away.Comment: accepted by A&

Integrating invasive species policies across ornamental horticulture supply-chains to prevent plant invasions

1.Ornamental horticulture is the primary pathway for invasive alien plant introductions. We critically appraise published evidence on the effectiveness of four policy instruments that tackle invasions along the horticulture supply chain: pre-border import restrictions, post-border bans, industry codes of conduct and consumer education. 2.Effective pre-border interventions rely on rigorous risk assessment and high industry compliance. Post-border sales bans become progressively less effective when alien species become widespread in a region. 3.A lack of independent performance evaluation and of public disclosure, limits the uptake and effectiveness of voluntary codes of conduct and discourages shifts in consumer preference away from invasive alien species. 4.Policy implications. Closing the plant invasion pathway associated with ornamental horticulture requires government-industry agreements to fund effective pre- and post-border weed risk assessments that can be subsequently supported by widely adopted, as well as verifiable, industry codes of conduct. This will ensure producers and consumers make informed choices in the face of better targeted public education addressing plant invasions

Measurement of the cosmic ray spectrum above 4×10184{\times}10^{18} eV using inclined events detected with the Pierre Auger Observatory

A measurement of the cosmic-ray spectrum for energies exceeding $4{\times}10^{18}$ eV is presented, which is based on the analysis of showers with zenith angles greater than $60^{\circ}$ detected with the Pierre Auger Observatory between 1 January 2004 and 31 December 2013. The measured spectrum confirms a flux suppression at the highest energies. Above $5.3{\times}10^{18}$ eV, the "ankle", the flux can be described by a power law $E^{-\gamma}$ with index $\gamma=2.70 \pm 0.02 \,\text{(stat)} \pm 0.1\,\text{(sys)}$ followed by a smooth suppression region. For the energy ($E_\text{s}$) at which the spectral flux has fallen to one-half of its extrapolated value in the absence of suppression, we find $E_\text{s}=(5.12\pm0.25\,\text{(stat)}^{+1.0}_{-1.2}\,\text{(sys)}){\times}10^{19}$ eV.Comment: Replaced with published version. Added journal reference and DO

SPHERE: the exoplanet imager for the Very Large Telescope

Observations of circumstellar environments to look for the direct signal of exoplanets and the scattered light from disks has significant instrumental implications. In the past 15 years, major developments in adaptive optics, coronagraphy, optical manufacturing, wavefront sensing and data processing, together with a consistent global system analysis have enabled a new generation of high-contrast imagers and spectrographs on large ground-based telescopes with much better performance. One of the most productive is the Spectro-Polarimetic High contrast imager for Exoplanets REsearch (SPHERE) designed and built for the ESO Very Large Telescope (VLT) in Chile. SPHERE includes an extreme adaptive optics system, a highly stable common path interface, several types of coronagraphs and three science instruments. Two of them, the Integral Field Spectrograph (IFS) and the Infra-Red Dual-band Imager and Spectrograph (IRDIS), are designed to efficiently cover the near-infrared (NIR) range in a single observation for efficient young planet search. The third one, ZIMPOL, is designed for visible (VIR) polarimetric observation to look for the reflected light of exoplanets and the light scattered by debris disks. This suite of three science instruments enables to study circumstellar environments at unprecedented angular resolution both in the visible and the near-infrared. In this work, we present the complete instrument and its on-sky performance after 4 years of operations at the VLT.Comment: Final version accepted for publication in A&