JERBOA : un modeleur géométrique à base de règles

National audienceDans le cadre de la modélisation géométrique, chaque domaine d'application nécessite des logiciels spécifiques, appelés modeleurs. Leurs structures de données sont optimisées en fonction des objets manipulés, et leurs opérations de manipula- tion d'objets sont dédiées à l'application. Dans le cadre de la modélisation géomé- trique à base topologique, utilisant les cartes généralisées pour décrire la topologie, les objets géométriques sont représentés par une classe particulière de graphes. La structure topologique (volumes, faces, arêtes, sommets...) des objets est représen- tée par la structure du graphe, tandis que la géométrie ou toute autre information physique (couleur, forme, position...) sont portées par les nœuds du graphe. Nous avons proposé un langage à base de règles de transformations de graphes pour définir formellement les opérations géométriques. Notre noyau de modeleur est entièrement paramétrable par l'utilisateur (di- mension topologique des objets, nature des plongements, opérations géométriques). Il vérifie la préservation de la cohérence topologique et géométrique des objets. Cette vérification s'effectue statiquement, grâce à des conditions syntaxiques sur les règles définissant les opérations. Les objets sont construits interactivement par application des règles

Intraocular Pressure Changes After Intravitreal Fluocinolone Acetonide Implant: Results from Four European Countries

none14siIntroduction: The 0.19 mg fluocinolone acetonide (FAc) intravitreal implant delivers a continuous intravitreal corticosteroid dose for the treatment of refractory diabetic macular oedema (DMO). The aim of this study was to assess the impact of an FAc intravitreal implant on intraocular pressure (IOP). Methods: We retrospectively collected anonymised data on the patients’ characteristics, DMO treatment, and IOP and IOP-lowering treatments before and after the FAc intravitreal implant between September 2013 and March 2020 in several European centres. Results: A total of 221 eyes from 179 patients were included. The mean follow-up duration was 13.4 (± 12.5, range 2.4–33.5) months. Overall, 194 eyes (88.2%) had received an intravitreal dexamethasone injection before the FAc intravitreal implant. For 25 eyes (11.3%) there was a history of glaucoma, and 52 eyes (23.5%) had previous IOP-lowering treatment. Mean IOP before injection was 14.7 (3.4) mmHg and increased to 16.9 (3.7) mmHg 12 months after injection (P < 0.0001). During follow-up, 55 eyes (24.9%) required the addition or initiation of topical IOP-lowering medication, only one patient (0.5%) had laser trabeculoplasty and one patient (0.5%) a minimally invasive glaucoma surgery, and no patient required incisional IOP-lowering surgery. Conclusion: The FAc intravitreal implant led to substantial IOP elevation. This elevation was monitored most of the time with addition or initiation of topical IOP-lowering medication.openLebrize S.; Arnould L.; Bourredjem A.; Busch C.; Rehak M.; Massin P.; Barbosa-Breda J.; Lupidi M.; Mariotti C.; Hamza M.; Grise-Dulac A.; Gabrielle P.-H.; Baillif S.; Creuzot-Garcher C.Lebrize, S.; Arnould, L.; Bourredjem, A.; Busch, C.; Rehak, M.; Massin, P.; Barbosa-Breda, J.; Lupidi, M.; Mariotti, C.; Hamza, M.; Grise-Dulac, A.; Gabrielle, P. -H.; Baillif, S.; Creuzot-Garcher, C

Comment optimiser par le dépistage de la dépression par l'utilisation ciblée du Test Ultra Court

LE KREMLIN-B.- PARIS 11-BU Méd (940432101) / SudocSudocFranceF

Test de conformité : une approche algébrique

National audienceNous proposons dans cet article une formalisation du test de conformité contre des spécifications algébriques. Nous interprétons par des modèles algébriques les comportements fonctionnels des programmes et concrétisons les tests abstraits issus des spécifications en tests concrets dans les langages de programmation cibles. Cette double passerelle nous permet de lier la correction sémantique d'un programme avec la soumission en succès de son jeu de tests de référence. Notre formalisation du test va ainsi de la définition des tests jusqu'à leurs soumissions. Enfin nous montrons que notre approche est en prise directe avec les pratiques industrielles et les outils de génération automatique de tests de conformité existants

Enseignement de la communication aux internes de médecine générale de la faculté de médecine, Paris Sud

Contexte : L’enseignement de la communication aux étudiants en médecine a longtemps été négligé, bien que figurant dans les compétences visées par le cursus de formation universitaire. Le département de médecine générale de la faculté Paris Sud a mis en place, en 2014, un enseignement obligatoire se déroulant sur les trois années du cursus des internes du diplôme d’études spécialisées (DES). Cet enseignement progressif se déroule en deux modules. Le premier intègre des apports théoriques, en alternance avec des ateliers de mise en application, le second consiste en des ateliers filmés suivis de comptes rendus critiques. Objectif : Évaluer, chez les internes de première année, l’impact du premier module de formation de communication en termes de connaissances et de mise en application des outils ainsi que leur appréciation sur la formation reçue. Méthodes : Étude quantitative réalisée trois mois après la première session de formation. Les internes étaient invités à répondre à un questionnaire anonyme visant à évaluer leurs connaissances en matière de communication, leur capacité à les mettre en application en pratique hospitalière et leur évaluation du dispositif de formation. Résultats : Parmi 78 étudiants formés, 77 ont répondu à ce questionnaire. Plus de 75 % des étudiants se sont sentis en confort dans les exercices de simulation, ont observé des changements dans leur comportement communicationnel et pensent pouvoir intégrer ces outils dans leurs pratiques. Conclusion : À l’issue de cet enseignement, les internes sont demandeurs de ce type de formation dont ils disent observer les effets dans leur pratique

Rule-based transformations for geometric modeling

International audienceThe context of this paper is the use of formal methods for topology-based geometric modeling. Topology-based geometric modeling deals with objects of various dimensions and shapes. Usually, objects are defined by a graph-based topological data structure and by an embedding that associates each topological element (vertex, edge, face, etc.) with relevant data as their geometric shape (position, curve, surface, etc.) or application dedicated data (e.g. molecule concentration level in a biological context). We propose to define topology-based geometric objects as labelled graphs. The arc labeling defines the topological structure of the object whose topological consistency is then insured by labeling constraints. Nodes have as many labels as there are different data kinds in the embedding. Labeling constraints ensure then that the embedding is consistent with the topological structure. Thus, topology-based geometric objects constitute a particular subclass of a category of labelled graphs in which nodes have multiple labels. We previously introduced a formal approach of topological modeling based on graph transformation rules. Topological operations, that only modify the topological structure of objects, can be defined such that topological consistency of constructed objects is ensured with syntactic conditions on rules. In this paper, we follow the same approach in order to deal with geometric operations, that can modify both the topological structure and the embedding. Thus, we define syntactic conditions on rules to ensure the consistency of the embedding during transformations

Rule-based transformations for geometric modelling

The context of this paper is the use of formal methods for topology-based geometric modelling. Topology-based geometric modelling deals with objects of various dimensions and shapes. Usually, objects are defined by a graph-based topological data structure and by an embedding that associates each topological element (vertex, edge, face, etc.) with relevant data as their geometric shape (position, curve, surface, etc.) or application dedicated data (e.g. molecule concentration level in a biological context). We propose to define topology-based geometric objects as labelled graphs. The arc labelling defines the topological structure of the object whose topological consistency is then ensured by labelling constraints. Nodes have as many labels as there are different data kinds in the embedding. Labelling constraints ensure then that the embedding is consistent with the topological structure. Thus, topology-based geometric objects constitute a particular subclass of a category of labelled graphs in which nodes have multiple labels