LEADER 00826nam0-22003011i-450- 001 990002004880403321 005 20040503133218.0 035 $a000200488 035 $aFED01000200488 035 $a(Aleph)000200488FED01 035 $a000200488 100 $a20030910d1959----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $ay---a---001yy 200 1 $a<>molecular basis of evolution$fChristian B. Anfinsen 210 $aNew York$cJohn Wiley & Sons$d1959 215 $a228 p.$d23 cm 610 0 $aEvoluzione$aMolecolare 676 $a575 700 1$aAnfinsen,$bChristian B.$082839 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002004880403321 952 $a61 III A.3/55$b1491$fDAGEN 959 $aDAGEN 996 $aMolecular basis of evolution$9402960 997 $aUNINA LEADER 03144nam 22007095 450 001 9910983353403321 005 20250122120759.0 010 $a9783031827037 010 $a3031827031 024 7 $a10.1007/978-3-031-82703-7 035 $a(MiAaPQ)EBC31887320 035 $a(Au-PeEL)EBL31887320 035 $a(CKB)37345592500041 035 $a(DE-He213)978-3-031-82703-7 035 $a(OCoLC)1498733448 035 $a(EXLCZ)9937345592500041 100 $a20250122d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aVerification, Model Checking, and Abstract Interpretation $e26th International Conference, VMCAI 2025, Denver, CO, USA, January 20?21, 2025, Proceedings, Part II /$fedited by Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (458 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15530 311 08$a9783031827020 311 08$a3031827023 330 $aThe two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20?21, 2025. The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15530 606 $aComputer science 606 $aComputer science$xMathematics 606 $aLogic programming 606 $aComputers, Special purpose 606 $aSoftware engineering 606 $aTheory of Computation 606 $aMathematics of Computing 606 $aLogic in AI 606 $aSpecial Purpose and Application-Based Systems 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aLogic programming. 615 0$aComputers, Special purpose. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aMathematics of Computing. 615 24$aLogic in AI. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 676 $a004.0151 700 $aShankaranarayanan$b Krishna$01783530 701 $aSankaranarayanan$b Sriram$01380659 701 $aTrivedi$b Ashutosh$01783531 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983353403321 996 $aVerification, Model Checking, and Abstract Interpretation$94311412 997 $aUNINA LEADER 07541nam 22006013 450 001 9911019567303321 005 20240507010352.0 010 $a9781119757030 010 $a1119757037 010 $a9781119757023 010 $a1119757029 010 $a9781119757016 010 $a1119757010 035 $a(MiAaPQ)EBC30783598 035 $a(Au-PeEL)EBL30783598 035 $a(OCoLC)1402814220 035 $a(CKB)28493170200041 035 $a(Exl-AI)30783598 035 $a(Perlego)4260190 035 $a(EXLCZ)9928493170200041 100 $a20231014d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLandscape Fire, Smoke, and Health $eLinking Biomass Burning Emissions to Human Well-Being 205 $a1st ed. 210 1$aNewark :$cAmerican Geophysical Union,$d2023. 210 4$dİ2024. 215 $a1 online resource (544 pages) 225 1 $aGeophysical Monograph Series ;$vv.280 311 08$aPrint version: Loboda, Tatiana V. Landscape Fire, Smoke, and Health Newark : American Geophysical Union,c2023 9781119757009 327 $aIntro -- Table of Contents -- Series Page -- Title Page -- Copyright Page -- LIST OF CONTRIBUTORS -- PREFACE -- ACRONYMS AND ABBREVIATIONS -- 1 Bridging Geophysical and Health Sciences to Study the Impacts of Biomass Burning on Human Well?Being -- 1.1. INTRODUCTION -- 1.2. CONNECTING THE MODELING CHAIN -- 1.3. BUILDING A SHARED LANGUAGE -- 1.4. STRUCTURE, SCOPE, AND AIMS -- 1.5. CONCLUSION -- REFERENCES -- Part I: From Fires to Emissions -- 2 Biomass Burning as an Integral Force -- 2.1. BIOMASS BURNING AS AN INTEGRAL FORCE AND PROCESS ON OUR LANDSCAPES -- 2.2. BIOMASS BURNING, WEATHER, BIOSPHERE, AND CLIMATE INTERACTIONS -- 2.3. STATE OF GLOBAL FIRE REGIMES -- 2.4. SMOKE TRANSPORT, CLOUDS, CLIMATE, AIR QUALITY (AQ), AND HEALTH -- 2.5. ACTIONS FOR MITIGATION: TOOLS IN THE FIRE COMMUNITY SANDBOX -- 2.6. CHALLENGES, CRITICAL ENGAGEMENT, AND MOVING FORWARD -- 2.7. RECENT DEVELOPMENTS -- 2.8. PERTINENT AND REFERENCED WEBSITES -- ACKNOWLEDGMENTS -- REFERENCES -- 3 Mapping and Characterizing Fire -- 3.1. OVERVIEW OF MAPPING APPROACHES -- 3.2. SATELLITE?BASED FIRE MAPPING AND CHARACTERIZATION PRINCIPLES -- 3.3. SATELLITE?BASED MAPPING AND CHARACTERIZATION RESEARCH AND PRODUCTS -- 3.4. CAVEATS AND LIMITATIONS OF REMOTE SENSING DATA -- REFERENCES -- 4 Wildland Fuel Characterization Across Space and Time -- 4.1. INTRODUCTION -- 4.2. WHAT ARE WILDLAND FUELS AND HOW DO THEY CONTRIBUTE TO SMOKE? -- 4.3. TRADITIONAL APPROACHES TO MAPPING WILDLAND FUELS FOR SMOKE MODELING AND EMISSIONS INVENTORIES -- 4.4. NEXT?GENERATION WILDLAND FUEL MAPPING -- 4.5. RESEARCH NEEDS AND FUTURE DIRECTIONS -- 4.6. CONCLUSIONS -- REFERENCES -- 5 Biomass Burning Fuel Consumption and Emissions for Air Quality -- 5.1. INTRODUCTION -- 5.2. MODELING BIOMASS BURNING EMISSIONS -- 5.3. BIOMASS BURNING EMISSIONS INVENTORIES AND MAPPING SYSTEMS AND PRODUCTS. 327 $a5.4. APPROACHES FOR IMPROVING FUEL CONSUMPTION ESTIMATES FOR EMISSIONS INVENTORIES -- 5.5. SUMMARY AND CONCLUSIONS -- ACKNOWLEDGMENTS -- REFERENCES -- Part II: From Emissions to Concentrations -- 6 Surface Monitoring of Fire Pollution -- 6.1. INTRODUCTION -- 6.2. MONITORING NETWORKS -- 6.3. METHODS TO ESTIMATE AIR POLLUTION CONCENTRATIONS -- 6.4. GAPS AND CHALLENGES IN MONITORING WILDFIRE POLLUTION -- 6.5. OPPORTUNITIES AND FUTURE DIRECTIONS IN MONITORING WILDFIRE POLLUTION -- ACKNOWLEDGMENTS -- REFERENCES -- 7 Data Assimilation for Numerical Smoke Prediction -- 7.1. INTRODUCTION -- 7.2. MATCHING OBSERVATIONS TO FORECAST PROBLEMS -- 7.3. CONSIDERATIONS FOR ASSIMILATION OF SMOKE OBSERVATIONS -- 7.4. FUTURE RESEARCH DIRECTIONS -- ACKNOWLEDGMENTS -- AVAILABILITY STATEMENT -- REFERENCES -- 8 A Review of Modeling Approaches Used to Simulate Smoke Transport and Dispersion -- 8.1. INTRODUCTION -- 8.2. SMOKE?RELATED PROCESSES -- 8.3. SMOKE TRANSPORT MODELS -- 8.4. PLUME?RISE MODELS -- 8.5. SUMMARY -- 8.6. FUTURE DIRECTIONS -- ACKNOWLEDGMENTS -- REFERENCES -- 9 Profiles of Operational and Research Forecasting of Smoke and Air Quality Around the World -- 9.1. INTRODUCTION -- 9.2. GLOBAL SYSTEMS AND THE INTERNATIONAL COOPERATIVE FOR AEROSOL PREDICTION (ICAP) -- 9.3. THE COPERNICUS ATMOSPHERE MONITORING SERVICE (CAMS): GLOBAL AND REGIONAL SYSTEMS OF EUROPE -- 9.4. NORTH AMERICAN SYSTEMS -- 9.5. SMOKE FORECASTING IN AUSTRALIA -- 9.6. WORLD METEOROLOGICAL ORGANIZATION (WMO) VEGETATION FIRE AND SMOKE POLLUTION WARNING ADVISORY AND ASSESSMENT SYSTEM (VFSP?WAS) -- 9.7. SUMMARY -- ACKNOWLEDGMENTS -- DISCLAIMER -- REFERENCES -- Part III: From Concentrations to Health Outcomes -- 10 Assessing Smoke Exposure in Space and Time -- 10.1. FUNDAMENTALS OF SMOKE EXPOSURE ESTIMATION -- 10.2. CONSIDERATIONS FOR CHARACTERIZING BIOMASS BURNING SMOKE EXPOSURE. 327 $a10.3. RESEARCH GAPS AND FUTURE DIRECTIONS -- REFERENCES -- 11 Wildfire Smoke Toxicology and Health -- 11.1. INTRODUCTION TO THE BASIC ELEMENTS OF TOXICOLOGY -- 11.2. ROUTES OF EXPOSURE -- 11.3. TARGET ORGANS AND EFFECTS -- 11.4. MODEL SYSTEMS OF WILDFIRE SMOKE TOXICOLOGY -- 11.5. FUTURE RESEARCH NEEDS -- ACKNOWLEDGMENTS -- REFERENCES -- 12 Wildfire Smoke Exposures and Adult Health Outcomes -- 12.1. GLOBAL BACKGROUND AND SIGNIFICANCE OF THE PROBLEM -- 12.2. OVERVIEW OF EPIDEMIOLOGIC EVIDENCE ON ADULT HEALTH OUTCOMES -- 12.3. CONSIDERATIONS FOR FUTURE EPIDEMIOLOGICAL STUDIES -- 12.4. INTERVENTIONS TO REDUCE THE WILDFIRE'S IMPACT ON PUBLIC HEALTH -- 12.5. CONCLUSIONS -- ACKNOWLEDGMENTS -- REFERENCES -- 13 Health Effects of Wildfire Smoke During Pregnancy and Childhood -- 13.1. INTRODUCTION -- 13.2. PRENATAL EXPOSURE TO WILDFIRE SMOKE AND PERINATAL OUTCOMES -- 13.3. EXPOSURE TO WILDFIRE SMOKE AND CHILD HEALTH OUTCOMES -- 13.4. RESEARCH GAPS AND FUTURE DIRECTIONS -- ACKNOWLEDGMENTS -- REFERENCES -- 14 State of the Science and Future Directions -- 14.1. OVERVIEW -- 14.2. FROM FIRE TO EMISSIONS -- 14.3. FROM EMISSIONS TO CONCENTRATIONS -- 14.4. FROM CONCENTRATIONS TO HEALTH OUTCOMES -- 14.5. SUMMARY -- Index -- End User License Agreement. 330 $aThis book, 'Landscape Fire, Smoke, and Health: Linking Biomass Burning Emissions to Human Well-Being,' examines the complex interactions between landscape fires, the resulting smoke emissions, and their impacts on human health and well-being. Edited by Tatiana V. Loboda, Nancy H. F. French, and Robin C. Puett, the work is part of the Geophysical Monograph Series and aims to bridge the gap between geophysical and health sciences. It provides a comprehensive analysis of how biomass burning affects air quality and public health, offering insights into wildfire forecasting and environmental management. The book is intended for researchers, policymakers, and environmental health professionals interested in understanding and mitigating the adverse effects of biomass burning on communities.$7Generated by AI. 410 0$aGeophysical Monograph Series 606 $aWildfires$7Generated by AI 606 $aAir quality$7Generated by AI 615 0$aWildfires 615 0$aAir quality 676 $a613.11 700 $aLoboda$b Tatiana V$01840879 701 $aFrench$b Nancy H. F$01840880 701 $aPuett$b Robin C$01840881 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911019567303321 996 $aLandscape Fire, Smoke, and Health$94420449 997 $aUNINA