chiara-camilla-rambaldi-migliore

University of Trento

Pinned Repositories

ASA_project
Language:JavaScript00
CoopGamesShapleyValueExpl
CoopGamesShapleyValueExpl
Language:Python00
DeepProbCEP
Language:Python00
EmbeddedSensor
Language:Python00
Formal-Methods-2022
Repository containing the exercises solved during the Lab lectures for the course of Formal Methods (a.k.a. "Module 1: Automated Reasoning" and "Module 2: Model Checking") for the academic year 2021/2022
Language:SMT00
FormalMethods
Language:SMT00
generative-art
Language:Python00
ingsw
Language:Java00
Melody_Generation
Language:Python00
mkdocs-wiki-test
00

chiara-camilla-rambaldi-migliore's Repositories

chiara-camilla-rambaldi-migliore/ASA_project
Language:JavaScript00
chiara-camilla-rambaldi-migliore/CoopGamesShapleyValueExpl
CoopGamesShapleyValueExpl
Language:Python00
chiara-camilla-rambaldi-migliore/DeepProbCEP
Language:Python00
chiara-camilla-rambaldi-migliore/EmbeddedSensor
Language:Python00
chiara-camilla-rambaldi-migliore/Formal-Methods-2022
Repository containing the exercises solved during the Lab lectures for the course of Formal Methods (a.k.a. "Module 1: Automated Reasoning" and "Module 2: Model Checking") for the academic year 2021/2022
Language:SMT00
chiara-camilla-rambaldi-migliore/FormalMethods
Language:SMT00
chiara-camilla-rambaldi-migliore/generative-art
Language:Python00
chiara-camilla-rambaldi-migliore/ingsw
Language:Java00
chiara-camilla-rambaldi-migliore/Melody_Generation
Language:Python00
chiara-camilla-rambaldi-migliore/mkdocs-wiki-test
00
chiara-camilla-rambaldi-migliore/msdocs-django-postgresql-sample-app
A sample Django app using PostgreSQL for the Azure App Service Web App + Database tutorial
Language:Bicep00
chiara-camilla-rambaldi-migliore/NLU
Natural Language Understanding Project
Language:Jupyter Notebook
chiara-camilla-rambaldi-migliore/Sudoku_deepProbLog
DeepProbLog sudoku solver
Language:Prolog
chiara-camilla-rambaldi-migliore/Test_Vive
Language:C#