English
Related papers

Related papers: GlucOS: Security, correctness, and simplicity for …

200 papers

People with diabetes must carefully monitor their blood glucose levels, especially after eating. Blood glucose regulation requires a proper combination of food intake and insulin boluses. Glucose prediction is vital to avoid dangerous…

Machine Learning · Computer Science 2023-07-06 Daniel Parra , David Joedicke , J. Manuel Velasco , Gabriel Kronberger , J. Ignacio Hidalgo

Diabetes has a long asymptomatic period which can often remain undiagnosed for multiple years. In this study, we trained a deep learning model to detect new-onset diabetes using 12-lead ECG and readily available demographic information. To…

Machine Learning · Computer Science 2025-12-01 Hao Zhang , Neil Jethani , Aahlad Puli , Leonid Garber , Lior Jankelson , Yindalon Aphinyanaphongs , Rajesh Ranganath

We recently proposed a new cluster operating system stack, DBOS, centered on a DBMS. DBOS enables unique support for ML applications by encapsulating ML code within stored procedures, centralizing ancillary ML data, providing security built…

Cryptography and Security · Computer Science 2022-08-11 Robert Redmond , Nathan W. Weckwerth , Brian S. Xia , Qian Li , Peter Kraft , Deeptaanshu Kumar , Çağatay Demiralp , Michael Stonebraker

Current closed-loop insulin delivery algorithms need to be informed of carbohydrate intake disturbances. This can be a burden on people using these systems. Pramlintide is a hormone that delays gastric emptying, which enables insulin…

Diagnostic and prognostic models are increasingly important in medicine and inform many clinical decisions. Recently, machine learning approaches have shown improvement over conventional modeling techniques by better capturing complex…

Machine Learning · Computer Science 2024-03-01 Fergus Imrie , Bogdan Cebere , Eoin F. McKinney , Mihaela van der Schaar

The rapid growth in mobile healthcare technology could significantly help control chronic diseases, such as diabetes. This paper presents a systematic review to characterise type 1 & type 2 diabetes management applications available in…

Computers and Society · Computer Science 2019-04-23 Ahmed Fadhil , Yunlong Wang

The role played by physical activity in slowing down the progression of type-2 diabetes is well recognized. However, except for general clinical guidelines, quantitative real-time estimates of the recommended amount of physical activity,…

Systems and Control · Electrical Eng. & Systems 2025-03-13 Pierluigi Francesco De Paola , Alessandro Borri , Alessia Paglialonga , Pasquale Palumbo , Fabrizio Dabbene

Standard objective functions used during the training of neural-network-based predictive models do not consider clinical criteria, leading to models that are not necessarily clinically acceptable. In this study, we look at this problem from…

Quantitative Methods · Quantitative Biology 2020-09-24 Maxime De Bois , Mounîm A. El Yacoubi , Mehdi Ammi

High-assurance security systems require strong isolation from the untrusted world to protect the security-sensitive or privacy-sensitive data they process. Existing regulations impose that such systems must execute in a trustworthy…

Cryptography and Security · Computer Science 2022-05-13 Wojciech Ozga , Rasha Faqeh , Do Le Quoc , Franz Gregor , Silvio Dragone , Christof Fetzer

Clinical time-series forecasting is increasingly studied for decision support, yet standard aggregate metrics can obscure whether a model is actually useful for the task it is meant to serve. In safety-critical settings, low average error…

Machine Learning · Computer Science 2026-05-04 Alireza Namazi , Heman Shakeri

Safe Reinforcement Learning (RL) algorithms are typically evaluated under fixed training conditions. We investigate whether training-time safety guarantees transfer to deployment under distribution shift, using diabetes management as a…

Machine Learning · Computer Science 2026-05-26 Minjae Kwon , Josephine Lamp , Lu Feng

Type 2 diabetes patients in China face many significant challenges in patient-provider communication and self management In light of this, this work designed,implemented,and evaluated an AI-driven, personalized, multi-functional mobile app…

Human-Computer Interaction · Computer Science 2025-11-18 Yibo Meng , Zhiming Liu , Xiaochen Qin

New methods of CGM data analysis are emerging that are valuable for interpreting CGM patterns and underlying metabolic physiology. These new methods use functional data analysis and artificial intelligence (AI), including machine learning…

Background: Type 2 diabetes (T2D) is a prevalent chronic disease with a significant risk of serious health complications and negative impacts on the quality of life. Given the impact of individual characteristics and lifestyle on the…

Machine Learning · Computer Science 2024-01-08 Syed Hasib Akhter Faruqui , Adel Alaeddini , Yan Du , Shiyu Li , Kumar Sharma , Jing Wang

Personal health devices can enable continuous monitoring of health parameters. However, the benefit of these devices is often directly related to the frequency of use. Therefore, adherence to personal health devices is critical. This paper…

Computers and Society · Computer Science 2020-06-11 Sudip Vhaduri , Temiloluwa Prioleau

The data mining along with emerging computing techniques have astonishingly influenced the healthcare industry. Researchers have used different Data Mining and Internet of Things (IoT) for enrooting a programmed solution for diabetes and…

Computers and Society · Computer Science 2019-01-31 M. Sharma , G. Singh , R. Singh

Diabetes devices, including Continuous Glucose Monitoring (CGM), Smart Insulin Pens, and Automated Insulin Delivery systems, generate rich time-series data widely used in research and machine learning. However, inconsistent data formats…

Machine Learning · Computer Science 2026-04-15 Elliott C. Pryor , Marc D. Breton , Anas El Fathi

Every year, humanity loses about 1.5 million persons due to diabetic disease. Therefore continuous monitoring of diabetes is highly needed, but the conventional approach, i.e., fingertip pricking, causes mental and physical pain to the…

Signal Processing · Electrical Eng. & Systems 2024-11-19 Abdelrhman Y. Soliman , Ahmed M. Nor , Octavian Fratu , Simona Halunga , Osama A. Omer , Ahmed S. Mubark

A two-dimensional system of differential equations with delay modelling the glucose-insulin interaction processes in the human body is considered. Sufficient conditions are derived for the unique positive equilibrium in the system to be…

Dynamical Systems · Mathematics 2020-12-11 M. Angelova , G. Beliakov , A. Ivanov , S. Shelyag

Decades' advances in digital health technologies, such as electronic health records, have largely streamlined routine clinical processes. Yet, most these systems are still hard to learn and use: Clinicians often face the burden of managing…

Artificial Intelligence · Computer Science 2025-09-16 Jared Zhu , Junde Wu