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
- Efficiency comparison between Fictitious Play and Alternate Fictitious Play algorithms on the restricted set of zero-sum games + (Antoine Leblanc)
- Efficient algorithmic methods for Nash equilibria computation + (Antoine Leblanc)
- Comparaison entre le Fictitious Play et le Fictitious Play Alterné dans le cadre des jeux à somme nulle + (Antoine Leblanc)
- Système de discriminants linéaires pour la vérification du locuteur + (Antoine Legrand)
- Generalized Linear Discriminant Sequence for Speaker Verification + (Antoine Legrand)
- Exploring various implementations for goroutines support in go2pins + (Antoine Martin)
- Comment implémenter le support des goroutines dans go2pins + (Antoine Martin)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Alexandre Kirszenberg)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Etienne Renault)
- People/Antoine Pietri + (Antoine Pietri)
- Suppression efficace de transitions spontanées dans Vcsn + (Antoine Pietri)
- Génération aléatoire d'automates et de chemins dans Vcsn + (Antoine Pietri)
- Random automata and path generation in Vcsn + (Antoine Pietri)
- Efficient removal of spontaneous transitions in Vcsn + (Antoine Pietri)
- Recherche de petits mots synchronisants + (Antoine Pietri)
- Finding Short Synchronizing Words + (Antoine Pietri)
- Modelling and Identifying Troll Farm Accounts on Twitter + (Antoine Sainson)
- Modélisation et Identification des Troll Farmers sur Twitter + (Antoine Sainson)
- Detecting Botnets Behaviors over Network Flows using Hidden Markov Models + (Antoine Sainson)
- Détection des comportements de botnets au travers d'un flux en réseau en utilisant des modèles de Markov cachés + (Antoine Sainson)
- Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) + (Michael Atlan)
- Practical Applications of the Alternating Cycle Decomposition + (Antonio Casares)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- People/Arnaud Flutre + (Arnaud Flutre)
- Trie-based Output Itemset Sampling + (Lamine Diop)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis + (Guillaume Lazzara)
- Compression d'états dans Spot + (Arthur Remaud)
- Creation of an antichain library + (Arthur Remaud)
- Création d'une bibliothèque d'antichaîne + (Arthur Remaud)
- Integration of TChecker in Spot + (Arthur Remaud)
- Intégration de TChecker dans Spot + (Arthur Remaud)
- State compression in Spot + (Arthur Remaud)
- Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy + (Sharib Ali)
- Past People + (Yann Jacquelet)
- Olena/Paradigm2003 + (Sylvain Berlemont)
- Olena/RoadMap + (David Lesage)
- People/Astrid Wang + (Astrid Wang)
- Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN + (Luca Veyrin-Forrer)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations + (Luca Veyrin-Forrer)
- On GNN Explainability with Activation Rules + (Luca Veyrin-Forrer)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (Luca Veyrin-Forrer)
- Improving the Quality of Rule-Based GNN Explanations + (Ataollah Kamal)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (Mouloud Iferroudjene)
- Featured Games + (Uli Fahrenberg)
- Active Learning on Visibly One Counter Systems + (Aymeric FAGES)
- Aprentissage Actif d'Automates Visiblement á un compteur + (Aymeric FAGES)
- Verifying Properties on a Program Using Static Analysis and Model Checking + (Aymeric Fages)
- Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele + (Aymeric Fages)
- The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results + (Swen Jacobs)
- VizNN: Visual Data Augmentation with Convolutional Neural Networks for Cybersecurity Investigation + (A Raymond)
- 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)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- 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)