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
- Attribute Grammars for Modular Disambiguation + (Valentin David)
- Stochastic routing in large grid-shaped quantum networks + (Cuong Le Quoc)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Akim Demaille)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Akim Demaille)
- On the security of quantum networks: a proposal framework and its capacity + (Cuong Le Quoc)
- A framework to dynamically manage distributed virtual environments + (Yoann Fabre)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (Yoann Fabre)
- Papers about Vaucanson + (Akim Demaille)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- Extending Testing Automata to All LTL + (Ala Eddine Ben Salem)
- Single-pass Testing Automata for LTL Model Checking + (Ala Eddine Ben Salem)
- Improving the Model Checking of Stutter-Invariant LTL Properties + (Ala Eddine Ben Salem)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (Ala Eddine Ben Salem)
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- Model Checking using Generalized Testing Automata + (Ala Eddine Ben Salem)
- People/Ala-Eddine Ben-Salem + (Ala-Eddine Ben-Salem)
- Uniform Random Sampling of Traces in Very Large Models + (Alain Denise)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- People/Alban Linard + (Alban Linard)
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification + (Alban Linard)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (Alban Linard)
- Introduction to the Special Issue on Distributed Hybrid Systems + (Alessandro Abate)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy + (Élodie Puybareau)
- Olena Publications + (Edwin Carlinet)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Alessio Virzi)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (Yongchao Xu)
- People/Alex Hamelin + (Alex Hamelin)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (Alex Hamelin)
- Vers Vaucanson 2.0 + (Alex Hamelin)
- Mécanique de Vaucanson 2.0 + (Alex Hamelin)
- Vaucanson 2.0 Internals + (Alex Hamelin)
- Towards Vaucanson 2.0 + (Alex Hamelin)
- Property based class hierarchy of Vaucanson's Algebra module + (Alex Hamelin)
- Papers about Vaucanson + (Akim Demaille)
- Past People + (Yann Jacquelet)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- People/Alexandre Abraham + (Alexandre Abraham)
- Ligne de partage des eaux topologique + (Alexandre Abraham)
- ConceptC++ study and possible integration in SCOOP + (Alexandre Abraham)
- Topological Watershed + (Alexandre Abraham)
- Morphologie sur images couleur + (Alexandre Abraham)
- Morphology on color images + (Alexandre Abraham)
- Etude de ConceptC++ et possible intégration dans SCOOP + (Alexandre Abraham)
- Olena Publications + (Edwin Carlinet)
- People/Alexandre Borghi + (Alexandre Borghi)
- C-Transformers — A Framework to Write C Program Transformations + (Alexandre Borghi)
- Parsing with Transformers + (Olivier Gournet)
- Parsing with Transformers + (Olivier Gournet)
- Implementing attributes in SDF + (Alexandre Borghi)
- People/Alexandre Duret-Lutz + (Alexandre Duret-Lutz)