Semantic search
Title | Authors | Year | |
---|---|---|---|
gillard.19.seminar | Counterexample searches in Spot | Clément Gillard | 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 |
huvelle.19.seminar | Reimplementation of testing-automata in Spot | Martin Huvelle | 2019 |
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 |
buatois.19.seminar | Brain Tumor Segmentation with deep convolutional network approach | Thibault Buatois | 2019 |
linsenmaier.19.seminar | Automatic troll farm account detection on Twitter | Hugo Linsenmaier | 2019 |
remaud.18.seminar | Creation of an antichain library | Arthur Remaud | 2018 |
khoudli.18.seminar | Automatic Heart Segmentation | Younes Khoudli | 2018 |
gbaguidiaisse.18.seminar | Deciding Persistence or Recurrence Membership in Spot | Alexandre Gbaguidi Aïsse | 2018 |
hirtz.18.seminar | Optimization of an image processing library | Virgile Hirtz | 2018 |
xu.18.seminar | Efficient Translation of Fairness LTL Formulae into Deterministic Automata | Laurent XU | 2018 |
kirszenberg.18.seminar | go2pins: A model checking toolset for the Go programming language | Alexandre Kirszenberg | 2018 |
dangla.18.seminar | Integration of histograms in the NL-Mean algorithm for image denoising. | Aliona Dangla | 2018 |
tourneur.18.seminar | Implementation of Invisible and Transparent Transitions in Spot | Vincent Tourneur | 2018 |
gillard.18.seminar | Two-automaton accepting run search in Spot | Clément Gillard | 2018 |
valais.18.seminar | SUBTYPEP: An Implementation of Baker's Algorithm | Leo Valais | 2018 |
piat.17.seminar | K shortest-paths in Vcsn | Sébastien Piat | 2017 |
remaud.17.seminar | Integration of TChecker in Spot | Arthur Remaud | 2017 |