3 papers
quant-ph2026
Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
Arun Govindankutty, Sudarshan K. Srinivasan
We present a scalable formal verification methodology for Quantum Phase Estimation (QPE) circuits. Our approach uses a symbolic qubit abstraction based on quantifier-free bit-vecto…
cs.CY2019
A Reliable IoT-Based Embedded Health Care System for Diabetic Patients
Zeyad A. Al-Odat, Sudarshan K. Srinivasan, Eman M. Al-Qtiemat +1
This paper introduces a reliable health care system for diabetic patients based on the Internet of Things technology. A diabetic health care system with a hardware implementation i…
cs.HC2018
IoT-Based Secure Embedded Scheme for Insulin Pump Data Acquisition and Monitoring
Zeyad A. Al-Odat, Sudarshan K. Srinivasan, Eman Al-qtiemat +2
This paper introduces an Internet of Things (IoT)-based data acquisition and monitoring scheme for insulin pumps. The proposed work employs embedded system hardware (Keil LPC1768-b…