ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (46)
  • climate change  (28)
  • Software engineering  (18)
  • English  (46)
  • Italian
  • Portuguese
  • Russian
  • Spanish
  • 2020-2024
  • 2015-2019  (22)
  • 2010-2014  (24)
  • 1990-1994
  • 1970-1974
  • 1965-1969
  • 1955-1959
  • 1930-1934
  • 2018  (15)
  • 2017  (7)
  • 2014  (8)
  • 2010  (16)
  • 1994
  • 1991
  • 1990
  • 1972
  • 1971
  • 1965
Collection
  • Books  (46)
Source
Language
Years
  • 2020-2024
  • 2015-2019  (22)
  • 2010-2014  (24)
  • 1990-1994
  • 1970-1974
  • +
Year
  • 1
    Keywords: poverty reduction ; governance ; social justice ; energy efficiency ; social protection ; vulnerability ; climate ; climate change ; global warming ; emissions ; carbon ; equity ; renewable energy ; forest
    Description / Table of Contents: Climate change is arguably the most profound challenge facing the international community in the 21st century. It is as much a challenge for poverty reduction, growth, and development as it is a global environmental issue. Climate change could undermine or reverse progress in reducing poverty and attaining the Millennium Development Goals, thereby unraveling many of the development gains of recent decades. It already threatens the livelihoods, health, and well-being of millions of people worldwide, particularly the poorest, most vulnerable groups. This book focuses attention on these previously neglected and poorly understood social dimensions of climate change. It highlights equity and vulnerability as central organizing themes and illustrates the multiple ways that pro-poor climate policy and action should be integrated into existing approaches to poverty reduction and development—from the local to the global levels. This integration is needed both in terms of pro-poor approaches to climate change adaptation and in terms of better managing the social risks and potential benefits associated with measures to reduce greenhouse gas emissions.
    Pages: Online-Ressource (XXIII, 319 Seiten)
    ISBN: 9780821381427
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Keywords: carbon ; energy ; climate change ; coal emissions ; energy efficiency
    Description / Table of Contents: This study from the Independent Evaluation Group draws lessons for development and climate change mitigation from the World Bank Group’s far-reaching portfolio of projects in energy, forestry, transport, coal power, and technology transfer. Reviewing what has worked, what hasn’t, and why, the evaluation’s key findings include: Energy efficiency can offer countries direct economic returns that dwarf those of most other development projects, while also reducing greenhouse gas emissions. Tropical forest protected areas, on average, significantly reduce tropical deforestation, preserving carbon and biodiversity. Deforestation rates are lower in areas that allowed sustainable use by local populations than in strictly protected areas. Deforestation rates were lowest of all in indigenous forest areas. For renewable energy projects, long-duration loans have been important in making projects financially viable.. But at prevailing carbon prices, carbon offset sales had little impact on most renewable energy projects’ rate of returns, and did not address investors’ need for up-front capital. Technology transfer – broadly understood to include diffusion of technical and financial innovations related to low-carbon development – has worked well when the logic of piloting and demonstration is well thought out, and when grants are used to mitigate the risk of pioneering efforts.
    Pages: Online-Ressource (XXXIX, 128 Seiten)
    ISBN: 9780821386545
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Unknown
    Rijeka : InTech
    Keywords: climate change
    Description / Table of Contents: Climate change is emerging as one of the most important issues of our time, with the potential to cause profound cascading effects on ecosystems and society. However, these effects are poorly understood and our projections for climate change trends and effects have thus far proven to be inaccurate. In this collection of 24 chapters, we present a cross-section of some of the most challenging issues related to oceans, lakes, forests, and agricultural systems under a changing climate. The authors present evidence for changes and variability in climatic and atmospheric conditions, investigate some the impacts that climate change is having on the Earth's ecological and social systems, and provide novel ideas, advances and applications for mitigation and adaptation of our socio-ecological systems to climate change. Difficult questions are asked. What have been some of the impacts of climate change on our natural and managed ecosystems? How do we manage for resilient socio-ecological systems? How do we predict the future? What are relevant climatic change and management scenarios? How can we shape management regimes to increase our adaptive capacity to climate change? These themes are visited across broad spatial and temporal scales, touch on important and relevant ecological patterns and processes, and represent broad geographic regions, from the tropics, to temperate and boreal regions, to the Arctic.
    Pages: Online-Ressource (486 Seiten)
    ISBN: 9789533071442
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Unknown
    Paris : OECD/IEA (Please request login data at the PIK library)
    Keywords: energy ; wind power ; solar photovoltaics ; climate change ; electricity ; renewable energy ; energy security
    Description / Table of Contents: Wind power and solar photovoltaics (PV) are crucial to meeting future energy needs while decarbonising the power sector. Deployment of both technologies has expanded rapidly in recent years, one of the few bright spots in an otherwise bleak picture of clean energy progress. However, the inherent variability of wind power and solar PV raises unique and pressing questions. Can power systems remain reliable and cost-effective while supporting high shares of variable renewable energy (VRE)? And if so, how? Based on a thorough review of the integration challenge, this publication - gauges the economic significance of VRE integration impacts - highlights the need for a system-wide approach to integrating high shares of VRE - recommends how to achieve a cost-effective transformation of the power system. This book summarises the results of the third phase of the Grid Integration of VRE (GIVAR) project, undertaken by the IEA over the past two years. It is rooted in a set of seven case studies, comprising 15 countries on four continents. It deepens the technical analysis of previous IEA work and lays out an analytical framework for understanding the economics of VRE integration impacts. Based on detailed modelling, the impact of high shares of VRE on total system costs is analysed. In addition, the four flexible resources which are available to facilitate VRE integration – generation, grid infrastructure, storage and demand side integration – are assessed in terms of their technical performance and cost-effectiveness.
    Pages: Online-Ressource (234 Seiten)
    ISBN: 9789264208032
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Unknown
    West Lafayette, Indiana : Purdue University Press
    Keywords: energy policy ; energy crisis ; climate change ; global warming ; alternative energy
    Description / Table of Contents: We are facing a global energy crisis caused by world population growth, an escalating increase in demand, and continued dependence on fossil-based fuels for generation. It is widely accepted that increases in greenhouse gas concentration levels, if not reversed, will result in major changes to world climate with consequential effects on our society and economy. This is just the kind of intractable problem that Purdue University’s Global Policy Research Institute seeks to address in the Purdue Studies in Public Policy series by promoting the engagement between policy makers and experts in fields such as engineering and technology. Major steps forward in the development and use of technology are required. In order to achieve solutions of the required scale and magnitude within a limited timeline, it is essential that engineers be not only technologically-adept but also aware of the wider social and political issues that policy-makers face. Likewise, it is also imperative that policy makers liaise closely with the academic community in order to realize advances. This book is designed to bridge the gap between these two groups, with a particular emphasis on educating the socially-conscious engineers and technologists of the future. In this accessibly-written volume, central issues in global energy are discussed through interdisciplinary dialogue between experts from both North America and Europe. The first section provides an overview of the nature of the global energy crisis approached from historical, political, and sociocultural perspectives. In the second section, expert contributors outline the technology and policy issues facing the development of major conventional and renewable energy sources. The third and final section explores policy and technology challenges and opportunities in the distribution and consumption of energy, in sectors such as transportation and the built environment. The book’s epilogue suggests some future scenarios in energy distribution and use.
    Pages: Online-Ressource (XIV, 304 Seiten)
    Edition: Knowledge Unlatched Open Access Edition
    ISBN: 9781612493091
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Keywords: Australia ; environment ; climate change ; biogeography ; palaeoecology ; human ecology
    Description / Table of Contents: Like a star chart this volume orientates the reader to the key issues and debates in Pacific and Australasian biogeography, palaeoecology and human ecology. A feature of this collection is the diversity of approaches ranging from interpretation of the biogeographic significance of plant and animal distributional patterns, pollen analysis from peats and lake sediments to discern Quaternary climate change, explanation of the patterns of faunal extinction events, the interplay of fire on landscape evolution, and models of the environmental consequences of human settlement patterns. The diversity of approaches, geographic scope and academic rigor are a fitting tribute to the enormous contributions of Geoff Hope. As made apparent in this volume, Hope pioneered multidisciplinary understanding of the history and impacts of human cultures in the Australia- Pacific region, arguably the globe’s premier model systems for understanding the consequences of human colonization on ecological systems. The distinguished scholars who have contributed to this volume also demonstrate Hope’s enduring contribution as an inspirational research leader, collaborator and mentor. Terra Australis leave no doubt that history matters, not only for land management, but more importantly, in alerting settler and indigenous societies alike to their past ecological impacts and future environmental trajectories.
    Pages: Online-Ressource (512 Seiten)
    ISBN: 9781921666810
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Unknown
    Rijeka : InTech
    Keywords: evapotranspiration ; water flux ; moisture evaporation ; climate change
    Description / Table of Contents: Chapter 1: Comparison of Evapotranspiration Methods Under Limited Data by Hsin-Fu Yeh --- Chapter 2: Assessment and Prediction of Evapotranspiration Based on Scintillometry and Meteorological Datasets by Antonin Poisson, Angel Fernandez, Dario G. Gomez, Régis Barillé and Benoit Chorro --- Chapter 3: Sensitivity of Evapotranspiration Models to Onsite and Offsite Meteorological Data for a Poderosa Pine Forest by Wonsook Ha, Abraham E. Springer, Frances C. O'Donnell and Thomas E. Kolb --- Chapter 4: Evapotranspiration in Northern Agro-Ecosystems: Numerical Simulation and Experimental Comparison by Watcharee Ruairuen, Gilberto J. Fochesatto, Marco Bittelli, Elena B. Sparrow, Mingchu Zhang and William Schnabel --- Chapter 5: Moisture Evaporation from Granular Biopesticides Containing Quiescent Entomopathogenic Nematodes by Carlos Inocencio Cortés-Martínez, Jaime Ruiz-Vega and Gabino Alberto Martínez-Gutiérrez
    Pages: Online-Ressource (114 Seiten)
    ISBN: 9789535131748
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Keywords: Computer science ; Software engineering ; Computers ; Law and legislation ; Management information systems ; Computer Science ; Management of Computing and Information Systems ; Software Engineering ; Legal Aspects of Computing ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: This book is open access under a CC BY license. This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), including: licensing, strategies, and practices; case studies; projects, communication, and participation; tools; and project management, development and evaluation
    Pages: Online-Ressource (XIV, 220 pages) , 37 illustrations
    ISBN: 9783319577357
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XIX, 703 pages) , 146 illustrations
    ISBN: 9783319961453
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...