0000000000600169

AUTHOR

Germaine Tchuenté-foguem

showing 3 related works from this author

Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.

2014

Abstract Objective Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. Materials and methods Formal medical guideline specifications and background knowledge are represented through conceptual graphs, and reasoning is based on graph homomorphism. These materials explain the underlying principles or rationale that guide the functioning of verifications. Results An illustration of this proposal is made using a medical protocol defining guidelines for the monitoring and prevention of nosocomial infections. Such infections, which are acquired in the h…

Model checking[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationComputation tree logicTheoretical computer scienceComputer scienceModel checking Medical protocolMédecine humaine et pathologieCritical Care and Intensive Care MedicineMedical guidelineConsistency (database systems)Clinical Protocols[ SDV.MHEP ] Life Sciences [q-bio]/Human health and pathologyDrug Resistance BacterialHumansFormal verificationProblem SolvingProtocol (science)Cross Infectionbusiness.industryVisual informationModels TheoreticalModélisation et simulationNosocomial diseases[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationConceptual graphsCatheter-Related InfectionsConceptual graphCarrier StateVisual modelingDisease SusceptibilitySoftware engineeringbusiness[SDV.MHEP]Life Sciences [q-bio]/Human health and pathologyAlgorithmsJournal of critical care
researchProduct

Conceptual graph operations for formal visual reasoning in the medical domain

2014

International audience; Objective - Conceptual graphs (CGs) are used to represent clinical guidelines because they support visual reasoning with a logical background, making them a potentially valuable representation for guidelines.Materials and methods - Conceptual graph formalism has an essential and basic component: a formal vocabulary that drives all of the other mechanisms, notably specialization and projection. The graph's theoretical operations, such as projection, rules, derivation, constraints, probabilities and uncertainty, support diagrammatic reasoning.Results - A conceptual graph's graphical user interface includes a multilingual vocabulary management, some query and decision-m…

VocabularyKnowledge representation and reasoningComputer sciencemedia_common.quotation_subjectBiomedical EngineeringBiophysicsHeart failurecomputer.software_genreVisual reasoning[INFO.INFO-IM]Computer Science [cs]/Medical ImagingClinical guidelines and protocolsGraphical user interfacemedia_commonImagerie médicalebusiness.industryVisual reasoningFormal semanticsDiagrammatic reasoningConceptual graphsKnowledge representationConceptual graphGraph (abstract data type)Artificial intelligenceUser interfacebusinesscomputerNatural language processing
researchProduct

Experienced knowledge for the description of maintenance packages

2015

International audience; The presented work is included in the research theme that specifies some means of capitalization andexploitation of knowledge from experience feedback processes in the context of industrial maintenancemanagement. Our research on it is a more precise definition of the proposed project, built with a problemasking how to handle the management of repair packages. Upstream, the knowledge of various expertsare materialized in the form of expert reports. Downstream maintenance wants to quickly repair productsbased on symptoms or change parts in advance. For this, we propose a methodology by analysing thefeedback to improve the response time for maintenance services. This is…

EngineeringProcess managementMaintenance[SPI] Engineering Sciences [physics]Railway companyContext (language use)[INFO] Computer Science [cs]Industrial and Manufacturing EngineeringTraction motor[SPI]Engineering Sciences [physics]Downstream (manufacturing)[INFO]Computer Science [cs]CapitalizationUpstream (petroleum industry)business.industryExperience feedbackGestion et managementKnowledgeWork (electrical)Hardware and ArchitectureControl and Systems EngineeringSystems engineeringRepair packagesbusinessExperience feedbackTheme (computing)Software
researchProduct