[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Medical Protocol Diagnosis Using Formal Methods

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 423 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Challenges in eHealth: From Enabling to Enforcing Privacy

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 186 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 507 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Model Checking Workflow Monitors and Its Application to a Pain Management Process

✍ Liu, Zhiming; Wassyng, Alan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 465 KB

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and

[Lecture Notes in Electrical Engineering

[Lecture Notes in Electrical Engineering] Recent Advances in Computer Science and Information Engineering Volume 129 || Visualization of DNA Sequence Features Based on Cellular Automata

✍ Qian, Zhihong; Cao, Lei; Su, Weilian; Wang, Tingkai; Yang, Huamin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 233 KB

CSIE 2011 is an international scientific Congress for distinguished scholars engaged in scientific, engineering and technological research, dedicated to build a platform for exploring and discussing the future of Computer Science and Information Engineering with existing and potential application sc

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Health Information Engineering and Systems Volume 7789 || Closed-Loop Modeling of Cardiac Pacemaker and Heart

✍ Weber, Jens; Perseil, Isabelle 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 523 KB

[Lecture Notes in Computer Science] Foundations of Health Informatics Engineering and Systems Volume 7151 || Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

✦ Synopsis