Semantic search
| Author | Title | Published in | Date | |
|---|---|---|---|---|
| Practical Applications of the Alternating Cycle Decomposition | Antonio Casares Alexandre Duret-Lutz Klara J Meyer Florian Renkin Salomon Sickert | Practical Applications of the Alternating Cycle Decomposition | Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22) | 1 February 2022 |
| 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 | 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 | Assises de Génétique Humaine et Médicale | 1 February 2022 |
| 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 | Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents | Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 | 24 January 2022 |
| Hate Speech and Toxic Comment Detection using Transformers | Pierre Guillaume Corentin Duchene Reda Dehak | Hate Speech and Toxic Comment Detection using Transformers | Workshop EGC 2022 DL for NLP | 12 January 2022 |
| QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results | Raghav Mehta Angelos Filos Ujjwal Baid Chiharu Sako Richard McKinley Michael Rebsamen Katrin Dätwyler Raphael Meier Piotr Radojewski Gowtham Krishnan Murugesan Sahil Nalawade Chandan Ganesh Ben Wagner YuFang F. Baowei Fei Ananth J Madhuranthakam Joseph A Maldjian Laura Daza GómezCatalina Pablo Arbeláez Chengliang Dai Shuo Wang Hadrien Reynaud Yuanhan Mo Elsa Angelini Yike Guo Wenjia Bai BanerjeeSubhashis Linmin Pei Murat AK Sarahi Rosas-González Ilyess Zemmoura Clovis Tauber Minh Hoang Vu Tufve Nyholm Tommy Löfstedt Laura Mora Ballestar Veronica Vilaplana Hugh McHugh Gonzalo Maso Talou Alan Wang Jay Patel Ken Chang Katharina Hoebel Mishka Gidwani Nishanth Arun Sharut Gupta Mehak Aggarwal Praveer Singh Elizabeth R Gerstner Jayashree Kalpathy-Cramer Nicolas Boutry Alexis Huard VidyaratneLasitha Md Monibor Rahman Khan M Iftekharuddin Joseph Chazalon Elodie Puybareau TochonGuillaume Jun Ma Mariano Cabezas LladoXavier Arnau Oliver Liliana Valencia Sergi Valverde Mehdi Amian SoltaninejadMohammadreza Andriy Myronenko Ali Hatamizadeh Xue Feng Quan Dou Nicholas Tustison MeyerCraig Nisarg A Shah Sanjay Talbar WeberMarc-André Abhishek Mahajan Andras Jakab Roland Wiest Hassan M Fathallah-Shaykh Arash Nazeri Mikhail Milchenko Daniel Marcus Aikaterini Kotrotsou Rivka Colen John Freymann Justin Kirby Christos Davatzikos MenzeBjoern Spyridon Bakas Yarin Gal Tal Arbel | QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results | Journal of Machine Learning for Biomedical Imaging (MELBA) | 9 January 2022 |
| How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions | Loïca Avanthey Laurent Beaudoin | How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions | Remote Sensing | 1 January 2022 |
| Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks | A Abou Rida R Amhaz P Parrend | Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks | Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities | 1 January 2022 |
| Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey | Daniel Maldonado-Ruiz Jenny Torres El MadhounNour Mohamad Badra | Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey | IEEE Access | 1 January 2022 |
| New Security Protocols for Offline Point-of-Sale Machines | Nour El Madhoun Emmanuel Bertin Mohamad Badra Guy Pujolle | New Security Protocols for Offline Point-of-Sale Machines | 36th International Conference on Advanced Information Networking and Applications (AINA) | 1 January 2022 |
| Residual 3D U-Net with Localization for Brain Tumor Segmentation | Marc Demoustier Ines Khemir Lucien Martin-Gaffé Nicolas Boutry Quoc Duon Nguyen | Residual 3D U-Net with Localization for Brain Tumor Segmentation | International MICCAI Brainlesion Workshop | 31 December 2021 |
| Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts | Nicolas Boutry Laurent Najman Gilles Bertrand | Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 31 December 2021 |
| AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation | Jimmy Francky Randrianasoa Camille Kurtz Éric Desjardin Nicolas Passat | AGAT: Building and Evaluating Binary Partition Trees for Image Segmentation | SoftwareX | 17 December 2021 |
| 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 | Introducing the Boundary-Aware Loss for Deep Image Segmentation | Proceedings of the 32nd British Machine Vision Conference (BMVC) | 28 November 2021 |
| Strong Euler Wellcomposedness | Nicolas Boutry Rocio Gonzalez-Diaz Maria-Jose Jimenez Eduardo Paluzo-Hildago | Strong Euler Wellcomposedness | Journal of Combinatorial Optimization | 23 November 2021 |
| Continuous Well-Composedness implies Digital Well-Composedness in n-D | Nicolas Boutry Rocio Gonzalez-Diaz Laurent Najman Thierry Géraud | Continuous Well-Composedness implies Digital Well-Composedness in n-D | Journal of Mathematical Imaging and Vision | 9 November 2021 |
| A Secure Blockchain-Based Architecture for the COVID-19 Data Network | Darine Al-Mohtar Amani Ramzi Daou Nour El Madhoun Rachad Maallawi | A Secure Blockchain-Based Architecture for the COVID-19 Data Network | 2021 5th Cyber Security in Networking Conference (CSNet) | 1 October 2021 |
| Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks | A Abou Rida P Parrend R Amhaz | Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks | Complex Network 2021 | 1 October 2021 |
| VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation | A Raymond B Brument P Parrend | VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation | Upper-Rhine Artificial Intelligence Symposium | 1 October 2021 |
| Towards Better Heuristics for Solving Bounded Model Checking Problems | Anissa Kheireddine Étienne Renault Souheib Baarir | Towards Better Heuristics for Solving Bounded Model Checking Problems | Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP'21) | 31 August 2021 |
| VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images | Anjany Sekuboyina Malek E Husseini Amirhossein Bayat Maximilian Löffler Hans Liebl Hongwei Li Giles Tetteh Jan Kukačka Christian Payer Darko Stern Martin Urschler Maodong Chen Dalong Cheng Nikolas Lessmann Yujin Hu Tianfu Wang Dong Yang Daguang Xu and Felix Ambellan Tamaz Amiranashvili Moritz Ehlke Hans Lamecker Sebastian Lehnert Marilia Lirio Nicolás Pérez de Olaguer Heiko Ramm Manish Sahu Alexander Tack Stefan Zachow Tao Jiang Xinjun Ma Christoph Angerman Xin Wang Kevin Brown Matthias Wolf Alexandre Kirszenberg Élodie Puybareau Di Chen Yiwei Bai Brandon H Rapazzo Timyoas Yeah Amber Zhang Shangliang Xu Feng Houa Zhiqiang He Chan Zeng Zheng Xiangshang Xu Liming Tucker J Netherton Raymond P Mumme Laurence E Court Zixun Huang Chenhang He Li-Wen Wang Sai Ho Ling Lê Duy Huỳnh Nicolas Boutry Roman Jakubicek Jiri Chmelik Supriti Mulay Mohanasankar Sivaprakasam Johannes C Paetzold Suprosanna Shit Ivan Ezhov Benedikt Wiestler Ben Glocker Alexander Valentinitsch Markus Rempfler Björn H Menze Jan S Kirschke | VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images | Medical Image Analysis | 22 July 2021 |
| Go2Pins: A Framework for the LTL Verification of Go Programs | Alexandre Kirszenberg Antoine Martin Hugo Moreau Etienne Renault | Go2Pins: A Framework for the LTL Verification of Go Programs | Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21) | 8 June 2021 |
| 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 | Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction | Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) | 17 May 2021 |
| Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation | Joseph Chazalon Edwin Carlinet | Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation | Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) | 17 May 2021 |
| 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 | ICDAR 2021 Competition on Historical Map Segmentation | Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) | 17 May 2021 |
| Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks | Joaquim Estopinan Guillaume Tochon Lucas Drumetz | Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks | Proceedings of the 29th European Signal Processing Conference (EUSIPCO) | 4 May 2021 |
| A Corpus Processing and Analysis Pipeline for Quickref | Antoine Hacquard Didier Verna | A Corpus Processing and Analysis Pipeline for Quickref | Proceedings of the 14th European Lisp Symposium (ELS) | 1 May 2021 |
| A Portable, Simple, Embeddable Type System | Jim Newton Adrien Pommellet | A Portable, Simple, Embeddable Type System | Proceedings of the 14th European Lisp Symposium (ELS) | 26 April 2021 |
| An Innovative and Decentralized Identity Framework Based on Blockchain Technology | Daniel Maldonado-Ruiz Jenny Torres El MadhounNour Mohamad Badra | An Innovative and Decentralized Identity Framework Based on Blockchain Technology | 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS) | 1 April 2021 |
| An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D | Nicolas Boutry Thierry Géraud Laurent Najman | An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 2 March 2021 |
| A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation | Nicolas Boutry Thierry Géraud | A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 2 March 2021 |
| Stability of the Tree of Shapes to Additive Noise | Nicolas Boutry Guillaume Tochon | Stability of the Tree of Shapes to Additive Noise | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 2 March 2021 |
| Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy | Sharib Ali Mariia Dmitrieva Noha Ghatwary Sophia Bano Gorkem Polat Alptekin Temizel Adrian Krenzer Amar Hekalo Yun Bo Guo Bogdan Matuszewski Mourad Gridach Irina Voiculescu Vishnusai Yoganand Arnav Chavan Aryan Raj Nhan T Nguyen Dat Q Tran Le Duy Huynh Nicolas Boutry Shahadate Rezvy Haijian Chen Yoon Ho Choi Anand Subramanian Velmurugan Balasubramanian Xiaohong W Gao Hongyu Hu Yusheng Liao Danail Stoyanov Christian Daul Stefano Realdon Renato Cannizzaro Dominique Lamarque Terry Tran-Nguyen Adam Bailey Barbara Braden James East Jens Rittscher | Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy | Medical Image Analysis | 24 February 2021 |
| On Some Associations Between Mathematical Morphology and Artificial Intelligence | Isabelle Bloch Samy Blusseau Ramón Pino Pérez Élodie Puybareau Guillaume Tochon | On Some Associations Between Mathematical Morphology and Artificial Intelligence | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
| Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation | Yizi Chen Edwin Carlinet Joseph Chazalon Clément Mallet Bertrand Duménieu Julien Perret | Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
| Going beyond p-convolutions to learn grayscale morphological operators | Alexandre Kirszenberg Guillaume Tochon Élodie Puybareau Jesus Angulo | Going beyond p-convolutions to learn grayscale morphological operators | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
| Blockchain-Based Solution for Detecting and Preventing Fake Check Scams | Badis Hammi Sherali Zeadally Yves Christian Elloh Adja Manlio Del Giudice Jamel Nebhen | Blockchain-Based Solution for Detecting and Preventing Fake Check Scams | IEEE Transactions on Engineering Management | 1 January 2021 |
| Debug Packages in OpenBSD | Marc Espie | Debug Packages in OpenBSD | EuroBSDCon 2021 | 1 January 2021 |
| Automation of Binary Analysis: From Open Source Collection to Threat Intelligence | Frederic Grelot Sébastien Larinier SalmonMarie | Automation of Binary Analysis: From Open Source Collection to Threat Intelligence | Proceedings of the 28th C&ESAR | 1 January 2021 |
| A blockchain-based certificate revocation management and status verification system | Yves Christian Elloh Adja Badis Hammi Ahmed Serhrouchni Sherali Zeadally | A blockchain-based certificate revocation management and status verification system | Computers & Security | 1 January 2021 |
| A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers | Saeed Nejati Ludovic Le Frioux Vijay Ganesh | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers | Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) | 31 December 2020 |
| PAIP 2019: Liver Cancer Segmentation Challenge | Yoo Jung Kim Hyungjoon Jang Kyoungbun Lee Seongkeun Park Sung-Gyu Min Choyeon Hong Jeong Hwan Park Kanggeun Lee Jisoo Kim Wonjae Hong Hyun Jung Yanling Liu Haran Rajkumar Mahendra Khened Ganapathy Krishnamurthi Sen Yang Xiyue Wang Chang Hee Han Jin Tae Kwak Jianqiang Ma Zhe Tang Bahram Marami Jack Zeineh Zixu Zhao Pheng-Ann Heng Rudiger Schmitz Frederic Madesta Thomas Rosch Rene Werner Jie Tian Matteo Bovio Xiufeng Zhang Yifeng Zhu Se Young Chun Won-Ki Jeong Peom Park Jinwook Choi Élodie Puybareau | PAIP 2019: Liver Cancer Segmentation Challenge | Medical Image Analysis | 10 November 2020 |
| A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging | Zhaohan Xiong Qing Xia Zhiqiang Hu Ning Huang Cheng Bian Yefeng Zheng Sulaiman Vesal Nishant Ravikumar Andreas Maier Xin Yang Pheng-Ann Heng Dong Ni Caizi Li Qianqian Tong Weixin Si Younes Khoudli Thierry Géraud Chen Chen Wenjia Bai Daniel Rueckert Lingchao Xu Xiahai Zhuang Xinzhe Luo Shuman Jia Maxime Sermesant Yashu Liu Kuanquan Wang Davide Borra Alessandro Masci Cristiana Corsi Coen de Vente Mitko Veta Rashed Karim Chandrakanth Jayachandran Preetha Sandy Engelhardt Menyun Qiao Yuanyuan Wang Qian Tao Marta Nunez-Garcia Oscar Camara Nicolo Savioli Pablo Lamata Jichao Zhao Élodie Puybareau | A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging | Medical Image Analysis | 10 November 2020 |
| FOANet: A Focus of Attention Network with Application to Myocardium Segmentation | Zhou Zhao Nicolas Boutry Élodie Puybareau Thierry Géraud | FOANet: A Focus of Attention Network with Application to Myocardium Segmentation | Proceedings of the 25th International Conference on Pattern Recognition (ICPR) | 2 November 2020 |
| Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation | Zhou Zhao Nicolas Boutry Élodie Puybareau Thierry Géraud | Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation | Proceedings of the 25th International Conference on Pattern Recognition (ICPR) | 2 November 2020 |
| Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids | Nicolas Boutry Laurent Najman Thierry Géraud | Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids | Journal of Mathematical Imaging and Vision | 3 September 2020 |
| Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival | Thibault Buatois Élodie Puybareau Joseph Chazalon Guillaume Tochon | Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival | International MICCAI Brainlesion Workshop | 3 September 2020 |
| Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids | Nicolas Boutry Laurent Najman Thierry Géraud | Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids | Journal of Mathematical Imaging and Vision | 3 September 2020 |
| On the Usefulness of Clause Strengthening in Parallel SAT Solving | Vincent Vallade Ludovic Le Frioux Souheib Baarir Julien Sopena Fabrice Kordon | On the Usefulness of Clause Strengthening in Parallel SAT Solving | Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) | 1 August 2020 |
| A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D | Nicolas Boutry Rocio Gonzalez-Diaz Laurent Najman Thierry Géraud | A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |
| Euler Well-Composedness | Nicolas Boutry Rocio Gonzalez-Diaz Maria-Jose Jimenez Eduardo Paluzo-Hildago | Euler Well-Composedness | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |