中文
相关论文

相关论文: GlucOS: Security, correctness, and simplicity for …

200 篇论文

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…

机器学习 · 计算机科学 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…

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…

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…

机器学习 · 计算机科学 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…

计算机与社会 · 计算机科学 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,…

系统与控制 · 电气工程与系统科学 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…

定量方法 · 定量生物学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

人机交互 · 计算机科学 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…

机器学习 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

机器学习 · 计算机科学 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…

信号处理 · 电气工程与系统科学 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…

动力系统 · 数学 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…

人工智能 · 计算机科学 2025-09-16 Jared Zhu , Junde Wu