LEADER 04255nam 2200685Ia 450 001 9910969398003321 005 20200520144314.0 010 $a9786612917141 010 $a9781282917149 010 $a1282917145 010 $a9780309160339 010 $a0309160332 035 $a(CKB)2560000000069622 035 $a(EBL)3378697 035 $a(SSID)ssj0000469060 035 $a(PQKBManifestationID)11288771 035 $a(PQKBTitleCode)TC0000469060 035 $a(PQKBWorkID)10510359 035 $a(PQKB)11743229 035 $a(Au-PeEL)EBL3378697 035 $a(CaPaEBR)ebr10433652 035 $a(CaONFJC)MIL291714 035 $a(OCoLC)747946233 035 $a(MiAaPQ)EBC3378697 035 $a(Perlego)4732084 035 $a(EXLCZ)992560000000069622 100 $a20101201d2010 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aFacilitating climate change responses $ea report of two workshops on knowledge from the social and behavioral sciences /$fPaul C. Stern and Roger E. Kasperson, editors 205 $a1st ed. 210 $aWashington, D.C. $cNational Academies Press$dc2010 215 $a1 online resource (175 p.) 300 $a"Panel on Addressing the Challenges of Climate Change Through the Behavioral and Social Sciences, Committee on the Human Dimensions of Global Change, Division of Behavioral and Social Sciences and Education, National Research Council of the National Academies." 311 08$a9780309160322 311 08$a0309160324 320 $aIncludes bibliographical references (p. 143-146). 327 $a""Front Matter""; ""Preface""; ""Contents""; ""Introduction""; ""Part I: Public Understanding and Mitigation of Climate Change""; ""1 Public Understanding of Climate Change""; ""2 The Potential for Limiting Climate Change Through Household Action""; ""3 Public Acceptance of Energy Technologies""; ""4 Organizational Change and the Greening of Business""; ""Part II: Adapting to Climate Change""; ""5 Climate Change Adaptation: The State of the Science""; ""6 Federal Climate Change Adaptation Planning""; ""7 Place-Based Adaptation Cases""; ""8 Adaptation and Natural Resource Management"" 327 $a""9 Cross-Cutting Issues in Adaptation""""10 Synthesis of Key Questions for the Workshop""; ""References""; ""Appendix A: December 2009 Workshop Agenda and List of Participants""; ""Appendix B: April 2010 Workshop Agenda and List of Participants""; ""Appendix C: Biographical Sketches of Panel Members and Staff"" 330 $a"The William and Flora Hewlett Foundation, understanding the need for policy makers at the national level to entrain the behavioral and social sciences in addressing the challenges of global climate change, called on the National Research Council to organize two workshops to showcase some of the decision-relevant contributions that these sciences have already made and can advance with future efforts. The workshops focused on two broad areas: (1) mitigation (behavioral elements of a strategy to reduce the net future human influence on climate) and (2) adaptation (behavioral and social determinants of societal capacity to minimize the damage from climate changes that are not avoided). Facilitating Climate Change Responses documents the information presented in the workshop presentations and discussions. This material illustrates some of the ways the behavioral and social sciences can contribute to the new era of climate research." 606 $aClimatic changes$xResearch 606 $aClimate change mitigation 606 $aClimatic changes$xSocial aspects 615 0$aClimatic changes$xResearch. 615 0$aClimate change mitigation. 615 0$aClimatic changes$xSocial aspects. 676 $a304.25 701 $aStern$b Paul C.$f1944-$01609213 701 $aKasperson$b Roger E$0249978 712 02$aNational Research Council (U.S.).$bPanel on Addressing the Challenges of Climate Change Through the Behavioral and Social Sciences. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910969398003321 996 $aFacilitating climate change responses$94364638 997 $aUNINA LEADER 02609nam 22005655 450 001 9911016073503321 005 20250722130239.0 010 $a3-031-98685-7 024 7 $a10.1007/978-3-031-98685-7 035 $a(CKB)39713743600041 035 $a(DE-He213)978-3-031-98685-7 035 $a(MiAaPQ)EBC32260850 035 $a(Au-PeEL)EBL32260850 035 $a(EXLCZ)9939713743600041 100 $a20250722d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Aided Verification $e37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV /$fedited by Ruzica Piskac, Zvonimir Rakamari? 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (XXVI, 422 p. 122 illus., 100 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15934 311 08$a3-031-98684-9 330 $aThis open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers presented together 24 tool papers, 4 casestudy papers in these proceedings were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15934 606 $aArtificial intelligence 606 $aAlgorithms 606 $aSoftware engineering 606 $aArtificial Intelligence 606 $aDesign and Analysis of Algorithms 606 $aSoftware Engineering 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aDesign and Analysis of Algorithms. 615 24$aSoftware Engineering. 676 $a006.3 702 $aPiskac$b Ruzica$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRakamari?$b Zvonimir$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911016073503321 996 $aComputer Aided Verification$94409985 997 $aUNINA