Label Pre-annotation for Building Non-projective Dependency Treebanks for French

posterInternational audienceThe current interest in accurate dependency parsing make it necessary to build dependency treebanks for French containing both projective and non-projective dependencies. In order to alleviate the work of the annotator, we propose to automatically pre-annotate the sentences with the labels of the dependencies ending on the words. The selection of the dependency labels reduces the ambiguity of the parsing. We show that a maximum entropy Markov model method reaches the label accuracy score of a standard dependency parser (MaltParser). Moreover, this method allows to find more than one label per word, i.e. the more probable ones, in order to improve the recall score. It improves the quality of the parsing step of the annotation process. Therefore, the inclusion of the method in the process of annotation makes the work quicker and more natural to annotators

Modélisation du comportement multi-axial d'un élastomère chargé et application à la simulation d'essais complexes sur éprouvettes lamifiés élastomère-métal

National audienceOn présente dans cette communication l'extension du modèle de Delattre [1] au cas des sol-licitations multi-axiales ainsi que son application pour la simulation d'essais de compression/cisaillement sur paliers lamifiés élastomère-métal. Le modèle est basé sur une approche purement phénoménologique en grandes transformations qui permet à la fois de traduire de l'anisotropie induite par la viscosité et de l'assouplissement dynamique en fonction de l'amplitude de sollicitation (effet Payne [2]). Des essais expérimentaux originaux sont présentés afin d'évaluer les capacités prédictives du modèle (globale et locale). Mots clés — Grandes transformations, viscosité, multi-axial. 1 Contexte Ces travaux sont le fruit d'une collaboration qui a pour objectif le développement d'outils prédictifs pour le dimensionnement de diverses pièces lamifiées élastomère-métal utilisées dans les rotor d'hélico-ptères. Ces pièces sont soumises à des sollicitations multi-axiales importantes et jouent un rôle centrale sur le plan de la sécurité de l'ensemble de l'architecture rotor. Les outils industriels standards sont peu adaptés pour simuler ce type de pièces à la fois pour des raisons liées à la complexité géométrique (fort élancement dans un contexte de faible compressibilité), aux sollicitations vues par les pièces (charge-ments dynamiques multi-axiaux avec pré-contrainte) et aux non-linéarités matérielles. Sur le plan scien-tifique on constate également qu'il y a peu (voire pas) de modèles dans la littérature qui sont capables de décrire à la fois les dépendances à la fréquence et l'amplitude de sollicitation en grandes transformations et qui soient valides dans un cadre multi-axial. On peut tout de même citer les travaux de Höfer et al. [3] qui proposent un modèle décrivant correctement les effets de la fréquence et de l'amplitude en petites transformations ou les travaux de Martinez et al. [4] qui introduisent une vision statistique de la viscosité pour les effets de la fréquence combinés à de la plasticité pour le comportement à froid et les effets de l'amplitude. Dans ce travail, le couplage thermo-mécanique est négligé et seul le comportement stabilisé et assou-pli du matériau est considéré (on néglige donc également l'effet Mullins). Pour autant le comportement est identifié à partir d'essais conduits dans une enceinte thermique avec régulation de température afin d'évaluer la dépendance des paramètres mécaniques à la température

Caractérisation et modélisation d'un élastomère dissipatif: application au pré-dimensionnement de pièces lamifiées élastomère-métal

National audienceDans cette communication, on présente des essais de caractérisation réalisés sur un caoutchouc chargé. A partir de ces résultats, nous proposons un nouveau modèle de comportement capable de traduire les effets de la fréquence et de l'amplitude du chargement. Par une approche phénoménologique et en se basant sur la thermodynamique des processus irréversibles, ce modèle est développé en grandes déformations et tient compte de la contrainte de faible compressibilité

Characterization of particle distribution in a black carbon-filled elastomer via nanoindentation

A new method to characterize the distribution of hard particles dispersed into a soft elastomer matrix is developed using nanoindentation. It is based on the measurement of the contact stiffness from the continuous stiffness measurement module (CSM). Theoretically, for a homogeneous material, the contact stiffness is directly proportional to the contact depth. However, when indenting a carbon black-filled fluoroelastomer (FKM) this relation is no longer valid and abnormal contact stiffness evolutions are measured (jumps). The tip-particle model developed in this work is simply based on the hypothesis that all the deformation is supported by the elastomer matrix and that black carbon aggregates play the role of hard extensions of the diamond tip, when touching it (grey particles 1,2 & 3, Fig. 1a). As a result, each abnormal variation of contact stiffness is related to a new aggregate in contact with the tip. By knowing the stiffness amplitude of a jump and the relative stiffness where it appeared , the equivalent projected area of a particle can be calculated (Fig. 1d). From this calculation, one can extract the distribution of particles surface density from nanoindentation measurements only. Ten experimental indentation tests have been performed and the results are displayed in Fig. 1e. The distribution of particles surface density extracted from experiments is compared to measurements performed by image analysis of a 100 nm thick slide of the material observed by Transmission Electron Microscopy (TEM) (black squares). Furthermore, the tip-particle model is simulated numerically on the same image analysis (down pointing triangles). The results obtained from this model are in excellent agreement with the TEM observation which is really promising. Indeed, this model is an alternative to microscopy characterization which can be complicated to implement. Please click Additional Files below to see the full abstract

Contribution au développement des techniques de marker-bands en fatigue

Les surfaces de rupture par fatigue peuvent représenter les aspects complexes en fonction de: type de matériau, le mécanisme de condition de sollicitations mécaniques, environnement ambiant etc.Dans le cadre des chargements complexes ou variables les surfaces de rupture sont encore plus difficiles à analyser, car de telles sollicitations peuvent engendrer les changements de mécanismes dans certains matériaux.Dans le cadre de changements variables, l'une des questions importantes est la connaissance de la vitesse de croissance des fissures.Des techniques actuelles de mesures de vitesse font appel aux mesures optiques ou aux mesures indirectes de mesures de la cinétique de croissance de fissures.Une méthode élégante consiste à faire des cycles marqueurs qui permettent de laisser une marque sur la surface de rupture que l'on ensuite identifier par analyse au microscope à balayage.A cette fin on peut utiliser : - les petites surcharges, les sous charges, les cycles en dessous du seuil de non propagation, un changement de température etc.Le but de travail de thèse serait de développer les cycles marqueurs sur trois matériaux:un alliage d'aluminium, un acier et un caoutchouc synthétique.L'idée étant de développer des cycles de marquage sans modifier le cinétique de propagation.Les essais comparatifs de fissuration seront menés avec ou sans cycles de marquage pour vérifier cette hypothèse.Le travail expérimental sera effectué au LMR (machine de fatigue) ainsi que l'analyse MEB.The fracture surfaces of fatigue can represent complex aspects according to:type of material, provided mechanism of mechanical stresses, ambient environment, etc.Under complex loadings or variable ones, fracture surfaces are more difficult to analyze because such changes can cause change in mechanisms in certain materials.Under variable amplitudes, one of the important issues is the knowledge of the crack growth rate.Current techniques involve optical measurements or indirect ones that measures the kinetics of crack growth.An elegant method is to generate marker bands that can leave a mark on the fracture surface which is then identified by scanning electron microscope analysis.For this purpose one can use: - small overload, under load, cycles below the threshold, a change of temperature, etc.The aim of this thesis is to develop the technique of marker bands on three materials:an aluminum alloy, steel and synthetic rubber.The idea is to develop this technique without changing the propagation kinetics.The experiments will be conducted by fatigue cracking with or without marking marker bands to test this hypothesis.The experimental work has been carried out in LMR laboratory.TOURS-Bibl.électronique (372610011) / SudocSudocFranceF

Validation d'un modèle de comportement à partir d'essais multi-axiaux sur palier lamifié : corrélations globales et locales

National audienceNous présentons dans cette communication un montage expérimental original sur plots lamifiés quinous permet d'éprouver les capacités d'un nouveau modèle de comportement dynamique pour lesélastomères chargés. Il s'agit d'éprouvettes technologiques, à mis chemin entre l'éprouvette élémentaireet la pièce industrielle, qui sont soumissent à un chargement dynamique de cisaillement autour d'unétat pré-chargé de compression

Finding and counting vertex-colored subtrees

The problems studied in this article originate from the Graph Motif problem introduced by Lacroix et al. in the context of biological networks. The problem is to decide if a vertex-colored graph has a connected subgraph whose colors equal a given multiset of colors $M$. It is a graph pattern-matching problem variant, where the structure of the occurrence of the pattern is not of interest but the only requirement is the connectedness. Using an algebraic framework recently introduced by Koutis et al., we obtain new FPT algorithms for Graph Motif and variants, with improved running times. We also obtain results on the counting versions of this problem, proving that the counting problem is FPT if M is a set, but becomes W[1]-hard if M is a multiset with two colors. Finally, we present an experimental evaluation of this approach on real datasets, showing that its performance compares favorably with existing software.Comment: Conference version in International Symposium on Mathematical Foundations of Computer Science (MFCS), Brno : Czech Republic (2010) Journal Version in Algorithmic

Co-cultivation is a powerful approach to produce a robust functionally designed synthetic consortium as a live biotherapeutic product (LBP).

The success of fecal microbiota transplants (FMT) has provided the necessary proof-of-concept for microbiome therapeutics. Yet, feces-based therapies have many associated risks and uncertainties, and hence defined microbial consortia that modify the microbiome in a targeted manner have emerged as a promising safer alternative to FMT. The development of such live biotherapeutic products has important challenges, including the selection of appropriate strains and the controlled production of the consortia at scale. Here, we report on an ecology- and biotechnology-based approach to microbial consortium construction that overcomes these issues. We selected nine strains that form a consortium to emulate the central metabolic pathways of carbohydrate fermentation in the healthy human gut microbiota. Continuous co-culturing of the bacteria produces a stable and reproducible consortium whose growth and metabolic activity are distinct from an equivalent mix of individually cultured strains. Further, we showed that our function-based consortium is as effective as FMT in counteracting dysbiosis in a dextran sodium sulfate mouse model of acute colitis, while an equivalent mix of strains failed to match FMT. Finally, we showed robustness and general applicability of our approach by designing and producing additional stable consortia of controlled composition. We propose that combining a bottom-up functional design with continuous co-cultivation is a powerful strategy to produce robust functionally designed synthetic consortia for therapeutic use

Autonomous quantum error correction of Gottesman-Kitaev-Preskill states

The Gottesman-Kitaev-Preskill (GKP) code encodes a logical qubit into a bosonic system with resilience against single-photon loss, the predominant error in most bosonic systems. Here we present experimental results demonstrating quantum error correction of GKP states based on reservoir engineering of a superconducting device. Error correction is made autonomous through an unconditional reset of an auxiliary transmon qubit. The lifetime of the logical qubit is shown to be increased from quantum error correction, therefore reaching the point at which more errors are corrected than generated.Comment: 6 pages, 3 figures + 26 pages, 12 figure

Mistral 7B

We introduce Mistral 7B v0.1, a 7-billion-parameter language model engineered for superior performance and efficiency. Mistral 7B outperforms Llama 2 13B across all evaluated benchmarks, and Llama 1 34B in reasoning, mathematics, and code generation. Our model leverages grouped-query attention (GQA) for faster inference, coupled with sliding window attention (SWA) to effectively handle sequences of arbitrary length with a reduced inference cost. We also provide a model fine-tuned to follow instructions, Mistral 7B -- Instruct, that surpasses the Llama 2 13B -- Chat model both on human and automated benchmarks. Our models are released under the Apache 2.0 license.Comment: Models and code are available at https://mistral.ai/news/announcing-mistral-7b