Special

Semantic search

Condition
Printout selection
Options
Parameters [
limit:

The maximum number of results to return
offset:

The offset of the first result
link:

Show values as links
headers:

Display the headers/property names
mainlabel:

The label to give to the main page name
intro:

The text to display before the query results, if there are any
outro:

The text to display after the query results, if there are any
searchlabel:

Text for continuing the search
default:

The text to display if there are no query results
import-annotation:

Additional annotated data are to be copied during the parsing of a subject
propsep:

The separator between the properties of a result entry
valuesep:

The separator between the values for a property of a result
template:

The name of a template with which to display the printouts
named args:

Name the arguments passed to the template
userparam:

A value passed into each template call, if a template is used
class:

An additional CSS class to set for the list
introtemplate:

The name of a template to display before the query results, if there are any
outrotemplate:

The name of a template to display after the query results, if there are any
sep:

The separator between results
Sort options
Delete
Add sorting condition
Title Authors Year
guillet.21.seminar Brain MRI Segmentation using fully convolutional network William Guillet 2023
dubois.22.seminar Fast reductions for ω-automaton Jérôme Dubois 2022
hermary.21.seminar Integration of Morphological Operators in Neural Networks Romain Hermary 2021
gasnault.21.seminar Brain MRI segmentation using mathematical morphology Louis Gasnault 2021
dubois.21.seminar Fast simulation based reduction for ω-automaton Jérôme Dubois 2021
simonin.21.seminar Efficient implementations of hierarchical morphological representations Victor Simonin 2021
buatois.21.seminar Smart and robust segmentation of medical images using neural networks Thibault Buatois 2021
fages.21.seminar Active Learning on Visibly One Counter Systems Aymeric FAGES 2021
oueslati.21.seminar genus.py: a Simple Embeddable Type System for the Python language Mehdi OUESLATI 2021
mom.21.seminar Real Time Face Expression Recognition Ferdinand Mom 2021
moreau.21.seminar Handling blackbox transitions in go2pins Hugo Moreau 2021
pape.21.seminar Polynomial Identification of omega-Language Corentin Pape 2021
habib.21.seminar Building a quantum perceptron Nathan Habib 2021
sainson.20.seminar Detecting Botnets Behaviors over Network Flows using Hidden Markov Models Antoine Sainson 2020
fages.20.seminar Verifying Properties on a Program Using Static Analysis and Model Checking Aymeric Fages 2020
carvalho.20.seminar Model classification in model checking using random forest Thomas De Carvalho 2020
kirszenberg.20.seminar Learning Morphological Operations Alexandre Kirszenberg 2020
esteban.20.seminar Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics Baptiste Esteban 2020
valais.20.seminar Implementing Baker's SUBTYPEP decision procedure Leo Valais 2020
ginane.20.seminar Detecting danger in marine environment: Part 1 - Making the dataset Charles Ginane 2020
buatois.20.seminar Smart and robust segmentation of medical images using neural networks Thibault Buatois 2020
linsenmaier.20.seminar Identifying Botnets in the Network using Gaussian Mixture Models Hugo Linsenmaier 2020
rabier.20.seminar Loss functions benchmark for brain tumour segmentation Lukas Rabier 2020
guenezan.19.seminar Distributed State Space Exploration Paul Guénézan 2019
hacquard.19.seminar Parallelism and Indexation in Quickref Antoine Hacquard 2019
remaud.19.seminar State compression in Spot Arthur Remaud 2019
khoudli.19.seminar Mathematical morphology and deep convolutional neural networks Younes Khoudli 2019
kirszenberg.19.seminar Integrating Mathematical Morphology within Deep Convolutional Neural Networks Alexandre Kirszenberg 2019
carvalho.19.seminar Artificial states generation in state spaces using kernel density estimation Thomas De Carvalho 2019
tourneur.19.seminar Benchmarking of Partial Order Reduction in Spot Vincent Tourneur 2019
martin.19.seminar Exploring various implementations for goroutines support in go2pins Antoine Martin 2019
esteban.19.seminar Estimation of the noise level function in natural images using the tree of shapes Baptiste Esteban 2019
gillard.19.seminar Counterexample searches in Spot Clément Gillard 2019
sainson.19.seminar Modelling and Identifying Troll Farm Accounts on Twitter Antoine Sainson 2019
ginane.19.seminar Detecting danger in marine environnement Charles Ginane 2019
huvelle.19.seminar Reimplementation of testing-automata in Spot Martin Huvelle 2019
valais.19.seminar Implementing Baker's SUBTYPEP decision procedure Leo Valais 2019
gossec.19.seminar Binding a high-performance C++ image processing library to Python Celian Gossec 2019
buatois.19.seminar Brain Tumor Segmentation with deep convolutional network approach Thibault Buatois 2019
linsenmaier.19.seminar Automatic troll farm account detection on Twitter Hugo Linsenmaier 2019
remaud.18.seminar Creation of an antichain library Arthur Remaud 2018
khoudli.18.seminar Automatic Heart Segmentation Younes Khoudli 2018
gbaguidiaisse.18.seminar Deciding Persistence or Recurrence Membership in Spot Alexandre Gbaguidi Aïsse 2018
hirtz.18.seminar Optimization of an image processing library Virgile Hirtz 2018
xu.18.seminar Efficient Translation of Fairness LTL Formulae into Deterministic Automata Laurent XU 2018
kirszenberg.18.seminar go2pins: A model checking toolset for the Go programming language Alexandre Kirszenberg 2018
dangla.18.seminar Integration of histograms in the NL-Mean algorithm for image denoising. Aliona Dangla 2018
tourneur.18.seminar Implementation of Invisible and Transparent Transitions in Spot Vincent Tourneur 2018
gillard.18.seminar Two-automaton accepting run search in Spot Clément Gillard 2018
valais.18.seminar SUBTYPEP: An Implementation of Baker's Algorithm Leo Valais 2018