74 research outputs found

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

    No full text
    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

    Get PDF
    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

    No full text
    LE KREMLIN-B.- PARIS 11-BU MĂ©d (940432101) / SudocSudocFranceF

    Formal Specifications and Test: Correctness and Oracle

    No full text
    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

    No full text
    National audienceNous proposons dans cet article une formalisation du test de conformitĂ© contre des spĂ©ciïŹcations 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Ă©ciïŹcations 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Ă©ïŹnition des tests jusqu'Ă  leurs soumissions. EnïŹn 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

    No full text
    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

    No full text
    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

    No full text
    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
    • 

    corecore