SPARK by Example: an introduction to formal verification through the standard C++ library

This paper presents SPARK by Example, a guide for people wanting to get involved in formal verification of SPARK programs. SPARK by Example is inspired by ACSL by Example, a similar effort for C/ACSL programs, and provides detailed specification, implementation and proof of classic algorithms (array manipulation, sorting, heap etc). A comparison between ACSL and SPARK is done in the light of proof performance and ease of use

Disseminated and circulating tumor cells in gastrointestinal oncology.

International audienceCirculating (CTCs) and disseminated tumor cells (DTCs) are two different steps in the metastatic process. Several recent techniques have allowed detection of these cells in patients, and have generated many results using different isolation techniques in small cohorts. Herein, we review the detection results and their clinical consequence in esophageal, gastric, pancreatic, colorectal, and liver carcinomas, and discuss their possible applications as new biomarkers

Polyhexamethylene biguanide promotes adaptive cross-resistance to gentamicin in Escherichia coli biofilms

Antimicrobial resistance is a critical public health issue that requires a thorough understanding of the factors that influence the selection and spread of antibiotic-resistant bacteria. Biocides, which are widely used in cleaning and disinfection procedures in a variety of settings, may contribute to this resistance by inducing similar defense mechanisms in bacteria against both biocides and antibiotics. However, the strategies used by bacteria to adapt and develop cross-resistance remain poorly understood, particularly within biofilms –a widespread bacterial habitat that significantly influences bacterial tolerance and adaptive strategies. Using a combination of adaptive laboratory evolution experiments, genomic and RT-qPCR analyses, and biofilm structural characterization using confocal microscopy, we investigated in this study how Escherichia coli biofilms adapted after 28 days of exposure to three biocidal active substances and the effects on cross-resistance to antibiotics. Interestingly, polyhexamethylene biguanide (PHMB) exposure led to an increase of gentamicin resistance (GenR) phenotypes in biofilms formed by most of the seven E. coli strains tested. Nevertheless, most variants that emerged under biocidal conditions did not retain the GenR phenotype after removal of antimicrobial stress, suggesting a transient adaptation (adaptive resistance). The whole genome sequencing of variants with stable GenR phenotypes revealed recurrent mutations in genes associated with cellular respiration, including cytochrome oxidase (cydA, cyoC) and ATP synthase (atpG). RT-qPCR analysis revealed an induction of gene expression associated with biofilm matrix production (especially curli synthesis), stress responses, active and passive transport and cell respiration during PHMB exposure, providing insight into potential physiological responses associated with adaptive crossresistance. In addition, confocal laser scanning microscopy (CLSM) observations demonstrated a global effect of PHMB on biofilm architectures and compositions formed by most E. coli strains, with the appearance of dense cellular clusters after a 24h-exposure. In conclusion, our results showed that the PHMB exposure stimulated the emergence of an adaptive cross-resistance to gentamicin in biofilms, likely induced through the activation of physiological responses and biofilm structural modulations altering gradients and microenvironmental conditions in the biological edifice

Labraunda 2014

La saison 2014 à Labraunda (Fig. 1) a probablement été la plus intense depuis les grands travaux entrepris par l’équipe suédoise sous la direction d’Alfred Westholm en 1960. Grâce au soutien des très nombreuses institutions, publiques comme privées, et de personnalités physiques, nous avons pu réunir sur le terrain une équipe internationale de 47 chercheurs et étudiants de onze nationalités différentes (d’Ouest en Est : États-Unis, Colombie, Royaume-Uni, France, Suède, Finlande, Slovaquie, Gr..

Characterization of a cinnamoyl-CoA reductase 1 (CCR1) mutant in maize: effects on lignification, fibre development, and global gene expression

Cinnamoyl-CoA reductase (CCR), which catalyses the first committed step of the lignin-specific branch of monolignol biosynthesis, has been extensively characterized in dicot species, but few data are available in monocots. By screening a Mu insertional mutant collection in maize, a mutant in the CCR1 gene was isolated named Zmccr1–. In this mutant, CCR1 gene expression is reduced to 31% of the residual wild-type level. Zmccr1– exhibited enhanced digestibility without compromising plant growth and development. Lignin analysis revealed a slight decrease in lignin content and significant changes in lignin structure. p-Hydroxyphenyl units were strongly decreased and the syringyl/guaiacyl ratio was slightly increased. At the cellular level, alterations in lignin deposition were mainly observed in the walls of the sclerenchymatic fibre cells surrounding the vascular bundles. These cell walls showed little to no staining with phloroglucinol. These histochemical changes were accompanied by an increase in sclerenchyma surface area and an alteration in cell shape. In keeping with this cell type-specific phenotype, transcriptomics performed at an early stage of plant development revealed the down-regulation of genes specifically associated with fibre wall formation. To the present authors’ knowledge, this is the first functional characterization of CCR1 in a grass species

Nouvelles données sur l’agglomération antique d’<i>Epomanduodurum</i> (Mandeure et Mathay, Doubs)

International audienceDem antiken Mandeure-Mathay (Epomanduodurum), dem aufgrund seiner Größe und seiner bedeutenden Monumentalbauten im Sequanerland der zweite Platz nach dem Civitas-Hauptort Besançon zukommt, ist seit 2001 ein pluridisziplinäres Forschungsprojekt gewidmet. Im Anschluß an einen im Jahrgang 2007 dieser Zeitschrift vorgelegten Beitrag berichtet das vorliegende Dossier über die Forschungen der Jahre 2005 bis 2011. Parallel zur Weiterführung und Vertiefung der im Bereich der Kult- und Monumentalbauten begonnenen Arbeiten, trieb das Forschungsteam während dieses zweiten Projektabschnittes verschiedene Studien zur gesamten antiken Stadtanlage und der sie umgebenden Mikroregion voran. Diese Untersuchungen liefern neue Einsichten zur Entstehung, Entwicklung und zum Niedergang von Epomanduodurum und tragen zu einem vertieften Verständnis der Gestalt dieser Stadt und ihrer religiösen, ökonomischen und sozialen Organisation im Zeitraum vom Ende der Eisenzeit bis zum Frühmittelalter bei.A collective research program is studying since 2001 the ancient agglomeration of Mandeure-Mathay (Epomanduodurum), considered as second one after the chief town Besançon, in the Sequani territory, by its size and its impressive monumental buildings. This article, following a previous paper published in Gallia in 2007, draws up a report of the researches completed between 2005 and 2011. In this second stage, alongside the ongoing in-depth investigations on cult and monumental area, the PCR (Collective Program Research) team intensified its different studies and researches on the ancient agglomeration and its microregional environment. These studies lead to a better understanding of the appearance, development and decline of Epomanduodurum ; a better knowledge of its morphology, and its religious, economic and social organization between the end of the Iron Age and the Early Middle Ages.L’agglomération antique de Mandeure-Mathay (Epomanduodurum), considérée comme la seconde du pays séquane par ses dimensions et l’ampleur de sa parure monumentale, derrière la capitale de cité, Besançon, fait l’objet d’un programme collectif de recherche (PCR), pluridisciplinaire, depuis 2001. Le présent dossier, qui fait suite à un précédent article paru dans Gallia en 2007, dresse un bilan des recherches réalisées entre 2005 et 2011. Dans cette seconde étape, parallèlement à la poursuite et à l’approfondissement des actions engagées sur le secteur cultuel et monumental, l’équipe du PCR a accentué les études et investigations de diverses natures portant sur l’ensemble de l’agglomération antique et sur l’espace microrégional dans lequel celle-ci s’insère. Ces recherches aboutissent à une meilleure compréhension des modalités d’émergence, de développement et de déclin de la ville d’Epomanduodurum, et à une connaissance plus approfondie de sa morphologie et de son organisation religieuse, économique et sociale, entre la fin de l’âge du Fer et le haut Moyen Âge

Abricotier, prunier

National audienc

Physiologie et technologie du riz en relation avec la nutrition azotée

National audienc

Contribution de l'analyse de la feuille au diagnostic de la nutrition des vergers de pommiers et de poiriers

National audienc

Les besoins en substances nutritives du cerisier

National audienc