Explore projects
-
-
Updated
-
Updated
-
Davide Cavezza / TACAS20repo
GNU General Public License v3.0 or laterUpdated -
UnID or Unified Identification is a smart way of storing and sharing just the data you need to use, through your phone, a special card or a web server. It should provide convenience and security through the use of blockchains.
Updated -
-
Davide Cavezza / FormaliSE20repo
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
HYGRIP (Hybrid Dynamic Grip) data-set: A holistic data-set of hybrid non-invasive measures for continuous force decoding.
Updated -
Introduction to Machine Learnig - Decision Tree Coursework 1
Updated -
Liu, Tony / predlog
OtherThis is a implementation of first order predicate logic statement evaluator.
Updated -
Repository containing the implementations and data of the PhD thesis of Davide Cavezza
Updated -
Viet Pham Ngoc / tnn
MIT LicenseImplementation of the tunable neural network on the Qiskit quantum simulator
Updated -
Extending UNVEIL / UNVEIL Frontend
MIT LicenseUpdated -
-
This project is built to automically include the mean and covariance function of Gaussian Process(provided by GPFlow) in Gurobi, which enables users to use the optimization solvers in Gurobi to find the global optimization of Gaussian Process.
Updated