ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 1
    Unknown
    Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project (2014)
    Cham : Springer
    Details
    Keywords: Computer science ; Computers ; Database management ; Artificial intelligence ; Computer Science ; Database Management ; Artificial Intelligence (incl. Robotics) ; Information Systems and Communication Service
    Description / Table of Contents: Introduction to LOD2, Sören Auer --- Advances in Large-scale RDF Data --- Knowledge Base Creation, Enrichment and Repair --- Interlinking and Knowledge Fusion --- Facilitating the Exploration and Visualization of Linked Data --- Supporting the Linked Data life cycle using an integrated tool stack --- LOD2 for Media and Publishing --- Building Enterprise Ready Applications Using Linked Open Data --- Lifting Open Data Portals to the Data Web --- Linked Open Data for Public Procurement
    Pages: Online-Ressource (VII, 215 pages) , 73 illustrations
    ISBN: 9783319098463
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-09846-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Rewilding European Landscapes (2015)
    Cham : Springer
    Details
    Keywords: Environment ; Applied ecology ; Biodiversity ; Landscape ecology ; Environmental management ; Nature conservation ; Environment ; Nature Conservation ; Environmental Management ; Biodiversity ; Landscape Ecology ; Applied Ecology
    Description / Table of Contents: Part I  - The Theory of Rewilding --- 1. Rewilding Abandoned Landscapes in Europe --- 2. European Wilderness in a Time of Farmland Abandonment --- 3. Ecosystem Services: the Opportunities of Rewilding in Europe --- Part II - Rewilding and Biodiversity --- 4. Bringing Large Mammals Back: Large Carnivores in Europe --- 5. Top Scavengers in a Wilder Europe --- 6. Rewilding: Pitfalls and Opportunities for Moths and Butterflies --- 7. Vegetation Restoration and Other Actions to Enhance Wildlife in European Agricultural Landscapes --- 8. Maintaining Disturbance-dependent Habitats.- Part III - Rewillding in Practice --- 9. Rewilding Europe: A New Strategy for an Old Continent --- 10. Preparing a New Generation of Wilderness Entrepreneurs --- 11. Towards a European Policy for Rewilding --- Index
    Pages: Online-Ressource (XXI, 227 pages) , 44 illustrations, 43 illustrations in color
    ISBN: 9783319120393
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-12039-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Evaluating Climate Change Action for Sustainable Development (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Climate Change ; Sustainable Development ; Climate Change/Climate Change Impacts ; Environmental Management
    Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change
    Pages: Online-Ressource (XXIV, 355 pages) , 44 illustrations, 36 illustrations in color
    ISBN: 9783319437026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43702-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Freshwater Governance for the 21st Century (2017)
    Cham : Springer
    Details
    Keywords: Environmental management ; International relations ; Behavioral sciences ; Environmental law ; Environmental policy ; Water ; Water Policy/Water Governance/Water Management ; Environmental Law/Policy/Ecojustice ; Environmental Management ; International Relations ; Behavioral Sciences
    Description / Table of Contents: 1. Introduction and Reflections --- 2. The Establishment of Catchment Management Agencies in South Africa with Reference to the Flussgebietsgemeinschaft Elbe: Some Practical Considerations --- 3. Towards Inclusive Water Governance: OECD Evidence and Key Principles of Stakeholder Engagement in the Water Sector --- 4. Free-Market Economics and Developmental Statism as Political Paradigms: Implications for Water Governance Theory and Practice in Developing Countries --- 5. Urban Water Governance as a Function of the “Urban Hydrosocial Transition” --- 6. Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management --- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses --- 8. Inclusive Transboundary Water Governance --- 9. Mechanisms for Inclusive Governance --- 10. Water Integrity - from Concept to Practice --- 11. Addressing the Groundwater Governance Challenge: A Call from the “Groundwater Governance: A Global Framework for Action” Project --- 12. Water Governance Futures in South Asia and Southern Africa: Déjà vu all Over Again?
    Pages: Online-Ressource (XXVII, 250 pages) , 39 illustrations, 28 illustrations in color
    ISBN: 9783319433509
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43350-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    The Cellular Automaton Interpretation of Quantum Mechanics (2016)
    Cham : Springer
    Details
    Keywords: Physics ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Applications in the Physical Sciences ; History and Philosophical Foundations of Physics
    Description / Table of Contents: I The Cellular Automaton Interpretation as a general doctrine: Motivation for this work --- Deterministic models in quantum notation --- Interpreting quantum mechanics --- Deterministic quantum mechanics --- Concise description of the CA Interpretation --- Quantum gravity --- Information loss --- More problems --- Alleys to be further investigated and open questions --- Conclusions --- II Calculation Techniques: Introduction to part II --- More on cogwheels --- The continuum limit of cogwheels, harmonic rotators and oscillators --- Locality --- Fermions --- PQ theory --- Models in two space-time dimensions without interactions --- Symmetries --- The discretised Hamiltonian formalism in PQ theory --- Quantum Field Theory --- The cellular automaton --- The problem of quantum locality --- Conclusions of part II --- Some remarks on gravity in 2+1 dimensions --- A summary of our views on Conformal Gravity --- Abbreviations.
    Pages: Online-Ressource (XVIII, 298 pages) , 21 illustrations, 19 illustrations in color
    ISBN: 9783319412856
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-41285-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Wetlands and Water Framework Directive : Protection, Management and Climate Change (2015)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Environmental management ; Environmental sciences ; Geoecology ; Environmental geology ; Earth Sciences ; Environmental Science and Engineering ; Water Policy/Water Governance/Water Management ; Geoecology/Natural Processes
    Description / Table of Contents: Wetlands and Water Framework Directive: protection, management and climate change --- Synergies and Conflicts between Water Framework Directive and Natura 2000: Legal requirements, technical guidance and experiences from practice --- Can Natura 2000 Sites Benefit from River Basin Management Planning Under a Changing Climate? Lessons from Germany --- Do water management and climate-adapted management of wetlands interfere in practice? Lessons from the Biebrza Valley, Poland --- Wetlands in river valleys as an effect of fluvial processes and anthropopression --- New vision of the role of land reclamation systems in nature protection and water management
    Pages: Online-Ressource (XI, 103 pages) , 19 illustrations, 12 illustrations in color
    ISBN: 9783319137643
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-13764-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Melting Hadrons, Boiling Quarks - From Hagedorn Temperature to Ultra-Relativistic Heavy-Ion Collisions at CERN : With a Tribute to Rolf Hagedorn (2016)
    Cham : Springer
    Details
    Keywords: Physics ; History ; Nuclear physics ; Heavy ions ; Hadrons ; Particle acceleration ; Physics ; Nuclear Physics, Heavy Ions, Hadrons ; History and Philosophical Foundations of Physics ; Particle Acceleration and Detection, Beam Physics ; History of Science
    Description / Table of Contents: Part I Reminiscences: Rolf Hagedorn and Relativistic Heavy Ion Research.-- Part II The Hagedorn Temperature --- Part III Melting Hadrons, Boiling Quarks Heavy Ion Path to Quark-Gluon Plasma --- Acronyms
    Pages: Online-Ressource (XVI, 441 pages)
    ISBN: 9783319175454
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-17545-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Climate change ; Environmental management ; Soil science ; Soil conservation ; Air pollution ; Life Sciences ; Agriculture ; Climate Change ; Atmospheric Protection/Air Quality Control/Air Pollution ; Soil Science & Conservation ; Environmental Management
    Description / Table of Contents: Chapter 1 Introduction to the SAMPLES Approach --- Chapter 2 Targeting Landscapes to Identify Mitigation Options --- Chapter 3 Determining Greenhouse Gas Emissions and Removals Associated with Land Use and Land Cover Change --- Chapter 4 Quantifying Greenhouse Gas Emissions from Managed and Natural Soils --- Chapter 5 A Comparison of Methodologies for Measuring Methane Emissions from Ruminants --- Chapter 6 Quantifying Tree Biomass Carbon Stocks and Fluxes in Agricultural Landscapes --- Chapter 7 Methods for Smallholder Quantification of Soil Carbon Stocks and Stock Changes --- Chapter 8 Yield Estimation of Food and Non-Food Crops in Smallholder Production Systems --- Chapter 9 Scaling Point and Plot Measurements of Greenhouse Gas Fluxes, Balances and Intensities to Whole Farms and Landscapes --- Chapter 10 Methods for Environment-Productivity Trade-off Analysis in Agricultural Systems
    Pages: Online-Ressource (XV, 203 pages) , 33 illustrations, 27 illustrations in color
    ISBN: 9783319297941
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29794-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Computer and Information Sciences : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Software engineering ; Mathematical statistics ; Computers ; Artificial intelligence ; Computer graphics ; Computer Science ; Information Systems and Communication Service ; Artificial Intelligence (incl. Robotics) ; Computer Communication Networks ; Software Engineering/Programming and Operating Systems ; Probability and Statistics in Computer Science ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Smart algorithms --- Data classification and processing --- Stochastic modelling --- Performance evaluation --- Queuing systems --- Wireless networks and security --- Image processing and computer vision
    Pages: Online-Ressource (XIII, 278 pages) , 75 illustrations
    ISBN: 9783319472171
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-47217-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (2017)
    Cham : Springer
    Details
    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
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57735-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    Eating, Drinking: Surviving : The International Year of Global Understanding - IYGU (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Nutrition ; Medical research ; Agriculture ; Sustainable development ; Quality of life ; Environment ; Sustainable Development ; Quality of Life Research ; Water Policy/Water Governance/Water Management ; Agriculture ; Nutrition
    Description / Table of Contents: Introduction: Understanding the Complexities of Eating, Drinking, and Surviving --- Globalization and Malnutrition: Geographical Perspectives on Its Paradoxes --- Drinking Water --- The Politics and Consequences of Virtual Water Export --- Integrated Water Resources Management as a New Approach to Water Security --- Surviving as an Unequal Community: WASH for Those on the Margins --- Challenges to Food Security in a Changing World --- Moral Economies of Food in the Socialist/Post-socialist World --- The Nutrition Transition in Developing Asia: Dietary Change, Drivers and Health Impacts. Food Sovereignty and the Possibilities for an Equitable, Just and Sustainable Food System --- Food Security and Food Waste
    Pages: Online-Ressource (XI, 105 pages) , 32 illustrations in color
    ISBN: 9783319424682
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-42468-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Sustainable Development in the Jordan Valley : Final Report of the Regional NGO Master Plan (2016)
    Cham : Springer
    Details
    Keywords: Environmental management ; Cultural heritage ; Tourism ; Management ; Nature conservation ; Sustainable development ; Development economics ; Economics ; Development Economics ; Water Policy/Water Governance/Water Management ; Sustainable Development ; Nature Conservation ; Cultural Heritage ; Tourism Management
    Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.
    Pages: Online-Ressource (XLII, 239 pages) , 181 illustrations, 179 illustrations in color
    ISBN: 9783319300368
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30036-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    Counteracting Urban Heat Island Effects in a Global Climate Change Scenario (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Remote sensing ; Physics ; Environment ; Climate Change ; Remote Sensing/Photogrammetry ; Energy Efficiency ; Climate Change/Climate Change Impacts ; Applied and Technical Physics
    Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.
    Pages: Online-Ressource (LIII, 400 pages) , 213 illustrations
    ISBN: 9783319104256
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-10425-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    Freshwater Governance for the 21st Century (2017)
    Cham : Springer
    Details
    Keywords: Environmental management ; International relations ; Behavioral sciences ; Environmental law ; Environmental policy ; Water ; Water Policy/Water Governance/Water Management ; Environmental Law/Policy/Ecojustice ; Environmental Management ; International Relations ; Behavioral Sciences
    Description / Table of Contents: 1. Introduction and Reflections --- 2. The Establishment of Catchment Management Agencies in South Africa with Reference to the Flussgebietsgemeinschaft Elbe: Some Practical Considerations --- 3. Towards Inclusive Water Governance: OECD Evidence and Key Principles of Stakeholder Engagement in the Water Sector --- 4. Free-Market Economics and Developmental Statism as Political Paradigms: Implications for Water Governance Theory and Practice in Developing Countries --- 5. Urban Water Governance as a Function of the “Urban Hydrosocial Transition” --- 6. Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management --- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses --- 8. Inclusive Transboundary Water Governance --- 9. Mechanisms for Inclusive Governance --- 10. Water Integrity - from Concept to Practice --- 11. Addressing the Groundwater Governance Challenge: A Call from the “Groundwater Governance: A Global Framework for Action” Project --- 12. Water Governance Futures in South Asia and Southern Africa: Déjà vu all Over Again?
    Pages: Online-Ressource (XXVII, 250 pages) , 39 illustrations, 28 illustrations in color
    ISBN: 9783319433509
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43350-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    Integrated Groundwater Management : Concepts, Approaches and Challenges (2016)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Environmental management ; Hydrogeology ; Sustainable development ; Economic growth ; Earth Sciences ; Hydrogeology ; Water Policy/Water Governance/Water Management ; Economic Growth ; Sustainable Development
    Description / Table of Contents: From the Contents: Overview concepts, approaches and challenges of integrated groundwater management --- Disentangling the complexity of a groundwater dependent socio-ecological system --- The scale of the groundwater issue internationally --- Groundwater law --- Groundwater regulation and integrated water planning
    Pages: Online-Ressource (XIII, 762 pages) , 101 illustrations
    ISBN: 9783319235769
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-23576-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    Rewilding European Landscapes (2015)
    Cham : Springer
    Details
    Keywords: Environment ; Applied ecology ; Biodiversity ; Landscape ecology ; Environmental management ; Nature conservation ; Environment ; Nature Conservation ; Environmental Management ; Biodiversity ; Landscape Ecology ; Applied Ecology
    Description / Table of Contents: Part I  - The Theory of Rewilding --- 1. Rewilding Abandoned Landscapes in Europe --- 2. European Wilderness in a Time of Farmland Abandonment --- 3. Ecosystem Services: the Opportunities of Rewilding in Europe --- Part II - Rewilding and Biodiversity --- 4. Bringing Large Mammals Back: Large Carnivores in Europe --- 5. Top Scavengers in a Wilder Europe --- 6. Rewilding: Pitfalls and Opportunities for Moths and Butterflies --- 7. Vegetation Restoration and Other Actions to Enhance Wildlife in European Agricultural Landscapes --- 8. Maintaining Disturbance-dependent Habitats.- Part III - Rewillding in Practice --- 9. Rewilding Europe: A New Strategy for an Old Continent --- 10. Preparing a New Generation of Wilderness Entrepreneurs --- 11. Towards a European Policy for Rewilding --- Index
    Pages: Online-Ressource (XXI, 227 pages) , 44 illustrations, 43 illustrations in color
    ISBN: 9783319120393
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-12039-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    Unknown
    Melting Hadrons, Boiling Quarks - From Hagedorn Temperature to Ultra-Relativistic Heavy-Ion Collisions at CERN : With a Tribute to Rolf Hagedorn (2016)
    Cham : Springer
    Details
    Keywords: Physics ; History ; Nuclear physics ; Heavy ions ; Hadrons ; Particle acceleration ; Physics ; Nuclear Physics, Heavy Ions, Hadrons ; History and Philosophical Foundations of Physics ; Particle Acceleration and Detection, Beam Physics ; History of Science
    Description / Table of Contents: Part I Reminiscences: Rolf Hagedorn and Relativistic Heavy Ion Research.-- Part II The Hagedorn Temperature --- Part III Melting Hadrons, Boiling Quarks Heavy Ion Path to Quark-Gluon Plasma --- Acronyms
    Pages: Online-Ressource (XVI, 441 pages)
    ISBN: 9783319175454
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-17545-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    Unknown
    Physical (A)Causality : Determinism, Randomness and Uncaused Events (2018)
    Cham : Springer
    Details
    Keywords: Physics ; Epistemology ; Philosophy and science ; Probabilities ; Physics ; History and Philosophical Foundations of Physics ; Theoretical, Mathematical and Computational Physics ; Epistemology ; Probability Theory and Stochastic Processes ; Philosophy of Science
    Description / Table of Contents: Part I Embedded observers, reflexive perception and representation: Intrinsic and extrinsic observation mode --- Embedded observers and self-expression --- Reflexive measurement --- Intrinsic self-representation --- Part II Provable unknowns: On what is entirely hopeless --- Forecasting and unpredictability --- Induction by rule inference --- Other types of recursion theoretic unknowables --- What if there are no laws? Emergence of laws --- Part III Quantum unknowns: "Shut up and calculate" --- Evolution by permutation --- Quantum mechanics in a nutshell --- Quantum oracles --- Vacuum fluctuations --- Radioactive decay --- Part IV Exotic unknowns: Classical continua and infinities --- Classical (in)determinism --- Deterministic chaos --- Partition logics, finite automata and generalized urn models --- Part V Transcendence: Miracles --- Dualistic interfaces --- Part VI Executive summary: Executive summary --- Appendix A: Formal (in)computability and randomness --- B: Two particle correlations and expectations
    Pages: Online-Ressource (XIV, 219 pages) , 32 illustrations, 24 illustrations in color
    ISBN: 9783319708157
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-70815-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    Environmental Governance of the Baltic Sea (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Political science ; Wildlife ; Fish ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Political Science ; Water Policy/Water Governance/Water Management ; Marine & Freshwater Sciences ; Fish & Wildlife Biology & Management
    Description / Table of Contents: Chapter 1. Environmental Governance of the Baltic Sea: Identifying Key Challenges Research Topics and Analytical Approaches. Part 1: Interdisciplinary Case Studies of Environmental Governance --- Chapter 2. Eutrophication and the Ecosystem Approach to Management: A Case Study of Baltic Sea Environmental Governance --- Chapter 3. Fisheries: A Case Study of Baltic Sea Environmental Governance --- Chapter 4. Biological Invasions: a Case Study of Baltic Sea Environmental Governance --- Chapter 5. Governance of Chemicals in the Baltic Sea Region: A Study of Three Generations of Hazardous Substances --- Chapter 6. Oil Spills from Shipping: A Case Study of the Governance of Accidental Hazards and Intentional Pollution in the Baltic Sea --- Part 2: Cross-Case Analysis of Key Environmental Governance Challenges --- Chapter 7. The Ecosystem Approach to Management in Baltic Sea Governance: Towards Increased Reflexivity? --- Chapter 8. Science-Policy Interfaces in Baltic Sea Environmental Governance: Towards Regional Cooperation and Management of Uncertainty? --- Chapter 9. Risk Communication and the Role of the Public: Towards Inclusive Environmental Governance of the Baltic Sea? --- Chapter 10. Seeking Pathways Towards Improved Environmental Governance of the Baltic Sea
    Pages: Online-Ressource (XIX, 253 pages) , 10 illustrations, 3 illustrations in color
    ISBN: 9783319270067
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27006-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    Unknown
    Sustainable Development in the Jordan Valley : Final Report of the Regional NGO Master Plan (2016)
    Cham : Springer
    Details
    Keywords: Environmental management ; Cultural heritage ; Tourism ; Management ; Nature conservation ; Sustainable development ; Development economics ; Economics ; Development Economics ; Water Policy/Water Governance/Water Management ; Sustainable Development ; Nature Conservation ; Cultural Heritage ; Tourism Management
    Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.
    Pages: Online-Ressource (XLII, 239 pages) , 181 illustrations, 179 illustrations in color
    ISBN: 9783319300368
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30036-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    Non-Equilibrium Social Science and Policy : Introduction and Essays on New and Changing Paradigms in Socio-Economic Thinking (2017)
    Cham : Springer
    Details
    Keywords: Physics ; Complexity, Computational ; Economic theory ; Social sciences ; Physics ; Data-driven Science, Modeling and Theory Building ; Methodology of the Social Sciences ; Economic Theory/Quantitative Economics/Mathematical Methods ; Operations Research/Decision Theory ; Complexity ; Computational Social Sciences
    Description / Table of Contents: Non-Equilibrium Social Science & Policy --- Economics --- Social Psychology and Narrative Economy --- Sociology and Non-Equilibrium Social Science --- Geography far from Equilibrium --- Cities in Disequilibrium --- The Evolutionary Theory of Globalization --- Systems, Networks, and Policy --- Towards a Complexity-Friendly Policy: breaking the vicious circle of equilibrium thinking in economic and public policy --- The Information Economy --- Complexity Science & the Art of Policy Making --- The Complexity of Government --- The Room Around the Elephant: Tackling Context-Dependency in the Social Sciences --- Global Systems Science and Policy --- Index.
    Pages: Online-Ressource (VIII, 232 pages)
    ISBN: 9783319424248
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-42424-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    Unknown
    Integrated Groundwater Management : Concepts, Approaches and Challenges (2016)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Environmental management ; Hydrogeology ; Sustainable development ; Economic growth ; Earth Sciences ; Hydrogeology ; Water Policy/Water Governance/Water Management ; Economic Growth ; Sustainable Development
    Description / Table of Contents: From the Contents: Overview concepts, approaches and challenges of integrated groundwater management --- Disentangling the complexity of a groundwater dependent socio-ecological system --- The scale of the groundwater issue internationally --- Groundwater law --- Groundwater regulation and integrated water planning
    Pages: Online-Ressource (XIII, 762 pages) , 101 illustrations
    ISBN: 9783319235769
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-23576-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    Unknown
    Counteracting Urban Heat Island Effects in a Global Climate Change Scenario (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Remote sensing ; Physics ; Environment ; Climate Change ; Remote Sensing/Photogrammetry ; Energy Efficiency ; Climate Change/Climate Change Impacts ; Applied and Technical Physics
    Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.
    Pages: Online-Ressource (LIII, 400 pages) , 213 illustrations
    ISBN: 9783319104256
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-10425-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    Unknown
    North Sea Region Climate Change Assessment (2016)
    Cham : Springer
    Details
    Keywords: Marine Sciences ; Environmental management ; Atmospheric Sciences ; Marine & Freshwater Sciences ; Environmental Management
    Description / Table of Contents: Introduction to the Assessment --- Past and Current Climate Change --- Past and Current Changes in the North Sea (and interface regions) --- Climate Change Projections --- Impacts of Current and Future Climate Change in Ecosystems --- Climate Impacts on Socio-economy
    Pages: Online-Ressource (XLV, 528 pages) , 277 illustrations, 215 illustrations in color
    ISBN: 9783319397450
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-39745-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    Unknown
    Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Climate change ; Environmental management ; Soil science ; Soil conservation ; Air pollution ; Life Sciences ; Agriculture ; Climate Change ; Atmospheric Protection/Air Quality Control/Air Pollution ; Soil Science & Conservation ; Environmental Management
    Description / Table of Contents: Chapter 1 Introduction to the SAMPLES Approach --- Chapter 2 Targeting Landscapes to Identify Mitigation Options --- Chapter 3 Determining Greenhouse Gas Emissions and Removals Associated with Land Use and Land Cover Change --- Chapter 4 Quantifying Greenhouse Gas Emissions from Managed and Natural Soils --- Chapter 5 A Comparison of Methodologies for Measuring Methane Emissions from Ruminants --- Chapter 6 Quantifying Tree Biomass Carbon Stocks and Fluxes in Agricultural Landscapes --- Chapter 7 Methods for Smallholder Quantification of Soil Carbon Stocks and Stock Changes --- Chapter 8 Yield Estimation of Food and Non-Food Crops in Smallholder Production Systems --- Chapter 9 Scaling Point and Plot Measurements of Greenhouse Gas Fluxes, Balances and Intensities to Whole Farms and Landscapes --- Chapter 10 Methods for Environment-Productivity Trade-off Analysis in Agricultural Systems
    Pages: Online-Ressource (XV, 203 pages) , 33 illustrations, 27 illustrations in color
    ISBN: 9783319297941
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29794-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    Unknown
    Balanced Urban Development: Options and Strategies for Liveable Cities (2016)
    Cham : Springer
    Details
    Keywords: Geography ; Hydrology ; Environmental management ; Regional planning ; Urban planning ; Landscape ecology ; Sustainable development ; Geography ; Landscape/Regional and Urban Planning ; Hydrology/Water Resources ; Sustainable Development ; Water Policy/Water Governance/Water Management ; Landscape Ecology
    Description / Table of Contents: Part I: Introduction --- 1. Balanced Urban Development: Is it a myth or reality? - Part II: Peri-Urbansation --- 2. Re-Ruralising the Urban Edge: Lessons from Europe, USA & the Global South --- 3. Nimbyism and Nature – Whose Backyard is it Anyway? - 4. Connecting Urban and Rural Futures Through Rural Design --- 5. Archaeology and Contemporary Dynamics for More Sustainable, Resilient Cities in the Peri-Urban Interface --- 6. Decontamination of Urban Run-off: Importance and Methods --- Part III: Peri-Urban Culture and Socio-Economy --- 7. Socio-economy of Peri-Urban Areas: The Case of Lisbon Metropolitan Area --- 8. Changing Economic Scenario of the Peri-Urban Area of Udaipur City, India --- 9. Community Stakeholder Viewpoints on Issues of Urbanisation along the River Ma Oya, Sri Lanka --- Part IV: Peri-Urban Landuse Planning --- 10. The role of peri-urban land use planning in resilient urban agriculture: a case study of Melbourne, Australia --- 11. Engaging Peri-Urban Landholders in Natural Resources Management.-12. Urban Farming Master Plan in Western Sydney - From Planning to Reality --- Part V: Urban Water Security --- 13. Study of urban water bodies in view of potential for micro-climatic cooling and natural purification of waste water --- 14. Groundwater Crisis in a Mega City – A Case Study of New Delhi, India --- 15. Safe Water Supply Determinants in Peri-Urban Communities of South-East Nigeria --- 16. Risks of Coal Seam and Shale Gas Extraction on Groundwater and Aquifers in Eastern Australia --- Part VI: Wastewater and Irrigation --- 17. Use of recycled water for irrigation of open spaces: Benefits and Risks --- 18. Global Experiences on Wastewater Irrigation: Challenges and Prospects --- 19. Impacts of Wastewater Reuse on Peri-Urban Agriculture: Case Study in Udaipur City, India --- Part VII: Urban Agriculture and Food Security --- 20. Urban Agriculture in Cuba: Alternative Legal Structures, Crisis and Change --- 21. High quality agricultural land in Western Australia – A new decision tool for planning --- 22. Food Efficient Planning and Design for Peri-urban Neighbourhoods --- 23. Role of Peri-urban Areas in the Food System of Kampala, Uganda --- Part VIII: Climate Change Impacts and Adaptations --- 24. Climate Change Adaptation Planning with Peri-Urban Local Government in Victoria, Australia --- 25. Awareness of Climate Change Impacts and Adaptation at Local Level in Punjab, Pakistan --- 26. Urbanisation, Nutrition and Food Security: A Climatological Perspective --- 27. Coastal Urban and Peri-Urban Indigenous People’s Adaptive Capacity to Climate Change --- Part IX: Legal, Policy and Institutional Challenges --- 28. Effect of Social and Institutional Fragmentation on Collective Action in Peri-urban Settings --- 29. Gentrification versus Territorialisation: The Peri-Urban Agriculture Area in Beirut --- 30. Reimagining the “Peri-Urban” in the Mega-Urban Regions of Southeast Asia --- Part X: Integrated Urban Development --- 31. Sustainability of Water Resources in Peri-urban Landscapes: Learning from the Journey of Engagement --- 32. Development of Future Management Options for the Hawkesbury River --- 33. Planning Development to Reduce Mosquito Hazard in Coastal Peri-Urban Areas: Case Studies in NSW, Australia --- 34. An Integrated Simulation and Visualisation Platform for the Design of Sustainable Urban Developments in a Peri-Urban Context --- 35. Options and Strategies for Balanced Development for Liveable Cities: An Epilogue
    Pages: Online-Ressource (XXII, 601 pages) , 136 illustrations, 109 illustrations in color
    ISBN: 9783319281124
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-28112-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    Unknown
    Rangeland Systems : Processes, Management and Challenges (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Ecology ; Climate change ; Environmental law ; Environmental policy ; Environmental management ; Environment ; Environmental Management ; Environmental Law/Policy/Ecojustice ; Ecology ; Climate Change
    Description / Table of Contents: 1. Conceptual development toward a rangeland systems framework --- Part: 1 Processes --- 2. Woody plant encroachment --- 3. Ecohydrology: processes and implications for rangelands --- 4. Soil and belowground processes --- 5. Structural heterogeneity as the basis for rangeland management --- 6. Non-equilibrium ecology and resilience theory --- 7. Ecological consequences of climate change on rangelands --- Part: 2 Management --- 8. Rangelands as social-ecological systems --- 9. State and transition models: theory, applications, and challenges --- 10. Livestock production systems --- 11. Adaptive management of rangeland systems --- 12. Managing the livestock-wildlife interface on rangelands --- Part: 3 Challenges --- 13. Invasive plant species and novel rangeland systems --- 14. Rangeland ecosystem services: nature´s supply and humans´ demand --- 15. Managing climate change risks in rangeland systems --- 16. Monitoring protocols: options, approaches, implementation, benefits --- 17. Rangeland systems in developing nations: conceptual advances and societal implications
    Pages: Online-Ressource (XV, 661 pages) , 101 illustrations, 69 illustrations in color
    ISBN: 9783319467092
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-46709-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    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
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    Unknown
    Intertwingled : The Work and Influence of Ted Nelson (2015)
    Cham : Springer
    Details
    Keywords: Computer science ; Data structures (Computer science) ; User interfaces (Computer systems) ; Application software ; Computers ; Computer Science ; History of Computing ; Computer Appl. in Arts and Humanities ; Data Structures ; User Interfaces and Human Computer Interaction
    Description / Table of Contents: Part I: Artistic Contributions --- The Computer Age --- Odes to Ted Nelson --- Part II: Peer Histories --- The Two-eyed Man --- Ted Nelson’s Xanadu—Caution: Four Letter Words Ahead --- Hanging Out with Ted Nelson --- Riffing on Ted Nelson—Hypermind --- Intertwingled Inspiration --- An Advanced Book for Beginners --- Part III: Hypertext and Ted Nelson-Influenced Research --- The Importance of Ted’s Vision --- Data, Metadata and Ted --- Making Links: Everything Really is Deeply Intertwingled --- Ted Nelson --- History Debugged --- We Can and Must Understand Computers NOW --- The Future of Transclusion --- Ted Nelson: A Critical (and Critically Incomplete) Bibliography --- Part IV: The Last Word --- What Box?
    Pages: Online-Ressource (XVI, 150 pages) , 43 illustrations
    ISBN: 9783319169255
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16925-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    Unknown
    Informatics in the Future : Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Research ; Moral and ethical aspects ; Computers ; Computers and civilization ; Computer Science ; Computers and Society ; History of Computing ; Diversity Management/Women in Business ; Research Ethics
    Description / Table of Contents: Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science --- On the Big Impact of “Big Computer Science” --- On Informatics, Diamonds and T --- Leadership and Balance in Research --- Rational ethics --- Ethics for the digital age: where are the moral specs? --- Digital Sovereignty and IT-Security for a Prosperous Society --- Women in Computing and the contingency of informatics cultures --- Ada - poet of computing
    Pages: Online-Ressource (XI, 109 pages) , 22 illustrations in color
    ISBN: 9783319557359
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-55735-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Data structures (Computer science) ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
    Pages: Online-Ressource (XX, 429 pages) , 93 illustrations
    ISBN: 9783319899602
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89960-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    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
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    Unknown
    Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers ; Computer Science ; Systems and Data Security ; Theory of Computation ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Information Flow and Non-Intereference --- What's the Over/Under? Probabilistic Bounds on Information Leakage --- Secure Information Release in Timed Automata --- Compositional Non-Interference for Concurrent Programs via Separation and Framing --- The Meaning of Memory Safety --- Leakage, Information Flow, and Protocols --- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage --- Leakage and Protocol Composition in a Game-theoretic Perspective --- Equivalence Properties by Typing in Cryptographic Branching Protocols --- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience --- Smart Contracts and Privacy --- SoK: Unraveling Bitcoin Smart Contracts --- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts --- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts --- UniTraX: Protecting Data Privacy with Discoverable Biases --- Firewalls and Attack-Defense Trees --- Transcompiling Firewalls --- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels
    Pages: Online-Ressource (XIV, 347 pages) , 85 illustrations
    ISBN: 9783319897226
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89722-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Software engineering ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computer Systems Organization and Communication Networks ; Computing Methodologies ; Computing Milieux ; Computer Hardware
    Description / Table of Contents: Concurrent and Distributed Systems --- Computing the concurrency threshold of sound free-choice workflow nets --- Fine-Grained Complexity of Safety Verification --- Parameterized verification of synchronization in constrained reconfigurable broadcast networks --- EMME: a formal tool for the ECMAScript Memory Model Evaluation --- SAT and SMT II --- What a Difference a Variable Makes --- Abstraction Refinement for Emptiness Checking of Alternating Data Automata --- Revisiting Enumerative Instantiation --- An Non-linear Arithmetic Procedure for Control-Command Software Verification --- Security and Reactive Systems --- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection --- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts --- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties --- The Refinement Calculus of Reactive Systems Toolset --- Static and Dynamic Program Analysis --- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation --- Optimal Dynamic Partial Order Reduction with Observers --- Structurally Defined Conditional Data-flow Static Analysis --- Geometric Nontermination Arguments --- Hybrid and Stochastic Systems --- Efficient dynamic error reduction for hybrid systems reachability analysis --- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic --- Multi-Cost Bounded Reachability in MDPs --- A Statistical Model Checker for Nondeterminism and Rare Events --- Temporal logic and mu-calculus --- Permutation Games for the Weakly Aconjunctive mu-Calculus --- Symmetry Reduction for the Local Mu-Calculus --- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models --- 7th Competition on Software Verification (SV-COMP) --- 2LS: Memory Safety and Non-Termination (Competition contribution) --- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) --- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) --- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) --- Map2Check using LLVM and KLEE (Competition Contribution) --- Symbiotic 5: Boosted Instrumentation (Competition Contribution) --- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) --- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) --- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
    Pages: Online-Ressource (XX, 465 pages) , 92 illustrations
    ISBN: 9783319899633
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89963-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    Unknown
    Computation and the Humanities : Towards an Oral History of Digital Humanities (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; User interfaces (Computer systems) ; Application software ; Computers ; Computers and civilization ; Computer Science ; History of Computing ; User Interfaces and Human Computer Interaction ; Computer Appl. in Arts and Humanities ; Computers and Society
    Description / Table of Contents: Once Neglected, Now Emerging and Absolutely Necessary: On the History of Digital Humanities or An Introduction --- Why Oral History? ---  ‘Individuation is There in all the Different Strata:’ an Oral History Conversation between John Burrows, Hugh Craig and Willard McCarty --- ‘It was a Time When the University was Still Taking Account of the Meaning of universitas scientiarum’: an Oral History Conversation between Wilhelm Ott and Julianne Nyhan --- ‘hic Rhodus, hic salta’: An Oral History Interview Between Tito Orlandi and Julianne Nyhan --- ‘They Took a Chance’: An Oral History Conversation between Susan Hockey and Julianne Nyhan ---  ‘And Here We go Back Again to the Influence of Algorithmic Thinking’: An Oral History conversation between Judy Malloy and Julianne Nyhan --- ‘I Would Think of Myself as Sitting Inside the Computer, Moving Things Around in Order to Accomplish the Goal of my Programming’: An Oral History Conversation Between Mary Dee Harris and Julianne Nyhan --- ‘I Was Absolutely Convinced That There Had to be a Better Way’: An Oral History Conversation Between John Nitti and Julianne Nyhan --- ‘It’s a Little Mind-Boggling Actually’: An Oral History Conversation between Helen Agüera and Julianne Nyhan ---  ‘I Heard About the Arrival of the Computer’: An Oral History Conversation Between Hans Rutimann and Julianne Nyhan ---  ‘Langezeit habe ich der Universitaet nachgetrauert’: An Oral History Conversation between Michael Sperberg-McQueen and Julianne Nyhan.-‘It’s Probably the Only Modestly Widely used System with a Command Language in Latin’: An Oral History Conversation Between Manfred Thaller and Julianne Nyhan ---  ‘I was Keen on Getting Computers into Humanists’ Thinking’: An Oral History Conversation Between John Bradley and Julianne Nyhan ---  ‘Moderate Expectations, Tolerable Disappointments’: An Oral History Conversation between Claus Huitfeldt and Julianne Nyhan --- ‘So, Into the Chopper it Went’: An Oral History Conversation between Gabriel Egan and Julianne Nyhan --- Revolutionaries and Underdogs --- By Way of a Conclusion
    Pages: Online-Ressource (XI, 285 pages)
    ISBN: 9783319201702
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-20170-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    Unknown
    Foundations of Quantum Theory : From Classical Concepts to Operator Algebras (2017)
    Cham : Springer
    Details
    Keywords: Physics ; Matrix theory ; Algebra ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Physics ; History and Philosophical Foundations of Physics ; Linear and Multilinear Algebras, Matrix Theory
    Description / Table of Contents: Introduction --- Part I Co(X) and B(H): Classical physics on a finite phase space --- Quantum mechanics on a finite-dimensional Hilbert space --- Classical physics on a general phase space --- Quantum physics on a general Hilbert space --- Symmetry in quantum mechanics --- Part II Between Co(X) and B(H): Classical models of quantum mechanics --- Limits: Small hbar --- Limits: large N --- Symmetry in algebraic quantum theory --- Spontaneous Symmetry Breaking --- The Measurement Problem --- Topos theory and quantum logic --- Appendix A: Finite-dimensional Hilbert spaces --- Appendix B: Basic functional analysis --- Appendix C: Operator algebras --- Appendix D: Lattices and logic --- Appendix E: Category theory and topos theory --- References
    Pages: Online-Ressource (XXXVI, 861 pages) , 9 illustrations, 8 illustrations in color
    ISBN: 9783319517773
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-51777-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    Unknown
    The Cellular Automaton Interpretation of Quantum Mechanics (2016)
    Cham : Springer
    Details
    Keywords: Physics ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Applications in the Physical Sciences ; History and Philosophical Foundations of Physics
    Description / Table of Contents: I The Cellular Automaton Interpretation as a general doctrine: Motivation for this work --- Deterministic models in quantum notation --- Interpreting quantum mechanics --- Deterministic quantum mechanics --- Concise description of the CA Interpretation --- Quantum gravity --- Information loss --- More problems --- Alleys to be further investigated and open questions --- Conclusions --- II Calculation Techniques: Introduction to part II --- More on cogwheels --- The continuum limit of cogwheels, harmonic rotators and oscillators --- Locality --- Fermions --- PQ theory --- Models in two space-time dimensions without interactions --- Symmetries --- The discretised Hamiltonian formalism in PQ theory --- Quantum Field Theory --- The cellular automaton --- The problem of quantum locality --- Conclusions of part II --- Some remarks on gravity in 2+1 dimensions --- A summary of our views on Conformal Gravity --- Abbreviations.
    Pages: Online-Ressource (XVIII, 298 pages) , 21 illustrations, 19 illustrations in color
    ISBN: 9783319412856
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-41285-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    Unknown
    Collider Physics within the Standard Model : A Primer (2017)
    Cham : Springer
    Details
    Keywords: Physics ; Quantum field theory ; String theory ; Elementary particles (Physics) ; Physics ; Elementary Particles, Quantum Field Theory ; Quantum Field Theories, String Theory
    Description / Table of Contents: Preface --- Gauge Theories and the Standard Model --- QCD: The Theory of Strong Interactions --- The Theory of Electroweak Interactions --- References
    Pages: Online-Ressource (XIV, 173 pages) , 60 illustrations, 34 illustrations in color
    ISBN: 9783319519203
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-51920-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    Unknown
    Designing Sustainable Technologies, Products and Policies : From Science to Innovation (2018)
    Cham : Springer
    Details
    Keywords: Sustainable development ; Environmental management ; Renewable energy sources ; Industrial management-Environmen ; Sustainable Development ; Environmental Management ; Renewable and Green Energy ; Environmental Science and Engineering ; Sustainability Management
    Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study
    Pages: Online-Ressource (XIV, 520 pages) , 106 illustrations, 27 illustrations in color
    ISBN: 9783319669816
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-66981-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    Unknown
    Observing the Volcano World : Volcano Crisis Communication (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Geology ; Natural disasters ; Environmental management ; Communication ; Earth Sciences ; Natural Hazards ; Geology ; Environmental Management ; Communication Studies
    Description / Table of Contents: Part I: Bill McGuire --- Volcano Crisis Communication: Challenges and Solutions in the 21st Century --- Volcanic Gases: Silent Killers --- The Communication and Risk Management of Volcanic Ballistic Hazards --- Part One Summary: Adapting Warnings for Volcanic Hazards --- Part II: Gill Jolly --- Volcanic Unrest and Hazard Communication in Long Valley Volcanic Region, California --- Organisational Response to the 2007 Ruapehu Crater Lake Dam-Break Lahar in New Zealand: Use of Communication in Creating an Effective Response --- Social Representation of Human Resettlement Associated with Risk from Volcán de Colima, Mexico --- Part Two Summary: Observing Volcanic Crises --- Part III: Deanne Bird and Kat Haynes --- Communicating Information on Eruptions and Their Impacts from the Earliest Times Until the Late Twentieth Century --- “There’s no Plastic in Our Volcano”: A Story About Losing and Finding a Path to Participatory Volcanic Risk Management in Colombia --- Challenges of Volcanic Crises on Small Islands States --- Living with an Active Volcano: Informal and Community Learning for Preparedness in South of Japan --- Part Three Summary: Communicating into the Future. Volcanic Crisis Communication: Where Do We Go from Here?
    Pages: Online-Ressource (XV, 771 pages)
    ISBN: 9783319440972
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-44097-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    Optics in Our Time (2016)
    Cham : Springer
    Details
    Keywords: Physics ; Quantum optics ; Physics ; Optics, Lasers, Photonics, Optical Devices ; Quantum Optics ; Popular Science in Physics ; History and Philosophical Foundations of Physics
    Description / Table of Contents: History --- A brief history of light --- Ibn Al-Haitham – Father of modern optics --- Optical Sources --- Femtosecond light --- Laser --- LED light --- Electron optics --- Applications --- Biophotonics --- Optical communication --- Optical astronomy --- Solar cells --- Optics in Remote Sensing --- Optics in nanotechnology --- Optics in art --- Eye --- Optics in medicine --- Optical illusions --- Quantum Optics --- Optical tests of foundations of physics --- Nonlinear Optics: Historical Perspectives and New Opportunities --- Quantum communication --- Nature of photon --- Atom optics --- Coherent effects: From EIT to slow light
    Pages: Online-Ressource (XX, 504 pages) , 355 illustrations, 277 illustrations in color
    ISBN: 9783319319032
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-31903-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    Unknown
    Non-Equilibrium Social Science and Policy : Introduction and Essays on New and Changing Paradigms in Socio-Economic Thinking (2017)
    Cham : Springer
    Details
    Keywords: Physics ; Complexity, Computational ; Economic theory ; Social sciences ; Physics ; Data-driven Science, Modeling and Theory Building ; Methodology of the Social Sciences ; Economic Theory/Quantitative Economics/Mathematical Methods ; Operations Research/Decision Theory ; Complexity ; Computational Social Sciences
    Description / Table of Contents: Non-Equilibrium Social Science & Policy --- Economics --- Social Psychology and Narrative Economy --- Sociology and Non-Equilibrium Social Science --- Geography far from Equilibrium --- Cities in Disequilibrium --- The Evolutionary Theory of Globalization --- Systems, Networks, and Policy --- Towards a Complexity-Friendly Policy: breaking the vicious circle of equilibrium thinking in economic and public policy --- The Information Economy --- Complexity Science & the Art of Policy Making --- The Complexity of Government --- The Room Around the Elephant: Tackling Context-Dependency in the Social Sciences --- Global Systems Science and Policy --- Index.
    Pages: Online-Ressource (VIII, 232 pages)
    ISBN: 9783319424248
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-42424-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    Unknown
    Ecological Risk Assessment for Chlorpyrifos in Terrestrial and Aquatic Systems in the United States (2014)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Ecotoxicology ; Waste management ; Environment ; Ecotoxicology ; Environmental Management ; Waste Management/Waste Technology
    Description / Table of Contents: Preface --- Foreword by Keith Solomon and John Giesy --- Foreword by Coordinating Board of Editors --- Ecological Risk Assessment for Chlorpyrifos in Terrestrial and Aquatic Systems in The United States – Overview and Conclusions --- Properties and Uses of Chlorpyrifos in the United States --- Fate in the Environment and Long-Range Atmospheric Transport of the Organophosphorus Insecticide, Chlorpyrifos and its Oxon in the United States --- Exposures of Aquatic Organisms to the Organophosphorus Insecticide, Chlorpyrifos Resulting from Use in the United States --- Risks to Aquatic Organisms from Use of Chlorpyrifos in the United States --- Refined Avian Risk Assessment for Chlorpyrifos in the United States --- Risk to Pollinators from the Use of Chlorpyrifos in the United States --- Index
    Pages: Online-Ressource (XVI, 269 pages) , 40 illustrations
    ISBN: 9783319038650
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-03865-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    Aquaculture Perspective of Multi-Use Sites in the Open Ocean : The Untapped Potential for Marine Resources in the Anthropocene (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Business ; Management science ; Law ; Building construction ; Marine sciences ; Freshwater ; Environment ; Marine & Freshwater Sciences ; Offshore Engineering ; Business and Management, general ; Law, general ; Water Policy/Water Governance/Water Management
    Description / Table of Contents: 1. Foreword --- 2. Preface --- 3. Human Marine Resource Use --- 4 Species, Techniques and System Design, Environmental Impact --- 5. Aquaculture Governance --- 6. Aquaculture Economics --- 7. Case Studies --- 8. Synthesis – Pathways Towards Sustainable Ocean Food Production
    Pages: Online-Ressource (XXII, 404 pages) , 128 illustrations, 104 illustrations in color
    ISBN: 9783319511597
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-51159-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    Unknown
    Anti-fragile ICT Systems (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Computers ; Artificial intelligence ; Computer simulation ; Computer Science ; Computer Systems Organization and Communication Networks ; Information Systems and Communication Service ; Artificial Intelligence (incl. Robotics) ; Simulation and Modeling
    Description / Table of Contents: Preface --- Part I: The Concept of Anti-Fragility: 1 Introduction --- 2 Achieving Anti-Fragility --- 3 The Need to Build Trust --- 4 Principles Ensuring Anti-Fragility --- Part II: Anti-Fragility to Downtime: 5 Anti-Fragile Cloud Solutions --- 6 An Anti-Fragile e-Government System --- 7 Anti-Fragile Cloud-Based Telecom Systems --- Part III: Anti-Fragility to Malware: 8 Robustness to Malware Spreading --- 9 Robustness to Malware Reinfections --- 10 Anti-Fragility to Malware Spreading --- Part IV: Anomaly Detection: 11 The Cortical Learning Algorithm --- 12 Detecting Anomalies with the CLA --- Part V: Future Anti-Fragile Systems: 13 Summary and Future Work --- About the Author --- References --- Index
    Pages: Online-Ressource (XVIII, 151 pages) , 44 illustrations, 22 illustrations in color
    ISBN: 9783319300702
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30070-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    Unknown
    Re-engineering the Uptake of ICT in Schools (2015)
    Cham : Springer
    Details
    Keywords: Computer science ; Computers ; Education ; Computer Science ; Information Systems and Communication Service ; Education, general
    Description / Table of Contents: Innovative Technologies for an Engaging Classroom (iTEC) --- Development of the Future Classroom Toolkit --- Designing Edukata, a Participatory Design Model for Creating Learning Activities --- The iTEC Technical Artefacts, Architecture and Educational Cloud --- The Composer: Creating, Sharing and Facilitating Learning Designs --- Recommender Systems --- Resources beyond Content for Open Education --- The iTEC Widget Store --- The Impact and Potential of iTEC: Evidence from large-scale Validation in School Classrooms
    Pages: Online-Ressource (XVII, 201 pages) , 47 illustrations, 42 illustrations in color
    ISBN: 9783319193663
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-19366-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    Unknown
    The Interconnected Arctic — UArctic Congress 2016 (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Medical research ; Environmental management ; Economics ; Quality of life ; Environment ; Environmental Management ; Climate Change/Climate Change Impacts ; Quality of Life Research ; Environment Studies ; Economic Systems
    Description / Table of Contents: Part I Vulnerability of the Arctic environments. Chapter 1 Mysteries of the geological history of the Cenozoic Arctic Ocean sea ice cover --- Chapter 2 Response of Arctic alpine biota to climate change -evidence from Polar Urals GLORIA summits --- Chapter 3 The features of natural and artificial recovery in quarries of the forest-tundra zone of Western Siberia --- Chapter 4 The concept of hierarchical structure of large marine ecosystems in the zoning of Russian Arctic shelf seas --- Chapter 5 Changing climate and outbreaks of forest pest insects in a cold northern country, Finland --- Chapter 6 Wood-based energy as a strategy for climate change mitigation in the Arctic –Perspectives on assessment of climate impacts and resource efficiency with Life Cycle Assessment --- Chapter 7. Geospatial analysis of persistent organic pollutant deposits in the Arctic ecosystems and environment --- Chapter 8 Hydrological probabilistic model MARCS and its application to simulate the probability density functions of multi-year maximal runoff: the Russian Arctic as a case of study --- Chapter 9 Student contribution: Assessment of Atmospheric Circulation in the Atlantic-Eurasian Region and Arctic Using Climate Indices. The Possible Applications of these Indices in Long-term Weather Forecasts --- Chapter 10 Student contribution: Difficulties of Geological Engineering in Arctic Seas --- Part II Vulnerability of the Arctic societies. Chapter 11 The Health Transition: A challenge to indigenous peoples in the Arctic --- Chapter 12 Uncertainties in Arctic socio-economic scenarios --- Chapter 13 Importance of consideration of climate change at managing fish stocks: A case of northern Russian fisheries --- Chapter 14 Preservation of territories and traditional activities of the northern indigenous peoples in the period of the Arctic industrial development --- Chapter 15 The Arctic journey – design experiments in the north --- Chapter 16 The Bicycle and the Arctic. Resilient and sustainable transport in times of climate change --- Part III Building the long-term human capacity. Chapter 17 Human capital development in the Russian Arctic --- Chapter 18 Impact of wages on employment and migration in the High North of Russia --- chapter 19 Well-being in an Arctic city. Designing a longitudinal study on student relationships and perceived quality of life --- Chapter 20 Researching Links between Teacher Wellbeing and Educational Change: Case Studies from Kazakhstan and Sakha Republic --- chapter 21 Student contribution: Well-being at the Polish polar station, Svalbard: Adaptation to extreme environments --- Part IV Arcitc tourism. Chapter 22 Tourism futures in the Arctic --- chapter 23 Uniqueness as a draw for riding under the midnight sun --- Chapter 24 Arctic tourism: the design approach with reference to the Russian North --- Part V Arctic safety. Chapter 25 Maritime operations and emergency preparedness in the Arctic –competence standards for search and rescue operations contingencies in polar waters --- Chapter 26 Risk reduction as a result of implementation of the functional based IMO Polar Code in the Arctic cruise industry --- Chapter 27 Safety of industrial development and transportation routes in the Arctic (SITRA) -collaboration project for research and education of future High North experts --- Chapter 28 Safe Snow and Ice Construction to Arctic Conditions --- Chapter 29 The components of psychological safety of oil and gas shift workers in the Arctic --- Part VI Circumpolar, inclusive and reciprocal Arctic. Chapter 30 Where is gender? Cracking the Arctic box and its persistent “gender neutral” research agendas --- Chapter 31 Towards an Arctic awakening: Neocolonialism, sustainable development, emancipatory research, collective action, and Arctic regional policymaking
    Pages: Online-Ressource (XIV, 311 pages) , 78 illustrations, 69 illustrations in color
    ISBN: 9783319575322
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57532-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    Unknown
    Rangeland Systems : Processes, Management and Challenges (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Ecology ; Climate change ; Environmental law ; Environmental policy ; Environmental management ; Environment ; Environmental Management ; Environmental Law/Policy/Ecojustice ; Ecology ; Climate Change
    Description / Table of Contents: 1. Conceptual development toward a rangeland systems framework --- Part: 1 Processes --- 2. Woody plant encroachment --- 3. Ecohydrology: processes and implications for rangelands --- 4. Soil and belowground processes --- 5. Structural heterogeneity as the basis for rangeland management --- 6. Non-equilibrium ecology and resilience theory --- 7. Ecological consequences of climate change on rangelands --- Part: 2 Management --- 8. Rangelands as social-ecological systems --- 9. State and transition models: theory, applications, and challenges --- 10. Livestock production systems --- 11. Adaptive management of rangeland systems --- 12. Managing the livestock-wildlife interface on rangelands --- Part: 3 Challenges --- 13. Invasive plant species and novel rangeland systems --- 14. Rangeland ecosystem services: nature´s supply and humans´ demand --- 15. Managing climate change risks in rangeland systems --- 16. Monitoring protocols: options, approaches, implementation, benefits --- 17. Rangeland systems in developing nations: conceptual advances and societal implications
    Pages: Online-Ressource (XV, 661 pages) , 101 illustrations, 69 illustrations in color
    ISBN: 9783319467092
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-46709-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    Balanced Urban Development: Options and Strategies for Liveable Cities (2016)
    Cham : Springer
    Details
    Keywords: Geography ; Hydrology ; Environmental management ; Regional planning ; Urban planning ; Landscape ecology ; Sustainable development ; Geography ; Landscape/Regional and Urban Planning ; Hydrology/Water Resources ; Sustainable Development ; Water Policy/Water Governance/Water Management ; Landscape Ecology
    Description / Table of Contents: Part I: Introduction --- 1. Balanced Urban Development: Is it a myth or reality? - Part II: Peri-Urbansation --- 2. Re-Ruralising the Urban Edge: Lessons from Europe, USA & the Global South --- 3. Nimbyism and Nature – Whose Backyard is it Anyway? - 4. Connecting Urban and Rural Futures Through Rural Design --- 5. Archaeology and Contemporary Dynamics for More Sustainable, Resilient Cities in the Peri-Urban Interface --- 6. Decontamination of Urban Run-off: Importance and Methods --- Part III: Peri-Urban Culture and Socio-Economy --- 7. Socio-economy of Peri-Urban Areas: The Case of Lisbon Metropolitan Area --- 8. Changing Economic Scenario of the Peri-Urban Area of Udaipur City, India --- 9. Community Stakeholder Viewpoints on Issues of Urbanisation along the River Ma Oya, Sri Lanka --- Part IV: Peri-Urban Landuse Planning --- 10. The role of peri-urban land use planning in resilient urban agriculture: a case study of Melbourne, Australia --- 11. Engaging Peri-Urban Landholders in Natural Resources Management.-12. Urban Farming Master Plan in Western Sydney - From Planning to Reality --- Part V: Urban Water Security --- 13. Study of urban water bodies in view of potential for micro-climatic cooling and natural purification of waste water --- 14. Groundwater Crisis in a Mega City – A Case Study of New Delhi, India --- 15. Safe Water Supply Determinants in Peri-Urban Communities of South-East Nigeria --- 16. Risks of Coal Seam and Shale Gas Extraction on Groundwater and Aquifers in Eastern Australia --- Part VI: Wastewater and Irrigation --- 17. Use of recycled water for irrigation of open spaces: Benefits and Risks --- 18. Global Experiences on Wastewater Irrigation: Challenges and Prospects --- 19. Impacts of Wastewater Reuse on Peri-Urban Agriculture: Case Study in Udaipur City, India --- Part VII: Urban Agriculture and Food Security --- 20. Urban Agriculture in Cuba: Alternative Legal Structures, Crisis and Change --- 21. High quality agricultural land in Western Australia – A new decision tool for planning --- 22. Food Efficient Planning and Design for Peri-urban Neighbourhoods --- 23. Role of Peri-urban Areas in the Food System of Kampala, Uganda --- Part VIII: Climate Change Impacts and Adaptations --- 24. Climate Change Adaptation Planning with Peri-Urban Local Government in Victoria, Australia --- 25. Awareness of Climate Change Impacts and Adaptation at Local Level in Punjab, Pakistan --- 26. Urbanisation, Nutrition and Food Security: A Climatological Perspective --- 27. Coastal Urban and Peri-Urban Indigenous People’s Adaptive Capacity to Climate Change --- Part IX: Legal, Policy and Institutional Challenges --- 28. Effect of Social and Institutional Fragmentation on Collective Action in Peri-urban Settings --- 29. Gentrification versus Territorialisation: The Peri-Urban Agriculture Area in Beirut --- 30. Reimagining the “Peri-Urban” in the Mega-Urban Regions of Southeast Asia --- Part X: Integrated Urban Development --- 31. Sustainability of Water Resources in Peri-urban Landscapes: Learning from the Journey of Engagement --- 32. Development of Future Management Options for the Hawkesbury River --- 33. Planning Development to Reduce Mosquito Hazard in Coastal Peri-Urban Areas: Case Studies in NSW, Australia --- 34. An Integrated Simulation and Visualisation Platform for the Design of Sustainable Urban Developments in a Peri-Urban Context --- 35. Options and Strategies for Balanced Development for Liveable Cities: An Epilogue
    Pages: Online-Ressource (XXII, 601 pages) , 136 illustrations, 109 illustrations in color
    ISBN: 9783319281124
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-28112-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    Unknown
    Taking Stock of Industrial Ecology (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Engineering economics ; Engineering economy ; Environmental management ; Waste management ; Sustainable development ; Industrial organization ; Environmental economics ; Environment ; Sustainable Development ; Waste Management/Waste Technology ; Environmental Economics ; Industrial Organization ; Engineering Economics, Organization, Logistics, Marketing ; Environmental Management
    Description / Table of Contents: Introduction --- General reflections --- The Price of Everything and the Value of Nothing: sustainability ‘after the crisis’ --- Impacts of global trade flows --- Stocks and flows in the performance economy --- The Embeddedness of carbon in UK Lifestyles --- Ethics of Industrial Ecology --- Complexity and prediction --- Urban metabolism --- Industrial Symbiosis --- Industrial Ecology and the Solidarity Economy --- Industrial Ecology in Developing Countries --- Material Flow Analysis and Waste Management --- Social sciences in Industrial Ecology --- Life Cycle Sustainability Assessment --- Prospective Models of Society’s Future Metabolism --- Planetary boundaries and sustainable business --- Working with policymakers --- Portugal’s national waste plan --- The Industrial Ecology of the automobile
    Pages: Online-Ressource (XXI, 362 pages) , 43 illustrations, 34 illustrations in color
    ISBN: 9783319205717
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-20571-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    Unknown
    Aquaculture Perspective of Multi-Use Sites in the Open Ocean : The Untapped Potential for Marine Resources in the Anthropocene (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Business ; Management science ; Law ; Building construction ; Marine sciences ; Freshwater ; Environment ; Marine & Freshwater Sciences ; Offshore Engineering ; Business and Management, general ; Law, general ; Water Policy/Water Governance/Water Management
    Description / Table of Contents: 1. Foreword --- 2. Preface --- 3. Human Marine Resource Use --- 4 Species, Techniques and System Design, Environmental Impact --- 5. Aquaculture Governance --- 6. Aquaculture Economics --- 7. Case Studies --- 8. Synthesis – Pathways Towards Sustainable Ocean Food Production
    Pages: Online-Ressource (XXII, 404 pages) , 128 illustrations, 104 illustrations in color
    ISBN: 9783319511597
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-51159-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    Unknown
    Wetlands and Water Framework Directive : Protection, Management and Climate Change (2015)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Environmental management ; Environmental sciences ; Geoecology ; Environmental geology ; Earth Sciences ; Environmental Science and Engineering ; Water Policy/Water Governance/Water Management ; Geoecology/Natural Processes
    Description / Table of Contents: Wetlands and Water Framework Directive: protection, management and climate change --- Synergies and Conflicts between Water Framework Directive and Natura 2000: Legal requirements, technical guidance and experiences from practice --- Can Natura 2000 Sites Benefit from River Basin Management Planning Under a Changing Climate? Lessons from Germany --- Do water management and climate-adapted management of wetlands interfere in practice? Lessons from the Biebrza Valley, Poland --- Wetlands in river valleys as an effect of fluvial processes and anthropopression --- New vision of the role of land reclamation systems in nature protection and water management
    Pages: Online-Ressource (XI, 103 pages) , 19 illustrations, 12 illustrations in color
    ISBN: 9783319137643
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-13764-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    Unknown
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Logic design ; Computer organization ; Operating systems (Computers) ; Computers ; Computer Science ; Computing Methodologies ; Computer Systems Organization and Communication Networks ; Operating Systems ; Logic Design ; Information Systems and Communication Service
    Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU
    Pages: Online-Ressource (X, 293 pages) , 121 illustrations
    ISBN: 9783319699530
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69953-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    Unknown
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Programming Languages, Compilers, Interpreters ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Computing Methodologies ; Computing Milieux
    Description / Table of Contents: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory
    Pages: Online-Ressource (XVI, 1058 pages) , 276 illustrations
    ISBN: 9783319898841
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89884-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    Unknown
    Ecological Risk Assessment for Chlorpyrifos in Terrestrial and Aquatic Systems in the United States (2014)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Ecotoxicology ; Waste management ; Environment ; Ecotoxicology ; Environmental Management ; Waste Management/Waste Technology
    Description / Table of Contents: Preface --- Foreword by Keith Solomon and John Giesy --- Foreword by Coordinating Board of Editors --- Ecological Risk Assessment for Chlorpyrifos in Terrestrial and Aquatic Systems in The United States – Overview and Conclusions --- Properties and Uses of Chlorpyrifos in the United States --- Fate in the Environment and Long-Range Atmospheric Transport of the Organophosphorus Insecticide, Chlorpyrifos and its Oxon in the United States --- Exposures of Aquatic Organisms to the Organophosphorus Insecticide, Chlorpyrifos Resulting from Use in the United States --- Risks to Aquatic Organisms from Use of Chlorpyrifos in the United States --- Refined Avian Risk Assessment for Chlorpyrifos in the United States --- Risk to Pollinators from the Use of Chlorpyrifos in the United States --- Index
    Pages: Online-Ressource (XVI, 269 pages) , 40 illustrations
    ISBN: 9783319038650
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-03865-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    Unknown
    North Sea Region Climate Change Assessment (2016)
    Cham : Springer
    Details
    Keywords: Marine Sciences ; Environmental management ; Atmospheric Sciences ; Marine & Freshwater Sciences ; Environmental Management
    Description / Table of Contents: Introduction to the Assessment --- Past and Current Climate Change --- Past and Current Changes in the North Sea (and interface regions) --- Climate Change Projections --- Impacts of Current and Future Climate Change in Ecosystems --- Climate Impacts on Socio-economy
    Pages: Online-Ressource (XLV, 528 pages) , 277 illustrations, 215 illustrations in color
    ISBN: 9783319397450
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-39745-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    Unknown
    Evaluating Climate Change Action for Sustainable Development (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Climate Change ; Sustainable Development ; Climate Change/Climate Change Impacts ; Environmental Management
    Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change
    Pages: Online-Ressource (XXIV, 355 pages) , 44 illustrations, 36 illustrations in color
    ISBN: 9783319437026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43702-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    Unknown
    Earth Observation Open Science and Innovation (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Remote sensing ; Environmental management ; Earth Sciences ; Earth Sciences, general ; Big Data ; Remote Sensing/Photogrammetry ; Environmental Management ; Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics)
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  
    Pages: Online-Ressource (VIII, 332 pages) , 116 illustrations, 111 illustrations in color
    ISBN: 9783319656335
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-65633-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    Unknown
    Environmental Governance of the Baltic Sea (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Political science ; Wildlife ; Fish ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Political Science ; Water Policy/Water Governance/Water Management ; Marine & Freshwater Sciences ; Fish & Wildlife Biology & Management
    Description / Table of Contents: Chapter 1. Environmental Governance of the Baltic Sea: Identifying Key Challenges Research Topics and Analytical Approaches. Part 1: Interdisciplinary Case Studies of Environmental Governance --- Chapter 2. Eutrophication and the Ecosystem Approach to Management: A Case Study of Baltic Sea Environmental Governance --- Chapter 3. Fisheries: A Case Study of Baltic Sea Environmental Governance --- Chapter 4. Biological Invasions: a Case Study of Baltic Sea Environmental Governance --- Chapter 5. Governance of Chemicals in the Baltic Sea Region: A Study of Three Generations of Hazardous Substances --- Chapter 6. Oil Spills from Shipping: A Case Study of the Governance of Accidental Hazards and Intentional Pollution in the Baltic Sea --- Part 2: Cross-Case Analysis of Key Environmental Governance Challenges --- Chapter 7. The Ecosystem Approach to Management in Baltic Sea Governance: Towards Increased Reflexivity? --- Chapter 8. Science-Policy Interfaces in Baltic Sea Environmental Governance: Towards Regional Cooperation and Management of Uncertainty? --- Chapter 9. Risk Communication and the Role of the Public: Towards Inclusive Environmental Governance of the Baltic Sea? --- Chapter 10. Seeking Pathways Towards Improved Environmental Governance of the Baltic Sea
    Pages: Online-Ressource (XIX, 253 pages) , 10 illustrations, 3 illustrations in color
    ISBN: 9783319270067
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27006-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    Unknown
    Renewing Local Planning to Face Climate Change in the Tropics (2017)
    Cham : Springer
    Details
    Keywords: Geography ; Climate change ; Remote sensing ; Environmental management ; Geography ; Remote Sensing/Photogrammetry ; Environmental Management ; Climate Change/Climate Change Impacts
    Description / Table of Contents: Climate services in the Tropics --- Climate planning in medium-size cities of the Tropics --- Setting up and managing automatic weather stations for remote sites monitoring: from Niger to Nepal --- Characterization of climate risks for rice crop in Casamance --- Climate change, drought and food security: a methodology for the vulnerability analysis. The case of the West Arsi Woreda in Ethiopia --- Visualize and communicate extreme weather risk to improve urban resilience --- Climate change adaptation and resilience in Mali --- Building resilience to drought in the Sahel by early risk identification and advices --- Risk analysis and evaluation to improve climate adaptation planning in Western Niger --- A simplified hydrological method for flood risk assessment at sub-basin level in Niger --- Socio-technical transitions and resilient infrastructure: analyzing changes in access to water following infrastructure upgrade in Dar es Salaam, Tanzania --- Monitoring and evaluating advocacy and mainstreaming of climate change adaptation in Haiti --- Knowledge for transformational adaptation planning: comparing the potential of forecasting and back casting methods for assessing people vulnerability --- Possible impact of pelletized crop residues use as a fuel for cooking in Niger --- An effective Mainstreaming DRR and Resilience approach in La Paz (Mexico) and San Jose (Costa-Rica) --- Climate vulnerability reduction credits: measuring results of adaptation; potential applicability for sub-Saharan communities --- Review of pilot projects on index-based insurance in Africa: insights and lessons Learned --- A new perspective for integrating climate change in local development plans
    Pages: Online-Ressource (XVI, 372 pages) , 91 illustrations
    ISBN: 9783319590967
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-59096-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...