{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":47,"n_cols":5,"rows_kept":47,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[12,2,12,3],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[22,2,22,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[39,2,39,3],[40,2,40,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910828488903321"]
[null,null,"Titolo",null,"Driving quality in informatics : fulfilling the promise / / edited by Karen Courtney, Alex Kuo and Omid Shabestari"]
[null,null,"Pubbl/distr/stampa",null,"Washington, District of Columbia : , : IOS Press, , [2015]"]
[{"$nulls":4},"©2015"]
[null,null,"Descrizione fisica",null,"1 online resource (392 p.)"]
[null,null,"Collana",null,"Studies in health technology and informatics ; ; volume 208"]
[null,null,"Disciplina",null,"362.1/068"]
[null,null,"Soggetti",null,"Computer science"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,"Nota di contenuto",null,"\"\"Title Page\"\"; \"\"Preface\"\"; \"\"ITCH 2015 Steering Committee\"\"; \"\"ITCH 2015 Scientific Review Committee\"\"; \"\"Contents\"\"; \"\"The Impact of University Provided Nurse Electronic Medical Record Training on Health Care Organizations: An Exploratory Simulation Approach\"\"; \"\"The Importance of Telehealth for Directors and Other Decision Makers\"\"; \"\"Using a Digital Marketing Platform for the Promotion of an Internet Based Health Encyclopedia in Saudi Arabia\"\"; \"\"A Pharmacy Inventory Management System in Saudi Arabia: A Case Study\"\""]
[{"$nulls":4},"\"\"The Implementation Experiences of a Pharmacy Automation Drug Dispensing System in Saudi Arabia\"\"\"\"Project ALIVE: An Action-Research Exploration of EMR Value in Primary Care\"\"; \"\"Nurses: Extending Care Through Telehealth\"\"; \"\"Using Community Based Participatory Research as a Method for Investigating Electronic Health Records\"\"; \"\"Bridging a Divide: Architecture for a Joint Hospital-Primary Care Data Warehouse\"\"; \"\"Supporting Dementia in the Community: A Human Factors Perspective\"\"; \"\"Patient Narratives Representing Patient Voices to Inform Research: A Pilot Qualitative Study\"\""]
[{"$nulls":4},"\"\"Awareness of Technology-Induced Errors and Processes for Identifying and Preventing Such Errors\"\"\"\"Designing Electronic Medication Reconciliation for Patients: The Lead User Method\"\"; \"\"Patient Perspectives on Patient Participation - Results from a Workshop with a Patient Council in a General Practice\"\"; \"\"Danish Citizens' Expectations to the Use of eHealth\"\"; \"\"Development of a Flexible and Extensible Computer-Based Simulation Platform for Healthcare Students\"\"; \"\"Integration of Electronic Health Records into Nursing Education: Issues, Challenges and Limitations\"\""]
[{"$nulls":4},"\"\"Know Me - A Journey in Creating a Personal Electronic Health Record\"\"\"\"Integrating Clinical Decision Support into EMR and PHR: A Case Study Using Anticoagulation\"\"; \"\"Patient Access to Their Health Record Using Open Source EHR\"\"; \"\"Usability Testing of a Prototype Multi-User Telehealth Kiosk\"\"; \"\"Trialling an Electronic Decision Aid for Policy Developers to Support Ageing Well\"\"; \"\"Beyond Effectiveness: A Pragmatic Evaluation Framework for Learning and Continuous Quality Improvement of e-Learning Interventions in Healthcare\"\""]
[{"$nulls":4},"\"\"SmartMed: A Medication Management System to Improve Adherence\"\"\"\"Health Informatics-Enabled Workflow Redesign and Evaluation\"\"; \"\"Using Heart Rate Variability for Automated Identification of Exercise Exertion Levels\"\"; \"\"A Platform to Collect Structured Data from Multiple EMRs\"\"; \"\"The Role of Technology in Reducing Unnecessary Duplicate Diagnostic Imaging Examinations\"\"; \"\"Building an Electronic Handover Tool for Physicians Using a Collaborative Approach Between Clinicians and the Development Team\"\"; \"\"Modelling Clinical Diagnostic Errors: A System Dynamics Approach\"\""]
[{"$nulls":4},"\"\"Valuing National Effects of Digital Health Investments: An Applied Method\"\""]
[null,null,null,"Sommario/riassunto","Although the data in healthcare comes from and relates to patients, it has generally been the clinician and not the patient who has been seen as the end-user of health information or health information technology. This seems set to change though, as the evolution of new online tools and mobile applications has led to the growth of a grass-roots effort from patients to change their role and involvement in their own health management.This book presents papers from the Information Technology and Communications in Health conference, ITCH 2015, held in Victoria, Canada, in February 2015. The theme"]
[null,"2.","Record Nr.",null,"UNINA9910485034203321"]
[null,null,"Titolo",null,"Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings / / edited by Ahmed Bouajjani, Wei-Ngan Chin"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010"]
[null,null,"ISBN",null,"1-280-38884-6"]
[{"$nulls":4},"9786613566768"]
[{"$nulls":4},"3-642-15643-6"]
[null,null,"Edizione",null,"[1st ed. 2010.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 404 p. 112 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering, , 2945-9168 ; ; 6252"]
[null,null,"Disciplina",null,"511.3/6028563"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Compilers and Interpreters"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results -- Abstraction Learning -- Synthesis: Words and Traces -- Regular Papers -- Promptness in ?-Regular Automata -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed Systems -- Composing Reachability Analyses of Hybrid Systems for Safety and Stability -- The Complexity of Codiagnosability for Discrete Event and Timed Systems -- On Scenario Synchronization -- Compositional Algorithms for LTL Synthesis -- What’s Decidable about Sequences? -- A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network -- Lattice-Valued Binary Decision Diagrams -- A Specification Logic for Exceptions and Beyond -- Non-monotonic Refinement of "]
[{"$nulls":4},"Control Abstraction for Concurrent Programs -- An Approach for Class Testing from Class Contracts -- Efficient On-the-Fly Emptiness Check for Timed Büchi Automata -- Reachability as Derivability, Finite Countermodels and Verification -- LTL Can Be More Succinct -- Automatic Generation of History-Based Access Control from Information Flow Specification -- Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems -- Symbolic Unfolding of Parametric Stopwatch Petri Nets -- Recursive Timed Automata -- Probabilistic Contracts for Component-Based Design -- Tool Papers -- Model-Checking Web Applications with Web-TLR -- GAVS: Game Arena Visualization and Synthesis -- CRI: Symbolic Debugger for MCAPI Applications -- MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming -- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems -- Developing Model Checkers Using PAT -- YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.-COMBINE: A Tool on Combined Formal Methods for Bindingly Verification -- Rbminer: A Tool for Discovering Petri Nets from Transition Systems."]
[null,null,null,"Sommario/riassunto","These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri'cation and Analysis held during September 21-24, 2010 in Singapore. The primary objective of the ATVA c- ferences remains the same: to exchange and promote the latest advances of state-of-the-art research on theoretical and practical aspects of automated an- ysis, veri'cation and synthesis. From 72 papers submitted to ATVA 2010 in response to our call for papers, the Program Committee accepted 21 regular papers and 9 tool papers. Each paper received at least three reviews. The Program Committee worked hard to ensure that every submission received a rigorous and fair evaluation, with the ?nalprogramselectedaftera10-dayonlinediscussionsviatheEasychairsystem. OurprogramalsoincludedthreekeynotetalksandinvitedtutorialsbyThomas A.Henzinger(ISTAustria),JoxanJa'ar(NationalUniversityofSingapore)and IgorWalukiewicz(CNRS, France).Theconferenceorganizersweretrulygrateful to have such distinguished researchers as keynote speakers for the symposium. A new feature for the ATVA symposium this year were the two co-located workshops, In'nity 2010 (co-chaired by Yu-Fang Chen and Ahmed Rezine) and PMCW 2010 (co-chaired by Jun Sun and Hai Wang). We are delighted with the expanded scope, interactions and depth that the two workshops helped bring to the symposium. Many people worked hard and o'ered their valuable time so generously to make ATVA 2010 successful. First and foremost, we would like to thank all authors who worked hard to complete and submit papers to the conference. The ProgramCommittee members, reviewersand Steering Committee members alsodeservespecialrecognition.Without them, a competitive andpeer-reviewed international symposium simply cannot take place."]