LEADER 01449aam 2200385I 450 001 9910710745303321 005 20160421112352.0 024 8 $aGOVPUB-C13-a2bba0532e0524ef13848ee9ae64414b 035 $a(CKB)5470000002478855 035 $a(OCoLC)947049694 035 $a(EXLCZ)995470000002478855 100 $a20160421d2011 ua 0 101 0 $aeng 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aSecurity best practices for the electronic transmission of election materials for UOCAVA voters /$fAndrew Regenscheid; Geoff Beier 210 1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d2011. 215 $a1 online resource 225 1 $aNISTIR ;$v7711 300 $a2011. 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aTitle from PDF title page. 320 $aIncludes bibliographical references. 700 $aRegenscheid$b Andrew$01399987 701 $aBeier$b Geoff$01399988 701 $aRegenscheid$b Andrew$01399987 712 02$aInformation Technology Laboratory (National Institute of Standards and Technology) 801 0$bNBS 801 1$bNBS 801 2$bGPO 906 $aBOOK 912 $a9910710745303321 996 $aSecurity best practices for the electronic transmission of election materials for UOCAVA voters$93466229 997 $aUNINA LEADER 03438nam 2200541 450 001 9910818949803321 005 20230807204912.0 010 $a1-118-74927-8 010 $a1-118-74905-7 035 $a(CKB)2670000000594026 035 $a(EBL)1895575 035 $a(MiAaPQ)EBC1895575 035 $a(Au-PeEL)EBL1895575 035 $a(CaPaEBR)ebr11019395 035 $a(CaONFJC)MIL726251 035 $a(OCoLC)887606496 035 $a(EXLCZ)992670000000594026 100 $a20150216h20152015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aClinical oncology and error reduction. /$fAntonella Surbone, Michael Rowe 210 1$aWest Sussex, England :$cJohn Wiley & Sons , Inc.,$d2015. 210 4$d©2015 215 $a1 online resource (207 p.) 300 $aDescription based upon print version of record. 311 $a1-118-74906-5 311 $a1-322-94969-7 320 $aIncludes bibliographical references and index. 327 $aCover; Contents; List of contributors; Foreword; Preface; Acknowledgment; Chapter 1 Introduction to oncology and medical errors; Part I Medical errors and oncology: background and context; Chapter 2 Recognizing and facing medical errors: the perspective of a physician who is also the patient; Chapter 3 Psychological and existential consequences of medical error for oncology professionals; Chapter 4 To sue or not to sue: restoring trust in patient-doctor-family relationships; Part II Improving patient safety in clinical oncology practice 327 $aChapter 5 Prevention of errors and patient safety: oncology nurses' perspectivesChapter 6 Prevention of errors and patient safety from the oncologist's perspective; Chapter 7 Disclosing harmful medical errors; Chapter 8 Do cross-cultural differences influence the occurrence and disclosure of medical errors in oncology?; Part III Cancer patients, oncology professionals, and institutions against medical errors; Chapter 9 Prevention of errors and patient safety: institutional perspectives 327 $aChapter 10 Professional and ethical responsibilities in adverse events and medical errors: discussions when things go wrongChapter 11 Medical error and patient advocacy; Chapter 12 Conclusion: the ""given"" and ""therefores"" of clinical oncology and medical errors; Index; EULA 330 $aClinical Oncology and Error Reduction is the firstsingle-source reference to address the vital topics of recognizing,preventing, and responding to medical errors in clinicaloncology.Filled with practical information for immediate clinicalapplicationCovers topics such as patient safety, error prevention, qualityimprovement, errors disclosure and apology, and the impact oferrors on patients and doctors Each chapter contains special 'take home' pointsthat highlight issues of particular clinical relevance andapplicationPrepared by an expert, multidisciplinary, international team ofphysicians, 606 $aCancer$xPatients 606 $aMedical errors$xPrevention 615 0$aCancer$xPatients. 615 0$aMedical errors$xPrevention. 676 $a616.99/4 700 $aSurbone$b Antonella$01630209 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910818949803321 996 $aClinical oncology and error reduction$93968371 997 $aUNINA LEADER 04566nam 22006855 450 001 996594169403316 005 20240404085715.0 010 $a3-031-57246-7 024 7 $a10.1007/978-3-031-57246-3 035 $a(CKB)31435477700041 035 $a(MiAaPQ)EBC31281876 035 $a(Au-PeEL)EBL31281876 035 $a(DE-He213)978-3-031-57246-3 035 $a(OCoLC)1429288808 035 $a(EXLCZ)9931435477700041 100 $a20240403d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTools and Algorithms for the Construction and Analysis of Systems $e30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part I /$fedited by Bernd Finkbeiner, Laura Kovács 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (413 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14570 311 $a3-031-57245-9 327 $aSAT and SMT Solving -- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories -- Z3-Noodler: An Automata-based String Solver -- TaSSAT: Transfer and Share SAT -- Speculative SAT modulo SAT -- Happy Ending: An Empty Hexagon in Every Set of 30 Points -- Synthesis -- Fully Generalized Reactivity(1) Synthesis -- Knor: reactive synthesis using Oink -- On Dependent Variables in Reactive Synthesis -- CESAR: Control Envelope Synthesis via Angelic Refinements -- Logic and Decidability -- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains -- Deciding Boolean Separation Logic via Small Models -- Asynchronous Subtyping by Trace Relaxation -- Program Analysis and Proofs -- SootUp: A Redesign of the Soot Static Analysis Framework -- Formally verified asymptotic consensus in robust networks -- Formally Verifying an Efficient Sorter -- Explainable Online Monitoring of Metric First-Order Temporal Logic -- Proof Checking -- IsaRare: Automatic Veri cation of SMT Rewrites in Isabelle/HOL -- Automate where Automation Fails: Proof Strategies for Frama-C/WP -- VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification -- A Logical Treatment of Finite Automata -- A State-of-the-Art Karp-Miller Algorithm Certified in Coq. 330 $aThe open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14570 606 $aComputer science 606 $aMicroprogramming 606 $aComputer networks 606 $aComputer simulation 606 $aSoftware engineering 606 $aTheory of Computation 606 $aControl Structures and Microprogramming 606 $aComputer Communication Networks 606 $aComputer Modelling 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMicroprogramming. 615 0$aComputer networks. 615 0$aComputer simulation. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Communication Networks. 615 24$aComputer Modelling. 615 24$aSoftware Engineering. 676 $a004.0151 700 $aFinkbeiner$b Bernd$01736354 701 $aKovács$b Laura$01250003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996594169403316 996 $aTools and Algorithms for the Construction and Analysis of Systems$94156203 997 $aUNISA