Marques-Silva, João
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 306104351 (Personal)
Permalink: http://viaf.org/viaf/306104351
Preferred Forms
-
100 1 _
‡a
Marques-Silva, Joao
-
100 1 _ ‡a Marques-Silva, João
-
100 1 _
‡a
Marques-Silva, João
-
100 1 _ ‡a Marques-Silva, João
4xx's: Alternate Name Forms (1)
Works
| Title | Sources |
|---|---|
| Progrès récents en matière d’explicabilité formelle. |
|
| Raisonnement à partir de contraintes pseudo-booléennes et compilation. |
|
| Recent advances in formal explainability |
|
| Safety verification of neural network based systems using formal methods. |
|
| Theory and applications of satisfiability testing, c2007: |
|
| Transparent approach based on deep learning and multiagent argumentation for hypertension management |
|
| Vérification de la sûreté des systèmes basés réseaux de neurones s'appuyant sur les méthodes formelles |
|
