,"Bibtex id",Authors,Title,Year
Publications/esteban.20.seminar,esteban.20.seminar,"Baptiste Esteban","Estimation of the Noise Level Function in Multivariate Images using the Tree of Shapes and non-parametric statistics",2020
Publications/valais.20.seminar,valais.20.seminar,"Leo Valais","Implementing Baker's SUBTYPEP decision procedure",2020
Publications/ginane.20.seminar,ginane.20.seminar,"Charles Ginane","Detecting danger in marine environment: Part 1 - Making the dataset",2020
Publications/linsenmaier.20.seminar,linsenmaier.20.seminar,"Hugo Linsenmaier","Identifying Botnets in the Network using Gaussian Mixture Models",2020
Publications/sainson.20.seminar,sainson.20.seminar,"Antoine Sainson","Detecting Botnets Behaviors over Network Flows using Hidden Markov Models",2020
Publications/carvalho.20.seminar,carvalho.20.seminar,"Thomas De Carvalho","Model classification in model checking using random forest",2020
Publications/kirszenberg.20.seminar,kirszenberg.20.seminar,"Alexandre Kirszenberg","Learning Morphological Operations",2020
Publications/huvelle.19.seminar,huvelle.19.seminar,"Martin Huvelle","Reimplementation of testing-automata in Spot",2019
Publications/sainson.19.seminar,sainson.19.seminar,"Antoine Sainson","Modelling and Identifying Troll Farm Accounts on Twitter",2019
Publications/ginane.19.seminar,ginane.19.seminar,"Charles Ginane","Detecting danger in marine environnement",2019
Publications/buatois.19.seminar,buatois.19.seminar,"Thibault Buatois","Brain Tumor Segmentation with deep convolutional network approach",2019
Publications/valais.19.seminar,valais.19.seminar,"Leo Valais","Implementing Baker's SUBTYPEP decision procedure",2019
Publications/gossec.19.seminar,gossec.19.seminar,"Celian Gossec","Binding a high-performance C++ image processing library to Python",2019
Publications/hacquard.19.seminar,hacquard.19.seminar,"Antoine Hacquard","Parallelism and Indexation in Quickref",2019
Publications/remaud.19.seminar,remaud.19.seminar,"Arthur Remaud","State compression in Spot",2019
Publications/linsenmaier.19.seminar,linsenmaier.19.seminar,"Hugo Linsenmaier","Automatic troll farm account detection on Twitter",2019
Publications/guenezan.19.seminar,guenezan.19.seminar,"Paul Guénézan","Distributed State Space Exploration",2019
Publications/carvalho.19.seminar,carvalho.19.seminar,"Thomas De Carvalho","Artificial states generation in state spaces using kernel density estimation",2019
Publications/tourneur.19.seminar,tourneur.19.seminar,"Vincent Tourneur","Benchmarking of Partial Order Reduction in Spot",2019
Publications/khoudli.19.seminar,khoudli.19.seminar,"Younes Khoudli","Mathematical morphology and deep convolutional neural networks",2019