Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
Portail de la recherche de l'Université de Namur Accueil
English
Français
Accueil
Profils
Unités de recherche
Projets
Résultat de recherche
Thèses de l'étudiant
Équipement
Ensembles de données
Prix
Activités
Presse/médias
Recherche par expertise, nom ou affiliation
Verifying Learning Artificial Intelligence Systems
Heymans, Patrick
(Responsable du Projet)
Frénay, Benoît
(Co-investigateur)
Schobbens, Pierre Yves
(Co-investigateur)
Temple, Paul
(Chercheur)
Nanfack, Geraldin
(Chercheur)
Amrani, Moussa
(Chercheur)
Bibal, Adrien
(Chercheur)
Faculte d'informatique
Research Center on Information Systems Engineering
Namur Digital Institute
Research Group on the Foundations of Computer Sciences
Projet
:
Recherche
Aperçu
Empreinte digitale
Résultat de recherche
(4)
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
Trier par
Pondération
Par ordre alphabétique
Computer Science
Artificial Intelligence
100%
Software
100%
Learning Approach
100%
Recurrent Neural Network
100%
Events
100%
Business Process
66%
Algorithms
66%
Control
33%
model based testing
33%
Theorem Proving
33%
Model Checking
33%
Software Verification
33%
Intelligent Software
33%
Machine Learning
33%
Computer
33%
Scientific Discipline
33%
Authorization
33%
Computer Technology
33%
Long Short-Term Memory Network
33%
Anomalous Behavior
33%
Debug
33%
Gated Recurrent Unit
33%
Workflows
33%
Process Mining
33%
Gaussian Mixture
22%
Machine Learning Technology
16%
Critical Application
11%
Learning Framework
11%
Global Analysis
11%
Knowledge Distillation
11%