818 research outputs found

    Dental Microwear textures of extant ruminants from the Bauges Regional Natural Park, France

    No full text
    This dataset contains dental microwear surfaces disto-buccal facets of the lower second molars of extant wild-sampled specimens of roe deer (Capreolus capreolus), red deer (Cervus elaphus), mouflon (Ovis gmelini) and chamois (Rupicapra rupicapra) from the Bauges Regional Natural Park, France. Material is stored at the Palevoprim Lab, University of Poitiers, France. Details are given in Merceron et al. (2021). Merceron, G., Berlioz, E., Vonhof, H., Green, D., Garel, M., Tütken, T., 2021a. Tooth tales told by dental diet proxies: An alpine community of sympatric ruminants as a model to decipher the ecology of fossil fauna. Palaeogeogr. Palaeoclimatol. Palaeoecol. 562, 110077. https://doi.org/10.1016/j.palaeo.2020.11007

    Dental Microwear Textures of Modern Pigs from the Geophagy Hypothesis Experimentation

    No full text
    Read me - Dental Microwear Textures of Modern Pigs from the Geophagy Hypothesis Experimentation Margot LOUAIL and Gildas MERCERON This dataset contains dental microwear surfaces on crushing (f9, f10, f12, f13) and shearing (f1, f3, f4) facets on upper decidual premolars either right (dex) or left (sen) of controlled fed pigs at the GenESI Station at the Lusignan-Rouillé INRAe station, Nouvelle Aquitaine, France. Details are given in Louail et al. (2025). Here are provided three different files for each specimen: • Plu files: these files are the raw data extracted from the Leica DCM8 “Trident” stored at the PALEVOPRIM lab. Plµx files are also provided. • Mnt files: these files include all pre-treatments ran on the Plu files. We batch-applied with a template on the Plu files. In a few cases, we adjusted the settings manually. All changes were saved in the mnt. • Sur files: these files are the final studiables issued the mnt files. This is the data on which we can extract texture parameters. A template is provided: • Zinv200+ 100: this template is applied on the plux files obtained from dental molds, meaning the plux reproduces an inversed relief of the dental texture. A Z inverse operator is included in the template. 200 makes reference to the extraction of a 200x200 µm area and 100 to a 100x100 µm area on which analysis are run. PDF version of the template is provided so one could generate the very same procedures using open free software. Each facet was scanned using “TRIDENT”, a Leica DCM8 (Leica Microsystem) white light confocal profilometer housed at the PALEVOPRIM lab (CNRS and University of Poitiers; numerical aperture: 0.90; working distance: 0.9 mm; Leica Microsystems). Scanned surfaces were pre-treated under LeicaMap v. 8.0 (Leica Microsystems, Mountain technology; see Merceron et al., 2016 including SI for more details). A 200 × 200 μm (1551 × 1551 pixels) leveled area was generated from each surface and used for Dental Microwear Texture Analysis. Louail, M., Souron, A., Ferchaud, S., Merceron, G., 2025. Controlled and natural geophagy: how mineral particle consumption impacts dental microwear textures in pigs. Journal of Archeological Method and Theory Merceron, G., Ramdarshan, A., Blondel, C., Boisserie, J. R., Brunetiere, N., Francisco, A., ... & Pret, D. (2016). Untangling the environmental from the dietary: dust does not matter. Proceedings of the Royal Society B: Biological Sciences, 283(1838), 20161032. https://royalsocietypublishing.org/doi/pdf/10.1098/rspb.2016.103

    Component-based Verification in a Synchronous Setting

    No full text
    Formal verification of properties in reactive real-time systems is crucial, as these systems are often safety-critical. Such systems are successfully implemented using synchronous languages, where refinement is a relevant operation. This paper investigates the interplay between this operation and formal verification. It turns out that, while for the refined program component-based verification of properties expressed using suitable temporal logics is easily achieved, component-based verification from the point of view of the refining program is best achieved with observers. Our results are based on a translation of synchronous programs into Boolean automata. Their practical relevance is illustrated with a protocol case study

    Specifying and verifying reactive systems in a multi-language environment

    No full text
    The multi-language environment Synchronie supports the design and formal verification of synchronous reactive systems. It integrates three synchronous languages and also three ways to specify properties: the temporal logic with future operators CTL, the temporal logic with past operators Past TL, and observers, which are particular synchronous programs. It is argued that this multi-language feature provides an answer to two major issues of formal verification: facility of formalizing properties and facility of verifying large systems. The approach is illustrated with the case study of a time-triggered protocol

    Scenarios for a Learning Grid

    No full text
    Learning GRID is both a concept and a Special Interest Group of the European Network of Excellence Kaleidoscope. Kaleidoscope is a Network of Excellence funded by the European Commission which brings together European research teams in Technology Enhanced Learning (TEL). The Learning GRID Special Interest Group gathers researchers who want to contribute to an improvement of e-learning practices through the use of the Learning GRID concept. Its key idea reads as Learning Grid technology allows for a direct and personalized experience in realistic contexts and boosts creation of virtual dynamic communities. After introducing briefly Kaleidoscope, this article presents the learning GRID concept and several scenarios that this technology makes possible

    À propos de la question de la simulation dans l'hypocondrie : étude d'un cas

    No full text
    Frieda Rossel and Colette Merceron, The question of malingering in hypocondria. In this article, the authors discuss the difference established by the DSM between malingering and factitious disorders and analyse a case of suspicious malingering based upon projective techniques and deterioration tests by a subject claiming to suffer from somatic and also amnesic troubles. The psychological exam puts into evidence a psychotic structure of paranoic nature. Keywords : Rorschach - TAT - Malingering - Paranoia.Dans cet article, les auteurs discutent la différence établie par le DSM entre simulation et troubles factices et analysent un cas de suspicion de simulation sur la base des tests projectifs et d'épreuves de détérioration chez un sujet qui se plaint de troubles somatiques divers et de difficultés mnésiques. L'examen psychologique met en évidence une structure psychotique de nature paranoïaque. Mots-clés : Rorschach- TAT - Simulation - Paranoïa.Frieda Rossel y Colette Merceron, La cuestion de la simulacion en la hipocondria. En este articulo, los autores discuten sobre la diferencia establecida por el DSM entre simulacion y factores ficticios y analizan un caso de sospecha de simulacion basado en tecnicas proyeetivas y pruebas de deterioracion con un sujeto que se queja de problemas somaticos y dificultades amnesicas. El examen psicologico pone en evidencia una estructura psicotica de naturaleza paranoica. Palabras-clave :Rorschach - TAT - Simulacion - Paranoia.Rossel Frieda, Merceron Colette. À propos de la question de la simulation dans l'hypocondrie : étude d'un cas. In: Psychologie clinique et projective, vol. 5, 1999. Interfaces de la neuropsychologie et de la psychologie projective. pp. 83-94

    À propos de la question de la simulation dans l'hypocondrie : étude d'un cas

    No full text
    Frieda Rossel and Colette Merceron, The question of malingering in hypocondria. In this article, the authors discuss the difference established by the DSM between malingering and factitious disorders and analyse a case of suspicious malingering based upon projective techniques and deterioration tests by a subject claiming to suffer from somatic and also amnesic troubles. The psychological exam puts into evidence a psychotic structure of paranoic nature. Keywords : Rorschach - TAT - Malingering - Paranoia.Dans cet article, les auteurs discutent la différence établie par le DSM entre simulation et troubles factices et analysent un cas de suspicion de simulation sur la base des tests projectifs et d'épreuves de détérioration chez un sujet qui se plaint de troubles somatiques divers et de difficultés mnésiques. L'examen psychologique met en évidence une structure psychotique de nature paranoïaque. Mots-clés : Rorschach- TAT - Simulation - Paranoïa.Frieda Rossel y Colette Merceron, La cuestion de la simulacion en la hipocondria. En este articulo, los autores discuten sobre la diferencia establecida por el DSM entre simulacion y factores ficticios y analizan un caso de sospecha de simulacion basado en tecnicas proyeetivas y pruebas de deterioracion con un sujeto que se queja de problemas somaticos y dificultades amnesicas. El examen psicologico pone en evidencia una estructura psicotica de naturaleza paranoica. Palabras-clave :Rorschach - TAT - Simulacion - Paranoia.Rossel Frieda, Merceron Colette. À propos de la question de la simulation dans l'hypocondrie : étude d'un cas. In: Psychologie clinique et projective, vol. 5, 1999. Interfaces de la neuropsychologie et de la psychologie projective. pp. 83-94
    corecore