05019nam 22007575 450 99646574830331620230223091350.03-642-32347-210.1007/978-3-642-32347-8(CKB)3400000000085765(SSID)ssj0000746011(PQKBManifestationID)11446064(PQKBTitleCode)TC0000746011(PQKBWorkID)10860047(PQKB)10905921(DE-He213)978-3-642-32347-8(MiAaPQ)EBC3070515(PPN)168321629(EXLCZ)99340000000008576520120810d2012 u| 0engurnn|008mamaatxtccrInteractive Theorem Proving[electronic resource] Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /edited by Lennart Beringer, Amy Felty1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XI, 419 p. 37 illus.) Theoretical Computer Science and General Issues,2512-2029 ;7406Bibliographic Level Mode of Issuance: Monograph3-642-32346-4 Includes bibliographical references and index.MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator Approach to Equational Differential Invariants -- Abella: A Tutorial -- A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement-Based Approach to Computational Algebra in Coq -- Bridging the Gap: Automatic Verified Abstraction of C -- Abstract Interpretation of Annotated Commands -- Verifying and Generating WP Transformers for Procedures on Complex Data -- Bag Equivalence via a Proof-Relevant Membership Relation -- Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm -- Synthesis of Distributed Mobile Programs Using Monadic Types in Coq -- Towards Provably Robust Watermarking -- Priority Inheritance Protocol Proved Correct -- Formalization of Shannon’s Theorems in SSReflect-Coq -- Stop When You Are Almost-Full: Adventures in Constructive Termination -- Certification of Nontermination Proofs -- A Compact Proof of Decidability for Regular Expression Equivalence -- Using Locales to Define a Rely-Guarantee Temporal Logic -- Charge! - A Framework for Higher-Order Separation Logic in Coq -- Mechanised Separation Algebra -- Directions in ISA Specification -- More SPASS with Isabelle: Superposition with Hard Sorts and Configurable Simplification -- A Language of Patterns for Subterm Selection -- Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL -- Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem -- Standalone Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings.This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.Theoretical Computer Science and General Issues,2512-2029 ;7406Machine theoryArtificial intelligenceComputer scienceSoftware engineeringData protectionFormal Languages and Automata TheoryArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingSoftware EngineeringData and Information SecurityTheory of ComputationMachine theory.Artificial intelligence.Computer science.Software engineering.Data protection.Formal Languages and Automata Theory.Artificial Intelligence.Computer Science Logic and Foundations of Programming.Software Engineering.Data and Information Security.Theory of Computation.005.131Beringer Lennartedthttp://id.loc.gov/vocabulary/relators/edtFelty Amyedthttp://id.loc.gov/vocabulary/relators/edtITP 2012BOOK996465748303316Interactive Theorem Proving2010767UNISA05550nam 2200673Ia 450 991082984970332120230802005000.01-119-26603-30-470-96145-70-470-96144-9(CKB)2550000000100404(EBL)818660(OCoLC)829462286(SSID)ssj0000739740(PQKBManifestationID)12316600(PQKBTitleCode)TC0000739740(PQKBWorkID)10697230(PQKB)10843634(MiAaPQ)EBC818660(EXLCZ)99255000000010040420110523d2012 uy 0engur|n|---|||||txtccrVeterinary infection prevention and control[electronic resource] /editors, Linda Caveney, Barbara Jones, with Kimberly EllisChichester, West Sussex ;Ames, Iowa Wiley-Blackwell20121 online resource (645 p.)Description based upon print version of record.0-8138-1534-7 Includes bibliographical references and index.Cover; Title Page; Copyright; Contributors; Foreword; Acknowledgments; Introduction; 1: What Is Infection Control and Biosecurity?; DEFINITIONS OF DISEASE CONTROL TERMINOLOGY; EPIDEMIOLOGIC LEVELS OF DISEASE CONTROL ACTIVITIES; TARGETED ELEMENTS FOR DISEASE PREVENTION; EVALUATION OF RISK, FEASIBILITY, COST, AND EFFECTIVENESS; PREVENTION INTERVENTIONS; INFECTION CONTROL: STANDARD OPERATING PROCEDURES; WRITING THE INFECTION CONTROL PLAN; EDUCATION, TRAINING, AND ENFORCEMENT; CONCLUSION; REFERENCES; 2: Microbiology Review; THE SCIENCE OF MICROBIOLOGYSPECIMEN SELECTION, COLLECTION, AND TRANSPORTLABORATORY DIAGNOSTICS; BACTERIA; FUNGI; VIRUS; PROTOZOA; PRIONS; CONCLUSION; REFERENCES; 3: "Links in the Chain" of Disease Transmission; INTRODUCTION; DEFINITIONS OF KEY TERMS; COMMON LINKS IN THE CHAIN OF DISEASE TRANSMISSION; SPREAD WITHIN POPULATIONS; CONCLUSION; REFERENCES; 4: Zoonotic Diseases; ANTHRAX; BRUCELLOSIS; CAMPYLOBACTER; CRYPTOSPORIDIUM; GIARDIA; LEPTOSPIROSIS; METHICILLIN-RESISTANT STAPHYLOCOCCUS; RABIES; SALMONELLA; TOXOPLASMOSIS; CONCLUSION; REFERENCES; 5: Disease Prevention Strategies; INTRODUCTIONCONTROLLING THE INFECTIOUS AGENTCONTROLLING THE ROUTE OF TRANSMISSION; PROTECTING THE PATIENT; CONCLUSION; REFERENCES; 6: Guidelines for Effective Cleaning and Disinfection; DEFINITION OF COMMON TERMS; HOW TO READ A DISINFECTANT LABEL; FACTORS THAT CAN ALTER THE EFFECTIVENESS OF CHEMICAL DISINFECTANTS; SPAULDING CLASSIFICATION SYSTEM; CLASSIFICATION OF CHEMICAL DISINFECTANT ACTIVITY; ADDITIONAL CONCERNS WHEN USING DISINFECTANTS; CRITERIA FOR ESTABLISHING A DISINFECTION PROTOCOL; APPLICATION OF DISINFECTANTS; Creating a Disinfection Protocol; CONCLUSION; REFERENCES; 7: Chemical DisinfectantsACIDSALKALIS; ALCOHOL; ALDEHYDES; BIGUANIDES; HALOGENS; QUATERNARY AMMONIUM COMPOUNDS; PHENOLS; OXIDIZING AGENTS; CONCLUSION; REFERENCES; 8: "Best Practice" Procedures Prior to Sterilization of Medical Equipment; CLEANING AREA DESIGN AND LOCATION; WATER AND CLEANING AGENTS USED IN THE CLEANING PROCESS; CLEANING METHODS; CLEANING PROTOCOLS; INSPECTION OF SURGICAL INSTRUMENTS; CONCLUSION; REFERENCES; 9: Packaging, Preparation for Sterilization, and Sterile Storage of Medical Equipment; PERSONNEL FACTORS; SELECTION OF PACKAGING MATERIALS; PACKAGE CONFIGURATION AND PREPARATION; LABELINGPACKAGE CLOSURELOADING THE STERILIZER; UNLOADING THE STERILIZER; STERILE STORAGE; CONCLUSION; REFERENCES; 10: High-Temperature Sterilization; STRUCTURE AND MAKEUP OF A STEAM STERILIZER; BASIC TYPES OF STEAM STERILIZERS; STEAM STERILIZATION PARAMETERS; LOAD CONFIGURATION PRIOR TO STEAM STERILIZATION; WHEN WET PACKS OCCUR; STERILITY ASSURANCE; CONCLUSION; REFERENCES; 11: Low-Temperature Sterilization; BASIC REQUIREMENTS FOR ALL LOW-TEMPERATURE SYSTEMS; ETHYLENE OXIDE; HYDROGEN PEROXIDE GAS PLASMA; OZONE; LIQUID PERACETIC ACID; CONCLUSION; REFERENCES12: Processing of Complex Medical Equipment and Specialty ProcessingVeterinary Infection Prevention and Control is a practical guide to infection surveillance and control in the veterinary setting. Outlining the steps for designing and implementing an infection control plan, the book offers information on both nosocomial infections and zoonotic diseases to aid the veterinary team in ensuring that veterinary practices and hospitals are safe for both the animal patients and their human caregivers. Veterinary Infection Prevention and Control provides guidelines to creating standard operating procedures for effective and efficient infection control iCommunicable diseases in animalsPreventionNosocomial infectionsPreventionVeterinary hospitalsSanitationZoonosesControlCommunicable diseases in animalsPrevention.Nosocomial infectionsPrevention.Veterinary hospitalsSanitation.ZoonosesControl.636.089/44636.08944Caveney Linda1670861Ellis Kimberly1670862Jones Barbara1981-1670863MiAaPQMiAaPQMiAaPQBOOK9910829849703321Veterinary infection prevention and control4033008UNINA