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

• Mesures sur la réduction d'ordre partiel dans Spot  + (10:09:24, 15 May 2020)
• NewsEntry (2020/06/02)  + (16:23:30, 18 May 2020)
• Challenges codes  + (14:46:23, 25 June 2020)
• Banc d'essai de fonctions de coûts appliquées á la segmentation de tumeurs cérébrales  + (07:24:03, 29 June 2020)
• Verifying Properties on a Program Using Static Analysis and Model Checking  + (11:58:16, 29 June 2020)
• Verification de proprietes sur un programme en utilisant de l'analyse statique et de la verification de modele  + (11:58:17, 29 June 2020)
• File:ESPCI.png.png  + (13:09:04, 29 June 2020)
• File:Institut langevin.jpg  + (13:15:12, 29 June 2020)
• File:Cnrs.png  + (13:16:01, 29 June 2020)
• PhD Defense Julie Rivet  + (09:31:12, 30 June 2020)
• 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)