Explore projects
-
stc / experiments / ogan
MIT LicenseRequirement falsification for cyber-physical systems using generative models and the OGAN algorithm. This is an entry in the falsification track of the ARCH-COMP 2023 competition on verifying continuous and hybrid systems.
Updated -
Updated
-
Updated
-
Scans regularly the speed of your network and plots a curve over a specified time
Updated -
Updated
-
Johan Lilius / MobileNet
Apache License 2.0A Clearer and Simpler MobileNet Implementation in TensorFlow
Updated -
-
-
-
Updated
-
Updated
-
aaust / stream / ldpc
MIT LicenseNaive LDPC implementation using Arrays as primary data-structure with explicit memory shuffles.
Updated -
-
Updated
-
This repository contains bottleneck distributions of RUBiS(poi) and RUBiS(uni), and data related to the performance of iPerfXRL.
Updated -
Updated
-
Updated
-
A tutorial on building a chatbot using IBM Watson Conversation for the ”Introduction to IT” course (Autumn 2017)
Updated