dataesr/scientific-paragraphs-categorization huggingface dataset:
F i g u re 1 : Le Département de Physique -University College London, vu depuis OpenStreetMap (octobre 2017). 1. 1. 1. Plus qu'une carte, une base de données collaborative Tout objet géolocalisé sur OSM possède deux facettes : l'une géométrique (noeud, ligne, relation), l'autre attributaire (balise). Un noeud (node) est un point ayant une latitude et une longitude. Une ligne (way) est constituée d'un ensemble de points reliés les uns aux autres. Elle forme une surface (area) lorsque les points de départ et d'arrivée se rejoignent. Les relations sont utilisées pour regrouper des objets liés géographiquement. Enfin, un attribut (tag) est une paire clé/valeur utilisée pour décrire un objet, la nomenclature étant régulièrement discutée 7.
2. Ce projet fait l'objet d'un partenariat entre la Région Occitanie, l'État et les villes de Narbonne et Gruissan. Il bénéficie également du soutien du LabEx Archimède, IA-ANR-11-LABX-0032-011. L'intérêt de cet ensemble repose également sur une chronologie courte, un peu moins d'un siècle, entre les années 30 av. J. -C. et 60/70 apr. J. -C. , qui fournit un terminus précoce particulièrement intéressant pour les amphores africaines présentes au sein des ramassages.
Remerciements : Nous tenons à remercier Daniel Il y a plus de cent ans, Stanislas Meunier testait l'érosion des calcaires et produisait pour cela des modèles analogiques, des maquettes : ses résidus d'expérimentation. Aujourd'hui, pourvu de moyens numériques, nous ne faisons que prolonger l'analyse et poursuivons le même projet, celui de mieux comprendre la genèse des morphologies souterraines du karst.
Radiocarbon analysis were conducted on bones from the top layers but were partially unsuccessfull, since the results were close to the limit of the method. As part of a multidisciplinary project that aims to define a reliable chronological framework for understanding the variability of Neandertal cultures in the SW France, we dated the sedimentary deposits of the Les Pradelles site using Optically Stimulated Luminescence (OSL) methods. The application of these techniques to various materials (quartz and feldspars), alongside previously obtained radiometric datasets, improve the chronostratigraphy of the site. They constrain the age of the Neandertal remains and the Quina occupations between the end of Marine Isotope Stage (MIS) 4 and during MIS 3, up to ~ 50 ka BP. Key-words: chronology, Marillac, Les Pradelles, Neandertal, Quina, radiocarbon, OSL, TL, U-Th.
Cette problématique a fait l'objet de nombreux questionnements (par exemple Bourguignon et al. 2006 ; Hiscock et al. 2009 ; Delagnes et Rendu 2011 ; Jaubert 2012 ; Faivre et al. 2014, 2017a, 2017b ; Turq et al. 2017). Ce travail sur le gisement des Pradelles permet donc d'avancer dans la compréhension du positionnement chronologique du technocomplexe Quina dans cette partie du Bassin aquitain. Il s'ajoute au corpus de sites dont les séquences ont été réétudiées et pour lesquels ce technocomplexe lithique Quina ne semble pas restreint chronologiquement au MIS 4. Ce travail a été financé par la Région Aquitaine dans le cadre du projet de recherche " La radioluminescence des feldspaths : un nouvel outil de datation des gisements archéologiques et des séquences quaternaires d'Aquitaine". Les fouilles aux Pradelles et les recherches sur les collections des Pradelles ont fait l'objet de nombreux soutiens dont ceux du Ministère de la Culture, du Service Régional de l'Archéologie (DRAC Poitou-Charentes), du Conseil Général de la Charente, du Conseil Municipal de Marillac-le-Franc (et de ses habitants), de Princeton University, du CNRS, de l'Université de Bordeaux, de l'UMR5199 PACEA, du projet scientifique de la Région Aquitaine : Transitions, d'une société à l'autre processus d'adaptation et de peuplements, convention n°20051403003AB, du projet scientifique : NéMo (LabEx des Sciences archéologiques de Bordeaux, ANR -n°ANR-10-LABX-52 / LaScArBx), du projet scientifique de la région Nouvelle Aquitaine : Neanderthalenses Aquitanensis: Territoires, Chronologie, Humanité convention n° 2016-1R40204-00007349-00007350.
Remerciements Acknowledgments This work was also supported by the  Aquitaine Region Council  for funding this research, through the program entitled " La radioluminescence des feldspaths: un nouvel outil de datation des gisements archéologiques et des séquences quaternaires d'Aquitaine ". Excavations at Les Pradelles and research on archaeological collections have been supported by many fundings : the  Ministère de la Culture of France , the  Service Régional de l'Archéologie (DRAC Poitou-Charentes) , the  Conseil Général de la Charente , the  Conseil Municipal de Marillac-le-Franc  and.
Nous proposons dans le cadre des jeux à deux joueurs à horizon fini une solution efficace pour utiliser les solveurs QCSP et une réponse aussi simple qu'élégante à ce parcours superflu. Nous proposons un solveur QCSP construit au-dessus de la librairie CSP GeCode que nous comparons aux solveurs de l'état de l'art. ABSTRACT. Quantified Constraint Satisfaction Problems (QCSP) are a generalization of Constraint Satisfaction Problems (CSP) in which variables may be quantified existentially and universally. QCSP offers a natural framework to express PSPACE problems as finite two-player games with perfect information or planing under uncertainty. We present how QCSP may be used to model two-player games on three classical games : Nim game, MatrixGame and Connect Four. State-of-the-art QCSP solvers have an important drawback: they explore much larger combinatorial space than the natural search space of the original problem since they are unable to recognize that some sub-problems are necessarily true.
, 2008)  et Qecode  (Benedetti et al. , 2008). BlockSolve est basé sur un algorithme de Fourier-Motzkin par élimination de quantificateurs. Queso est basé sur un algorithme de recherche quantifié et son approche est très proche de la nôtre. Qecode est aussi un solveur basé sur un algorithme de recherche quantifié mais est dédié à une extension des QCSP (QCSP+), qui propose en plus une forme restreinte de la quantification, et qui est utilisé principalement pour spécifier des jeux finis à deux joueurs. Ce dernier solveur est toujours maintenu tandis que les deux autres ne le sont plus. Comme un solveur QCSP basé sur un algorithme de recherche quantifié peut être vu comme une extension d'un solveur CSP basé sur un algorithme de recherche, il est particulièrement pertinent de chercher à construire un solveur QCSP au-dessus de technologies pour solveur CSP sans les changer.
Cette approche est la nôtre : nous implantons QuaCode, un solveur QCSP, au-dessus de GeCode, une bibliothèque de classes pour la gestion des contraintes d'un CSP, sans changer le coeur de la bibliothèque. La plupart des solveurs de l'état de l'art, tout comme QuaCode ont un inconvénient majeur : ils parcourent un espace combinatoire bien plus grand que l'espace de recherche du problème original. Si, pour la plupart des problèmes, il n'y a pas de solution systématique, il n'en va pas de même pour les jeux à deux joueurs à horizon fini. Nous proposons dans ce cadre un théorème qui prouve l'élimination du parcours superflu. Nous présentons tout d'abord en section 2 le concept de problème de satisfaction de contraintes quantifiées. Nous spécifions, en section 3, trois jeux à deux joueurs à horizon fini en QCSP : le JeudeNim,leMatrixGame ainsi que le Puissance Quatre.
Nous montrons en particulier toute l'élégance de ces spécifications en QCSP. Nous abordons, en section 4, la spécification d'un solveur QCSP comme extension d'un solveur CSP. Nous présentons, en section 5, le « talon d'Achille » des QCSP, c-à-d. le problème de l'exploration des espaces de recherche inutile par construction dans les solveurs QCSP comme extensions de solveurs CSP et la solution que nous y apportons. Enfin, en section 6, nous présentons notre solveur QCSP QuaCode qui intègre notre solution au problème du « talon d'Achille » et le comparons à l'état de l'art. Nous continuons par une discussion dans laquelle nous présentons QuaCode comme un système ouvert, capable en tant que solveur complet de coopérer avec des méthodes incomplètes via une interface pour orienter sa recherche.
Le MatrixGame Même si le MatrixGame est souvent présenté comme un problème QCSP+, il n'y a pas de règle à satisfaire entre chaque tour. Toutes les contraintes dépendent de l'ensemble des variables. Ainsi, ce problème ne réclame aucune des spécificités d'un QCSP+ et peut être modélisé en un QCSP sans perte d'efficacité. Toutes les instances utilisées admettent une stratégie gagnante. Nous notons que Qecode dépasse le temps maximum accordé après simplement une profondeur du jeu de 7 et Queso de 8. Nous observons une rupture qui apparaît tôt ou tard selon le solveur. Cela est illustré par l'explosion du nombre de propagations de Queso pour une profondeur de 8 (cf. figure  5 ) et par l'augmentation du nombre de noeuds de Qecode pour une profondeur de 7 (cf. figure  6 ). Queso et QuaCode étant basés sur des algorithmes de recherche quantifiés similaires, la différence de performance s'explique par la librairie de contraintes sous-jacente.
Le Puissance Quatre Le dernier problème testé est le Puissance Quatre déjà étudié par P. Nightingale dans  (Nightingale, 2009). Nous utilisons le modèle de base et comparons, selon différents paramètres, Queso et QuaCode. Malheureusement, ce problème ne dispose pas de formulation pour Qecode ; ainsi nous n'utilisons pas Qecode pour ces tests. Dans  (Nightingale, 2007) , l'auteur adapte la méthode des valeurs pures, issue des littéraux monotones pour SAT  (Bennaceur, 2004) , aux QCSP. Ainsi, Queso peut élaguer des valeurs dans les domaines des variables universelles pour éviter des branches inutiles de l'arbre de recherche. Ce mécanisme est puissant mais il est très couteux et doit être utilisé avec prudence. Le Puissance Quatre est un classique des jeux à deux joueurs et bénéficie pleinement du théorème 1 portant sur l'utilisation de la coupure.
Notre but ici est de comparer un solveur qui utilise l'optimisation basé sur les valeurs Tableau 1. Comparaison pour le Puissance Quatre des solveurs QCSP selon différents paramètres (« Opt. » pour « options », "VP" pour « valeurs pures », « QC » pour « QuaCode », « Qo » pour « Queso », « TD » pour « temps dépassé » i. e. plus que 1 800 000 ms) L'ensemble des résultats sont présentés dans le tableau 1. Aucun des solveurs (sans les valeurs pures ou l'outil de coupure) n'est à même de résoudre des instances avec plus de 4 lignes ou colonnes dans le temps imparti. Cela montre que l'élagage fait par les valeurs pures ou l'outil de coupure est indispensable pour résoudre efficacement le problème. De fait, pour chaque instance, le nombre de noeuds explorés et le nombre de propagations pour Queso avec valeurs pures et QuaCode avec l'outil de coupure sont très inférieurs à ceux pour Queso ou QuaCode seuls.
Ces résultats se traduisent en une réduction drastique du temps de calcul. La seconde observation est que l'utilisation de l'outil coupure élague plus de noeuds que l'utilisation des valeurs pures. En effet, QuaCode avec l'outil coupure surperforme Queso avec valeurs pures sur toutes les instances. Sur l'ultime instance, l'unique solveur qui la résout dans le temps imparti est QuaCode.
Une autre des possibilités pour rendre les solveurs QCSP plus efficace est de guider leur recherche soit grâce à des heuristiques internes de choix de variable dans le bloc de quantificateurs considéré 7 ou de choix de valeur à explorer  (Stynes, Brown, 2009) , soit grâce à des heuristiques externes basées sur la résolution en parallèle et coopérative avec des métaheuristiques, type algorithme de Monte Carlo  (Kocsis, Szepesvári, 2006). C'est ce dernier choix qui a était fait prioritairement pour permettre à QuaCode d'être un système ouvert. La figure 10 présente l'architecture actuelle de la coopération entre le solveur QCSP complet et l'algorithme stochastique : le solveur QCSP complet basé sur l'algorithme 1 de recherche quantifiée utilisant la bibliothèque CSP GeCode est guidé heuristiquement de manière asynchrone par un algorithme stochastique via un mécanisme intermédiaire de communication que nous nommons « SIBus » (pour Search Information Bus).
Perspectives et conclusion Le formalisme QCSP permet de modéliser des problèmes sous-contraintes complexes et dans lesquels certaines variables peuvent être quantifiées universellement. Ce formalisme est bien adapté à la représentation des jeux à deux joueurs à horizon fini. En effet, la richesse du formalisme CSP d'une part, fournit les outils pour modéliser un ensemble d'interactions complexes entre les variables de décisions permettant ainsi de représenter les règles du jeu. La possibilité de quantifier universellement des variables d'autre part, permet de représenter un adversaire à battre. Pour résoudre ces problèmes, nous proposons QuaCode un solveur QCSP, adapté à ce formalisme, construit au-dessus de la bibliothèque CSP GeCode. GeCode fournit sa bibliothèque de contraintes à laquelle ont été ajoutés un algorithme de résolution quantifié et l'outil coupure, permettant de rendre la résolution plus efficace en tirant parti de certaines particularités des QCSP.
Nous avons réaliser un ensemble de tests sur des Intel i5, 1. 8GHz, 4GB RAM tournant sous Linux. Chaque exécution n'utilise qu'un seul coeur et le temps maximum de calcul est fixé à une demie heure. Dans notre expérimentation, nous comparons QuaCode aux deux autres solvers de l'état de l'art : Queso 5 et Qecode 6. Queso est un solver de QCSP écrit from scratch en Java par P. Nightingale. Queso n'est plus maintenu mais les sources sont toujours disponibles. Qecode est un solver QCSP/QCSP+ basé sur GeCode. Pour résoudre un QCSP+, Qecode construit des problèmes CSP dont toutes les variables sont quantifiées existentiellement. L'algorithme de recherche en profondeur d'abord de GeCode est appelé à chaque fois qu'il faut résoudre un CSP et les résultats sont capturés et analysés par Qecode. Pour résoudre un QCSP+, de nombreux CSP doivent être résolus.
La conception du QCSP+ doit être prise soigneusement en compte car Qecode nécessite de connaître l'alternance des quantificateurs pour connecter les pièces du QCSP+. Notons que le nombre de noeuds retourné par Qecode est sous évalué comparé au vrai nombre de noeuds ouverts. En effet, lorsque Qecode fournit à GeCode un CSP dans lequel il reste des variables à instancier et donc des noeuds à ouvrir, ceux-ci ne sont pas comptabilisé dans le résultat affiché. La valeur affichée est donc plus en lien avec ceux des CSP résolus par GeCode que ceux réellement ouverts. Pour évaluer QuaCode versus l'état de l'art, nous utilisons le Jeu de Nim,leMa-trixGame et le Puissance Quatre présentés au paragraphe 3. 3. http://quacode. barichard. com 4. http://www. gecode. org 5. http://pn. host. cs. st-andrews.
Certains paramètres liés aux caractéristiques des ménages, tels que l'implantation territoriale ou encore le capital économique, sont également invariants, car il s'agit d'un habitat à vocation sociale dans un quartier donné. Les paramètres que nous avons utilisés ont alors été l'âge, le sexe et la catégorie socioprofessionnelle. Nous avons établi notre population mère à partir de la population des habitants de la ville de Maubeuge. Conformément à  Griffin et Hauser (1991) , notre panel est constitué de 21 personnes. La méthode des quotas fait que notre échantillon possède la même proportion suivant les trois paramètres utilisés. N'ayant pas connaissance d'une base de données exhaustive plus récente, nous nous sommes référés à la base de données de l'INSEE de 2006.
Evaluation des pratiques en soins primaires par les bases de données électroniques Si la recherche en soins primaires s'est peu étendue aux maladies rares, en revanche, elle a beaucoup progressé dans l'évaluation des pratiques de nombreux autres problèmes plus fréquentes comme le risque cardiovasculaire  20  , l'asthme  21  , l'hypothyroïdie  22  , la prescription des antithrombotiques  23  , etc. grâce à l'informatisation des cabinets des médecins généralistes et à l'exploitation des bases de données provenant des dossiers patients informatisés et disponibles dans des bases de données telles que celles dont dispose le Cegedim Strategic Data (CSD). Ces données ont l'avantage d'être obtenues en conditions de soins réelles, par opposition aux essais cliniques et correspondent mieux aux pratiques des praticiens.
Objectif principal de l'étude L'objectif de cette étude observationnelle rétrospective populationnelle était d'étudier la prise en charge diagnostique du SGS en France et de les comparer aux recommandations alors en cours  14  , à l'aide d'une base de données de santé électronique de soins primaires. Nous souhaitions étudier en particulier le délai entre le premier symptôme devant faire rechercher un SGS et le début de la prise en charge diagnostique, ainsi que les examens prescrits dans le cadre de cette prise en charge. Crossway®. Nous avons retenu un suivi préalable au diagnostic d'un an  25. Un suivi ultérieur de 6 mois, a été jugé raisonnable pour observer tous les actes diagnostiques. Enfin, un dossier ne devait pas avoir plus de 3 mois sans aucune donnée afin de s'assurer que les examens n'ont pas été faits à l'étranger.
Délai à la prise en charge diagnostique Pour les 86 patients (93,5%) dont les médecins traitants avaient diagnostiqué et déclaré un symptôme devant faire rechercher un SGS, le délai moyen entre le premier symptôme déclaré et le premier examen diagnostic de SGS était de 18,3 mois, (intervalle interquartile : 3,0 -30,4 mois). Pour 16 d'entre eux (17,4%), ces symptômes étaient présents à l'inclusion dans la base de données laissant penser qu'ils préexistaient depuis une durée indéterminée. Pour 6 patients restants (6,5%), aucun symptôme évocateur de SGS n'a été retrouvé dans les données disponibles. En raison du faible nombre de patients, nous n'avons pu comparer que les patients présentant initialement un syndrome sec à ceux qui entraient dans la maladie avec un tableau articulaire. Bien qu'il y aie une tendance à un délai plus court pour le syndrome sec, cette différence n'était pas significative (p=0,38).
Matériel et méthodes Description de la base de données Les données proviennent des dossiers patients informatisés des 25 000 médecins généralistes équipés du logiciel Crossway® (CEGEDIM) en France. Les données anonymisées (pour le patient et pour le médecin) recueillies par télétransmission automatique sont présentées dans le tableau 1. Les bases de données de santé électroniques sont produites à partir des logiciels métiers qui évoluent au cours du temps, dans le cas de la base du CSD, les données de remboursement de la sécurité sociale ont été intégrées progressivement à partir de 2012 de façon hétérogène. De plus le mode d'utilisation du logiciel peut varier entre les médecins, certains préférant ainsi Tableau 1. Types de données disponibles dans la base CSD 1. Les données démographiques : date de naissance, sexe, département d'habitation, date de décès, statut social et marital 2.
CetteConclusionNous avons montré qu'il était possible d'utiliser la base de données de santé électronique CSD pour l'étude d'une maladie multi systémique rare qu'est le SGS. Les promesses de cette base pour la recherche sont immenses. Cependant, l'amélioration de l'outil de recueil des données est un pré requis, en particulier aux études épidémiologiques, mais aussi de compliance et médico économiques. De même une compréhension exhaustive est nécessaire de la part du chercheur à la fois de la construction de la base, de l'interaction entre le patient, la maladie et le médecin et du contexte de soin dans lequel sont produites ces données.
Partie 1 1 Matériel et méthodes Description de la base de données Les données proviennent des dossiers patients informatisés des 25 000 médecins généralistes équipés du logiciel Crossway® (CEGEDIM) en France. Les données anonymisées (pour le patient et pour le médecin) recueillies par télétransmission automatique sont présentées dans le tableau 1. Les bases de données de santé électroniques sont produites à partir des logiciels métiers qui évoluent au cours du temps, dans le cas de la base du CSD, les données de remboursement de la sécurité sociale ont été intégrées progressivement à partir de 2012 de façon hétérogène. De plus le mode d'utilisation du logiciel peut varier entre les médecins, certains préférant ainsi Tableau 1. Types de données disponibles dans la base CSD 1. Les données démographiques : date de naissance, sexe, département d'habitation, date de décès, statut social et marital 2.
IV. Biopsie des glandes salivaires 3,4 (0,7) 15 -19 (16,3 -20,7) I + IV 15 -19 (16,3 -20,7) Symptômes cardinaux Objectivation du syndrome sec I + II + IV 8 -13 (8,7 -14,1) Xérostomie (%) 39 (42,4) Xérophtalmie (%) 76 (82,6) Asthénie (%) 43 (46,7) Arthralgies (%) 44 (47,8) Lymphomes 5 (5,4%) Manifestations systémiques Musculaires 14 (15,2%) Neurologiques périphériques 10 (10,9%) Rénales 5 (5,4%) Pulmonaires Un seul patient a été exploré par sialographie et aucun n'a eu de scintigraphie salivaire. 5 1 (1,1%) patients ont été hospitalisés en milieu spécialisé dans les 12 mois encadrant l'occurrence du Troubles anxieux et dépressifs SGS dans la base de donnée et ont pu bénéficier d'examens complémentaires pour objectiver 55 (60,0%) Connectivites associées une xérostomie portant possiblement à 6 (6,5%) le nombre de patients explorés Polyarthrite rhumatoïde 11 (12,0%) Lupus érythémateux aigu disséminé Examen anatomopathologique des glandes salivaires 4 (4,3%) Sclérodermie 2 (2,2%) 31 patients (33,7%) ont eu un remboursement pour une fluoroscopie au cours de la totalité du suivi disponible pour chacun.
Ce test ayant d'autres indications, il est possible qu'elles n'aient pas été réalisées dans le but de diagnostiquer un SGS. Par ailleurs sur les 61 patients n'ayant pas eu de remboursement de fluoroscopie, 4 ont été hospitalisés en milieu spécialisé dans les 12 mois encadrant l'occurrence du SGS dans la base de donnée et ont pu bénéficier d'examens complémentaires pour objectiver une xéropthalmie portant à 35 (38,0%) le nombre de patients explorés. En restreignant la période d'observation aux 12 mois encadrant le diagnostic, 42 patients (45,6%) ont vu un ophtalmologue en consultation, mais seulement 15 (16,3%) ont eu un remboursement pour une fluoroscopie. 15 patients (16,3%) ont eu un remboursement pour biopsie des glandes salivaires (14 mineures et 1 majeure). Parmi les patients restant, 4 ont été hospitalisés en milieu spécialisé dans une période de 12 mois autour du diagnostic de SGS et ont pu avoir également une BGSA incluse.
CetteConclusionNous avons montré qu'il était possible d'utiliser la base de données de santé électronique CSD pour l'étude d'une maladie multi systémique rare qu'est le SGS. Les promesses de cette base pour la recherche sont immenses. Cependant, l'amélioration de l'outil de recueil des données est un pré requis, en particulier aux études épidémiologiques, mais aussi de compliance et médico économiques. De même une compréhension exhaustive est nécessaire de la part du chercheur à la fois de la construction de la base, de l'interaction entre le patient, la maladie et le médecin et du contexte de soin dans lequel sont produites ces données. les examens. Un système d'aide à la décision intégré au logiciel, alertant le clinicien des diagnostics à évoquer, des examens à réaliser et éventuellement de la nécessité d'adresser le patient à un spécialiste, permettrait de raccourcir ce délai.