Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• On Robustness for the Skolem and Positivity Problems  + (S Akshay)
• 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)
• SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode  + (J Chazalon)
• Olena Publications  + (Edwin Carlinet)
• Diversifying a Parallel SAT Solver with Bayesian Moment Matching  + (V Vallade)
• CosySEL: Improving SAT Solving Using Local Symmetries  + (S Saouli)
• Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification  + (S Shum)
• Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach  + (S Shum)
• Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge  + (H J Kuijf)
• A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers  + (Saeed Nejati)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• Automation of Binary Analysis: From Open Source Collection to Threat Intelligence  + (Frederic Grelot)
• Practical Applications of the Alternating Cycle Decomposition  + (Antonio Casares)
• Past People  + (Yann Jacquelet)
• People/Samuel Charron  + (Samuel Charron)
• Homolib  + (Samuel Charron)
• Homolib  + (Samuel Charron)
• polyDD: Towards a Framework Generalizing Decision Diagrams  + (Alban Linard)
• Nondéterminisation d'automates alternants dans SPOT  + (Samuel Da Mota)
• Nondeterminisation of alternating automata in SPOT  + (Samuel Da Mota)
• On Some Associations Between Mathematical Morphology and Artificial Intelligence  + (Isabelle Bloch)
• Uniform Random Sampling of Traces in Very Large Models  + (Alain Denise)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Zhaohan Xiong)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)

• Implementation of transducers in Vaucanson  + (Sarah O'Connor)
• Implementation of transducers in Vaucanson  + (Sarah O'Connor)
• Inside Vaucanson  + (Sarah O'Connor)
• Papers about Vaucanson  + (Sarah O'Connor)
• Past People  + (Sarah O'Connor)
• People/Sarah O'Connor  + (Sarah O'Connor)

• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• PAIP 2019: Liver Cancer Segmentation Challenge  + (Yoo Jung Kim)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (Anjany Sekuboyina)
• People/Sebastien Crozet  + (Sebastien Crozet)
• People/Sebastien Thellier  + (Sebastien Thellier)
• Evaluating complex MAC protocols for sensor networks with APMC  + (Michaël Cadilhac)
• Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina  + (Julie Rivet)
• Olena Publications  + (Edwin Carlinet)
• Motion Compensation in Digital Holography for Retinal Imaging  + (Julie Rivet)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Sharib Ali)
• The MIT Lincoln Laboratory 2016 Speaker Recognition System  + (Pedro A Torres-Carrasquillo)
• A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy  + (Sharib Ali)
• A blockchain-based certificate revocation management and status verification system  + (Yves Christian Elloh Adja)
• Blockchain-Based Solution for Detecting and Preventing Fake Check Scams  + (Badis Hammi)
• A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging  + (Zhaohan Xiong)
• Optimization of the Product Configuration System of Renault  + (Hao Xu)
• An Experience Report on the Optimization of the Product Configuration System of Renault  + (Hao Xu)
• Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis  + (Guillaume Tochon)
• Ecriture d'algorithmes de traitement d'images génériques  + (Simon Guillot)
• Writing generic image processing algorithms  + (Simon Guillot)
• Past People  + (Yann Jacquelet)
• Olena/Assignments  + (Giovanni Palma)