|
Title
|
Authors
|
Published in
|
Date
|
mandel.22.aghm
|
GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux
|
J-L Mandel, P Burger, A Strehle, F Colin, T Mazzucotelli, N Collot, S Baer, B Durand, A Piton, R Coutelle, E Schaefer, P Parrend, L Faivre, K Jobard Garou, D Geneviève, V Ruault, D Martin, CaumesR., T Smol, J Ghoumid, F Ropert Conquer, J Kummeling, C Ockeloen, T Kleefstra, D Koolen
|
Assises de Génétique Humaine et Médicale
|
1 February 2022
|
remil.22.egc
|
Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents
|
Youcef Remil, Anes Bendimerad, Marc Plantevit, Céline Robardet, Mehdi Kaytoue
|
Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022
|
24 January 2022
|
guillaume.22.egc
|
Hate Speech and Toxic Comment Detection using Transformers
|
Pierre Guillaume, Corentin Duchene, Réda Dehak
|
Workshop EGC 2022 DL for NLP
|
12 January 2022
|
el-madhoun.22.aina
|
New Security Protocols for Offline Point-of-Sale Machines
|
Nour El Madhoun, Emmanuel Bertin, Mohamad Badra, Guy Pujolle
|
36th International Conference on Advanced Information Networking and Applications (AINA)
|
1 January 2022
|
boutry.22.dgmm
|
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts
|
Nicolas Boutry, Laurent Najman, Gilles Bertrand
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
31 December 2021
|
boutry.21.miccai
|
Residual 3D U-Net with Localization for Brain Tumor Segmentation
|
Marc Demoustier, Ines Khemir, Lucien Martin-Gaffé, Nicolas Boutry, Quoc Duon Nguyen
|
International MICCAI Brainlesion Workshop
|
31 December 2021
|
movn.21.bmvc
|
Introducing the Boundary-Aware Loss for Deep Image Segmentation
|
Minh Ôn Vũ Ngoc, Yizi Chen, Joseph Chazalon, Edwin Carlinet, Jonathan Fabrizio, Clément Mallet, Thierry Géraud, Nicolas Boutry
|
Proceedings of the 32nd British Machine Vision Conference (BMVC)
|
28 November 2021
|
raymon.21.urai
|
VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation
|
A Raymond, B Brument, P Parrend
|
Upper-Rhine Artificial Intelligence Symposium
|
1 October 2021
|
rida.21.cn
|
Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks
|
A Abou Rida, P Parrend, R Amhaz
|
Complex Network 2021
|
1 October 2021
|
el-madhoune.21.csnet
|
A Secure Blockchain-Based Architecture for the COVID-19 Data Network
|
Darine Al-Mohtar, Amani Ramzi Daou, Nour El Madhoun, Rachad Maallawi
|
2021 5th Cyber Security in Networking Conference (CSNet)
|
1 October 2021
|
kheireddine.21.cp
|
Towards Better Heuristics for Solving Bounded Model Checking Problems
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21)
|
31 August 2021
|
kirszenberg.21.spin
|
Go2Pins: A Framework for the LTL Verification of Go Programs
|
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
|
Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21)
|
8 June 2021
|
chazalon.21.icdar.1
|
Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation
|
Joseph Chazalon, Edwin Carlinet
|
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)
|
17 May 2021
|
chazalon.21.icdar.2
|
ICDAR 2021 Competition on Historical Map Segmentation
|
Joseph Chazalon, Edwin Carlinet, Yizi Chen, Julien Perret, Bertrand Duménieu, Clément Mallet, Thierry Géraud, Vincent Nguyen, Nam Nguyen, Josef Baloun, Ladislav Lenc, Pavel Král
|
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)
|
17 May 2021
|
chen.21.icdar
|
Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction
|
Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret
|
Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21)
|
17 May 2021
|
estopinan.21.eusipco
|
Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks
|
Joaquim Estopinan, Guillaume Tochon, Lucas Drumetz
|
Proceedings of the 29th European Signal Processing Conference (EUSIPCO)
|
4 May 2021
|
hacquard.21.els
|
A Corpus Processing and Analysis Pipeline for Quickref
|
Antoine Hacquard, Didier Verna
|
Proceedings of the 14th European Lisp Symposium (ELS)
|
1 May 2021
|
newton.21.els
|
A Portable, Simple, Embeddable Type System
|
Jim Newton, Adrien Pommellet
|
Proceedings of the 14th European Lisp Symposium (ELS)
|
26 April 2021
|
maldonado-ruiz.21.ifip
|
An Innovative and Decentralized Identity Framework Based on Blockchain Technology
|
Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra
|
2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS)
|
1 April 2021
|
boutry.21.dgmm.1
|
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
boutry.21.dgmm.2
|
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation
|
Nicolas Boutry, Thierry Géraud
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
boutry.21.dgmm.3
|
Stability of the Tree of Shapes to Additive Noise
|
Nicolas Boutry, Guillaume Tochon
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
kirszenberg.21.dgmm
|
Going beyond p-convolutions to learn grayscale morphological operators
|
Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
bloch.21.dgmm
|
On Some Associations Between Mathematical Morphology and Artificial Intelligence
|
Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
chen.21.dgmm
|
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation
|
Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
espie.21.eurocon
|
Debug Packages in OpenBSD
|
Marc Espie
|
EuroBSDCon 2021
|
1 January 2021
|
grelot.21.cesar
|
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence
|
Frederic Grelot, Sébastien Larinier, SalmonMarie
|
Proceedings of the 28th C&ESAR
|
1 January 2021
|
nejati.20.cp
|
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers
|
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
|
Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20)
|
31 December 2020
|
zhao.20.icpr.1
|
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Proceedings of the 25th International Conference on Pattern Recognition (ICPR)
|
2 November 2020
|
zhao.20.icpr.2
|
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Proceedings of the 25th International Conference on Pattern Recognition (ICPR)
|
2 November 2020
|
buatois.19.brainles
|
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival
|
Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon
|
International MICCAI Brainlesion Workshop
|
3 September 2020
|
vallade.20.nfm
|
On the Usefulness of Clause Strengthening in Parallel SAT Solving
|
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 12th NASA Formal Methods Symposium (NFM'20)
|
1 August 2020
|
boutry.20.iwcia2
|
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud
|
Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020
|
21 July 2020
|
boutry.20.iwcia1
|
Euler Well-Composedness
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago
|
Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020
|
21 July 2020
|
renkin.20.atva
|
Practical “Paritizing” of Emerson–Lei Automata
|
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
|
Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20)
|
7 July 2020
|
boutry.20.brainles
|
Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures
|
Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud
|
Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019
|
1 June 2020
|
vallade.20.sat
|
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving
|
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
|
Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20)
|
1 June 2020
|
blahoudek.20.cav
|
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization
|
František Blahoudek, Alexandre Duret-Lutz, Jan Strejček
|
Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20)
|
14 May 2020
|
zhao.19.stacom
|
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers
|
7 February 2020
|
drumetz.20.icassp
|
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation
|
Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet
|
Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
|
24 January 2020
|
zhao.19.myops
|
Stacked and parallel U-nets with multi-output for myocardial pathology segmentation
|
Zhou Zhao, Nicolas Boutry, Elodie Puybareau
|
Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge
|
1 January 2020
|
atlan.20.spie
|
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation)
|
Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard
|
Label-free Biomedical Imaging and Sensing (LBIS) 2020
|
1 January 2020
|
verna.19.tug
|
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo
|
Didier Verna
|
TUGboat
|
6 November 2019
|
poitrenaud.19.icfem
|
Combining Parallel Emptiness Checks with Partial Order Reductions
|
Denis Poitrenaud, Etienne Renault
|
Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)
|
2 August 2019
|
baier.19.atva
|
Generic Emptiness Check for Fun and Profit
|
Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček
|
Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19)
|
29 July 2019
|
boutry.19.dgci
|
One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez
|
Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
18 June 2019
|
carlinet.19.gretsi
|
Filtres connexes multivariés par fusion d'arbres de composantes
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)
|
14 June 2019
|
esteban.19.gretsi
|
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques
|
Baptiste Esteban, Guillaume Tochon, Thierry Géraud
|
Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)
|
14 June 2019
|
esteban.19.caip
|
Estimating the noise level function with the tree of shapes and non-parametric statistics
|
Baptiste Esteban, Guillaume Tochon, Thierry Géraud
|
Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP)
|
7 June 2019
|
verna.19.els
|
Parallelizing Quickref
|
Didier Verna
|
12th European Lisp Symposium
|
1 April 2019
|