Distributed Computing Prof. R. Wattenhofer BA/MA/SA: A Hybrid Blockchain System

Source URL: www.tik.ee.ethz.ch

• Cryptocurrencies
• Computing
• Economy
• Concurrent computing
• Blockchain
• Proof-of-stake
• Ethereum
• Bitcoin
• Decred
• Cryptoeconomics

Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin

Source URL: symbolaris.com

• Physics
• Logic
• Quantity
• VLO
• Traffic collision avoidance system
• Work
• Quantifier

A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1

Source URL: www.lix.polytechnique.fr

• Dynamical systems
• Systems science
• Systems theory
• Differential equations
• Control theory
• Hybrid system
• Metabolism
• Ariadne
• Verification
• Nonlinear system
• Coq
• Coenzyme Q10

Time-Staging Enhancement of Hybrid System Falsification Gidon Ernst Ichiro Hasuo

Source URL: snr2018.verivital.com

FEIIC International Journal of Engineering and Technology, Vol. 13, No.1, 2016, ppA Review of Energy Management System in Battery Electric Vehicle with Hybrid Electrical Energy Source

Source URL: ijet.feiic.org

58 Original Article A Hybrid Electronic Health Record System Integrating Electronic and Paper-based Records

Source URL: www.ejbi.org

Assimilation of TDR radial velocity using the unified GSI-based hybrid ensemble-variational data assimilation system for HWRF

Source URL: www.hfip.org

PDRAM: A Hybrid PRAM and DRAM Main Memory System Gaurav Dhiman Raid Ayoub

Source URL: seelab.ucsd.edu

ISSN: International Journal of Advanced Networking & Applications (IJANA) ADVANCED NETWORK MONITORING SYSTEM USING A HYBRID OF AGENT AND AGENTLESS

Source URL: www.ijana.in

Hybrid data assimilation system for HWRF Development team Bachir Annane and Tomislava Vukicevic, HRD/AOML Jeff Whitaker and Henry Winterbottom, PSD/ESRL Mingjing Tong (EMC)

Source URL: www.hfip.org