Difference between revisions of "Student reports"


Line 6: Line 6:
| ?Has title=Title
| ?Has title=Title
| ?Publication year=Year
| ?Publication year=Year
| format = template
| format =template
| template = CSIReportRow
| template = CSIReportRow
| introtemplate = CSIReportRowIntro
| introtemplate = CSIReportRowIntro

Latest revision as of 12:04, 26 November 2018

Last abstracts : Gitlab

Title Authors Year
alexs.huard.20.seminar U-Net for the Segmentation and Classification of brains tumors alexis.huard 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
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
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

... further results