English
Related papers

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

200 papers

The adoption of machine-learning-enabled systems in the healthcare domain is on the rise. While the use of ML in healthcare has several benefits, it also expands the threat surface of medical systems. We show that the use of ML in medical…

Cryptography and Security · Computer Science 2024-04-15 Mohammed Elnawawy , Mohammadreza Hallajiyan , Gargi Mitra , Shahrear Iqbal , Karthik Pattabiraman

The purpose of this Conference is to present the main lines of base projects that are founded on research already begun in previous years. In this sense, this manuscript will present the main lines of research in Diabetes Mellitus type 1…

Machine Learning · Computer Science 2021-01-08 Ignacio Rodriguez

We consider the question of 30-minute prediction of blood glucose levels measured by continuous glucose monitoring devices, using clinical data. While most studies of this nature deal with one patient at a time, we take a certain percentage…

Machine Learning · Computer Science 2017-07-20 H. N. Mhaskar , S. V. Pereverzyev , M. D. van der Walt

We propose a model-free artificial pancreas (AP) for people with type 1 diabetes. The algorithmic parameters are tuned to a virtual population of 1,000,000 individuals, and the AP repeatedly estimates the basal and bolus insulin…

Oral Glucose Tolerance Test (OGTT) is one of many way to produce data in the study of the diabetes dynamic. In a recent paper [1.]:\textit{ Estimating insulin sensitivity and $ \beta $-cell function from the oral glucose tolerance test:…

Probability · Mathematics 2024-12-17 Paul Bekima

Patients with diabetes who are self-monitoring have to decide right before each meal how much insulin they should take. A standard bolus advisor exists, but has never actually been proven to be optimal in any sense. We challenged this rule…

Machine Learning · Statistics 2020-07-24 Frédéric Logé , Erwan Le Pennec , Habiboulaye Amadou-Boubacar

The Internet of Things (IoT) revolutionizes smart city domains such as healthcare, transportation, industry, and education. The Internet of Medical Things (IoMT) is gaining prominence, particularly in smart hospitals and Remote Patient…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-25 Alain Hennebelle , Qifan Dieng , Leila Ismail , Rajkumar Buyya

Diabetes is a chronic disease with a significant global health burden, requiring multi-stakeholder collaboration for optimal management. Large language models (LLMs) have shown promise in various healthcare scenarios, but their…

Computation and Language · Computer Science 2025-03-14 Lai Wei , Zhen Ying , Muyang He , Yutong Chen , Qian Yang , Yanzhe Hong , Jiaping Lu , Kaipeng Zheng , Shaoting Zhang , Xiaoying Li , Weiran Huang , Ying Chen

Managing Type 1 Diabetes (T1D) demands constant vigilance as individuals strive to regulate their blood glucose levels and avoid dysglycemia, including hyperglycemia and hypoglycemia. Despite advances in automated insulin delivery (AID)…

Machine Learning · Computer Science 2026-02-26 Saman Khamesian , Asiful Arefeen , Maria Adela Grando , Bithika M. Thompson , Hassan Ghasemzadeh

Diabetes is a civilization chronic disease characterized by a constant elevated concentration of glucose in the blood. Many processes are involved in the glucose regulation, and their interactions are very complex. To better understand…

Cell Behavior · Quantitative Biology 2025-06-02 Kamila Barylska , Franck Delaplace , Anna Gogolińska , Ewa Pańkowska

Given the growing prevalence of diabetes, there has been significant interest in determining how diabetes affects instrumental daily functions, like driving. Complication of glucose control in diabetes includes hypoglycemic and…

Diabetes is an epidemic disease of the 21st century and is growing globally. Although, final diabetes treatments and cure are still on research phase, related complications of diabetes endanger life of diabetic patients. Diabetic coma which…

Human-Computer Interaction · Computer Science 2016-08-15 Vahid Hosseini

This paper proposes a mathematical approach for robust control of a nanoscale drug delivery system in treatment of atherosclerosis. First, a new nonlinear lumped model is introduced for mass transport in the arterial wall, and its accuracy…

Systems and Control · Electrical Eng. & Systems 2021-11-24 Alireza Rowhanimanesh , Mohammad-R Akbarzadeh-T

Diabetes is a chronic disorder identified by the high sugar level in the blood that can cause various different disorders such as kidney failure, heart attack, sightlessness, and stroke. Developments in the healthcare domain by facilitating…

Machine Learning · Computer Science 2024-11-05 Vahideh Hayyolalam , Öznur Özkasap

This paper presents a verification-based methodology to validate the model of personalized health conditions. The model identifies the values that may result in unsafe, un-reachable, in-exhaustive, and overlapping states that otherwise…

Software Engineering · Computer Science 2022-07-26 Najma Taimoor , Semeen Rehman

Diabetes Mellitus (DM) is a chronic disease characterized by an increase in blood glucose (sugar) above normal levels and it appears when human body is not able to produce enough insulin to cover the peripheral tissue demand. Nowadays, DM…

Computers and Society · Computer Science 2020-11-05 Enzo Rucci , Lisandro Delia , Joaquín Pujol , Paula Erbino , Armando De Giusti , Juan José Gagliardino

Glucometers present an important self-monitoring tool for diabetes patients and therefore must exhibit high accu- racy as well as good usability features. Based on an invasive, photometric measurement principle that drastically reduces the…

Applications · Statistics 2016-02-11 Nevine Demitri , Abdelhak M. Zoubir

Sustained high levels of blood glucose in type 2 diabetes (T2DM) can have disastrous long-term health consequences. An essential component of clinical interventions for T2DM is monitoring dietary intake to keep plasma glucose levels within…

Quantitative Methods · Quantitative Biology 2022-06-24 Zepeng Huo , Bobak J. Mortazavi , Theodora Chaspari , Nicolaas Deutz , Laura Ruebush , Ricardo Gutierrez-Osuna

A clinical dashboard for a patient's diabetes condition helps physicians to make better decisions based on readily available information. OpenMRS is a widely used open-source electronic health records system but does not provide a…

Human-Computer Interaction · Computer Science 2019-10-28 Bhanu Teja Yandrapalli , Josette Jones , Saptarshi Purkayastha

Comorbid chronic conditions are common among people with type 2 diabetes. We developed an Artificial Intelligence algorithm, based on Reinforcement Learning (RL), for personalized diabetes and multi-morbidity management with strong…

Computers and Society · Computer Science 2020-11-05 Hua Zheng , Ilya O. Ryzhov , Wei Xie , Judy Zhong