LEADER 02315oam 2200421 a 450 001 9910698803803321 005 20090608104855.0 035 $a(CKB)5470000002397832 035 $a(OCoLC)318620961 035 $a(EXLCZ)995470000002397832 100 $a20090416d2009 ua 0 101 0 $aeng 135 $aurmn||||a|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNuclear security$b[electronic resource] $ebetter oversight needed to ensure that security improvements at Lawrence Livermore National Laboratory are fully implemented and sustained : report to congressional committees 210 1$a[Washington, D.C.] :$cU.S. Govt. Accountability Office,$d[2009] 215 $aii, 36 pages $cdigital, PDF file 300 $aTitle from title screen (viewed on Apr. 16, 2009). 300 $a"March 2009." 300 $a"GAO-09-321." 320 $aIncludes bibliographical references. 330 $aEnergy's (DOE) security inspection at Lawrence Livermore National Laboratory (LLNL) found significant weaknesses, particularly in LLNL's protective force's ability to assure the protection of weapons-grade (special) nuclear material. LLNL is overseen by the National Nuclear Security Administration (NNSA), a separately organized agency within DOE, and managed by a contractor. NNSA is planning to remove most of the special nuclear material from LLNL. GAO was asked to (1) characterize security deficiencies identified in the 2008 inspection; (2) determine the factors that contributed to these deficiencies; (3) identify LLNL's corrective actions to address security deficiencies; and (4) assess LLNL's plan to permanently remove the riskiest special nuclear material from its site. 517 $aNuclear security 606 $aNuclear facilities$xSecurity measures$zUnited States 606 $aNuclear energy$xResearch$xLaboratories$xSecurity measures$zUnited States 606 $aNational security$zUnited States 615 0$aNuclear facilities$xSecurity measures 615 0$aNuclear energy$xResearch$xLaboratories$xSecurity measures 615 0$aNational security 801 0$bDID 801 1$bDID 801 2$bGPO 906 $aBOOK 912 $a9910698803803321 996 $aNuclear security$93171215 997 $aUNINA LEADER 03385nam 2200649 a 450 001 9910789411903321 005 20230725031451.0 010 $a1-283-14816-1 010 $a9786613148162 010 $a1-84816-277-4 035 $a(CKB)2670000000095533 035 $a(EBL)737616 035 $a(OCoLC)733048100 035 $a(SSID)ssj0000521617 035 $a(PQKBManifestationID)12187527 035 $a(PQKBTitleCode)TC0000521617 035 $a(PQKBWorkID)10522475 035 $a(PQKB)11324784 035 $a(MiAaPQ)EBC737616 035 $a(WSP)0000P577 035 $a(Au-PeEL)EBL737616 035 $a(CaPaEBR)ebr10480218 035 $a(CaONFJC)MIL314816 035 $a(EXLCZ)992670000000095533 100 $a20101004d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aComputability in context$b[electronic resource] $ecomputation and logic in the real world /$feditors, S. Barry Cooper, Andrea Sorbi 210 $aLondon $cImperial College Press ;$aSingapore ;$aHackensack, N.J. $cWorld Scientific Pub. Co.$d2011 215 $a1 online resource (419 p.) 300 $aDescription based upon print version of record. 311 $a1-84816-245-6 320 $aIncludes bibliographical references. 327 $aPreface; Contents; 1. Computation, Information, and the Arrow of Time P. Adriaans & P. van Emde Boas; 2. The Isomorphism Conjecture for NP M. Agrawal; 3. The Ershov Hierarchy M. M. Arslanov; 4. Complexity and Approximation in Reoptimization G. Ausiello, V. Bonifaci, & B. Escoffer; 5. Definability in the Real Universe S. B. Cooper; 6. HF-Computability Y. L. Ershov, V. G. Puzarenko, & A. I. Stukachev; 7. The Mathematics of Computing between Logic and Physics G. Longo & T. Paul; 8. Liquid State Machines: Motivation, Theory, and Applications W. Maass 327 $a9. Experiments on an Internal Approach to Typed Algorithms in Analysis D. Normann10. Recursive Functions: An Archeological Look P. Odifreddi; 11. Reverse Mathematics and Well-ordering Principles M. Rathjen & A. Weiermann; 12. Discrete Transfinite Computation Models P. D. Welch 330 $aComputability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with m 606 $aComputable functions 606 $aComputational intelligence 606 $aSet theory 606 $aMathematics$xPhilosophy 615 0$aComputable functions. 615 0$aComputational intelligence. 615 0$aSet theory. 615 0$aMathematics$xPhilosophy. 676 $a511.3/52 701 $aCooper$b S. B$g(S. Barry)$060840 701 $aSorbi$b Andrea$f1956-$059072 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910789411903321 996 $aComputability in context$93851958 997 $aUNINA