Student reports
From LRDE
Last abstracts : Gitlab
| Title | Authors | Year | |
|---|---|---|---|
| buatois.21.seminar | Smart and robust segmentation of medical images using neural networks | Thibault Buatois | 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 |
| 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 |
| 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 |