Jeremy Gibbons

Foundations of Health Information Engineering and Systems: Third International Symposium, Fhies 2013, Macau, China, August 21-23, 2013. Revised Selected Papers - Lecture Notes in Computer Science / Programming and Software Engineering Jeremy Gibbons

Jacket Description/Back: This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau, China, in August 2013. The 19 revised full papers presented together with 1 invited talk in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in following subjects: panel position statements, pathways, generation and certification, interoperability, patient safety, device safety, formal methods, and HIV/AIDS and privacy. Table of Contents: Invited Papers.- Intelligent Tools for Reducing Medication Dispensing and Administration Error.- Panel Position Statements.- Pathways.- Modelling Care Pathways in a Connected Health Setting.- A Resource Flow Approach to Modelling Care Pathways.- ICT-powered Health Care Processes (Position Paper).- Generation and Certification.- Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use.- Insulin Pump Software Certification.- Interoperability.- An Ontology for Regulating eHealth Interoperability in Developing African Countries.- Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications.- Patient Safety.- A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual Observations.- Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency Department.- Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment.- Device Safety.- OR. NET: Safe Interconnection of Medical Devices (Position Paper).- Formal Methods.- A Modal Specification Approach for On-Demand Medical Systems.- Towards Formal Safety Analysis in Feature-Oriented Product Line Development.- HIV/AIDS and Privacy.- An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing.- Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning Problem.- A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data."