|
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
|
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
|
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
|
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
|
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
|
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
|
guenezan.19.seminar
|
Distributed State Space Exploration
|
Paul Guénézan
|
2019
|
hacquard.19.seminar
|
Parallelism and Indexation in Quickref
|
Antoine Hacquard
|
2019
|
khoudli.19.seminar
|
Mathematical morphology and deep convolutional neural networks
|
Younes Khoudli
|
2019
|
remaud.19.seminar
|
State compression in Spot
|
Arthur Remaud
|
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
|
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
|
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
|