Formal modeling of biomedical signal acquisition systems: source of evidence for certification

A Sobrinho, LD da Silva, A Perkusich, P Cunha… - Software & Systems …, 2019 - Springer
Biomedical signal acquisition systems are software-intensive medical systems composed of
processors, transducers, amplifiers, filters, and converters. We present in this article a formal …

Risk management of smart healthcare systems: Delimitation, state-of-arts, process, and perspectives

Y Liu - Journal of Patient Safety and Risk Management, 2022 - journals.sagepub.com
Sensing, communication, computation, and control technologies are facilitating smart
healthcare to improve efficiency and effectiveness of medical treatment and care. This study …

[HTML][HTML] Personalized data analysis approach for assessing necessary hospital bed-days built on condition space and hierarchical predictor

N Melnykova, N Shakhovska, V Melnykov… - Big Data and Cognitive …, 2021 - mdpi.com
The paper describes the medical data personalization problem by determining the individual
characteristics needed to predict the number of days a patient spends in a hospital. The …

Model predictive control of glucose concentration based on signal temporal logic specifications

F Cairoli, G Fenu, FA Pellegrino… - 2019 6th International …, 2019 - ieeexplore.ieee.org
Insulin is a peptide hormone produced by the pancreas to regulate the cells intake of
glucose in the blood. Type 1 diabetes compromises this particular capacity of the pancreas …

Formal specification of a tool to aid the early dignosis of the chronic kidney disease

A Sobrinho, LD da Silva, ME Pinheiro… - 2015 CHILEAN …, 2015 - ieeexplore.ieee.org
The early diagnosis of the Chronic Kidney Disease (CKD) is important to reduce the
progression of the disease and prevent its treatment in advanced stages. Information and …

A simulation approach to certify electrocardiography devices

Á Sobrinho, P Cunha, LD da Silva… - … Conference on E …, 2015 - ieeexplore.ieee.org
Electrocardiography (ECG) devices record the heart's electrical activity. These devices can
be part of e-Health systems used to diagnose, treat, and monitor patients with cardiovascular …

[PDF][PDF] ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ОПРАЦЮВАННЯ ПЕРСОНАЛІЗОВАНИХ ДАНИХ ДЛЯ АНАЛІЗУ СТАНУ ОСОБИ

ЮІ Патерега - 2024 - lpnu.ua
АНОТАЦІЯ Патерега ЮІ Інформаційна технологія опрацювання персоналізованих
даних для аналізу стану особи.–Кваліфікаційна наукова праця на правах рукопису …

[PDF][PDF] Моделі та методи підтримки персоналізованих рішень у медичних системах

НІ Мельникова - На правах рукопису. Дисертаційна робота на … - lpnu.ua
У дисертаційній роботі вирішено важливу науково-прикладну проблему розроблення
та удосконалення моделей, методів і засобів машинного навчання в задачах …

A methodology for modeling and simulation of biomedical signal acquisition devices

Á Sobrinho, P Cunha, LD da Silva… - … Conference on E …, 2015 - ieeexplore.ieee.org
Physicians analyze results obtained from biomedical signal acquisition devices to treat and
diagnose patients with acute and chronic diseases. Therefore, results must be accurate to …

A colored petri nets model of the risk management process based on the iso 14971 standard

Á Sobrinho, J Neto, P Cunha… - IECON 2015-41st …, 2015 - ieeexplore.ieee.org
Medical devices help physicians to diagnose and treat patients at home and healthcare
facilities. However, when complexity of devices grows, new risks can also arise and put …