Student reports

From LRDE

Revision as of 12:04, 26 November 2018 by Cd (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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
linsenmaier.19.seminar Automatic troll farm account detection on Twitter Hugo Linsenmaier 2019
remaud.19.seminar State compression in Spot Arthur Remaud 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
khoudli.19.seminar Mathematical morphology and deep convolutional neural networks Younes Khoudli 2019
tourneur.19.seminar Benchmarking of Partial Order Reduction in Spot Vincent Tourneur 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

... further results