Search

Displaying 8 results.

  1. Génération de feedback enrichis pour la plateforme INGInious
    By : Le, Pham Anh Tuan[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  2. A framework for visualizing and manipulating structured execution graphs
    By : Nauw, Olivier[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  3. Study of SAT solvers improvement techniques
    By : Fitvoye, Florian[UCL] Directed by : Pecheur, Charles[UCL] Gillard, Xavier[UCL] (2019) Ecole polytechnique de Louvain

  4. Specification and verification of a railway level crossing
    By : Ponchau, Thomas[UCL] Directed by : Pecheur, Charles[UCL] Limbrée, Christophe[UCL] (2020) Ecole polytechnique de Louvain

  5. Systematics validation of a software hardening framework
    By : Vermeylen, Alex[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  6. Implementing temporal logic queries with PyNuSMV
    By : Thibert, Simon[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  7. Customizable vocal personal assistant
    By : De Bels, Tanguy[UCL] Directed by : Pecheur, Charles[UCL] (2017) Ecole polytechnique de Louvain

  8. Prédiction du rendement des crypto-monnaies à l'aide de réseaux LSTM améliorés
    By : Degraeuwe, Jérémy[UCL] Directed by : Pecheur, Charles[UCL] (2023) Ecole polytechnique de Louvain