LEADER 02826nam 2200541Ia 450 001 9910778630003321 005 20230422031324.0 010 $a0-309-17194-6 010 $a0-309-50133-4 035 $a(CKB)110986584753068 035 $a(EBL)3375491 035 $a(SSID)ssj0000279094 035 $a(PQKBManifestationID)11210759 035 $a(PQKBTitleCode)TC0000279094 035 $a(PQKBWorkID)10258239 035 $a(PQKB)10482965 035 $a(MiAaPQ)EBC3375491 035 $a(Au-PeEL)EBL3375491 035 $a(CaPaEBR)ebr10038769 035 $a(OCoLC)923256771 035 $a(EXLCZ)99110986584753068 100 $a20000627d2000 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEnding neglect$b[electronic resource] $ethe elimination of tuberculosis in the United States /$fLawrence Geiter, editor ; Committee on the Elimination of Tuberculosis in the United States, Division of Health Promotion and Disease Prevention, Institute of Medicine 210 $aWashington, D.C. $cNational Academy Press$dc2000 215 $a1 online resource (292 p.) 300 $aDescription based upon print version of record. 311 $a0-309-07028-7 320 $aIncludes bibliographical references and index. 327 $a""Cover""; ""Front Matter""; ""Preface""; ""Acknowledgments""; ""Contents""; ""Executive Summary""; ""1 Fundamentals of Tuberculosis and Tuberculosis Control""; ""2 The Current Situation and How We Got Here""; ""3 Tuberculosis Elimination and the Changing Role of Tuberculosis Control Programs""; ""4 Advancing Toward Elimination""; ""5 Developing the Tools for Tuberculosis Elimination""; ""6 The U.S. Role in Global Tuberculosis Control""; ""7 Mobilizing for Elimination""; ""APPENDIXES""; ""APPENDIX A Statement of Task""; ""APPENDIX B Public Session Agendas"" 327 $a""APPENDIX C Site Visit Summaries""""APPENDIX D Role of Public Health Laboratories in the Control of Tuberculosis""; ""APPENDIX E Estimating the Number of Tuberculosis Cases That Can Be Prevented by a Program of Screening and Preventive Therapy of Newly Arrived Immigrants to the United States from Countries with a High Rate of Tuberculosis and the Costs of the Program""; ""APPENDIX F Approval Dates for Existing and Prospects for Development of New Antituberculosis Drugs and Vaccines""; ""APPENDIX G Committee Biographies""; ""Index"" 606 $aTuberculosis$zUnited States 606 $aInternal medicine 615 0$aTuberculosis 615 0$aInternal medicine. 676 $a614.5/42/0973 701 $aGeiter$b Lawrence$01523452 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910778630003321 996 $aEnding neglect$93763636 997 $aUNINA LEADER 05271nam 22007695 450 001 9910767528503321 005 20251226203400.0 010 $a1-280-86571-7 010 $a9786610865710 010 $a3-540-70889-8 024 7 $a10.1007/978-3-540-70889-6 035 $a(CKB)1000000000284104 035 $a(SSID)ssj0000298360 035 $a(PQKBManifestationID)11214956 035 $a(PQKBTitleCode)TC0000298360 035 $a(PQKBWorkID)10344520 035 $a(PQKB)10239305 035 $a(DE-He213)978-3-540-70889-6 035 $a(MiAaPQ)EBC3036669 035 $a(MiAaPQ)EBC302092 035 $a(MiAaPQ)EBC6711210 035 $a(Au-PeEL)EBL302092 035 $a(OCoLC)185027065 035 $a(Au-PeEL)EBL6711210 035 $a(PPN)123160278 035 $a(EXLCZ)991000000000284104 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHardware and Software, Verification and Testing $eSecond International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /$fedited by Eyal Bin, Avi Ziv, Shmuel Ur 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XII, 235 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4383 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-70888-X 320 $aIncludes bibliographical references and index. 327 $aHardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design Functionality Based on Vector Simulation -- Automatic Fault Localization for Property Checking -- Verification of Data Paths Using Unbounded Integers: Automata Strike Back -- Tools Track -- Smart-Lint: Improving the Verification Flow -- Model-Driven Development with the jABC -- Detecting Design Flaws in UML State Charts for Embedded Software -- A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques -- An Open Source Simulation Model of Software Development and Testing -- Software Testing Track -- ExpliSAT: Guiding SAT-Based Software Verification with Explicit States -- Evolutionary Testing: A Case Study -- A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise -- Testing the Machine in the World -- Choosing a Test Modeling Language: A Survey -- Making Model-Based Testing More Agile: A Use Case Driven Approach. 330 $aThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23?26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verification Conference was established to bring together researchers from two different disciplines, hardware verification and software testing. The use of similar techniques among the two communities enabled the conference to help generate a unique synergy that fortifies both groups. This year, we had two traditional tracks, hardware verification and software testing, in addition to a new track dedicated to tools in these areas. The conference emphasized applicability to real-world challenges, which was vital to the many attendees coming from industry. The conference hosted two internationally recognized individuals as keynote speakers. Randal E. Bryant, Dean and University Professor from the School of Computer Science at Carnegie Mellon University gave a talk on ?System Modeling and Formal Verification with UCLID? and Michael Jackson from the University of Newcastle gave a talk on ?Testing the Machine in the World. ? The numerous invited speakers presented topics of great interest to the audience. Just some of these outstanding speakers included Cindy Eisner in the hardware verification track, Alon Gluska and Andrew Piziali in the tools track, and Mauro Pezze and Nir Shavit in the software testing track. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4383 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a004 702 $aBin$b Eyal 702 $aZiv$b Avi 702 $aUr$b Shmuel 712 12$aInternational Haifa Verification Conference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767528503321 996 $aHardware and Software, Verification and Testing$9772242 997 $aUNINA