Une preuve est une histoire

International audienceLa narration computationnelle est un sous-domaine de l'Intelligence Artificielle, lié notamment aux problèmes de représentation des connaissances et en particulier à la représentation des actions et du changement. On s'y intéresse aux objets narratifs (littéraires, interactifs, cinématographiques) pour les comprendre, les analyser, ou les construire, en proposant des techniques qui peuvent être mises en oeuvre par des programmes et systèmes informatiques. C'est un domaine qui a des applications dans le domaine des jeux vidéos ou jeux utiles par exemple. Nous proposons de revenir dans cet exposé sur la motivation et les fondements d'un travail en cours, qui repose sur une connivence entre la structure des preuves en logique linéaire et la structure d'histoires interactives. Bien qu'ayant déjà donné lieu à une interprétation opérationnelle, cette approche a laissé des pistes inexplorées, surtout en ce qui concerne une normalisation et modularité de preuves/histoires dans un sous-ensemble ad hoc de la logique linéaire. Certaines idées ont été explorées en 2011 à l'aide de Coq et nous aimerions partager et échanger au sujet de nos projets actuels pour approfondir ce travail

Automatic Parallelization of a Gap Model using Java and OpenCL

International audienceNowadays, scientists are often disappointed by the outcome when parallelizing their simulations, in spite of all the tools at their disposal. They often invest much time and money, and do not obtain the expected speed-up. This can come from many factors going from a wrong parallel architecture choice to a model that simply does not present the criteria to be a good candidate for parallelization. However, when parallelization is successful, the reduced execution time can open new research perspectives, and allow to explore larger sets of parameters of a given simulation model. Thus, it is worth investing some time and workforce to figure out whether an algorithm is a good candidate to parallelization. Automatic parallelization tools can be of great help when trying to identify these properties. In this paper, we apply an automatic parallelization approach combining Java and OpenCL on an existing Gap Model. The two technologies are linked with a library from AMD called Aparapi. The latter allowed us to study the behavior of our automatically parallelized model on 10 different platforms, without modifying the source code

Investigating Alternative Acidic Proteases for H/D Exchange Coupled to Mass Spectrometry: Plasmepsin 2 but not Plasmepsin 4 Is Active Under Quenching Conditions

Structural studies of proteins by hydrogen/deuterium exchange coupled to mass spectrometry (DXMS) require the use of proteases working at acidic pH and low temperatures. The spatial resolution of this technique can be improved by combining several acidic proteases, each generating a set of different peptides. Three commercial aspartic proteases are used, namely, pepsin, and proteases XIII and XVIII. However, given their low purity, high enzyme/protein ratios have to be used with proteases XIII and XVIII. In the present work, we investigate the activity of two alternative acidic proteases from Plasmodium falciparum under different pH and temperature conditions. Peptide mapping of four different proteins after digestion with pepsin, plasmepsin 2 (PSM2), and plasmepsin 4 (PSM4) were compared. PSM4 is inactive at pH 2.2 and 0°C, making it unusable for DXMS studies. However, PSM2 showed low but reproducible activity under DXMS conditions. It displayed no substrate specificity and, like pepsin, no strict sequence specificity. Altogether, these results show that PSM2 but not PSM4 is a potential new tool for DXMS studies

TiO2 doping effect on reflective coating mechanical loss for gravitational wave detection at low temperature

We measured the mechanical loss of a dielectric multilayer reflective coating (ion-beam-sputtered SiO2 and Ta2O5) with and without TiO2 on sapphire disks between 6 and 77 K. The measured loss angle exhibited a temperature dependence, and the local maximum was found at approximately 20 K. This maximum was 7.0*10^(-4) (with TiO2) and 7.7*10^(-4) (without TiO2), although the previous measurement for the coating on sapphire disks showed almost no temperature dependence (Phys. Rev. D 74 022002 (2006)). We evaluated the coating thermal noise in KAGRA and discussed future investigation strategies

Phylogenomics of the pantropical Connaraceae: revised infrafamilial classification and the evolution of heterostyly

Connaraceae is a pantropical family of about 200 species containing lianas and small trees with remarkably diverse floral polymorphisms, including distyly, tristyly, homostyly, and dioecy. To date, relationships within the family have not been investigated using a targeted molecular phylogenetic treatment, severely limiting systematic understanding and reconstruction of trait evolution. Accordingly, their last infrafamilial classification was based only on morphological data. Here, we used phylogenomic data obtained using the Angiosperms353 nuclear target sequence capture probes, sampling all tribes and almost all genera, entirely from herbarium specimens, to revise infrafamilial classification and investigate the evolution of heterostyly. The backbone of the resulting molecular phylogenetic tree is almost entirely resolved. Connaraceae consists of two clades, one containing only the African genus Manotes (4 or 5 species), which we newly recognize at the subfamily level. Vegetative and reproductive synapomorphies are proposed for Manotoideae. Within Connaroideae, Connareae is expanded to include the former Jollydoreae. The backbone of Cnestideae, which contains more than half of the Connaraceae species, remains incompletely resolved. Reconstructions of reproductive system evolution are presented that tentatively support tristyly as the ancestral state for the family, with multiple parallel losses, in agreement with previous hypotheses, plus possible re-gains. However, the great diversity of stylar polymorphisms and their phylogenetic lability preclude a definitive answer. Overall, this study reinforces the usefulness of herbarium phylogenomics, and unlocks the reproductive diversity of Connaraceae as a model system for the evolution of complex biological phenomena

Optical properties of high-quality oxide coating materials used in gravitational-wave advanced detectors

High-reflection interference mirrors for current gravitational wave detectors (aLIGO, Advanced Virgo, KAGRA) are made of high-quality oxide multi-layers deposited by ion beam sputtering (IBS) at the Laboratoire des Mat\ue9riaux Avanc\ue9s (LMA). For this task, LMA uses a large IBS custom-made machine (the grand coater GC) able to deposit very uniform coatings over very large surfaces, with diameter of some tens of cm. We report for the first time about the optical characterization by spectroscopic ellipsometry of oxide coatings deposited by the GC under strictly the same conditions used for the production of interference mirrors. We have investigated oxide materials like silica (SiO2), tantala (Ta2O5) and titania-doped tantala (Ti:Ta2O5), providing for each material a broad-band (190\u20131700 nm) accurate determination of the complex index of refraction, with particular attention to wavelengths used in interferometers. Particular focus has been dedicated to the influence of Ti-doping on tantala coating. The doping induces a red-shift of the optical gap and an increase of the NIR refractive index. Furthermore, doping induces a decrease of the so-called Urbach energy, consistent with the well-known reduction of the internal friction in these kind of systems

High-reflection coatings for gravitational-wave detectors: State of the art and future developments

We report on the optical, mechanical and structural characterization of the sputtered coating materials of Advanced LIGO, Advanced Virgo and KAGRA gravitational-waves detectors. We present the latest results of our research program aiming at decreasing coating thermal noise through doping, optimization of deposition parameters and post-deposition annealing. Finally, we propose sputtered Si3N4as a candidate material for the mirrors of future detectors

The Demeter project. Eight millennia of agrobiodiversity changes in the northwest Mediterranean basin

The development of agricultural societies is closely entangled with that of domestic animals and plants. Local and traditional domestic breeds and varieties are the result of millennia of selection by farmers. DEMETER (2020-2025) is an international project which is aiming to characterize the changes in animal and plant agrobiodiversity (pigs, sheep, goats, and barley) in relation with environmental and socioeconomic factors in the northwestern Mediterranean basin since the beginnings of agriculture. The project is based on a combination of approaches including phenomics (through geometric morphometrics), databasing, zooarchaeology, archaeobotany, climate modeling, paleoproteins (ZooMs) and statistical analyses. Several hundreds of archaeological sites from the South of France and Catalonia will be studied, covering the maximum environmental, societal and cultural diversity of context over the course of the last eight millennia

First radial velocity results from the MINiature Exoplanet Radial Velocity Array (MINERVA)

The MINiature Exoplanet Radial Velocity Array (MINERVA) is a dedicated observatory of four 0.7m robotic telescopes fiber-fed to a KiwiSpec spectrograph. The MINERVA mission is to discover super-Earths in the habitable zones of nearby stars. This can be accomplished with MINERVA's unique combination of high precision and high cadence over long time periods. In this work, we detail changes to the MINERVA facility that have occurred since our previous paper. We then describe MINERVA's robotic control software, the process by which we perform 1D spectral extraction, and our forward modeling Doppler pipeline. In the process of improving our forward modeling procedure, we found that our spectrograph's intrinsic instrumental profile is stable for at least nine months. Because of that, we characterized our instrumental profile with a time-independent, cubic spline function based on the profile in the cross dispersion direction, with which we achieved a radial velocity precision similar to using a conventional "sum-of-Gaussians" instrumental profile: 1.8 m s$^{-1}$ over 1.5 months on the RV standard star HD 122064. Therefore, we conclude that the instrumental profile need not be perfectly accurate as long as it is stable. In addition, we observed 51 Peg and our results are consistent with the literature, confirming our spectrograph and Doppler pipeline are producing accurate and precise radial velocities.Comment: 22 pages, 9 figures, submitted to PASP, Peer-Reviewed and Accepte

Cross-validation of ELISA and a portable surface plasmon resonance instrument for IgG antibody serology with SARS-CoV-2 positive individuals.

We report on the development of surface plasmon resonance (SPR) sensors and matching ELISAs for the detection of nucleocapsid and spike antibodies specific to the novel coronavirus 2019 (SARS-CoV-2) in human serum, plasma and dried blood spots (DBS)