Tag: phd

All the posts with the tag "phd".

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Formal verification of Neural Networks using dlinear

• ILTHE

  Pubblicato:10 dic 2023

  Once upon a time... I studied for the Introduction to Learning and Teaching in Higher Education (ILTHE)

• HPC Rocket

  Pubblicato:10 nov 2023

  Introduction to Rocket HPC and some useful commands

• EICSymAware scaffolding

  Pubblicato:11 apr 2023

  Scaffolding proposal for the EICSymAware project