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

• NewsEntry (2020/07/17)  + (09:53:28, 30 June 2020)
• Courses/LOFO  + (12:28:43, 3 July 2020)
• NewsEntry (2020/07/10)  + (10:08:06, 6 July 2020)
• Habilitation Defense Didier Verna  + (08:37:12, 10 July 2020)
• TheoPosters  + (08:00:40, 11 July 2020)
• Improving swarming using genetic algorithms  + (14:48:46, 15 July 2020)
• Clément Démoulins  + (11:43:41, 16 July 2020)
• Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization  + (10:15:02, 21 July 2020)
• File:Thua-du-anthony.la.jpeg  + (09:44:18, 7 September 2020)
• File:Joaquim.estopinan.jpg  + (16:18:44, 16 September 2020)
• File:Pietri.jpg  + (20:10:04, 16 September 2020)
• Trombinoscope Promo 2020  + (13:57:56, 23 September 2020)
• File:Antoine-Hacquard.jpeg  + (14:06:15, 23 September 2020)
• File:Thibault-Buatois.jpeg  + (14:07:32, 23 September 2020)
• File:Paul-Guenezan.jpeg  + (14:08:04, 23 September 2020)
• File:Antoine-Martin.jpg  + (14:08:58, 23 September 2020)
• File:Loic.Burkart.jpg  + (15:03:02, 23 September 2020)
• File:Celian-Gossec.jpg  + (15:03:24, 23 September 2020)
• File:Baptiste.Parsy.jpg  + (15:03:49, 23 September 2020)
• File:Nathan-Habib.jpeg  + (14:03:48, 28 September 2020)
• Courses/COMP  + (13:31:02, 7 October 2020)
• File:Lukas.rabier.jpeg  + (14:08:19, 14 October 2020)
• File:Johan.pardo.jpeg  + (14:26:44, 14 October 2020)
• File:Rivet.jpg  + (07:24:56, 22 October 2020)
• File:Caroline.Mazini-Rodrigues.jpg  + (14:03:31, 26 October 2020)

• (Dynamic (Programming Paradigms)) ;; Performance and Expressivity  + (13:57:46, 4 November 2020)

• LTL Model Checking for Communicating Concurrent Programs  + (07:57:57, 5 November 2020)
• Practical “Paritizing” of Emerson–Lei Automata  + (07:58:04, 5 November 2020)
• Brain Tumor Segmentation with deep convolutional network approach  + (16:22:09, 9 November 2020)
• Segmentation de tumeur cérébrale par réseau de neurones convolutionel  + (16:22:10, 9 November 2020)
• Smart and robust segmentation of medical images using neural networks  + (16:22:11, 9 November 2020)
• Segmentation robuste et intelligente d'images médicales par réseau de neurones  + (16:22:13, 9 November 2020)
• Artificial states generation in state spaces using kernel density estimation  + (16:22:18, 9 November 2020)
• Model classification in model checking using random forest  + (16:22:19, 9 November 2020)
• ... Insert a title in French here ...  + (16:22:20, 9 November 2020)
• Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics  + (16:22:35, 9 November 2020)
• Estimation de la fonction de niveau de bruit dans des images multivariées en utilisant l'arbre des formes et des statistiques non-paramétriques  + (16:22:36, 9 November 2020)
• Détection de danger en milieu marin  + (16:22:45, 9 November 2020)
• Detecting danger in marine environment: Part 1 - Making the dataset  + (16:22:46, 9 November 2020)
• Binding a high-performance C++ image processing library to Python  + (16:22:47, 9 November 2020)
• Distributed State Space Exploration  + (16:22:50, 9 November 2020)
• Exploration d'espace d'état distribué  + (16:22:51, 9 November 2020)
• Parallelism and Indexation in Quickref  + (16:22:52, 9 November 2020)
• Reimplementation of testing-automata in Spot  + (16:22:59, 9 November 2020)
• Réimplémentation des automates testeurs dans Spot  + (16:23:00, 9 November 2020)
• Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds  + (16:23:05, 9 November 2020)
• Apprentissage d'Opérations Morphologiques  + (16:23:06, 9 November 2020)
• Automatic troll farm account detection on Twitter  + (16:23:15, 9 November 2020)
• Détection Automatique de Comptes Troll Farm sur Twitter  + (16:23:17, 9 November 2020)
• Comment implémenter le support des goroutines dans go2pins  + (16:23:21, 9 November 2020)
• Loss functions benchmark for brain tumour segmentation  + (16:23:38, 9 November 2020)