Special

Semantic search

Condition
Printout selection
Options
Parameters [
limit:

The maximum number of results to return
offset:

The offset of the first result
link:

Show values as links
headers:

Display the headers/property names
mainlabel:

The label to give to the main page name
intro:

The text to display before the query results, if there are any
outro:

The text to display after the query results, if there are any
searchlabel:

Text for continuing the search
default:

The text to display if there are no query results
import-annotation:

Additional annotated data are to be copied during the parsing of a subject
propsep:

The separator between the properties of a result entry
valuesep:

The separator between the values for a property of a result
template:

The name of a template with which to display the printouts
named args:

Name the arguments passed to the template
userparam:

A value passed into each template call, if a template is used
class:

An additional CSS class to set for the list
introtemplate:

The name of a template to display before the query results, if there are any
outrotemplate:

The name of a template to display after the query results, if there are any
sep:

The separator between results
Sort options
Delete
Add sorting condition
Title Authors Published in Date
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
sekuboyina.21.media 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 Medical Image Analysis 22 July 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.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
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.media 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 Medical Image Analysis 24 February 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
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
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
hammi.21.ieee Blockchain-Based Solution for Detecting and Preventing Fake Check Scams Badis Hammi, Sherali Zeadally, Yves Christian Elloh Adja, Manlio Del Giudice, Jamel Nebhen IEEE Transactions on Engineering Management 1 January 2021
espie.21.eurocon Debug Packages in OpenBSD Marc Espie EuroBSDCon 2021 1 January 2021
christian.21.cs A blockchain-based certificate revocation management and status verification system Yves Christian Elloh Adja, Badis Hammi, Ahmed Serhrouchni, Sherali Zeadally Computers & Security 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
kim.20.media 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 Medical Image Analysis 10 November 2020
xiong.20.media 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 Medical Image Analysis 10 November 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
boutry.20.jmiv.1 Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids Nicolas Boutry, Laurent Najman, Thierry Géraud Journal of Mathematical Imaging and Vision 3 September 2020
boutry.20.jmiv.2 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 Journal of Mathematical Imaging and Vision 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
rivet.20.phd Non-iterative methods for image improvement in digital holography of the retina Julie Rivet 17 July 2020
verna.20.hdr (Dynamic (Programming Paradigms)) ;; Performance and Expressivity Didier Verna 10 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
movn.20.cviu A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio, Thierry Géraud Computer Vision and Image Understanding 2 June 2020
renault.20.isse Improving swarming using genetic algorithms Etienne Renault Innovations in Systems and Software Engineering: a NASA journal (ISSE) 2 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
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
pommellet.20.isse LTL Model Checking for Communicating Concurrent Programs Adrien Pommellet, Tayssir Touili Innovations in Systems and Software Engineering: a NASA journal (ISSE) 15 May 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
movn.20.phd Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms Minh Ôn Vũ Ngoc 18 February 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
huynh.19.prl Connected Filters on Generalized Shape-Spaces Lê Duy Huỳnh, Nicolas Boutry, Thierry Géraud Pattern Recognition Letters 20 September 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