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

Comment améliorer la collaboration entre CLIC et médecins généralistes pour la prise en charge globale des sujets âgés à domicile ? (Résultats d'une expérience menée dans le sud Essonne)

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

Formal Specifications and Test: Correctness and Oracle

This article presents a new formal approach to testing. In the field of dynamic testing, as soon as a program fails for a test set, it is flagged incorrect. The remaining question is: how far can a successful program be considered as correct? We give a definition of program correctness with respect to a specification which is adequate to dynamic testing. Similarly to the field of abstract implementation, the idea is that in order to declare a program as correct, it suffices that its behavior fulfills the specification requirements. An intermediate semantic level between the program and the specification, called the oracle framework, is introduced in order to interpret observable results obtained from dynamic experiments on the program. This allows to give algebraic semantics (i.e. a set of models) to the program, compatible with the program behavior. Program correctness is then defined by some adequacy criterion between the specification semantics and the program semantics. We point ou..

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

Qualité de la prescription médicamenteuse et groupe de pairs en médecine générale

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

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

Constraint-preserving labeled graph transformations for topology-based geometric modeling

As labeled graphs are particularly well adapted to represent objects in the context of topology-based geometric modeling, graph transformation theory is an adequate framework to implement modeling operations and check their consistency. In this article, objects are defined as a particular subclass of labeled graphs in which arc labels encode their topological structure (i.e. cell subdivision: vertex, edge, face, etc.) and node labels encode their embedding (i.e. relevant data: vertex positions, face colors, volume density, etc.). Object consistency is therefore defined by labeling constraints which must be preserved along modeling operations that modify topology and/or embedding. In this article, we define a class of graph transformation rules dedicated to embedding computations. Dedicated graph transformation variables allow us to access the existing embedding from the underlying topological structure (e.g. collecting all the points of a face) in order to compute the new embedding using user-provided functions (e.g. compute the barycenter of several points). To ensure the safety of the defined operations, we provide syntactic conditions on rules that preserve the object consistency constraints