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

• A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy  + (Adrian Krenzer)
• Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy  + (Adrian Krenzer)

• Jobs/PHD 2019 omegalgo  + (Alexandre Duret-Lutz)
• LTL Model Checking for Communicating Concurrent Programs  + (Adrien Pommellet)
• Practical “Paritizing” of Emerson–Lei Automata  + (Florian Renkin)
• A Portable, Simple, Embeddable Type System  + (Jim Newton)
• Effective Reductions of Mealy Machines  + (Florian Renkin)
• Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge  + (Li Wang)
• A blockchain-based certificate revocation management and status verification system  + (Yves Christian Elloh Adja)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results  + (Raghav Mehta)
• Jobs/M2 AD 2014 minimisation-automates  + (Akim Demaille)
• Jobs/M2 AD 2014 minimisation-automates/fr  + (Akim Demaille)
• Jobs/M2 AD 2015 Symmetric Difference Automata  + (Akim Demaille)
• Jobs/M2 AD 2015 Syntactic Monoids  + (Akim Demaille)
• Jobs/M2 AD 2015 Vcsn for Linguists  + (Akim Demaille)
• Jobs/M2 2015 AD Faster, Faster, Faster  + (Akim Demaille)
• People/Akim Demaille  + (Akim Demaille)
• Jobs/ENGI AD 2015 Bison  + (Akim Demaille)
• Past People  + (Yann Jacquelet)
• Derived-Term Automata of Multitape Expressions with Composition  + (Akim Demaille)
• C-Transformers — A Framework to Write C Program Transformations  + (Alexandre Borghi)
• Implementation Concepts in Vaucanson 2  + (Akim Demaille)
• An XML format proposal for the description of weighted automata, transducers, and regular expressions  + (Akim Demaille)
• Derived-Term Automata of Weighted Rational Expressions with Quotient Operators  + (Akim Demaille)
• Compiler Construction as an Effective Application to Teach Object-Oriented Programming  + (Akim Demaille)
• Semantics driven disambiguation: A comparison of different approaches  + (Akim Demaille)
• A Set of Tools to Teach Compiler Construction  + (Akim Demaille)
• Probabilistic Verification of Sensor Networks  + (Akim Demaille)
• Derived-Term Automata of Multitape Rational Expressions  + (Akim Demaille)
• Modeling of Sensor Networks Using XRM  + (Akim Demaille)
• Making Compiler Construction Projects Relevant to Core Curriculums  + (Akim Demaille)
• TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing  + (Akim Demaille)
• Derived-term Automata for Extended Weighted Rational Expressions  + (Akim Demaille)
• C/C++ Disambiguation Using Attribute Grammars  + (Valentin David)
• Towards the World-Wide Quantum Network  + (Cuong Le Quoc)
• ESDF: A proposal for a more flexible SDF handling  + (Akim Demaille)
• Implementing attributes in SDF  + (Alexandre Borghi)
• A Type System for Weighted Automata and Rational Expressions  + (Akim Demaille)
• Generic design patterns in C++  + (Alexandre Duret-Lutz)
• Type-Checking of Heterogeneous Sequences in Common Lisp  + (Jim Newton)
• Attribute Grammars for Modular Disambiguation  + (Valentin David)
• Stochastic routing in large grid-shaped quantum networks  + (Cuong Le Quoc)