Outline. Asbru. Asbru Language. AsbruView. Motivation. The Asgaard/Asbru Project. Evaluation, Conclusion

Size: px
Start display at page:

Download "Outline. Asbru. Asbru Language. AsbruView. Motivation. The Asgaard/Asbru Project. Evaluation, Conclusion"

Transcription

1 Asgaard / Asbru Project : Designing Task-Specific Problem-Solving Methods to Support the Design and the Execution of -Oriented Skeletal Plans Peter Johnson Silvia Miksch Yuval Shahar Stanford University Stanford Medical Informatics (SMI) International Cooperation Vrije Universiteit Amsterdam University of Aberdeen University of Augsburg CBO, Dutch - Healthcare Improvement Klaus Hammermüller Robert Kosara Andreas Seyfang and students Vienna University of Technology Vienna, Austria Yuval Shahar and students Ben-Gurion University of the Negev Beer-Sheva, Israel Outline Motivation Medical Therapy Planning Plan Representations Limitations The Asgaard/Asbru Project Asbru Language Terminology Knowledge Roles AsbruView Metaphor Graphics Evaluation, Conclusion New Language Asbru

2 Medical Therapy Planning Clinical Protocols Current Representations of Protocols Free Text Tables Flow-Charts Acute Severe Asthma Guideline Indications: - Cannot complete sentences - Pulse > 110 beats/minute - Respiration > 25 breaths/minute - Peak flow < 50% of predicted or best Therapy: Oxygen 40-60% if available Nebulized salbutamol 5mg or nebulized terbutaline 10mg Oral prednisolone mg or i/v hydrocortisone 200mg Monitor responses minutes after nebulisation If any signs of acute asthma persist: +Arrange hospital admission +While awaiting ambulance: repeat nebulised beta 2 and give with nebulised ipratropium 500 micrograms OR give subcutaneous terbutaline OR give slow i/v aminophylline 250mg Else if symptoms have improved, step up usual treatment; follow up Medical Therapy Planning Clinical Protocols Current Representations of Protocols Free Text Tables Flow-Charts Used for Communication Quality Assessment

3 Plan Representation requirements Plan Representation missing requirements Huge volume of data Pre- and post-conditions are needed to control the execution of durative actions or plans Goal may not be achievable in time Sequential, parallel, and cyclical execution of plans is necessary Large domain knowledge is available Incomplete and non-deterministic information Planning agent is not omniscient Unobservable underlying processes Goals are not categorical and unchanged over time Everything is durative, not instantaneous Multiple time lines based on different granularities Plans can be suspended Interleaving of plan design and execution need Asgaard / Asbru Concept Asbru s Key Features INPUT -Oriented Clinical Guidelines Patient Data Task-Specific PSM Abstraction Visualization Sharable Plan-Specification Library OUTPUT -Oriented Verification Validation Explanations Plan Selection - Monitoring Critiquing Plan Execution Future Projection Evaluation Hierarchical Decomposition of Plans Temporal Annotations & Uncertainty Knowledge Roles Preferences Intentions Conditions Effects Plan Layouts & TASKS

4 Hierarchical Decomposition of Plans Parameter Proposition Plans A B C E PLAN AA PLAN A1 D E E F H PLAN A2 G I E Parameter or its Abstraction Value Context Annotation Example: Temperature in the context of controlled ventilation is high for more than 3 hours starting from 24 to 26 hours after I-RDS was diagnosed. (Temperature High Controlled-Ventilation [[24 HOURS, 26 HOURS], [_, _], [3 HOURS,_], I-RDS-diagnosed]) Asbru 's Annotation Asbru s Knowledge Roles (1/2) Definition: [[ESS, LSS], [EFS, LFS], [MinDu, MaxDu], Reference] MinDu Preferences strategy... Effects Arg-dependency Overall MaxDu Reference ESS LSS EFS LFS ESS LSS EFS LFS Example: [[_, _], [_, _], [180 MIN, _], *self*] Earliest Starting Shift Latest Starting Shift Earliest Finishing Shift Latest Finishing Shift 180 Min undef. MinDu MaxDu Reference Point Minimum Duration Maximum Duration *self* undef. undef. undef. undef. Intermediate state Intermediate action Intentions Overall state pattern Overall action pattern Conditions... Plan body Sequential Concurrent Cyclical Parallel Any Order Unorder

5 Asbru s Knowledge Roles (2/2) Filter Setup Suspend Conditions Abort Complete Activate Reactivate I-RDS Example in Asbru 6.5 (PLAN controlled-ventilation (PREFERENCES (SELECT-METHOD BEST-FIT)) (INTENTION:INTERMEDIATE-STATE (MAINTAIN STATE(BG) NORMAL controlled-ventilation *)) (INTENTION:INTERMEDIATE-ACTION (MAINTAIN STATE(RESPIRATOR-SETTING) LOW controlledventilation *)) (SETUP-PRECONDITIONS (PIP (<= 30) I-RDS *now*) (BG available I-RDS [[_, _], [_, _],[1 MIN,_](ACTIVATED initial-phase#1)])) (ACTIVATED-CONDITIONS AUTOMATIC) (ABORT-CONDITIONS ACTIVATED (OR (PIP (> 30) controlled-ventilation [[_, _], [_, _], [30 SEC, _], *self*]) (RATE(BG) TOO-STEEP controlled-ventilation [[_, _], [_, _], [180 MIN,_], *self*]))) (SAMPLING-FREQUENCY 10 SEC)) (COMPLETE-CONDITIONS (FiO2 (<= 50) controlled-ventilation [[_, _], [_, _], [180 MIN, _], *self*]) (PIP (<= 23) controlled-ventilation [[_, _], [_, _], [180 MIN, _], *self*]) (f (<= 60) controlled-ventilation [[_, _], [_, _], [180 MIN, _], *self*]) (patient (NOT DYSPNEIC) controlled-ventilation [[_, _], [_, _], [180 MIN, ], *self*])) (STATE(BG) (OR NORMAL ABOVE-NORMAL) controlled-ventilation [[_, _], [_, _], [180 MIN,_], *self*]) (SAMPLING-FREQUENCY 10 MIN)) (DO-ALL-SEQUENTIALLY (one-of-increase-decrease-ventilation) (observing))) I-RDS Example in Asbru 7.1d <xml version="1.0" encoding="utf-8" > <!DOCTYPE plan-library (View Source for full doctype...)> - <plan-library> - <domain-defs> - <domain name="i-rds"> - <record-def name="patient"> <field-def name="name" type="string" /> <field-def name="sex" type="maleorfemale" /> </record-def> - <qual-scale-def name="rate-change"> <qual-entry entry="normal" /> <qual-entry entry="too-steep" /> </qual-scale-def> - <qual-scale-def name="bg_state"> <qual-entry entry="normal" /> <qual-entry entry="strange" /> <qual-entry entry="critical" /> </qual-scale-def> - <qual-scale-def name="respirator-setting"> <qual-entry entry="low" /> <qual-entry entry="normal" /> <qual-entry entry="high" /> </qual-scale-def> - <qual-scale-def name="maleorfemale"> <qual-entry entry="male" /> <qual-entry entry="female" /> </qual-scale-def> - <qual-scale-def name="facecolor"> <qual-entry entry="not_dypneic" /> <qual-entry entry="dyspneic" /> </qual-scale-def> - <unit-def name="frequency" rounding="nearest"> - <compound-def> <numerator /> - <denominator> <unit-class name="time" exponent="1" /> </denominator> </compound-def> </unit-def> - <unit-def name="flow-unit" rounding="nearest"> - <compound-def> - <numerator> <unit-class exponent="1" name="amount" /> </numerator> <denominator /> </compound-def> </unit-def> - <parameter-def name="bg" required="yes" type="bg_state"> - <qual-parameter-def scale="bg_state"> - <limits> <context-ref name="controlled-ventilation" /> <limit-entry value="1" /> <limit-entry value="5" /> <limit-entry value="7" /> <limit-entry value="9" /> <numerical-constant unit="s" value="30" /> </limits> <raw-data-def mode="manual" /> </qual-parameter-def> <numerical-constant unit="s" value="10" /> </parameter-def> - <parameter-def name="repirator-setting" required="no" type="respirator-setting"> - <qual-parameter-def scale="respirator-setting"> - <limits> <context-ref name="i-rds" /> <limit-entry value="low" /> <limit-entry value="normal" /> <limit-entry value="high" /> <numerical-constant unit="s" value="10" /> </limits> - <spread-def> <numerical-constant unit="s" value="10" /> <numerical-constant unit="s" value="10" /> <raw-data-def mode="automatic" /> </spread-def> </qual-parameter-def> <numerical-constant unit="s" value="10" /> </parameter-def> - <parameter-def name="pip" required="yes" type="pressure"> <raw-data-def mode="automatic" /> <numerical-constant unit="s" value="10" /> </parameter-def> - <parameter-def name="f" required="yes" type="frequency"> <raw-data-def mode="automatic" /> <numerical-constant unit="s" value="30" /> </parameter-def> - <parameter-def name="fio2" required="yes" type="flow-unit"> <raw-data-def mode="automatic" /> <numerical-constant unit="s" value="10" /> </parameter-def> - <parameter-def name="facecolor" required="yes" type="facecolor"> <raw-data-def mode="manual" /> <numerical-constant unit="h" value="1" /> </parameter-def> </domain> </domain-defs> <value-defs /> - <plans> - <group name="controlled-ventilation"> -... Impossible to use for Domain Experts

6 Visualization Challenges AsbruView Hierarchical Decomposition Conditions Plan Types Temporal Order Compulsory vs. Optional Plans Cyclical Plans Temporal Uncertainty Traffic Interface to the Plan-Representation Language Asbru Track 1 Track 2

7 AsbruView s Dimensions Anatomy of a Plan 2. Parallel Plans 3. Subplan Levels Subplan AA Subplan AB Plan A 4. Color Levels Filter Precondition Complete Condition Abort Condition Suspend Condition Reactivate Condition 1. Flow of Parallel Plans Setup Precondition AsbruView vs. Flow-Charts Levels Sequential Plans Topological View Plan A Parallel Plans Y Setup- Precondition Y N Y Fulfill Filter- Precondition Fulfillable N N Find other plan Y N Abort Y daction Plan Completed Complete N Y Suspend N Y Abort plan Reactivate N Y Abort N Temporal View

8 Parallel Plans Some-Any-Order Plans Topological View Topological View Temporal View Temporal View Cyclical Plans Level of Detail Topological View Open Close Temporal View

9 AsbruView AsbruView - SopoView Evaluation Asbru s Usability Metaphors Colors Two Views Annotations Speed (Plan Placement) Transfer of Knowledge Verification and Validation Evaluation of Protocols Knowledge Roles Temporal Dimensions Reuse Quality Assurance

10 Conclusion Overview: Research Projects Asbru Clinical Protocols Asbru not suitable for Physicians AsbruView Graphical Representation Metaphors Glyphs Two Views VIE-PNN Asgaard/Asbru VIE-Nmed VIE-VENT Asgaard/SopoView Pulsoximetry Patient Advocate INPUT -Oriented V & V Plan Verification Protocols Clinical Semantic Depth of Field (SDOF) Data Validation Patient Data + * ** + VIE-Nmed

11 VIE-VENT SopoView Patient Advocate Pulsoximetry

12 VuV Building Blocks -Oriented Skeletal Planning Information Visualization Plan Verification Data Validation Temporal Data Abstraction INPUT -Oriented Clinical Protocols Patient Data * * * + + INPUT -Oriented Plan Verification Clinical Protocols Data Validation Patient Data + * + * * SDOF Principle Idea: 2D SDOF Scene Spatial Arrangement Data 2D 3D Viewing and Camera Model irrelevant focus plane Relevance and Blurring Photorealistic Adaptive... Selection Distance... r [0; 1] b [1; [ relevant

13 Focus and Context: Threats Focus, but no Context... Focus and Context: Threats Focus and Context: Covers

14 Questions Incomes Travels Gewerkschaftspolitik: innerbetrieb. Erhöhung: FAHRTROUTEN A1: Wechsel zwischen Verwendungsgruppen und Wechsel der Firma Monatliches Einkommen in den Jahren 1-25 % Erhöhg. KV-Abschlüsse: 1,15% IST-Abschlüsse: 0,58% normal Theodor Tandler Techniker Er hat die HTL besucht. Er hat Berufserfahrung. Alter: 23 Jahre normal keine Umrhg. End-Umrhg. +Wechsel -Wechsel Summe des Einkommens nach... Jahren Annahmen... ohne gepl.... mit "normale"... keine... mit erfolgreichem für die "normale" Umrhg., aber Fa.wechsel Einkommensentwicklung Umreihung Umrhg. am nach Ar- Einkommensentwicklung in höhere VG Fa.wechsel Ende der VG beitslosigkeit normal keine Umrhg. End-Umrhg. +Wechsel -Wechsel Einstufung zu Beginn 5 Jahre des Arbeitsverhältnisses III 4 10 Jahre Überzahlung zu Beginn 22% 15 Jahre Umreihung in höhere Verwen- 20 Jahre dungsgruppe geplant nach: III 8 25 Jahre Max. Zahl VG-Jahre i. d. VG 18 Bruttogehälter (14mal pro Jahr); Rundung auf 1000,-- ÖS; inflationsbereinigt Letzter EB-Sprung i. d. VG bei 16

Part 3. Icon-based Techniques. Chernoff-Faces, Stick Figures,... SILVIA MiKSCH

Part 3. Icon-based Techniques. Chernoff-Faces, Stick Figures,... SILVIA MiKSCH Part 3 Icon-based Techniques Chernoff-Faces, Stick Figures,... Icon-Based Technique Basic Idea Visualization of Data Values as Features of Icons (Glyphs) ISOTYPE [Neurath 1945] Chernoff-Faces [Chernoff

More information

Linking Clinical Guidelines with Formal Representations

Linking Clinical Guidelines with Formal Representations Linking Clinical Guidelines with Formal Representations Peter Votruba 1, Silvia Miksch 1, and Robert Kosara 2 1 Vienna University of Technology, Inst. of Software Technology & Interactive Systems, Favoritenstraße

More information

Tracing the Formalization Steps of Textual Guidelines

Tracing the Formalization Steps of Textual Guidelines Tracing the Formalization Steps of Textual Guidelines Peter VOTRUBA 1, Silvia MIKSCH 1, Andreas SEYFANG 1, Robert KOSARA 2 1 Asgaard-Group - Institute of Software Technology & Interactive Systems, Vienna

More information

Facilitating Knowledge Maintenance of Clinical Guidelines and Protocols

Facilitating Knowledge Maintenance of Clinical Guidelines and Protocols MEDINFO 2004 M. Fieschi et al. (Eds) Amsterdam: IOS Press 2004 IMIA. All rights reserved Facilitating Knowledge Maintenance of Clinical Guidelines and Protocols Peter Votruba a, Silvia Miksch a, Robert

More information

Linking Clinical Guidelines with Formal Representations

Linking Clinical Guidelines with Formal Representations Linking Clinical Guidelines with Formal Representations extended version of Votruba, P.; Miksch, S.; Kosara, R.: Linking Clinical Guidelines with Formal Representations, in Dojat, M.; Keravnou, E.; Barahona,

More information

Communicating the Logic of a Treatment Plan Formulated in Asbru to Domain Experts

Communicating the Logic of a Treatment Plan Formulated in Asbru to Domain Experts Communicating the Logic of a Treatment Plan Formulated in Asbru to Domain Experts Wolfgang AIGNER and Silvia MIKSCH Institute of Software Technology & Interactive Systems Vienna University of Technology

More information

Advanced Temporal Data Abstraction for Guideline Execution

Advanced Temporal Data Abstraction for Guideline Execution Advanced Temporal Data Abstraction for Guideline Execution Andreas SEYFANG and Silvia MIKSCH Institute for Software Technology and Interactive Systems Vienna University of Technology Austria Abstract.

More information

Guideline Overview Tool (GOT)

Guideline Overview Tool (GOT) Asgaard-TR-2001-4, 2001 Guideline Overview Tool (GOT) Content 1 Field of Application and Purpose 1.1 User 1.2 Input / Output Devices 1.3 Internationalisation 2 Investigation of Software and Concepts Wolfgang

More information

CareVis: Interactive Visualization Methods to Support Protocol-Based Care

CareVis: Interactive Visualization Methods to Support Protocol-Based Care CareVis: Interactive Visualization Methods to Support Protocol-Based Care Wolfgang Aigner Silvia Miksch Vienna University of Technology Institute of Software Technology & Interactive Systems (ISIS) Asgaard-TR-2005-8

More information

Modeling Treatment Processes Using Information Extraction

Modeling Treatment Processes Using Information Extraction Modeling Treatment Processes Using Information Extraction Katharina Kaiser 1 and Silvia Miksch 12 1 Vienna University of Technology Institute of Software Technology & Interactive Systems Vienna, Austria

More information

Adaptive Guideline-based Treatment Workflows with AdaptFlow

Adaptive Guideline-based Treatment Workflows with AdaptFlow In: Kaiser, K., Miksch, S., Tu, S.W. (eds.): Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004). Prague. IOS

More information

A Multiple-Ontology Template-Based Query Interface for a Clinical-Guidelines Search Engine

A Multiple-Ontology Template-Based Query Interface for a Clinical-Guidelines Search Engine A Multiple-Ontology Template-Based Query Interface for a Clinical-Guidelines Search Engine Robert Moskovitch 1 and Tali Lavie 2 and Akiva Leibowitz 1 and Yaron Denekump 3 and Yuval Shahar 1 ABSTRACT. A

More information

A Pattern-based Analysis of Clinical Computer- Interpretable Guideline Modeling Languages

A Pattern-based Analysis of Clinical Computer- Interpretable Guideline Modeling Languages Page 1 of 45 pages A Pattern-based Analysis of Clinical Computer- Interpretable Guideline Modeling Languages Nataliya Mulyar 1 MSc, Wil M.P. van der Aalst 1 PhD, Mor Peleg 2 PhD Affiliations of the authors:

More information

Power Quality Grid quality, from Measurement to Analysis. Andreas Dungl, Sales Energy Automation Systems

Power Quality Grid quality, from Measurement to Analysis. Andreas Dungl, Sales Energy Automation Systems Power Quality Grid quality, from Measurement to Analysis Andreas Dungl, Sales Energy Automation Systems siemens.at/future-of-energy Power Quality from measuring toward analysis Table of content Power Quality

More information

KNAVE-II: A Distributed Architecture for Interactive Visualization and Intelligent Exploration of Time- Oriented Clinical Data

KNAVE-II: A Distributed Architecture for Interactive Visualization and Intelligent Exploration of Time- Oriented Clinical Data KNAVE-II: A Distributed Architecture for Interactive Visualization and Intelligent Exploration of Time- Oriented Clinical Data Yuval Shahar, Dina Goren-Bar, Maya Galperin, David Boaz, and Gil Tahan Department

More information

System Models. 2.1 Introduction 2.2 Architectural Models 2.3 Fundamental Models. Nicola Dragoni Embedded Systems Engineering DTU Informatics

System Models. 2.1 Introduction 2.2 Architectural Models 2.3 Fundamental Models. Nicola Dragoni Embedded Systems Engineering DTU Informatics System Models Nicola Dragoni Embedded Systems Engineering DTU Informatics 2.1 Introduction 2.2 Architectural Models 2.3 Fundamental Models Architectural vs Fundamental Models Systems that are intended

More information

The EON Guideline Modeling System

The EON Guideline Modeling System The EON Guideline Modeling System Samson W. Tu Stanford Medical Informatics Stanford University School of Medicine Stanford, CA Overview Introduction to EON architecture for creating DSS for guideline-based

More information

A FUZZY ARDEN SYNTAX COMPILER Fehre K 1, 2, Mandl H 2, Adlassnig K-P 1, 2

A FUZZY ARDEN SYNTAX COMPILER Fehre K 1, 2, Mandl H 2, Adlassnig K-P 1, 2 A FUZZY ARDEN SYNTAX COMPILER Fehre K 1, 2, Mandl H 2, Adlassnig K-P 1, 2 Abstract The Arden Syntax for Medical Logic Systems is a standard for clinical knowledge representation, maintained by the Health

More information

High Power Density Surface Mount TRANSZORB Transient Voltage Suppressors

High Power Density Surface Mount TRANSZORB Transient Voltage Suppressors High Power Density Surface Mount TRANSZORB Transient Voltage Suppressors DO-214AA (SMB J-Bend) PRIMARY CHARACTERISTICS V BR (uni-directional) 6.4 V to 49.1 V V BR (bi-directional) 6.4 V to 49.1 V V WM

More information

Towards Systematic Model-Based Development of Patient Management Systems

Towards Systematic Model-Based Development of Patient Management Systems ztipanovits Towards Systematic Model-Based Development of Management Systems Lisa Weavind MD VUMC, Vanderbilt University Dan Albert Informatics Center, Vanderbilt University Janos Mathe, Andras Nadas ISIS,

More information

Visual Analysis of Human Health Data

Visual Analysis of Human Health Data Visual Analysis of Human Health Data Petra Schulze-Wollgast, Christian Tominski, and Heidrun Schumann Department of Computer Science University of Rostock (Germany) 14 th IRMA International Conference,

More information

Workshop on semantic interoperability

Workshop on semantic interoperability Workshop on semantic interoperability Thoughts from the HIS perspective Dr. Sven Tiffe GWI Research GmbH, Vienna Clinical Decision Support Systems Head of Section 14./15.02.2005 Workshop on semantic interoperability

More information

Adaptive Medical Information Delivery Combining User, Task and Situation Models

Adaptive Medical Information Delivery Combining User, Task and Situation Models Adaptive Medical Information Delivery Combining User, Task and Situation s Luis Francisco-Revilla and Frank M. Shipman III Department of Computer Science Texas A&M University College Station, TX 77843-3112,

More information

No conflict of interest to disclose

No conflict of interest to disclose DEVELOPING EFFECTIVE CASE REPORT FORMS MAKING YOUR CRF WORK FOR YOU CONFLICT OF INTEREST DISCLAIMER No conflict of interest to disclose PRESENTED BY ROXANNE WARD CLINICAL RESEARCH PROGRAM MANAGER, KSG

More information

6. Operatoren. 7. Safe Programming: Assertions. Table of Operators. Table of Operators - Explanations. Tabular overview of all relevant operators

6. Operatoren. 7. Safe Programming: Assertions. Table of Operators. Table of Operators - Explanations. Tabular overview of all relevant operators 6. Operatoren Tabular overview of all relevant operators 180 Table of Operators Description Operator Arity Precedence Associativity Object member access. 2 16 left Array access [ ] 2 16 left Method invocation

More information

Software Architecture. Lecture 4

Software Architecture. Lecture 4 Software Architecture Lecture 4 Last time We discussed tactics to achieve architecture qualities We briefly surveyed architectural styles 23-Jan-08 http://www.users.abo.fi/lpetre/sa08/ 2 Today We check

More information

Supplementary Online Content

Supplementary Online Content Supplementary Online Content Lascarrou JB, Boisrame-Helms J, Bailly A, et al; for the Clinical Research in Intensive Care and Sepsis (CRICS) Group. Video laryngoscopy vs direct laryngoscopy on successful

More information

Achieving interoperability between Arden- Syntax-based clinical decision support and openehr-based data systems

Achieving interoperability between Arden- Syntax-based clinical decision support and openehr-based data systems Achieving interoperability between Arden- Syntax-based clinical decision support and openehr-based data systems Martin SPINETH a,b, Andrea RAPPELSBERGER c and Klaus-Peter ADLASSNIG b,c 1 a University of

More information

Business Architecture in Healthcare

Business Architecture in Healthcare Business Architecture in Healthcare ehealth IS CREATING A PERFECT STORM FOR CHANGING HEALTHCARE DELIVERY Office of the CIO Delivering ehealth Ireland Healthcare is a system of relationships Test Harness

More information

The VesselGlyph: Focus & Context Visualization in CT-Angiography

The VesselGlyph: Focus & Context Visualization in CT-Angiography The VesselGlyph: Focus & Context Visualization in CT-Angiography Matúš Straka M. Šrámek, A. La Cruz E. Gröller, D. Fleischmann Contents Motivation:» Why again a new visualization method for vessel data?

More information

The Time Diagram Control Approach for the Dynamic Representation of Time-oriented Data

The Time Diagram Control Approach for the Dynamic Representation of Time-oriented Data Proceedings of IMCIC - ICSIT 2016 The Time Diagram Control Approach for the Dynamic Representation of Time-oriented Data Johann Wittwer & Pascal Bürgy University of Applied Sciences and Arts Northwestern

More information

Clinical Decision Support

Clinical Decision Support Clinical Decision Support W. Ed Hammond, Ph.D. Director, Duke Center for Health Informatics Clinical Decision Support Clinical decision support (CDS) systems apply information technology to address, in

More information

8/3/2017. Contour Assessment for Quality Assurance and Data Mining. Objective. Outline. Tom Purdie, PhD, MCCPM

8/3/2017. Contour Assessment for Quality Assurance and Data Mining. Objective. Outline. Tom Purdie, PhD, MCCPM Contour Assessment for Quality Assurance and Data Mining Tom Purdie, PhD, MCCPM Objective Understand the state-of-the-art in contour assessment for quality assurance including data mining-based techniques

More information

CSE544 Database Architecture

CSE544 Database Architecture CSE544 Database Architecture Tuesday, February 1 st, 2011 Slides courtesy of Magda Balazinska 1 Where We Are What we have already seen Overview of the relational model Motivation and where model came from

More information

SPIN Model Checking for the Verification of Clinical Guidelines

SPIN Model Checking for the Verification of Clinical Guidelines SPIN Model Checking for the Verification of Clinical Guidelines Paolo Terenziani and Laura Giordano and Alessio Bottrighi and Stefania Montani and Loredana Donzella 1 Abstract. In this paper, we propose

More information

Teaching and Training Formal Methods for Safety Critical Systems

Teaching and Training Formal Methods for Safety Critical Systems Teaching and Training Formal Methods for Safety Critical Systems Michael Lipaczewski and Frank Ortmeier Computer Systems in Engineering Otto-von-Guericke University Magdeburg {michael.lipaczewski,frank.ortmeier}@ovgu.de

More information

TimeBench: A Data Model and Software Library for Visual Analytics of Time-Oriented Data

TimeBench: A Data Model and Software Library for Visual Analytics of Time-Oriented Data TimeBench: A Data Model and Software Library for Visual Analytics of Time-Oriented Data Alexander Rind, Tim Lammarsch, Wolfgang Aigner, Bilal Alsallakh, and Silvia Miksch Vienna University of Technology,

More information

The Middle of a MEDITECH Environment

The Middle of a MEDITECH Environment The Middle of a MEDITECH Environment Delivering Value with an Interface Engine About the Author: Jenny Gilberg Jenny Gilberg is an interface analyst for SISU Medical Systems, a consortium of Minnesota

More information

Executive Summary for deliverable D6.1: Definition of the PFS services (requirements, initial design)

Executive Summary for deliverable D6.1: Definition of the PFS services (requirements, initial design) Electronic Health Records for Clinical Research Executive Summary for deliverable D6.1: Definition of the PFS services (requirements, initial design) Project acronym: EHR4CR Project full title: Electronic

More information

DESIGN AND REALISATION OF A FRAMEWORK FOR DEVICE ENDCOMMUNICATION ACCORDING TO THE IEEE STANDARD

DESIGN AND REALISATION OF A FRAMEWORK FOR DEVICE ENDCOMMUNICATION ACCORDING TO THE IEEE STANDARD DESIGN AND REALISATION OF A FRAMEWORK FOR DEVICE ENDCOMMUNICATION ACCORDING TO THE IEEE 11073-20601 STANDARD Frohner M 1, Urbauer P 1, Bauer M 1, Gerbovics F 1, Mense A 2, Sauermann S 1 Abstract The standardization

More information

SEO Editorial Guidelines , Aperto

SEO Editorial Guidelines , Aperto SEO Editorial Guidelines 02.12.2016, Aperto Agenda I= For Info 1 General Information on Keyword Placement I 2 Keyword Placement in Meta Information and URL I 3 Headings I 4 Content I 5 Images and Videos

More information

Towards Process-oriented Hospital Information Systems: Some Insights into Requirements, Technical Challenges and Possible Solutions

Towards Process-oriented Hospital Information Systems: Some Insights into Requirements, Technical Challenges and Possible Solutions Appeared in: Proc. 43. Jahrestagung der GMDS (GMDS 98), Bremen, 1998, pp. 175-180 Towards Process-oriented Hospital Information Systems: Some Insights into Requirements, Technical Challenges and Possible

More information

Traditional Approaches to Modeling

Traditional Approaches to Modeling Traditional Approaches to Modeling Timeliness, Performance and How They Relate to Modeling, Architecture and Design Mark S. Gerhardt Chief Architect Pittsburgh, PA 15213 Levels of Real Time Performance

More information

Computer-Based Protocols systems in Healthcare. Aim of Computer-Based Protocol

Computer-Based Protocols systems in Healthcare. Aim of Computer-Based Protocol Computer-Based Protocols systems in Healthcare Chapter 13 Aim of Computer-Based Protocol The goal of a computer-based protocol system is to provide a set of tools that allow a clinician to access up-todate

More information

Proteus A Model for Clinical Protocols Created from Knowledge Components

Proteus A Model for Clinical Protocols Created from Knowledge Components Proteus A Model for Clinical Protocols Created from Knowledge Components Hemant Shah National Library of Medicine, Bethesda, MD, USA h.shah@computer.org Abstract We describe a model Proteus, for clinical

More information

Radiologists will love the APPC Austrian PACS Procedure Code

Radiologists will love the APPC Austrian PACS Procedure Code Radiologists will love the APPC Austrian PACS Procedure Code Franz Frühwald What is the APPC? A coding system for radiologic anatomy, modalities and procedures to support automated retrieval of relevant

More information

EE382N.23: Embedded System Design and Modeling

EE382N.23: Embedded System Design and Modeling EE382N.23: Embedded System Design and Modeling Lecture 3 Language Semantics Andreas Gerstlauer Electrical and Computer Engineering University of Texas at Austin gerstl@ece.utexas.edu Lecture 3: Outline

More information

Clinical Decision Support

Clinical Decision Support Clinical Decision Support Charles Jaffe, MD, PhD Chief Executive Officer Orlando February 21, 2011 Clinical Decision Support Clinical decision support (CDS) systems apply information technology to address,

More information

9/7/2015. Outline for today s lecture. Problem Solving Agents & Problem Formulation. Task environments

9/7/2015. Outline for today s lecture. Problem Solving Agents & Problem Formulation. Task environments Problem Solving Agents & Problem Formulation Defining Task Environments (AIMA 2.3) Environment types Formulating Search Problems Search Fundamentals AIMA 2.3, 3.1-3 2 3 Task environments To design a rational

More information

Visualization of Node Interaction Dynamics in Network Traces

Visualization of Node Interaction Dynamics in Network Traces Visualization of Node Interaction Dynamics in Network Traces Jürgen Schönwälder AIMS 2009, Enschede, 2009-07-01 Co-authors: Petar Dobrev, Sorin Stancu-Mara Support: EU IST-EMANICS Network of Excellence

More information

Remote Control. IMMS.de

Remote Control. IMMS.de Remote Control Statecharts Kurzdefinition [Harel88]: Statecharts = state-diagrams + depth + orthogonality + broadcast communication Statecharts Elements (1) Events (e.g. txt)» Typeless» no value (it exists

More information

2017 GridGain Systems, Inc. In-Memory Performance Durability of Disk

2017 GridGain Systems, Inc. In-Memory Performance Durability of Disk In-Memory Performance Durability of Disk Meeting the Challenges of Fast Data in Healthcare with In-Memory Technologies Akmal Chaudhri Technology Evangelist GridGain Agenda Introduction Fast Data in Healthcare

More information

Embedded Software Engineering

Embedded Software Engineering Embedded Software Engineering 3 Unit Course, Spring 2002 EECS Department, UC Berkeley Christoph Kirsch www.eecs.berkeley.edu/~fresco/giotto/course-2002 It s significant $4 billion development effort >

More information

Sharing information in a traffic management centre

Sharing information in a traffic management centre 22 nd ITS World Congress, Bordeaux, France, 5 9 October 2015 Paper number ITS-2479 Henk den Breejen Technolution B.V., P.O. Box 2013, 2800 BD Gouda, The Netherlands, T: +31 182 59 40 00 E: henk.den.breejen@technolution.eu

More information

Block 1: Introduction Overview, Requirements, Knowledge Profiles. FH-Prof. DI Dr. Stefan Sauermann Juliane Herzog, MSc.

Block 1: Introduction Overview, Requirements, Knowledge Profiles. FH-Prof. DI Dr. Stefan Sauermann Juliane Herzog, MSc. Block 1: Introduction Overview, Requirements, Knowledge Profiles FH-Prof. DI Dr. Stefan Sauermann Juliane Herzog, MSc. University of Applied Sciences Technikum Wien University of Applied Sciences (UAS)

More information

A Normative Language Approach to the Application of Petri Nets for Clinical Workflows

A Normative Language Approach to the Application of Petri Nets for Clinical Workflows A Normative Language Approach to the Application of Petri Nets for Clinical Workflows Kamyar Sarshar, Peter Loos Johannes Gutenberg-Universität Mainz Information Systems & Management Lehrstuhl Wirtschaftsinformatik

More information

Einführung in die Kognitive Ergonomie

Einführung in die Kognitive Ergonomie 185 Vorlesung 10, den 20. Januar 2000 186 185 Vorlesung 10, den 20. Januar 2000 Donnerstag, den 20. Januar 2000 Einführung in die Kognitive Ergonomie Wintersemester 1999/2000 1. Usability Principles (continued)

More information

How useful is the UML profile SPT without Semantics? 1

How useful is the UML profile SPT without Semantics? 1 How useful is the UML profile SPT without Semantics? 1 Susanne Graf, Ileana Ober VERIMAG 2, avenue de Vignate - F-38610 Gières - France e-mail:{susanne.graf, Ileana.Ober}@imag.fr http://www-verimag.imag.fr/~{graf,iober}

More information

Service-Oriented Arden-Syntax-Based Clinical Decision Support

Service-Oriented Arden-Syntax-Based Clinical Decision Support Service-Oriented Arden-Syntax-Based Clinical Decision Support Journal: AMIA 2010 Annual Symposium Manuscript ID: AMIA-1182-A2009 Manuscript Type: Paper Date Submitted by the Author: 15-Mar-2010 Complete

More information

DETERMINISTIC RECORD LINKAGE OF HEALTH DATA AS PREPARATORY WORK IN MODELLING AND SIMULATION USE CASE: HOSPITALIZATIONS IN AUSTRIA

DETERMINISTIC RECORD LINKAGE OF HEALTH DATA AS PREPARATORY WORK IN MODELLING AND SIMULATION USE CASE: HOSPITALIZATIONS IN AUSTRIA DETERMINISTIC RECORD LINKAGE OF HEALTH DATA AS PREPARATORY WORK IN MODELLING AND SIMULATION USE CASE: HOSPITALIZATIONS IN AUSTRIA Barbara Glock (a), Florian Endel (b), Gottfried Endel (c) (a) dwh simulation

More information

Executing Clinical Practice Guidelines using the SAGE Execution Engine

Executing Clinical Practice Guidelines using the SAGE Execution Engine Executing Clinical Practice Guidelines using the SAGE Execution Engine Prabhu Ram PhD a, David Berg BA a, Samson Tu MS b, Guy Mansfield PhD a, Qin Ye MD MS a, Robert Abarbanel MD PhD a, Nick Beard MD MSc

More information

Semantic SOA - Realization of the Adaptive Services Grid

Semantic SOA - Realization of the Adaptive Services Grid Semantic SOA - Realization of the Adaptive Services Grid results of the final year bachelor project Outline review of midterm results engineering methodology service development build-up of ASG software

More information

Lecture #8: Correlation. Matthijs Koot / SNE-IDS college 07-08

Lecture #8: Correlation. Matthijs Koot / SNE-IDS college 07-08 Lecture #8: Correlation Faculteit van Natuurwetenschappen, Wiskunde en Informatica Universiteit van Amsterdam 2008-04-24 / SNE-IDS college 07-08 Outline Common problems with point-solution IDSs. Common

More information

Open-Source Publishing of Medical Knowledge for Creation of Computer-Interpretable Guidelines

Open-Source Publishing of Medical Knowledge for Creation of Computer-Interpretable Guidelines Open-Source Publishing of Medical Knowledge for Creation of Computer-Interpretable Guidelines Mor Peleg 1, Rory Steele 2, Richard Thomson 2,3, Vivek Patkar 2, Tony Rose 2, John Fox 2,3 1Department of Management

More information

Mapping and Configuration Methods for Multi-Use-Case Networks on Chips

Mapping and Configuration Methods for Multi-Use-Case Networks on Chips Mapping and Configuration Methods for Multi-Use-Case Networks on Chips Srinivasan Murali, Stanford University Martijn Coenen, Andrei Radulescu, Kees Goossens, Giovanni De Micheli, Ecole Polytechnique Federal

More information

Applying Artificial Intelligence to Clinical Guidelines: the GLARE Approach?

Applying Artificial Intelligence to Clinical Guidelines: the GLARE Approach? Applying Artificial Intelligence to Clinical Guidelines: the GLARE Approach? Paolo Terenziani 1, Stefania Montani 1, Alessio Bottrighi 1, Mauro Torchio 2, Gianpaolo Molino 2, Luca Anselma 3, and Gianluca

More information

5. Garbage Collection

5. Garbage Collection Content of Lecture Compilers and Language Processing Tools Summer Term 2011 Prof. Dr. Arnd Poetzsch-Heffter Software Technology Group TU Kaiserslautern c Prof. Dr. Arnd Poetzsch-Heffter 1 1. Introduction

More information

Certificate in Clinician Performed Ultrasound (CCPU)

Certificate in Clinician Performed Ultrasound (CCPU) Certificate in Clinician Performed Ultrasound (CCPU) Syllabus Physics Tutorial Physics Tutorial Purpose: Training: Assessments: This unit is designed to cover the theoretical and practical curriculum for

More information

Temporal Information Systems in Medicine

Temporal Information Systems in Medicine Carlo Combi, Elpida Keravnou, Yuval Shahar Temporal Information Systems in Medicine January 17, 2010 Springer This book is dedicated to our families, who supported us and waited patiently for a decade

More information

DAML Ontologies for Agent-Enabled Web Services

DAML Ontologies for Agent-Enabled Web Services DAML Ontologies for Agent-Enabled Web Services Sheila A. McIlraith Knowledge Systems Laboratory (KSL) Department of Computer Science Stanford University (withtran Cao Son and Honglei Zeng) Background The

More information

Mobile Technology and Clinical Telemedicine a System Perspective. Dr Rob Williams Ontario Telemedicine Network April 28, 2012

Mobile Technology and Clinical Telemedicine a System Perspective. Dr Rob Williams Ontario Telemedicine Network April 28, 2012 Mobile Technology and Clinical Telemedicine a System Perspective Dr Rob Williams Ontario Telemedicine Network April 28, 2012 Overview About OTN Mobile devices supporting OTN s clinical services Considerations

More information

FXD A new exchange format for fault symptom descriptions

FXD A new exchange format for fault symptom descriptions FXD A new exchange format for fault symptom descriptions Helmut Wellnhofer, Matthias Stampfer, Michael Hedenus, Michael Käsbauer Abstract A new format called FXD (=Fault symptom exchange Description) was

More information

Annotation for the Semantic Web During Website Development

Annotation for the Semantic Web During Website Development Annotation for the Semantic Web During Website Development Peter Plessers and Olga De Troyer Vrije Universiteit Brussel, Department of Computer Science, WISE, Pleinlaan 2, 1050 Brussel, Belgium {Peter.Plessers,

More information

Supporting Imprecision in Multidimensional Databases Using Granularities

Supporting Imprecision in Multidimensional Databases Using Granularities Supporting Imprecision in Multidimensional Databases Using Granularities Torben Bach Pedersen Christian S. Jensen Curtis E. Dyreson Center for Health Information Services, Kommunedata, P.O. Pedersens Vej

More information

The Application of Automated Planning to Machine Tool Calibration

The Application of Automated Planning to Machine Tool Calibration The Application of Automated Planning to Machine Tool Calibration S. Parkinson 1 A. P. Longstaff 1 A. Crampton 2 P. Gregory 2 1 Centre for Precision Technologies 2 Department of Informatics School of Computing

More information

Error Assessment for Emerging Traffic Data Collection Devices

Error Assessment for Emerging Traffic Data Collection Devices Error Assessment for Emerging Traffic Data Collection Devices Ted Bailey, WSDOT Ron Vessey, WSDOT Bahar Namaki, Aalborg Univ. Jonathan Corey, UW Yegor Malinovskiy, UW Yinhai Wang, UW 1 Presentation Outline

More information

Michalis Famelis and Stephanie Santosa. May 18th, University of Toronto. Models in Software Engineering Workshop at ICSE

Michalis Famelis and Stephanie Santosa. May 18th, University of Toronto. Models in Software Engineering Workshop at ICSE : A Michalis Famelis and Stephanie Santosa University of Toronto May 18th, 2013 s in Software Engineering Workshop at ICSE 1 / 27 The reality of today s software systems requires us to consider uncertainty

More information

Visualisation : Lecture 1. So what is visualisation? Visualisation

Visualisation : Lecture 1. So what is visualisation? Visualisation So what is visualisation? UG4 / M.Sc. Course 2006 toby.breckon@ed.ac.uk Computer Vision Lab. Institute for Perception, Action & Behaviour Introducing 1 Application of interactive 3D computer graphics to

More information

Computer Support for the Analysis and Improvement of the Readability of IT-related Texts

Computer Support for the Analysis and Improvement of the Readability of IT-related Texts Computer Support for the Analysis and Improvement of the Readability of IT-related Texts Matthias Holdorf, 23.05.2016, Munich Software Engineering for Business Information Systems (sebis) Department of

More information

Regulatory Aspects of Digital Healthcare Solutions

Regulatory Aspects of Digital Healthcare Solutions Regulatory Aspects of Digital Healthcare Solutions TÜV SÜD Product Service GmbH Dr. Markus Siebert Rev. 02 / 2017 02.05.2017 TÜV SÜD Product Service GmbH Slide 1 Contents Digital solutions as Medical Device

More information

Programming Languages for Real-Time Systems. LS 12, TU Dortmund

Programming Languages for Real-Time Systems. LS 12, TU Dortmund Programming Languages for Real-Time Systems Prof. Dr. Jian-Jia Chen LS 12, TU Dortmund 20 June 2016 Prof. Dr. Jian-Jia Chen (LS 12, TU Dortmund) 1 / 41 References Slides are based on Prof. Wang Yi, Prof.

More information

Living with HIPAA: Compendium of Next steps from Rural Hospitals to Large Health Systems to Physician Practices

Living with HIPAA: Compendium of Next steps from Rural Hospitals to Large Health Systems to Physician Practices Living with HIPAA: Compendium of Next steps from Rural Hospitals to Large Health Systems to Physician Practices Presented by HIPAA Pros 5th Annual HIPAA Summit Baltimore, Maryland October 31. 2002 Living

More information

«Computer Science» Requirements for applicants by Innopolis University

«Computer Science» Requirements for applicants by Innopolis University «Computer Science» Requirements for applicants by Innopolis University Contents Architecture and Organization... 2 Digital Logic and Digital Systems... 2 Machine Level Representation of Data... 2 Assembly

More information

Ch 4: Requirements Engineering. What are requirements?

Ch 4: Requirements Engineering. What are requirements? Ch 4: Engineering What are? Functional and non-functional The software document specification engineering processes elicitation and analysis validation management The descriptions of what the system should

More information

A ProM Operational Support Provider for Predictive Monitoring of Business Processes

A ProM Operational Support Provider for Predictive Monitoring of Business Processes A ProM Operational Support Provider for Predictive Monitoring of Business Processes Marco Federici 1,2, Williams Rizzi 1,2, Chiara Di Francescomarino 1, Marlon Dumas 3, Chiara Ghidini 1, Fabrizio Maria

More information

By Bonemap Extending Isadora s 3D Particles and 3D Model Particles

By Bonemap Extending Isadora s 3D Particles and 3D Model Particles Extending Isadora s 3D Particles and 3D Model Particles By Bonemap 2018 Page 1 v.1 Extending Isadora s 3D Particles and 3D Model Particles with media instances By Bonemap 2018 One of the more difficult

More information

Outline. The MammoGrid project Meta-Data and domain ontology (flexibility) Meta-Data, services and grid (openness) Query negotiator Outlook

Outline. The MammoGrid project Meta-Data and domain ontology (flexibility) Meta-Data, services and grid (openness) Query negotiator Outlook The Role of MetaData in ing Grid-Resident Medical Images Tamás Hauer University of West England CERN IST Workshop on Metadata Management in Grid and P2P Systems 16 th December 2003 Outline The MammoGrid

More information

Low Capacitance, Single-Line ESD Protection Diode

Low Capacitance, Single-Line ESD Protection Diode VBUS51BD-HD1 Low Capacitance, Single-Line ESD Protection Diode 1 MARKING (example only) 856 XY Bar = cathode marking Y = type code (see table below) X = date code 111 855 DESIGN SUPPORT TOOLS click logo

More information

medexter clinical decision support

medexter clinical decision support Arden Syntax overview Educational material, part 2 (of 5) Medexter Healthcare Borschkegasse 7/5 A-1090 Vienna www..com www.meduniwien.ac.at/kpa (academic) Better care, patient safety, and quality assurance

More information

Representation of Action Spaces in Multiple Levels of Detail

Representation of Action Spaces in Multiple Levels of Detail Representation of Action Spaces in Multiple Levels of Detail Andreas Hasselberg Dirk Söffker Institute of Flight Guidance, German Aerospace Center, Braunschweig, Germany (e-mail: andreas.hasselberg@dlr.de)

More information

Towards an Environment under which Executing LAPs

Towards an Environment under which Executing LAPs Towards an Environment under which Executing s J.B. Mocholí, D. Domínguez. C. Fernández Tecnologías para la Salud y el Bienestar (TSB), Instituto ITACA, Universidad Politécnica de Valencia (UPV) {juamocag,

More information

Populating the i2b2 Database with Heterogeneous EMR Data: a Semantic Network Approach

Populating the i2b2 Database with Heterogeneous EMR Data: a Semantic Network Approach Populating the i2b2 Database with Heterogeneous EMR Data: a Semantic Network Approach Sebastian Mate a,1, Thomas Bürkle a, Felix Köpcke a, Bernhard Breil b, Bernd Wullich c, Martin Dugas b, Hans-Ulrich

More information

Surface Mount TRANSZORB Transient Voltage Suppressors

Surface Mount TRANSZORB Transient Voltage Suppressors Surface Mount TRANSZORB Transient Voltage Suppressors PRIMARY CHARACTERISTICS V WM (uni-directional) 5.8 V to 459 V V WM (bi-directional) 5.8 V to 185 V V BR (uni-directional) 6.8 V to 540 V V BR (bi-directional)

More information

CS:2820 (22C:22) Object-Oriented Software Development

CS:2820 (22C:22) Object-Oriented Software Development The University of Iowa CS:2820 (22C:22) Object-Oriented Software Development! Spring 2015 Software Complexity by Cesare Tinelli Complexity Software systems are complex artifacts Failure to master this

More information

Integrated HW/SW Systems: Requirements

Integrated HW/SW Systems: Requirements TECHNISCHE UNIVERSITÄT ILMENAU Integrated HW/SW Systems: Requirements Integrated Communication Systems http://www.tu-ilmenau.de/iks Analysis process Functional requirements Performance requirements Real-time

More information

Benchmarks of medical dosimetry simulation on the grid

Benchmarks of medical dosimetry simulation on the grid IEEE NSS 2007 Honolulu, HI, USA 27 October 3 November 2007 Benchmarks of medical dosimetry simulation on the grid S. Chauvie 1,6, A. Lechner 4, P. Mendez Lorenzo 5, J. Moscicki 5, M.G. Pia 6,G.A.P. Cirrone

More information

Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming

Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming Matteo Spiotta 1,2, Alessio Bottrighi 1, and Daniele Theseider Dupré 1 1 DISIT, Sezione

More information

Interactive Inverted Perspective Rendering for Architectural Visualization

Interactive Inverted Perspective Rendering for Architectural Visualization Interactive Inverted Perspective Rendering for Architectural Visualization Vinod Srinivasan Ozan Ozener Ergun Akleman 2005 June 20th 22nd Vienna University of Technology Vienna, Austria Visualization Sciences

More information

Interference-Aware Real-Time Flow Scheduling for Wireless Sensor Networks

Interference-Aware Real-Time Flow Scheduling for Wireless Sensor Networks Interference-Aware Real-Time Flow Scheduling for Wireless Sensor Networks Octav Chipara, Chengjie Wu, Chenyang Lu, William Griswold University of California, San Diego Washington University in St. Louis

More information

Image registration for agricultural sensing tasks

Image registration for agricultural sensing tasks Ref: C0xxx Image registration for agricultural sensing tasks Berenstein Ron, Ben-Gurion University of the Negev, Beer Sheva, Israel, berensti@bgu.ac.il Ben-Shahar Ohad, Ben-Gurion University of the Negev,

More information