Ph.d in Engineering and Aerospace Sciences, Specifics and verification of software systems in the field of aerospace using formal methods
-
Polytechnic of Bari
Popular repositories Loading
-
-
-
Face-forgery-detection
Face-forgery-detection PublicDistinguish a real face from one created by a GAN
Jupyter Notebook 1
-
Intrusion-detection
Intrusion-detection PublicKDD process to mine patterns for intrusion detection
Python
-
Contrast-Pattern-Mining
Contrast-Pattern-Mining PublicA declarative aproach to Contrast Pattern Mining in Answer Set Programming (ASP)
-
Contrast-Sequential-Pattern-Mining
Contrast-Sequential-Pattern-Mining PublicASP-declarative approach to contrast sequential pattern mining
Answer Set Programming 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
