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

• Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking  + (09:30:29, 1 April 2019)
• Parallel Explicit Model Checking for Generalized Büchi Automata  + (09:30:29, 1 April 2019)
• Variations on Parallel Explicit Model Checking for Generalized Büchi Automata  + (09:30:30, 1 April 2019)
• Seminar/2019-04-10  + (12:41:01, 2 April 2019)
• NewsEntry (2019/04/10)  + (15:59:01, 10 April 2019)
• TickTac  + (13:35:34, 16 April 2019)
• Adrien Pommellet  + (09:19:15, 22 May 2019)
• Climb  + (12:09:39, 11 June 2019)
• Method Combinators  + (08:44:33, 18 June 2019)
• Lisp, Jazz, Aikido  + (08:44:33, 18 June 2019)
• Parallelizing Quickref  + (08:44:34, 18 June 2019)
• Generic Image Processing with Climb  + (14:51:36, 18 June 2019)
• Binary Methods Programming: the CLOS Perspective  + (14:51:38, 18 June 2019)
• Binary Methods Programming: the CLOS Perspective (extended version)  + (14:51:39, 18 June 2019)
• Extensible languages: blurring the distinction between DSLs and GPLs  + (14:51:41, 18 June 2019)
• CLoX: Common Lisp objects for XEmacs  + (15:00:46, 18 June 2019)
• File:SSU Logo.jpg  + (12:33:57, 27 June 2019)
• File:CNRS Logo.png  + (12:44:05, 27 June 2019)
• File:CNRS.png  + (12:48:34, 27 June 2019)
• File:LIP6 Logo.png  + (13:34:12, 27 June 2019)
• Soutenance de thèse de Ludovic LE FRIOUX  + (13:43:18, 27 June 2019)
• NewsEntry (2019/07/03)  + (13:49:32, 27 June 2019)
• NewsEntry (2019/07/01)  + (14:29:17, 27 June 2019)
• Student Seminar 2019-07-02  + (14:50:19, 27 June 2019)
• NewsEntry (2019/07/02)  + (14:58:24, 27 June 2019)

• Artificial states generation in state spaces using kernel density estimation  + (17:53:53, 27 June 2019)

• Detecting danger in marine environnement  + (17:58:45, 27 June 2019)
• Parallélisation et Indexation de Quickref  + (17:58:46, 27 June 2019)
• Integrating Mathematical Morphology within Deep Convolutional Neural Networks  + (17:58:49, 27 June 2019)
• Modelling and Identifying Troll Farm Accounts on Twitter  + (17:58:58, 27 June 2019)
• Implementing Baker's SUBTYPEP decision procedure  + (17:59:01, 27 June 2019)
• Implémentation de l'algorithme de SUBTYPEP de Baker  + (17:59:01, 27 June 2019)
• Mathematical morphology and deep convolutional neural networks  + (03:11:47, 28 June 2019)
• Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python  + (09:18:04, 28 June 2019)
• Morphologie mathématique et réseaux convolutionnels profonds  + (10:20:22, 28 June 2019)
• Student Seminar 2019-07-01  + (11:04:18, 28 June 2019)
• Exploring various implementations for goroutines support in go2pins  + (13:45:01, 30 June 2019)
• Category:Student Seminar  + (12:26:59, 1 July 2019)
• Jobs/PHD 2019 LDL  + (13:38:37, 5 July 2019)
• Jobs/PHD 2019 omegaGPU  + (13:39:18, 5 July 2019)
• Estimation of the noise level function in natural images using the tree of shapes  + (11:59:14, 6 August 2019)
• Estimation de la fonction de niveau de bruit dans des images naturelles en utilisant l'arbre des formes  + (11:59:14, 6 August 2019)
• File:Aymeric Fages.jpg  + (11:31:07, 5 September 2019)
• File:Cora-Sartor.jpeg  + (11:31:32, 5 September 2019)
• File:Matteo-Bovio.jpg  + (11:31:49, 5 September 2019)
• Trombinoscope CSI - ING3  + (11:39:27, 5 September 2019)
• Trombinoscope Promo 2019  + (11:40:41, 5 September 2019)
• File:Tourneur.jpg  + (11:42:42, 5 September 2019)
• File:Gillard.jpg  + (11:43:15, 5 September 2019)
• File:Remaud.jpg  + (11:43:55, 5 September 2019)
• File:Alexandre-kirszenberg.jpg  + (11:48:52, 5 September 2019)