Research Group on the Foundations of Computer Sciences

Résultats de recherche

• A Blackboard Approach to Concurrent Constraint Programming

  Auteur: Pires da Costa, J. M., 1996

  Superviseur: Jacquet, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Analyse de classes Android

  Auteur: Bastin, L., 22 juin 2020

  Superviseur: VANHOOF, W. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  Fichier

• Analyse des performances d'algorithmes et application à la comparaison d'algorithmes de flot dans les réseaux de transport

  Auteur: JACQUET, J., 1984

  Superviseur: Fichefet, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Analysis of inefficiencies in financial institutions detection of money laundering

  Auteur: LANOTTE , M., 2012

  Superviseur: LINDEN, I. (Jury) & JURETA, I. (Jury)

  Student thesis: Master types › Master en sciences économiques

  Fichier

• Applications de la programmation déclarative au problème de planification des visites médicales des Services de Promotion de la Santé à l'Ecole

  Auteur: Rwanyindo, C., 22 juin 2019

  Superviseur: Jacquet, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Artificial Intelligence and Predictive Justice

  Auteur: Otri, D., 18 janv. 2021

  Superviseur: JACQUET, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Automatic Test Generation for Data-driven Applications

  Auteur: Marcozzi, M., 24 oct. 2014

  Superviseur: Vanhoof, W. (Promoteur), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (Personne externe) (Jury) & Serebrenik, A. (Personne externe) (Jury)

  Student thesis: Doc types › Docteur en Sciences

• Behavioural model-based testing of software product lines

  Auteur: Devroey, X., 30 août 2017

  Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

  Student thesis: Doc types › Docteur en Sciences

  Fichier

• Chromatin loops prediction with Machine Learning

  Auteur: Vanhaeren, T., juin 2019

  Superviseur: Vanhoof, W. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en data science

• Complex Event Processing for Internet of Things: Open-Source Frameworks Analysis

  Auteur: Warszawski, K., 2020

  Superviseur: SCHOBBENS, P. (Promoteur) & Amrani, M. (Copromoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Computer-Aided Flight Slot Allocation

  Auteur: Othmane, A., 1996

  Superviseur: SCHOBBENS, P. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Conception d'une solution de Business Intelligence: étude d'un cas réel

  Auteur: Lopez Ruiz, L., 27 août 2019

  Superviseur: Jureta, I. (Promoteur) & Linden, I. (Copromoteur)

  Student thesis: Master types › Master en ingénieur de gestion à finalité spécialisée en data science

  Fichier

• Configuration assistée par machine learning: études empiriques et application à la prédiction de défauts dans l'impression 3D

  Auteur: Amand, B., 27 août 2018

  Superviseur: Heymans, P. (Promoteur) & Cordy, M. (Copromoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Description et approche expérimentale de raisonnement hybride au sein du Web sémantique

  Auteur: Sirjacques, J., 3 sept. 2018

  Superviseur: Vanhoof, W. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  Fichier

• Développement d'applications intelligentes au-dessus d'un réseau de capteurs sans fil

  Auteur: Woine, R., 2012

  Superviseur: Jacquet, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Élaboration d'un assistant virtuel pour une société immobilière de service public

  Auteur: Devits, Q., 22 juin 2018

  Superviseur: Jacquet, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

• Eléments d'analyse de la présence des marques dans l'univers digital : Le cas de la communication des marques de sport sur Twitter

  Auteur: Bartiaux, I., 27 août 2020

  Superviseur: LINDEN, I. (Jury)

  Student thesis: Master types › Master en ingénieur de gestion à finalité spécialisée en data science

  Fichier

• Essays in Econophysics and Applied Econometrics: Modeling Complexity in Finance

  Auteur: Dahlqvist, C., 4 sept. 2018

  Superviseur: Gnabo, J. (Promoteur), Linden, I. (Président), Béreau, S. (Personne externe) (Copromoteur), Saerens, M. (Jury), Lambiotte, R. (Jury) & Castiaux, A. (Jury)

  Student thesis: Doc types › Docteur en Sciences économiques et de gestion

  Fichier

• Étude des moteurs à la résistance aux nouvelles technologies dans le domaine des soins de santé: Étude du cas LHL

  Auteur: Franche, J., 18 juin 2019

  Superviseur: Linden, I. (Promoteur)

  Student thesis: Master types › Master en ingénieur de gestion à finalité spécialisée en Analytics & Digital Business

  Fichier

• Évaluation de logiques non-monotones pour la formalisation du droit

  Auteur: Moreira Machado, C., 1995

  Superviseur: SCHOBBENS, P. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Foundations for an Expert System Managing Gene Regulatory Networks in the Context of Cancer Traetmaent

  Auteur: Tonus, V., 28 août 2018

  Superviseur: Jacquet, J. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Génération de modèles et extraction de qualités pour le développement logiciel Agile

  Auteur: Georis, F., 14 juin 2019

  Superviseur: Schobbens, P. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en data science

  Fichier

• Improvement of User Interaction on visualization: Application to EVOQ a text visualization tool for Structural Analysis

  Auteur: Agossou, B. E., 2 sept. 2019

  Superviseur: Dumas, B. (Promoteur) & Linden, I. (Copromoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Interbank Networks and Financial Stability

  Auteur: Scholtes, N., 6 sept. 2018

  Superviseur: Gnabo, J. (Promoteur), Béreau, S. (Personne externe) (Copromoteur), Delvenne, J. C. (Personne externe) (Jury), Linden, I. (Président), Bernal Diaz, O. (Jury) & Cornand, C. (Personne externe) (Jury)

  Student thesis: Doc types › Docteur en Sciences économiques et de gestion

  Fichier

• Interpretability and Explainability in Machine Learning and their Application to Nonlinear Dimensionality Reduction

  Auteur: Bibal, A., 16 nov. 2020

  Superviseur: FRENAY, B. (Promoteur), VANHOOF, W. (Président), Cleve, A. (Jury), Dumas, B. (Jury), Lee, J. A. (Personne externe) (Jury) & Galarraga, L. A. (Personne externe) (Jury)

  Student thesis: Doc types › Docteur en Sciences