output
20152026
most citedTableaux Modulo Theories Using Superdeduction

10 citations

researchers with a paper here
collaborating institutions
Showing cs.CVShow all

2 papers · 1 filter

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…