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
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology + (Daniel Maldonado-Ruiz)
- Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey + (Daniel Maldonado-Ruiz)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- People/Daniela Becker + (Daniela Becker)
- A Secure Blockchain-Based Architecture for the COVID-19 Data Network + (Darine Al-Mohtar)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Practical Application of Probabilistic Model Checking to Communication Protocols + (Marie Duflot)
- Olena/Day + (Thierry Geraud)
- Olena/Paradigm2003 + (Sylvain Berlemont)
- Olena/RoadMap + (David Lesage)
- People/David Lesage + (David Lesage)
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming + (Nicolas Burrus)
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings + (David Lesage)
- Past People + (Yann Jacquelet)
- People/David Moreira + (David Moreira)
- FSMXML pour Vaucanson 2.0 + (David Moreira)
- Vers Vaucanson 2.0 + (David Moreira)
- Implementing rational semiring + (David Moreira)
- FSMXML for Vaucanson 2.0 + (David Moreira)
- Implémentation du corps des (nombres) rationnels + (David Moreira)
- Towards Vaucanson 2.0 + (David Moreira)
- Papers about Vaucanson + (Akim Demaille)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- The Hanoi Omega-Automata Format + (Tomáš Babiak)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (Denis Poitrenaud)
- Combining Parallel Emptiness Checks with Partial Order Reductions + (Denis Poitrenaud)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Denis Poitrenaud)
- LTL under reductions with weaker conditions than stutter invariance + (Denis Poitrenaud)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (Denis Poitrenaud)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Denis Poitrenaud)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (Denis Poitrenaud)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (Denis Poitrenaud)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (Denis Poitrenaud)
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata + (Denis Poitrenaud)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- High throughput automated detection of axial malformations in fish embryo + (Diane Genest)
- High Throughput Automated Detection of Axial Malformations in Medaka Embryo + (Diane Genest)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (Alban Linard)
- Jobs/M2 DV 2014 conception-dsl + (Didier Verna)
- Jobs/M2 DV 2014 lisp-statistiques + (Didier Verna)
- Jobs/M2 DV 2014 conception-dsl/fr + (Didier Verna)
- Jobs/M2 DV 2014 lisp-statistiques/fr + (Didier Verna)
- Jobs/M2 2015 DV Conception DSL + (Didier Verna)
- Jobs/M2 2015 DV Lisp For Statistics + (Didier Verna)
- People/Didier Verna + (Didier Verna)
- Jobs/SPE DV 2015 interface graphique Qt + (Didier Verna)
- Jobs/M2 2016 DV Profiling for Climb + (Didier Verna)
- Jobs/M2 2016 DV Qt for Climb + (Didier Verna)
- Jobs/M2 2017 DV QuickRefs + (Didier Verna)
- Jobs/M2 2018 DV RTE + (Didier Verna)
- JSPP: Morphing C++ into JavaScript + (Christopher Chedeau)
- Urbi et Orbi: unusual design and implementation choices for distributed virtual environments + (Yoann Fabre)
- Generic Image Processing with Climb + (Laurent Senta)
- Approaches in Typecase Optimization + (Jim Newton)