angiography 1arrhythmogenic cardiomyopathy 1benchmark challenge 1boundary value problems 1cardiac imaging 1circle of willis segmentation 1deep learning 1endometriosis subtyping 1kinetic theory 1machine learning 1multimodal data 1multi-scale features 1
From the 4 of 35 papers with an AI index.
50 citations
- IMT AtlantiqueFR11 papers
- Laboratoire de Physique Subatomique et des Technologies AssociéesFR10 papers
- Laboratoire des Sciences du Numérique de NantesFR10 papers
- Centre National de la Recherche ScientifiqueFR9 papers
- Le Mans UniversitéFR5 papers
- Laboratoire de Mathématiques Jean LerayFR4 papers
- Centre de physique des particules de MarseilleFR3 papers
- École Centrale de NantesFR3 papers
- École Nationale Supérieure d'Ingénieurs de CaenFR3 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR3 papers
- Institut Pluridisciplinaire Hubert CurienFR3 papers
- Laboratoire de Physique Corpusculaire de CaenFR3 papers
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
Sidney Congard, Guillaume Munch-Maccagnoni, Rémi Douence
We analyse the problem of combining linearity, effects, and exceptions, in abstract models of programming languages, as the issue of providing some kind of strength for a monad $T(…
cs.PL2026
2-Functoriality of Initial Semantics, and Applications
Benedikt Ahrens, Ambroise Lafont, Thomas Lamiaux
Initial semantics aims to model inductive structures and their properties, and to provide them with recursion principles respecting these properties. An ubiquitous example is the f…