Explore projects
-
Extending UNVEIL / UNVEIL Frontend
MIT LicenseUpdated -
Viet Pham Ngoc / tnn
MIT LicenseImplementation of the tunable neural network on the Qiskit quantum simulator
Updated -
Repository containing the implementations and data of the PhD thesis of Davide Cavezza
Updated -
Liu, Tony / predlog
OtherThis is a implementation of first order predicate logic statement evaluator.
Updated -
Introduction to Machine Learnig - Decision Tree Coursework 1
Updated -
HYGRIP (Hybrid Dynamic Grip) data-set: A holistic data-set of hybrid non-invasive measures for continuous force decoding.
Updated -
Updated
-
Updated
-
Davide Cavezza / FormaliSE20repo
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 / TACAS20repo
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
-
3D Perception and human-in-the-loop motion planning for obstacle avoidance in ENHANCE setup.
Updated -
pmaksimo / test262
BSD 3-Clause "New" or "Revised" LicenseOfficial ECMAScript Conformance Test Suite
Updated -
-
Joint Learning of Motion Estimation and Segmentation for Cardiac MR Image Sequences
Updated