LEADER 09434nam 2200409 450 001 9910817502403321 005 20230817193404.0 010 $a1-61499-951-1 035 $a(CKB)4100000008275023 035 $a(OCoLC)1101904027 035 $a(MiAaPQ)EBC5775655 035 $a(EXLCZ)994100000008275023 100 $a20190607d2019 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aImproving usability, safety and patient outcomes with health information technology $efrom research to practice /$feditors, Francis Lau [and eight others] 210 1$aAmsterdam, Netherlands :$cIOS Press,$d2019. 215 $a1 online resource (570 pages) 225 1 $aStudies in health technology and informatics ;$vVolume 257 311 $a1-61499-950-3 327 $gPreface -- ITCH 2019 Steering Committee -- ITCH 2019 Scientific Review Committee -- Alphabetical listing of paper by first author: A.$tReview of mobile apps for prevention and management of opioid-related harm --$tAxe the fax: what users think of electronic referral --$tEarly usability assessment of a conversational agent for HPV vaccination --$tTowards developing an ehealth equity conceptual framework --$gB.$tFactors associated with increased adoption of a research data warehouse --$tAdoption strategies for electronic patient portals: employing advanced data mining and analytics --$tAdvancing telehealth nursing practice in oncology: factors affecting nurse use of electronic symptom management guidelines --$gC.$tReason for use: an opportunity to improve patient safety --$tLinking health records with knowledge sources using OWL and RDF --$tEmbedding health literacy tools in patient EHR portals to facilitate productive patient engagement --$tApplying the behavior change technique taxonomy to mobile health applications: a protocol --$gD.$tPatient empowerment: the role of technology --$tData for adherence decision support --$gE.$tFHIRForm: an open-source framework for the management of electronic forms in healthcare --$tDeath: the simple clinical trial endpoint --$tEstimating clinical trial bleeding events using electronic health record data --$tInsight into health care outcomes for persons living with heart failure using health data analytics --$tICT-based interventions for women experiencing intimate partner violence: research needs in usability and mental health --$tGuiding improvements in user experience: results of a mental health patient portal user interface assessment --$gG.$teSource for standardized health information exchange in clinical research: a systematic review --$tDevelopment of data validation rules for therapeutic area standard data elements in four mental health domains to improve the quality of FDA submissions --$tEffects of telenursing triage and advice on healthcare costs and resource use --$tUse of agile project methodology in health care IT implementations: a scoping review --$tGhosts in the machine: identifying the digital health information workforce --$gH.$tThe value of patient-peer support in improving hospital safety --$tAn informatics framework for maternal and child health (MCH) monitoring --$tThe use of head-worn augmented reality displays in health communications --$tUsing a Markov chain model to analyze the relationship between avoidable days and critical care capacity --$tUsing digital health to support best practices: impact of MRI ordering guidelines embedded within an electronic referral solution --$gJ.$tEffectiveness of e-learning in a medical school 2.0 model: comparison of item analysis for student-generated vs. faculty-generated multiple-choice questions --$tFactors affecting adherence with telerehabilitation in patients with multiple sclerosis --$gK.$tPhysicians' experiences on EHR usability: a time series from 2010, 2014 and 2017 --$tDevelopment of the patient experience questionnaire for parents of pediatric patients (PEQP) --$tEncouraging the use of ehealth services: a survey of patients' experiences --$tCanadian validation of German medical emergency datasets --$tHealthcare data are remarkably vulnerable to hacking: connected healthcare delivery increases the risks --$tUpdated mapping of telemedicine projects in Denmark --$tA Hadoop/MapReduce based platform for supporting health big data analytics --$tDevelopment of a video coding scheme focused on socio-technical aspects of human-computer interaction in healthcare --$tApproaches to demonstrating the effectiveness and impact of usability testing of healthcare information technology --$tDigital process innovation for patient centered cancer symptom management --$gL.$tTools for engaging patients on patient platforms: a classification framework --$tApplying the effective technology use model to implementation of electronic consult management software --$tPatient and family member readiness, needs, and perceptions of a mental health patient portal: a mixed methods study --$tImproving access to healthcare with on-line medical appointment system --$tSystem dynamics in remote monitoring service for cardiovascular implantable electronic devices --$tSmart homes for healthcare --$tData migration from operating EMRs to OpenEMR with Mirth Connect --$gM.$tA preliminary conceptual framework in knowledge translation and health information technology for transparency in policy-making (the KhITT framework) --$tModeling keyword search strategy: analysis of pharmacovigilance specialists' search of MedDRA terms --$tUncovering the mysteries of electronic medication reconciliation --$tElectronic physician profiles: developing an interactive web-based report for physicians at Island Health --$tPutting guidelines in the hands of patients: a heuristic evaluation of a consumer mobile application --$t"Real-world" de-identification of high-dimensional transactional health datasets --$gN.$tChallenges in displaying health data on small smartwatch screens --$tEvaluative outcomes in direct extraction and use of EHR data in clinical trials --$gP.$tDesigning health information for mutual empowerment in the joint journey of patients and healthcare professionals --$tA qualitative evidence synthesis of adverse event detection methodologies --$gQ.$tA usability evaluation of the InfoSAGE app for family-based medication management --$gR.$tRealizing quality & experience benefits through eHR adoption & use: a conceptual model --$tDevelopment of an interprofessional educational electronic health record --$gS.$tNext generation EHRs - what problems are these systems aiming to solve? --$tThought spot: embedding usability testing into the development cycle --$tThe ehealth trust model: a patient privacy research framework --$tEvaluation of technology use in an inter-disciplinary patient-centered health care team --$tUsing simulation technology to improve patient safety in airway management by practicing otolaryngologists --$tTowards a clinical analytics adoption maturity framework for primary care --$tFrom siloed applications to national digital health ecosystems: a strategic perspective for African countries --$gT.$tPrivacy and policy implications for big data and health information technology for patients: a historical and legal analysis --$tSimulation of ehealth scenarios with role-play supported by an interactive smartphone application --$tDescribing telenurses' decision making using clinical decision support: influential factors identified --$tUsability analysis of contending electronic health record systems --$gV.$tSmart home interactions for people with reduced hand mobility using subtle EMG-signal gestures --$gW.$tDesign for a Canadian digital health policy & practices observatory --$tStrategies in electronic medical record downtime planning: a scoping study --$tDesign and usability evaluation of mobile cloud healthcare system for diabetes prevention --$tRule-based data quality assessment and monitoring system in healthcare facilities --$tCancer phenotype development: a literature review --$tAnalysis of anesthesia screens for rule-based data quality assessment opportunities --$tData profiling in support of entity resolution of multi-institutional EHR data --$tEHR usage problems: a preliminary study --$tSurgeon and assistant point of view simultaneous video recording --$tAssessing the alignment of objectives, instructional activities, and assessments in a biomedical informatics curriculum --$tNursing informaticians address patient safety to improve usability of health information technologies --$gY.$tA socio-technical and lean approach towards a framework for health information systems-induced error --$gZ.$tApplying a pneumatic interface to intervene with rapid eating behaviour --$tAn ontology approach for knowledge representation of ECG data --$tTraining as an intervention to decrease medical record abstraction errors multicenter studies --$gSubject index -- Author index. 410 0$aStudies in health technology and informatics ;$vVolume 257. 606 $aMedical telematics$vCongresses 615 0$aMedical telematics 676 $a610.285 700 $aLau$b F$01694456 702 $aLau$b Francis 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910817502403321 996 $aImproving usability, safety and patient outcomes with health information technology$94073052 997 $aUNINA LEADER 06658nam 22007215 450 001 9910768468103321 005 20251226203629.0 010 $a3-540-33057-7 024 7 $a10.1007/11691372 035 $a(CKB)1000000000232883 035 $a(SSID)ssj0000320416 035 $a(PQKBManifestationID)11262154 035 $a(PQKBTitleCode)TC0000320416 035 $a(PQKBWorkID)10248777 035 $a(PQKB)11351803 035 $a(DE-He213)978-3-540-33057-8 035 $a(MiAaPQ)EBC3068007 035 $a(PPN)12313269X 035 $a(EXLCZ)991000000000232883 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTools and Algorithms for the Construction and Analysis of Systems $e12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings /$fedited by Holger Hermanns, Jens Palsberg 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XVI, 512 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3920 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-33056-9 320 $aIncludes bibliographical references and index. 327 $aInvited Contributions -- Weighted Pushdown Systems and Trust-Management Systems -- Parametrization and Slicing -- Automatic Verification of Parameterized Data Structures -- Parameterized Verification of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques -- New Metrics for Static Variable Ordering in Decision Diagrams -- Widening ROBDDs with Prime Implicants -- Efficient Guided Symbolic Reachability Using Reachability Expressions -- Satisfiability -- SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver -- SAT-Based Software Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification -- Abstraction -- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems -- Why Waste a Perfectly Good Abstraction? -- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking -- Approximating Predicate Images for Bit-Vector Logic -- Model Checking Algorithms -- Finitary Winning in ?-Regular Games -- Efficient Model Checking for LTL with Partial Order Snapshots -- A Local Shape Analysis Based on Separation Logic -- Program Verification -- Compositional Model Extraction for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs with Tree Updates -- Runtime Diagnostics -- An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches onSeeded Faults -- Exploiting Traces in Program Analysis -- Quantitative Techniques -- Model-Checking Markov Chains in the Presence of Uncertainties -- Safety Metric Temporal Logic Is Fully Decidable -- Simulation-Based Graph Similarity -- Tool Demonstrations -- PRISM: A Tool for Automatic Verification of Probabilistic Systems -- DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation -- mcmas: A Model Checker for Multi-agent Systems -- MSCan ? A Tool for Analyzing MSC Specifications -- Refinement -- A Practical and Complete Approach to Predicate Refinement -- Counterexample Driven Refinement for Abstract Interpretation -- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. 330 $aETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme! I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3920 606 $aSoftware engineering 606 $aComputer science 606 $aComputer networks 606 $aAlgorithms 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Communication Networks 606 $aAlgorithms 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputer networks. 615 0$aAlgorithms. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Communication Networks. 615 24$aAlgorithms. 676 $a005.1 701 $aHermanns$b Holger$f1967-$0555144 701 $aPalsberg$b Jens$01750242 712 12$aETAPS 2006$f(2006 :$eVienna, Austria) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768468103321 996 $aTools and algorithms for the construction and analysis of systems$94184833 997 $aUNINA