output
20152026
most citedTableaux Modulo Theories Using Superdeduction

10 citations

11 papers

cs.CV2026

A novel unsupervised machine learning strategy to handle multimodal cardiac PET/MRI data

Brunnhilde Ponsi, Thomas Carlier, Lara Marteau +5

Arrhythmogenic left ventricular cardiomyopathy is a genetic myocardial disease difficult to diagnose due to the lack of gold standard criteria. Simultaneous PET/MR imaging, combine…

cs.CV2025

Stroke Lesion Segmentation in Clinical Workflows: A Modular, Lightweight, and Deployment-Ready Tool

Yann Kerverdo, Florent Leray, Youwan Mahé +2

Deep learning frameworks such as nnU-Net achieve state-of-the-art performance in brain lesion segmentation but remain difficult to deploy clinically due to heavy dependencies and m…

eess.IV2024★ 1 cited

Upper-body free-breathing Magnetic Resonance Fingerprinting applied to the quantification of water T1 and fat fraction

Constantin Slioussarenko, Pierre-Yves Baudin, Marc Lapert +1

Over the past decade, Magnetic Resonance Fingerprinting (MRF) has emerged as an efficient paradigm for the rapid and simultaneous quantification of multiple MRI parameters, includi…

eess.SP2023★ 7 cited

Alteration of skeletal muscle energy metabolism assessed by 31P MRS in clinical routine, part 1: Advanced Quality Control pipeline

Antoine Naëgel, Hélène Ratiney, Jabrane Karkouri +6

Background: Implementing a standardized 31P-MRS dynamic acquisition protocol to evaluate skeletal muscle energy metabolism and monitor muscle fatigability1,2, while being compatibl…

eess.SP2023★ 5 cited

Alteration of skeletal muscle energy metabolism assessed by 31P MRS in clinical routine, part 2: Clinical application

Antoine Naëgel, Hélène Ratiney, Jabrane Karkouri +6

Background: In this second part of a two-part paper, we intend to demonstrate the impact of the previously proposed advanced quality control pipeline. To understand its benefit and…

eess.IV2023

Validation of apparent intra-and extra-myocellular lipid content indicator using spiral spectroscopic imaging at 3T

Antoine Naëgel, Magalie Viallon, Jabrane Karkouri +3

This work presents a fast and simple method based on spiral MRSI for mapping the IMCL and EMCL apparent content, which is a challenging task and it compares this indicator to class…

cs.PL2023★ 3 cited

Coqlex: Generating Formally Verified Lexers

Wendlasida Ouedraogo, Gabriel Scherer, Lutz Strassburger

A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of…

cs.DC2021★ 4 cited

Optimizing full 3D SPARKLING trajectories for high-resolution T2*-weighted Magnetic Resonance Imaging

Chaithya G R, Pierre Weiss, Guillaume Daval-Frérot +3

The Spreading Projection Algorithm for Rapid K-space samplING, or SPARKLING, is an optimization-driven method that has been recently introduced for accelerated 2D T2*-w MRI using c…

physics.med-ph2021★ 8 cited

Influence of portal vein occlusion on portal flow and liver elasticity in an animal model

Simon Chatelin, Raoul Pop, Céline Giraudeau +5

Hepatic fibrosis causes an increase in liver stiffness, a parameter measured by elastography and widely used as a diagnosis method. The concomitant presence of portal vein thrombos…

cs.SE2018★ 1 cited

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros +1

Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simula…

cs.LO2015★ 10 cited

Tableaux Modulo Theories Using Superdeduction

Mélanie Jacquel, Karim Berkani, David Delahaye +1

We propose a method that allows us to develop tableaux modulo theories using the principles of superdeduction, among which the theory is used to enrich the deduction system with ne…