当前位置： SCI文献检索 > IEEE Journal of Biomedical and Health Informatics期刊下所有文献 > A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers.

A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers.

Abstract：

:Intrahospital transfers are a common but hazardous aspect of hospital care, with a large number of incidents posing a threat to patient safety. A growing body of work advocates the use of checklists for minimizing intrahospital transfer risk, but the majority of existing checklists are not guaranteed to be error-free and are difficult to adapt to different clinical settings or changing hospital policies. This paper details an approach that addresses these challenges through the employment of workflow technologies and formal methods for generating structured checklists. A three-phased methodology is proposed, where intrahospital transfer processes are first conceptualized, then rigorously composed into workflows that are mechanically verified, and finally, translated into a set of checklists that support hospital staff while maintaining the dependencies between different transfer tasks. A case study is presented, highlighting the feasibility of this approach, and the correctness and maintainability benefits brought by the logical underpinning of this methodology. A checklist evaluation is discussed, with promising results regarding their usefulness.

journal_name

IEEE J Biomed Health Inform

journal_title

IEEE journal of biomedical and health informatics

authors

Manataki A,Fleuriot J,Papapanagiotou P

doi

10.1109/JBHI.2016.2579881

subject

Has Abstract

pub_date

2017-07-01 00:00:00

pages

1156-1162

issue

4

eissn

2168-2194

issn

2168-2208

journal_volume

21

pub_type

杂志文章

相关文献

IEEE Journal of Biomedical and Health Informatics文献大全
  • Exploiting wearable goniometer technology for motion sensing gloves.

    abstract：:This paper presents an innovative wearable kinesthetic glove realized with knitted piezoresistive fabric (KPF) sensor technology. The glove is conceived to capture hand movement and gesture by using KPF in a double-layer configuration working as angular sensors (electrogoniometers). The sensing glove prototype is endo...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2014.2324293

    authors： Carbonaro N,Dalle Mura G,Lorussi F,Paradiso R,De Rossi D,Tognetti A

    更新日期：2014-11-01 00:00:00

  • Inter-Patient ECG Classification With Symbolic Representations and Multi-Perspective Convolutional Neural Networks.

    abstract：:This paper presents a novel deep learning framework for the inter-patient electrocardiogram (ECG) heartbeat classification. A symbolization approach especially designed for ECG is introduced, which can jointly represent the morphology and rhythm of the heartbeat and alleviate the influence of inter-patient variation t...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2019.2942938

    authors： Niu J,Tang Y,Sun Z,Zhang W

    更新日期：2020-05-01 00:00:00

  • A Realistic Framework for Investigating Decision Making in the Brain With High Spatiotemporal Resolution Using Simultaneous EEG/fMRI and Joint ICA.

    abstract：:Human decision making is a multidimensional construct, driven by a complex interplay between external factors, internal biases, and computational capacity constraints. Here, we propose a layered approach to experimental design in which multiple tasks-from simple to complex-with additional layers of complexity introduc...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2016.2590434

    authors： Kyathanahally SP,Franco-Watkins A,Zhang X,Calhoun VD,Deshpande G

    更新日期：2017-05-01 00:00:00

  • A learning scheme for reach to grasp movements: on EMG-based interfaces using task specific motion decoding models.

    abstract：:A learning scheme based on random forests is used to discriminate between different reach to grasp movements in 3-D space, based on the myoelectric activity of human muscles of the upper-arm and the forearm. Task specificity for motion decoding is introduced in two different levels: Subspace to move toward and object ...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2259594

    authors： Liarokapis MV,Artemiadis PK,Kyriakopoulos KJ,Manolakos ES

    更新日期：2013-09-01 00:00:00

  • Nonnegative matrix factorization for the identification of EMG finger movements: evaluation using matrix analysis.

    abstract：:Surface electromyography (sEMG) is widely used in evaluating the functional status of the hand to assist in hand gesture recognition, prosthetics and rehabilitation applications. The sEMG is a noninvasive, easy to record signal of superficial muscles from the skin surface. Considering the nonstationary characteristics...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2014.2326660

    authors： Naik GR,Nguyen HT

    更新日期：2015-03-01 00:00:00

  • A novel and lightweight system to secure wireless medical sensor networks.

    abstract：:Wireless medical sensor networks (MSNs) are a key enabling technology in e-healthcare that allows the data of a patient's vital body parameters to be collected by the wearable or implantable biosensors. However, the security and privacy protection of the collected data is a major unsolved issue, with challenges coming...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2268897

    authors： He D,Chan S,Tang S

    更新日期：2014-01-01 00:00:00

  • A machine learning approach to improve contactless heart rate monitoring using a webcam.

    abstract：:Unobtrusive, contactless recordings of physiological signals are very important for many health and human-computer interaction applications. Most current systems require sensors which intrusively touch the user's skin. Recent advances in contact-free physiological signals open the door to many new types of application...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2291900

    authors： Monkaresi H,Calvo RA,Yan H

    更新日期：2014-07-01 00:00:00

  • Retinal area detector from scanning laser ophthalmoscope (SLO) images for diagnosing retinal diseases.

    abstract：:Scanning laser ophthalmoscopes (SLOs) can be used for early detection of retinal diseases. With the advent of latest screening technology, the advantage of using SLO is its wide field of view, which can image a large part of the retina for better diagnosis of the retinal diseases. On the other hand, during the imaging...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2014.2352271

    authors： Haleem MS,Han L,van Hemert J,Li B,Fleming A

    更新日期：2015-07-01 00:00:00

  • Detecting Parkinsonian Tremor From IMU Data Collected in-the-Wild Using Deep Multiple-Instance Learning.

    abstract：:Parkinson's Disease (PD) is a slowly evolving neurological disease that affects about [Formula: see text] of the population above 60 years old, causing symptoms that are subtle at first, but whose intensity increases as the disease progresses. Automated detection of these symptoms could offer clues as to the early ons...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2019.2961748

    authors： Papadopoulos A,Kyritsis K,Klingelhoefer L,Bostanjopoulou S,Chaudhuri KR,Delopoulos A

    更新日期：2020-09-01 00:00:00

  • Fast QRS Detection and ECG Compression Based on Signal Structural Analysis.

    abstract：OBJECTIVE:This paper presents a fast approach to detect QRS complexes based on a simple analysis of the temporal ECG structure. METHODS:The ECG is processed through several steps involving noise removal, feature detection, and feature analysis. The obtained feature set, which holds most of the ECG information while re...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2018.2792404

    authors： Burguera A

    更新日期：2019-01-01 00:00:00

  • A joint FED watermarking system using spatial fusion for verifying the security issues of teleradiology.

    abstract：:Teleradiology allows transmission of medical images for clinical data interpretation to provide improved e-health care access, delivery, and standards. The remote transmission raises various ethical and legal issues like image retention, fraud, privacy, malpractice liability, etc. A joint FED watermarking system means...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2281322

    authors： Viswanathan P,Krishna PV

    更新日期：2014-05-01 00:00:00

  • Optimized Multistable Stochastic Resonance for the Enhancement of Pituitary Microadenoma in MRI.

    abstract：:Magnetic resonance imaging (MRI) is the modality of choice as far as imaging diagnosis of pathologies in the pituitary gland is concerned. Furthermore, the advent of dynamic contrast enhanced (DCE) has enhanced the capability of this modality in detecting minute benign but endocrinologically significant tumors called ...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2017.2715078

    authors： Singh M,Verma A,Sharma N

    更新日期：2018-05-01 00:00:00

  • Automatic evaluation of the 30-s chair stand test using inertial/magnetic-based technology in an older prefrail population.

    abstract：:The aim of this study was to evaluate the inertial measures of the 30-s chair stand test using modern body-fixed motion sensors. Polynomial data fitting was used to correct the drift effect in the position estimation. Thereafter, the three most important test cycles phases ("impulse," "stand up," and "sit down") were ...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2238243

    authors： Millor N,Lecumberri P,Gomez M,Martinez-Ramirez A,Rodriguez-Manas L,Garcia-Garcia FJ,Izquierdo M

    更新日期：2013-07-01 00:00:00

  • AW-SDRLSE: Adaptive Weighting and Scalable Distance Regularized Level Set Evolution for Lymphoma Segmentation on PET Images.

    abstract：:Accurate lymphoma segmentation on Positron Emission Tomography (PET) images is of great importance for medical diagnoses, such as for distinguishing benign and malignant. To this end, this paper proposes an adaptive weighting and scalable distance regularized level set evolution (AW-SDRLSE) method for delineating lymp...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2020.3017546

    authors： Li S,Jiang H,Li H,Yao YD

    更新日期：2020-08-25 00:00:00

  • Biologically Inspired QuadTree Color Detection in Dermoscopy Images of Melanoma.

    abstract：:This paper presents a QuadTree-based melanoma detection system inspired by dermatologists' color perception. Clinical color assessment in dermoscopy images is challenging because of subtle differences in shades, location-dependent color information, poor color contrast, and wide variation among images of the same clas...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2018.2841428

    authors： Sabbaghi Mahmouei S,Aldeen M,Stoecker WV,Garnavi R

    更新日期：2019-03-01 00:00:00

  • Neuroimaging Retrieval via Adaptive Ensemble Manifold Learning for Brain Disease Diagnosis.

    abstract：:Alzheimer's disease (AD) is a neurodegenerative and non-curable disease, with serious cognitive impairment, such as dementia. Clinically, it is critical to study the disease with multi-source data in order to capture a global picture of it. In this respect, an adaptive ensemble manifold learning (AEML) algorithm is pr...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2018.2872581

    authors： Lei B,Yang P,Zhuo Y,Zhou F,Ni D,Chen S,Xiao X,Wang T

    更新日期：2019-07-01 00:00:00

  • Bi-Frequency Symmetry Difference EIT-Feasibility and Limitations of Application to Stroke Diagnosis.

    abstract：OBJECTIVE:Bi-Frequency Symmetry Difference (BFSD)-EIT can detect, localize and identify unilateral perturbations in symmetric scenes. Here, we test the viability and robustness of BFSD-EIT in stroke diagnosis. METHODS:A realistic 4-layer Finite Element Method (FEM) head model with and without bleed and clot lesions is...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2019.2960862

    authors： McDermott B,O'Halloran M,Avery J,Porter E

    更新日期：2020-08-01 00:00:00

  • Laryngeal Tumor Detection and Classification in Endoscopic Video.

    abstract：:The development of the narrow-band imaging (NBI) has been increasing the interest of medical specialists in the study of laryngeal microvascular network to establish diagnosis without biopsy and pathological examination. A possible solution to this challenging problem is presented in this paper, which proposes an auto...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2014.2374975

    authors： Barbalata C,Mattos LS

    更新日期：2016-01-01 00:00:00

  • Tear Film Classification in Interferometry Eye Images Using Phylogenetic Diversity Indexes and Ripley's K Function.

    abstract：:Dry eye syndrome is one of the most frequently reported eye diseases in ophthalmological practice. The diagnosis of this disease is a challenging task due to its multifactorial etiology. One of the most applied tests is the manual classification of tear film images captured with the Doane interferometer. The interfere...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2020.3026940

    authors： da Cruz LB,Souza JC,de Paiva AC,de Almeida JDS,Junior GB,Aires KRT,Silva AC,Gattass M

    更新日期：2020-12-01 00:00:00

  • Near-realistic mobile exergames with wireless wearable sensors.

    abstract：:Exergaming is expanding as an option for sedentary behavior in childhood/adult obesity and for extra exercise for gamers. This paper presents the development process for a mobile active sports exergame with near-realistic motions through the usage of body-wearable sensors. The process begins by collecting a dataset sp...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2293674

    authors： Mortazavi B,Nyamathi S,Lee SI,Wilkerson T,Ghasemzadeh H,Sarrafzadeh M

    更新日期：2014-03-01 00:00:00

  • Self-Powered Multiparameter Health Sensor.

    abstract：:Wearable health sensors are about to change our health system. While several technological improvements have been presented to enhance performance and energy-efficiency, battery runtime is still a critical concern for practical use of wearable biomedical sensor systems. The runtime limitation is directly related to th...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2017.2708041

    authors： Tobola A,Leutheuser H,Pollak M,Spies P,Hofmann C,Weigand C,Eskofier BM,Fischer G

    更新日期：2018-01-01 00:00:00

  • Unsupervised eye blink artifact denoising of EEG data with modified multiscale sample entropy, Kurtosis, and wavelet-ICA.

    abstract：:Brain activities commonly recorded using the electroencephalogram (EEG) are contaminated with ocular artifacts. These activities can be suppressed using a robust independent component analysis (ICA) tool, but its efficiency relies on manual intervention to accurately identify the independent artifactual components. In...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2014.2333010

    authors： Mahajan R,Morshed BI

    更新日期：2015-01-01 00:00:00

  • Unobtrusive in-home detection of time spent out-of-home with applications to loneliness and physical activity.

    abstract：:Loneliness is a common condition in elderly associated with severe health consequences including increased mortality, decreased cognitive function, and poor quality of life. Identifying and assisting lonely individuals is therefore increasingly important-especially in the home setting-as the very nature of loneliness ...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2294276

    authors： Petersen J,Austin D,Kaye JA,Pavel M,Hayes TL

    更新日期：2014-09-01 00:00:00

  • How to Extract More Information With Less Burden: Fundus Image Classification and Retinal Disease Localization With Ophthalmologist Intervention.

    abstract：:Image classification using convolutional neural networks (CNNs) outperforms other state-of-the-art methods. Moreover, attention can be visualized as a heatmap to improve the explainability of results of a CNN. We designed a framework that can generate heatmaps reflecting lesion regions precisely. We generated initial ...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2020.3011805

    authors： Meng Q,Hashimoto Y,Satoh S

    更新日期：2020-12-01 00:00:00

  • Designing a robust activity recognition framework for health and exergaming using wearable sensors.

    abstract：:Detecting human activity independent of intensity is essential in many applications, primarily in calculating metabolic equivalent rates and extracting human context awareness. Many classifiers that train on an activity at a subset of intensity levels fail to recognize the same activity at other intensity levels. This...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2287504

    authors： Alshurafa N,Xu W,Liu JJ,Huang MC,Mortazavi B,Roberts CK,Sarrafzadeh M

    更新日期：2014-09-01 00:00:00

  • Design comorbidity portfolios to improve treatment cost prediction of asthma using machine learning.

    abstract：:Comorbidity is an important factor to consider when trying to predict the cost of treating asthma patients. When an asthmatic patient suffered from comorbidity, the cost of treating such a patient becomes dependent on the nature of the comorbidity. Therefore, lack of recognition of comorbidity on asthmatic patient pos...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2020.3034092

    authors： Luo L,Yu X,Yong Z,Li C,Gu Y

    更新日期：2020-10-27 00:00:00

  • Unified Fine-Grained Access Control for Personal Health Records in Cloud Computing.

    abstract：:Attribute-based encryption has been a promising encryption technology to secure personal health records (PHRs) sharing in cloud computing. PHRs consist of the patient data often collected from various sources including hospitals and general practice centres. Different patients' access policies have a common access sub...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2018.2850304

    authors： Li W,Liu BM,Liu D,Liu RP,Wang P,Luo S,Ni W

    更新日期：2019-05-01 00:00:00

  • Multiple kernel learning in the primal for multimodal Alzheimer's disease classification.

    abstract：:To achieve effective and efficient detection of Alzheimer's disease (AD), many machine learning methods have been introduced into this realm. However, the general case of limited training samples, as well as different feature representations typically makes this problem challenging. In this paper, we propose a novel m...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2013.2285378

    authors： Liu F,Zhou L,Shen C,Yin J

    更新日期：2014-05-01 00:00:00

  • A Fuzzy Kernel Motion Classifier for Autonomous Stroke Rehabilitation.

    abstract：:Autonomous poststroke rehabilitation systems which can be deployed outside hospital with no or reduced supervision have attracted increasing amount of research attentions due to the high expenditure associated with the current inpatient stroke rehabilitation systems. To realize an autonomous systems, a reliable patien...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2015.2430524

    authors： Zhang Z,Liparulo L,Panella M,Gu X,Fang Q

    更新日期：2016-05-01 00:00:00

  • Synchronization and Registration of Cine Magnetic Resonance and Dynamic Computed Tomography Images of the Heart.

    abstract：:The synchronization and registration of dynamic computed tomography (CT) and magnetic resonance images (MRI) of the heart is required to perform a combined analysis of their complementary information. We propose a novel method that synchronizes and registers intrapatient dynamic CT and cine-MRI short axis view (SAX). ...

    journal_title：IEEE journal of biomedical and health informatics

    pub_type： 杂志文章

    doi：10.1109/JBHI.2015.2453639

    authors： Betancur J,Simon A,Langella B,Leclercq C,Hernandez A,Garreau M

    更新日期：2016-09-01 00:00:00