Abstract: This paper presents a pulse-arrival-time (PAT) estimation scheme using Extreme Gradient Boosting (XGBoost) regression and its implementation with hardware description language (HDL). PAT is ...
Objective: Using the RE-AIM (reach, effectiveness, adoption, implementation, and maintenance) framework, this study evaluated the implementation of the virtual COVID-19 HITH service and identified ...
Abstract: We present assume-guarantee contracts as specifications for the dynamic behavior of linear dynamical systems with inputs and outputs. We define and characterize contract implementation using ...