GitHub

Daikin One+ Thermostat Homebridge Plugin

homebridge-daikin-oneplus uses the Daikin One+ API to allow native HomeKit support via Homebridge for any thermostats on your account. This plugin has been reported to work with Amana Home Wifi ...
IEEE

A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing

Abstract: Quantum error correction is necessary for largescale quantum computing. A promising quantum error correcting code is the surface code. For this code, fault ...
IEEE

Model-Driven Fault Injection in Java Source Code

Abstract: The injection of software faults in source code requires accurate knowledge of the programming language, both to craft faults and to identify injection locations. As such, fault injection ...
GitHub

Lichen0102/Multi-mode-Fault-Diagnosis-Datasets-with-TE-process

Tennessee Eastman (TE) model Is an important tool in all disciplines of systems theory, for comparative studies or validation of algorithms. Its strength is that it is based on real process modeling.