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
Algorithms
66%
Anomalous Behavior
33%
Artificial Intelligence
100%
Authorization
33%
Business Process
66%
Computer
33%
Computer Technology
33%
Control
33%
Critical Application
11%
Debug
33%
Events
100%
Gated Recurrent Unit
33%
Gaussian Mixture
22%
Global Analysis
11%
Intelligent Software
33%
Knowledge Distillation
11%
Learning Approach
100%
Learning Framework
11%
Long Short-Term Memory Network
33%
Machine Learning
33%
Machine Learning Technology
16%
model based testing
33%
Model Checking
33%
Process Mining
33%
Recurrent Neural Network
100%
Scientific Discipline
33%
Software
100%
Software Verification
33%
Theorem Proving
33%
Workflows
33%