Student reports
From LRDE
Last abstracts : Gitlab
| Title | Authors | Year | |
|---|---|---|---|
| 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 |
| hacquard.19.seminar | Parallelism and Indexation in Quickref | Antoine Hacquard | 2019 |
| remaud.19.seminar | State compression in Spot | Arthur Remaud | 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 |
| 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 |
| 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 |
| corno.19.seminar | Using Scatter Search to find better variable ordering in BDDs | Samuel Corno | 2019 |
| gillard.19.seminar | Counterexample searches in Spot | Clément Gillard | 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 |
| huvelle.19.seminar | Reimplementation of testing-automata in Spot | Martin Huvelle | 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 |
| buatois.19.seminar | Brain Tumor Segmentation with deep convolutional network approach | Thibault Buatois | 2019 |
| valais.18.seminar | SUBTYPEP: An Implementation of Baker's Algorithm | Leo Valais | 2018 |
| remaud.18.seminar | Creation of an antichain library | Arthur Remaud | 2018 |