Skip to main content
Mémoire UCL
Search form
Search
Home
All theses
FAQ
Submit
Supervisor
1
Nijssen, Siegfried
Apply Nijssen, Siegfried filter
Item date
1
2023
Apply 2023 filter
Faculty
1
Ecole polytechnique de Louvain
Apply Ecole polytechnique de Louvain filter
Degree
1
Master [120] en sciences informatiques
Apply Master [120] en sciences informatiques filter
1
Master [120] en sciences informatiques, à finalité spécialisée
Apply Master [120] en sciences informatiques, à finalité spécialisée filter
Access status
1
Accès libre
Apply Accès libre filter
You are here
Home
»
Search
»
Site
»
sm_creator:"Piotrowski, Maciej"
»
Search
Search
Sort by
Relevancy
Creation date
Displaying
1
result.
Verifying Binarized Neural Networks using Marabou
By :
Piotrowski, Maciej
[UCL]
Directed by :
Nijssen, Siegfried
[UCL]
(2023)
Ecole polytechnique de Louvain