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
    Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Management ; Industrial management ; Geography ; Agriculture ; Agricultural economics ; Life Sciences ; Agriculture ; Agricultural Economics ; Geography, general ; Innovation/Technology Management
    Description / Table of Contents: Foreword --- 1. Innovation for Marginalized Smallholder Farmers and Development: an Overview and Implications for Policy and Research --- Part 1 Innovation for the Rural Poor: Theory, Trends and Impacts --- 2. Institutional and technological innovations in polycentric systems –pathways for escaping marginality --- 3. Innovations for Food and Nutrition Security: Impacts and Trends --- 4. Psychology of Innovation: Innovating human psychology? --- 5. An optimization model for technology adoption of marginalized smallholders --- Part 2 Diversification of Agricultural Production and Income --- 6. The BRAC Approach to Small Farmers' Innovations --- 7. Agricultural Research and Extension Linkages in Amhara Region, Ethiopia --- 8. Transaction costs on the Ethiopian formal seed market and innovations for encouraging private sector investments --- 9. Agricultural Service Delivery Through Mobile Phone: Local innovations and Technological Opportunities in Kenya --- 10. Identification and Acceleration of Farmer Innovativeness in Upper East Ghana --- 11. Gender, social equity and innovations in smallholder farming systems: pitfalls and pathways --- 12. Assessing the Sustainability of Agricultural Technology Options for Poor Rural Farmers --- 13. Land Degradation and Sustainable Land Management Innovations in Central Asia --- 14. Biomass-based value web. A Novel Perspective for Emergng Bioeconomies in Sub-Saharan Africa --- Part 3 Sustainable Intensification of Agriculture --- 15. Adoption of Stress-tolerant Rice Varieties in Bangladesh --- 16. More than cereal based cropping innovations for improving food and livelihood security of poor small holders in marginal areas of Bangladesh --- 17. Integrated Rice-fish Farming System in Bangladesh: An Ex-Ante Value Chain Evaluation Framework --- 18. Technologies for Maize, Wheat, Rice and Pulses in Marginal Districts of Odisha and Bihar --- 19. Technological Innovations for Smallholder Farmers in Ghana --- 20. Potential impacts of yield increasing crop technologies on poverty reduction in two districts of Ethiopia
    Pages: Online-Ressource (XV, 435 pages) , 80 illustrations, 50 illustrations in color
    ISBN: 9783319257181
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-25718-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    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
  • 3
    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
  • 4
    Unknown
    Cosmic Ray Neutron Sensing: Estimation of Agricultural Crop Biomass Water Equivalent : Estimation of Agricultural Crop Biomass Water Equivalent (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Hydrology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Hydrology/Water Resources ; Environmental Science and Engineering
    Description / Table of Contents: Foreword --- Summary --- 2. In-Situ Destructive Sampling --- 2.1 The Concept of Representivity --- 2.2 Plant Sampling Pattern and Design --- 2.3 Biomass Water Equivalent --- 2.4 Conclusions --- 3. Remote Sensing via Satellite Imagery Analysis --- 3.1 Photo-Reflective Properties of Plants --- 3.2 Satellite Image Analysis --- 3.3 Conclusions --- 4. Estimate of Biomass Water Equivalent via the Cosmic Ray Neutron Sensor --- 4.1 The role of Biomass in the CRNS Calibration --- 4.2 Relationship between Neutrons and Crop Biomass --- 4.3 Dire4ct Relationship between Neutrons and Biomass --- 4.4 Conclusions
    Pages: Online-Ressource (X, 33 pages) , 18 illustrations, 14 illustrations in color
    ISBN: 9783319695396
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69539-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    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
  • 6
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Improving Agile Processes --- Reflection in Agile Retrospectives --- What influences the speed of prototyping? An empirical investigation of twenty software startups --- Key Challenges in Agile Requirements Engineering --- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting --- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes --- Effects of Technical Debt Awareness: A classroom study --- Agile in Organizations --- Don’t Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams --- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls --- Knowledge Sharing in a Large Agile Organisation: A Survey Study --- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans --- Are Software Startups Applying Agile? the State of the Practice from a Large Survey --- Adopting Test Automation on Agile Development Projects: A Grounded Theory Study of Indian Software Organizations --- Safety Critical Software --- How is security testing done in agile teams? A cross-case analysis of four software teams --- An assessment of avionics software development practice: justifications for an agile development process --- Short Research Papers --- Inoculating an Agile Company with User-Centred Design: an Empirical Study --- On the Usage and Benefits of Agile Methods & Practices --- Checklists to Support Test Charter Design in Exploratory Testing --- Discovering Software Process Deviations Using Visualizations --- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams --- Are daily stand-up meetings valuable? A survey of developers in software teams --- Doctoral Symposium Papers --- Knowledge Management and Reflective Practice in Daily Stand-up and Retrospective Meetings --- Self-Assignment: Task Allocation Practice in Agile Software Development --- Software Development Practices Patterns.
    Pages: Online-Ressource (XIII, 306 pages) , 55 illustrations
    ISBN: 9783319576336
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57633-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    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
  • 8
    Unknown
    The Essence of Software Engineering (2018)
    Cham : Springer
    Details
    Keywords: Software engineering ; Management information systems ; Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: 1 The Leading Role of Software and Systems Architecture in the Age of Digitization --- 2 Formal Methods and Agile Development: Towards a Happy Marriage --- 3 Escaping Method Prison – On the Road to Real Software Engineering --- 4 What is software?: The Role of Empirical Methods in Answering the Question --- 5 Only the Architecture You Need --- 6 Variability in standard software products Introducing software product line engineering to the insurance industry --- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report --- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge --- 9 Data-driven decisions and actions in today’s software development --- 10 Software Architecture: Past, Present, Future --- 11 Software Product Lines --- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise --- 13 Achievements, Failures, and the Future of Model-based Software Engineering
    Pages: Online-Ressource (XV, 236 pages) , 98 illustrations, 51 illustrations in color
    ISBN: 9783319738970
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73897-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XIX, 703 pages) , 146 illustrations
    ISBN: 9783319961453
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96145-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Perspectives on European Earthquake Engineering and Seismology : Volume 2 (2015)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Natural disasters ; Geotechnical engineering ; Civil engineering ; Earth Sciences ; Geotechnical Engineering & Applied Earth Sciences ; Natural Hazards ; Civil Engineering
    Description / Table of Contents: 1. Supershear Earthquake Ruptures --- Theory, Methods, Laboratory Experiments and Fault Superhighways: An Update.- 2. Civil Protection Achievements and Critical Issues in Seismology and Earthquake Engineering Research.- 3. Earthquake Risk Assessment: Certitudes, Fallacies, Uncertainties and the Quest for Soundness.- 4. Variability and Uncertainty in Empirical Ground-Motion Prediction for Probabilistic Hazard and Risk Analyses.- 5. Seismic Code Developments for Steel and Composite Structures.- 6. Seismic Analyses and Design of  Foundation Soil Structure Interaction.- 7. Performance-based Seismic Design and Assessment of Bridges.- 8. An Algorithm to Justify the Design of Single Story Precast Structures.- 9. Developments in Seismic Design of Tall Buildings: Preliminary Design of Coupled Core Wall Systems --- 10. Seismic Response of  Underground Lifeline Systems.- 11. Seismic Performance of Historical Masonry Structures Through Pushover and Nonlinear Dynamic Analyses.- 12. Developments in Ground Motion Predictive Models and Accelerometric Data Archiving in the Broader European Region --- 13. Towards the “Ultimate Earthquake-proof” Building: Development of an Integrated Low-damage System.- 14. Archive of Historical Earthquake Data for the European-Mediterranean Area --- 15. A Review and Some New Issues on the Theory of  the H/V Technique for Ambient Vibrations.- 16. Macroseismic Intervention Group: The Necessary Field Observation.- 17. Bridging the Gap Between Nonlinear Seismology as Reality and Earthquake Engineering --- 18. The Influence of Earthquake Magnitude on Hazard Related to Induced Seismicity.- 19. On the Origin of Mega-thrust Earthquakes.  
    Pages: Online-Ressource (VIII, 455 pages) , 220 illustrations, 147 illustrations in color
    ISBN: 9783319169644
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16964-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    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
  • 12
    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
  • 13
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XX, 545 pages) , 106 illustrations
    ISBN: 9783319961422
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96142-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    Unknown
    China’s Gas Development Strategies (2017)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Energy policy ; Energy and state ; Fossil fuels ; Climate ; Asia ; Politics and government ; Economic geology ; Geotechnical engineering ; Earth Sciences ; Economic Geology ; Energy Policy, Economics and Management ; Asian Politics ; Fossil Fuels (incl. Carbon Capture) ; Climate, general ; Geotechnical Engineering & Applied Earth Sciences
    Description / Table of Contents: This book is open access under a CC BY 4.0 license. This book examines how China can increase the share of natural gas in its energy system. China’s energy strategy has global ramifications and impact, and central to this strategy is the country’s transition from coal to gas. The book presents the culmination of a two-year collaboration between the Development Research Center of the State Council (DRC) and Shell.  With the Chinese government’s strategic aim to increase the share of gas in the energy mix from 5.8% in 2014 to 10% and 15% in 2020 and 2030 respectively, the book outlines how China can achieve its gas targets. Providing both quantifiable metrics and policy measures for the transition, it is a much needed addition to the literature on Chinese energy policy. The research and the resulting recommendations of this study have fed directly into the Chinese government’s 13th Five-Year Plan, and provide unique insights into the Chinese government and policy-making. Due to its global impact, the book is a valuable resource for policy makers in both China and the rest of the world
    Pages: Online-Ressource (XLVIII, 477 pages) , 184 illustrations, 181 illustrations in color
    ISBN: 9783319597348
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-59734-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    Stable Isotopes to Trace Migratory Birds and to Identify Harmful Diseases : An Introductory Guide (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Animal ecology ; Community ecology, Biotic ; Environmental monitoring ; Life Sciences ; Animal Ecology ; Community & Population Ecology ; Monitoring/Environmental Analysis
    Description / Table of Contents: FOREWORD --- 2. GENERAL INTRODUCTION --- 2.1. Background analysis --- 2.2. Migratory Birds and HPAI --- 2.3. Using SIA to understand the dissemination of HPAI – The way ahead! --- 3. ANIMAL MIGRATION TRACKING METHODS --- 3.1. Extrinsic Markers --- 3.2. Intrinsic Markers --- 3.3. The Stable Isotopes of Water on a Spatial Scale --- 3.4. Deriving isoscapes in the absence of GNIP data --- 3.5. Use of Stable Isotopes in Migration Studies --- 3.6. Approaches for Determining Migratory Connectivity --- 4. PRACTICAL CONSIDERATIONS --- 4.1. Sample Collection and Tissue Preparation --- 4.2. Other Stable Isotopes for Migration Research --- 5. REFERENCES
    Pages: Online-Ressource (XII, 49 pages) , 15 illustrations, 4 illustrations in color
    ISBN: 9783319282985
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-28298-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    Finite Difference Computing with Exponential Decay Models (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer programming ; Software engineering ; Computer mathematics ; Mathematics ; Computational Science and Engineering ; Programming Techniques ; Software Engineering ; Numerical and Computational Physics, Simulation ; Mathematical and Computational Engineering
    Description / Table of Contents: Preface --- Algorithms and implementations --- Analysis --- Generalizations --- Models --- Scientific Software Engineering --- References --- Index.
    Pages: Online-Ressource (XIV, 200 pages) , 29 illustrations
    ISBN: 9783319294391
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29439-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    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
  • 18
    Unknown
    Agile Processes in Software Engineering and Extreme Programming : 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Agile requirements --- COSMIC User Story Standard --- Improving Mockup-based Requirement Specification with End-User Annotations --- Agile testing --- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment --- Software tester, we want to hire you! An analysis of the demand for soft skills --- Developers' initial perceptions on TDD practice: A thematic analysis with distinct domains and languages --- Myths and Facts about Static Application Security Testing Tools: An Action Research at Telenor Digital --- Automated Acceptance Tests as Software Requirements: An Experiment to Compare the Applicability of Fit tables and Gherkin Language --- Agile transformation --- Interface Problems of Agile in a Non-Agile Environment --- Enterprise agility: Why is transformation so hard? --- Technical and Organizational Agile Practices: A Latin-American Survey --- Agile Software Development { Adoption & Maturity: An Activity Theory Perspective --- Scaling agile --- Do Agile Methods Work for Large Software Projects? --- Learning in the Large - An Exploratory Study of Retrospectives in Large-Scale Agile Development --- Reporting in Agile Portfolio Management: Routines, Metrics and Artefacts to Maintain an Effective Oversight --- Inter-team Coordination in Large-Scale Agile Development: A Case Study of Three Enabling Mechanisms --- Supporting Large-Scale Agile Development with Domain-driven Design --- Towards Agile Scalability Engineering --- Human-centric agile --- Stress in Agile Software Development: Practices and Outcomes --- Teamwork quality and team performance: Exploring differences between small and large agile projects --- Continuous experimentation --- Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives --- ICOs overview: should investors choose an ICO developed with the Lean Startup methodology?
    Pages: Online-Ressource (XV, 309 pages) , 50 illustrations
    ISBN: 9783319916026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-91602-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    Advancing Culture of Living with Landslides : Volume 1 ISDR-ICL Sendai Partnerships 2015-2025 (2017)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Natural disasters ; Engineering geology ; Engineering ; Geology ; Foundations ; Hydraulics ; Sustainable development ; Earth Sciences ; Natural Hazards ; Geoengineering, Foundations, Hydraulics ; Sustainable Development
    Description / Table of Contents: ISDR-ICL Sendai Partnerships 2015-2025 --- The ISDR-ICL Sendai Partnerships 2015-2025: Background and Content --- Forum lectures --- Rupestrian world heritage sites: Instability investigation and sustainable mitigation --- Subaerial landslide-generated waves: Numerical and laboratory simulations --- Rockfall occurrence and fragmentation --- Contribution from signatory organizations of the Sendai Partnerships --- International Consortium on Landslides (ICL) --- International Consortium on Landslides (ICL) - The proposing organization of the ISDR-ICL Sendai partnerships 2015-2025 --- United Nations Office for Disaster Risk Reduction (UNISDR) --- UNISDR‘s Contribution to Science and Technology for Disaster Risk Reduction and the Role of the International Consortium on Landslides (ICL) --- United Nations Educational, Scientific and Cultural Organization (UNESCO) --- UNESCO’s Contribution to the Implementation of UNISDR’s Global Initiative and ICL --- United Nations University (UNU) --- The United Nations University: Research and Policy Support for Environmental Risk Reduction --- World Meteorological Organization (WMO) --- Concerted International Efforts for Advancing Multi-Hazard Early Warning Systems --- International Council for Science (ICSU) --- On Future Challenges for the Integration of Science into International Policy Development for Landslide Disaster Risk Reduction --- World Federation of Engineering Organizations (WFEO) --- World Federation of Engineering Organizations Activities in Disaster Risk Reduction --- Disaster Prevention Research Institute (DPRI), Kyoto University --- National Civil Protection Department, Italian Presidency of the Council of Ministers, Government of Italy --- Understanding and Reducing Landslide Disaster Risk: Challenges and Opportunities for Italian Civil Protection --- Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools (LITT) --- Progress of the World Report on Landslides --- International Programme on Landslides (IPL): Objectives, History and List of World Centres of Excellence and IPL Projects --- UNESCO-KU-ICL UNITWIN Cooperation Programme for Landslides and Water-Related Disaster Risk Management. Landslides: Journal of the International Consortium on Landslides --- IPL Activities --- Advanced Technologies for Landslides (WCoE 2014-2017, IPL-196, IPL-198) --- Mechanisms of Landslides and Creep in Over-Consolidated Clays and Flysch (WCoE 2014-2017 --- Research on Heavy-Rainfall-Induced and Hydraulic-Driven Geological Hazards in China (WCoE 2014-2017). Landslide Risk Reduction in Croatia: Scientific research in the framework of the WCoE 2014-2017, IPL-173, IPL-184, ICL ABN --- Shapes and Mechanisms of Large-scale Landslides in Japan: Forecasting Analysis from an Inventory (WCoE 2014–2017 --- Retrospective and Prospects for Cold Regions Landslide Research (2012-2016) (WCoE 2014-2017, IPL-132, IPL-167, IPL-203, CRLN --- Large-scale Rockslide Inventories: from the Kokomeren River Basin to the Entire Central Asia Region (WCoE 2014-2017, IPL-106-2) --- Interventions for Promoting Knowledge, Innovations and Landslide Risk Management Practices within South and Southeast Asia (WCoE 2014-2017) --- Promoting a Global Standard for Community-based Landslide Early Warning Systems (WCoE 2014-2017, IPL-158, IPL-165) --- Model Policy Frameworks, Standards and Guidelines on Landslide Disaster Reduction (WCoE 2014-2017) --- Landslide Hazard and Risk Management (WCoE 2014-2017) --- Mitigation of Landslide Hazards in Ukraine under the Guidance of ICL: 2009–2016 (IPL-153, IPL-191) --- Development of a Hazard Evaluation Technique for Earthquake-Induced Landslides Based on an Analytic Hierarchy Process (AHP) (IPL-154) --- The Croatian-Japanese SATREPS Joint Research Project on Landslides (IPL-161)
    Pages: Online-Ressource (XXVI, 586 pages) , 372 illustrations, 350 illustrations in color
    ISBN: 9783319594699
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-59469-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    Unknown
    The GEO Handbook on Biodiversity Observation Networks (2017)
    Cham : Springer
    Details
    Keywords: Life sciences ; Applied ecology ; Biodiversity ; Ecosystems ; Conservation biology ; Ecology ; Community psychology ; Environmental psychology ; Life Sciences ; Applied Ecology ; Biodiversity ; Conservation Biology/Ecology ; Ecosystems ; Community and Environmental Psychology
    Description / Table of Contents: 1. The Biodiversity Data Impediment to a Sustainable World (Working in a Networked World) --- 2. Essential Biodiversity Variables --- 3. Stratification and Terrestrial Ecosystem Observations --- 4. Ecosystem Services --- 5. Species Observations --- 6. Monitoring Changes in Genetic Diversity --- 7. Marine and Coastal Systems --- 8. Biodiversity Observations for Freshwater Ecosystems --- 9. Remote Sensing for Biodiversity --- 10. Involving Citizen Scientists in Biodiversity Observation --- 11. Biodiversity Modelling --- 12. Cyber-Architecture --- 13. Using Data for Decision-Making: From Observations To Indicators and Other Policy Tools --- 14. Capacity Building in Biodiversity Monitoring – Case Studies
    Pages: Online-Ressource (XII, 326 pages) , 34 illustrations, 27 illustrations in color
    ISBN: 9783319272887
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27288-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    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
  • 22
    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
  • 23
    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
  • 24
    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
  • 25
    Unknown
    Bioeconomy : Shaping the Transition to a Sustainable, Biobased Economy (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Sustainable development ; Natural resources ; Agricultural economics ; Life Sciences ; Ecosystems ; Sustainable Development ; Agricultural Economics ; Natural Resource and Energy Economics ; Natural Resources
    Description / Table of Contents: 1. Introduction --- Part I: Bioeconomy Concepts and Research Methods --- Chapter 2: Context --- Chapter 3: Bioeconomy concepts --- Chapter 4: Core principles --- Chapter 4: Inter- and Transdisciplinarity in the Bioeconomy --- Part II: Knowledge Base for Biobased Value Chains --- Chapter 5:Biobased Resources and Value Chains --- Chapter 6: Primary Production --- Chapter 7: Processing of Biobased Resources --- Chapter 8: Markets, Sustainability management and Entrepreneurship.- Part III: Transition to a Sustainable Bioeconomy --- Chapter9:  Modelling and Tools Supporting the Transition to a Bioeconomy --- Chapter 10: Environmental Economics, the Bioeconomy and the Role of Government --- Chapter 11: Economic Growth, Development, and Innovation – The Transformation towards a Knowledge-based Bioeconomy --- Chapter 12: The Bioeconomist
    Pages: Online-Ressource (VI, 354 pages) , 165 illustrations, 139 illustrations in color
    ISBN: 9783319681528
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-68152-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    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
  • 27
    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
  • 28
    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
  • 29
    Unknown
    S-BPM in the Production Industry : A Stakeholder Approach (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Industrial management ; Software engineering ; Application software ; Computer Science ; Computer Appl. in Administrative Data Processing ; Business Process Management ; Information Systems Applications (incl. Internet) ; Software Engineering ; Software Management
    Description / Table of Contents: Introduction --- Industrial Challenges. S-BPM's Industrial Capabilities --- Lot-Size One Production. People-Centred Production Design --- Human-Controlled Production --- Learnings --- The Future: Obstacles and Opportunities
    Pages: Online-Ressource (XIV, 232 pages) , 78 illustrations
    ISBN: 9783319484662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-48466-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    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
  • 31
    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
  • 32
    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
  • 33
    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
  • 34
    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
  • 35
    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
  • 36
    Unknown
    Marine Anthropogenic Litter (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Aquatic ecology ; Life Sciences ; Freshwater & Marine Ecology
    Description / Table of Contents: Foreword --- Preface --- Part 1 A brief history of marine litter research --- Part 2 Abiotic aspects of marine litter pollution --- Global distribution, composition and abundance of marine litter --- Persistence of plastic litter in the oceans --- Part 3 Biological implications of marine litter --- Deleterious effects of litter on marine life --- The complex mixture, fate and toxicity of chemicals associated with plastic debris in the marine environment --- Marine litter as habitat and dispersal vector --- Part 4 Micro plastics --- Micro plastics in the marine environment: sources, consequences and solutions --- Methodology used for the detection and identification of micro plastics – a critical appraisal --- Sources and pathways of micro plastics to habitats --- Micro plastics in the marine environment: distribution, interactions and effects --- Modeling the role of micro plastics in bioaccumulation of organic chemicals to marine aquatic organisms. A critical review --- Nano plastics in the aquatic environment. Critical review --- Part 5 Socio-economic implications of marine anthropogenic litter --- Micro and nano-plastics and human health --- The economics of marine litter --- Regulation and management of marine litter --- Marine litter and the contribution of citizen science
    Pages: Online-Ressource (XVIII, 447 pages) , 68 illustrations, 35 illustrations in color
    ISBN: 9783319165103
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16510-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    Unknown
    The Sustainability of Agro-Food and Natural Resource Systems in the Mediterranean Basin (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Food ; Biotechnology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Food Science ; Environmental Science and Engineering
    Description / Table of Contents: Part I : Agro-Food Systems --- Food Security in the Southern Mediterranean/North Africa --- Sustainability in cereal crop production in Mediterranean environments --- Innovative crop productions for healthy foods: the case of Chia --- The hidden costs of livestock environmental sustainability: the case of Podolian cattle --- Feeding, nutrition and sustainability in dairy enterprises: the case of Mediterranean buffaloes (bubalus bubalis) --- Sustainability of sheep and goat production systems --- The role of local sheep and goat breeds and their products as a tool for sustainability and safeguard of the Mediterranean environment --- Innovative use of jenny milk from sustainable rearing --- Sustainable agricultural practices in disease defence of traditional crops in Southern Italy: the case study of tomato cherry protected by Trichoderma harzianum T-22 against Cucumber mosaic virus --- Development of integrated disease control measures for the valorisation of traditional crops in Southern Italy: the case study of "Fagiolo di Sarconi" --- Fostering sustainable climate change adaptations: a case study of the Turkish Cypriot Community’s adoption of pomegranate farming --- The role of women in the sustainability of the wine industry through the analysis of case studies --- Part II : Natural Resource Systems and Environment --- The effects of climate change on the multifunctional role of Basilicata’s forests: the effects induced on yield and CO2 absorption --- Wildlife agriculture interactions, spatial analysis and trade-off between environmental sustainability and risk of economic damage --- The sustainability of non-renewable resources use at regional level: a case study on allocation of oil royalties --- Land use sector involvement in mitigation policies across carbon markets --- Evaluating the role of soil variability on potential groundwater pollution and recharge in a Mediterranean agricultural watershed --- Grazing and biodiversity conservation: highlights on a Nature 2000 network site --- Evaluation of native grasses for sustainable turfgrass in the bioclimatic Mediterranean Region.-Biodiversity of hypogeous fungi in Basilicata --- Part III: New technologies --- New technologies for the sustainable management and planning of rural land and environment --- Processing plants and technologies for a sustainable Mediterranean food chain --- Geophysical techniques for plant, soil and root research related to Satellite technologies to support the sustainability of agricultural production --- Electrolyzed water in the food industry as supporting of environmental sustainability
    Pages: Online-Ressource (XXVIII, 397 pages) , 80 illustrations, 48 illustrations in color
    ISBN: 9783319163574
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16357-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    Unknown
    Biodiversity Conservation and Phylogenetic Systematics : Preserving our evolutionary heritage in an extinction crisis (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Biodiversity ; Nature conservation ; Life Sciences ; Biodiversity ; Nature Conservation ; Plant Systematics/Taxonomy/Biogeography ; Animal Systematics/Taxonomy/Biogeography
    Description / Table of Contents: Phylogenetics and conservation biology: drawing a path into the diversity of life --- The value of phylogenetic diversity --- The PD phylogenetic diversity framework: linking evolutionary history to feature diversity for biodiversity conservation --- Reconsidering the loss of evolutionary history: how does non-random extinction prune the tree-of-life?- Phylogenetics and conservation in New Zealand: the long and the short of it --- What is the meaning of extreme phylogenetic diversity? The case of phylogenetic relict species --- Using phylogenetic dissimilarities among sites for biodiversity assessments and conservation --- Phylogenetic diversity measures and their decomposition: a framework based on hill numbers --- Split diversity: measuring and optimizing biodiversity using phylogenetic split networks --- The rarefaction of phylogenetic diversity: formulation, extension and application --- Support in area prioritization using phylogenetic information --- Assessing hotspots of evolutionary history with data from multiple phylogenies: an analysis of endemic clades from New Caledonia --- Representing hotspots of evolutionary history in systematic conservation planning for European mammals --- Priorities for conservation of the evolutionary history of amphibians in the cerrado --- Global spatial analyses of phylogenetic conservation priorities for aquatic mammals --- Metapopulation capacity meets evolutionary distinctness: spatial fragmentation complements phylogenetic rarity in prioritization. - Patterns of species, phylogenetic and mimicry diversity of clearwing butterflies in the Neotropics --- Conservation of phylogenetic diversity in Madagascar’s largest endemic plant family, Sarcolaenaceae --- The future of phylogenetic systematics in conservation biology: linking biodiversity and society
    Pages: Online-Ressource (XVII, 390 pages) , 79 illustrations
    ISBN: 9783319224619
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-22461-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    Unknown
    Perspectives on European Earthquake Engineering and Seismology : Volume 2 (2015)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Natural disasters ; Geotechnical engineering ; Civil engineering ; Earth Sciences ; Geotechnical Engineering & Applied Earth Sciences ; Natural Hazards ; Civil Engineering
    Description / Table of Contents: 1. Supershear Earthquake Ruptures --- Theory, Methods, Laboratory Experiments and Fault Superhighways: An Update.- 2. Civil Protection Achievements and Critical Issues in Seismology and Earthquake Engineering Research.- 3. Earthquake Risk Assessment: Certitudes, Fallacies, Uncertainties and the Quest for Soundness.- 4. Variability and Uncertainty in Empirical Ground-Motion Prediction for Probabilistic Hazard and Risk Analyses.- 5. Seismic Code Developments for Steel and Composite Structures.- 6. Seismic Analyses and Design of  Foundation Soil Structure Interaction.- 7. Performance-based Seismic Design and Assessment of Bridges.- 8. An Algorithm to Justify the Design of Single Story Precast Structures.- 9. Developments in Seismic Design of Tall Buildings: Preliminary Design of Coupled Core Wall Systems --- 10. Seismic Response of  Underground Lifeline Systems.- 11. Seismic Performance of Historical Masonry Structures Through Pushover and Nonlinear Dynamic Analyses.- 12. Developments in Ground Motion Predictive Models and Accelerometric Data Archiving in the Broader European Region --- 13. Towards the “Ultimate Earthquake-proof” Building: Development of an Integrated Low-damage System.- 14. Archive of Historical Earthquake Data for the European-Mediterranean Area --- 15. A Review and Some New Issues on the Theory of  the H/V Technique for Ambient Vibrations.- 16. Macroseismic Intervention Group: The Necessary Field Observation.- 17. Bridging the Gap Between Nonlinear Seismology as Reality and Earthquake Engineering --- 18. The Influence of Earthquake Magnitude on Hazard Related to Induced Seismicity.- 19. On the Origin of Mega-thrust Earthquakes.  
    Pages: Online-Ressource (VIII, 455 pages) , 220 illustrations, 147 illustrations in color
    ISBN: 9783319169644
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16964-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    Unknown
    Advancing Culture of Living with Landslides : Volume 1 ISDR-ICL Sendai Partnerships 2015-2025 (2017)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Natural disasters ; Engineering geology ; Engineering ; Geology ; Foundations ; Hydraulics ; Sustainable development ; Earth Sciences ; Natural Hazards ; Geoengineering, Foundations, Hydraulics ; Sustainable Development
    Description / Table of Contents: ISDR-ICL Sendai Partnerships 2015-2025 --- The ISDR-ICL Sendai Partnerships 2015-2025: Background and Content --- Forum lectures --- Rupestrian world heritage sites: Instability investigation and sustainable mitigation --- Subaerial landslide-generated waves: Numerical and laboratory simulations --- Rockfall occurrence and fragmentation --- Contribution from signatory organizations of the Sendai Partnerships --- International Consortium on Landslides (ICL) --- International Consortium on Landslides (ICL) - The proposing organization of the ISDR-ICL Sendai partnerships 2015-2025 --- United Nations Office for Disaster Risk Reduction (UNISDR) --- UNISDR‘s Contribution to Science and Technology for Disaster Risk Reduction and the Role of the International Consortium on Landslides (ICL) --- United Nations Educational, Scientific and Cultural Organization (UNESCO) --- UNESCO’s Contribution to the Implementation of UNISDR’s Global Initiative and ICL --- United Nations University (UNU) --- The United Nations University: Research and Policy Support for Environmental Risk Reduction --- World Meteorological Organization (WMO) --- Concerted International Efforts for Advancing Multi-Hazard Early Warning Systems --- International Council for Science (ICSU) --- On Future Challenges for the Integration of Science into International Policy Development for Landslide Disaster Risk Reduction --- World Federation of Engineering Organizations (WFEO) --- World Federation of Engineering Organizations Activities in Disaster Risk Reduction --- Disaster Prevention Research Institute (DPRI), Kyoto University --- National Civil Protection Department, Italian Presidency of the Council of Ministers, Government of Italy --- Understanding and Reducing Landslide Disaster Risk: Challenges and Opportunities for Italian Civil Protection --- Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools (LITT) --- Progress of the World Report on Landslides --- International Programme on Landslides (IPL): Objectives, History and List of World Centres of Excellence and IPL Projects --- UNESCO-KU-ICL UNITWIN Cooperation Programme for Landslides and Water-Related Disaster Risk Management. Landslides: Journal of the International Consortium on Landslides --- IPL Activities --- Advanced Technologies for Landslides (WCoE 2014-2017, IPL-196, IPL-198) --- Mechanisms of Landslides and Creep in Over-Consolidated Clays and Flysch (WCoE 2014-2017 --- Research on Heavy-Rainfall-Induced and Hydraulic-Driven Geological Hazards in China (WCoE 2014-2017). Landslide Risk Reduction in Croatia: Scientific research in the framework of the WCoE 2014-2017, IPL-173, IPL-184, ICL ABN --- Shapes and Mechanisms of Large-scale Landslides in Japan: Forecasting Analysis from an Inventory (WCoE 2014–2017 --- Retrospective and Prospects for Cold Regions Landslide Research (2012-2016) (WCoE 2014-2017, IPL-132, IPL-167, IPL-203, CRLN --- Large-scale Rockslide Inventories: from the Kokomeren River Basin to the Entire Central Asia Region (WCoE 2014-2017, IPL-106-2) --- Interventions for Promoting Knowledge, Innovations and Landslide Risk Management Practices within South and Southeast Asia (WCoE 2014-2017) --- Promoting a Global Standard for Community-based Landslide Early Warning Systems (WCoE 2014-2017, IPL-158, IPL-165) --- Model Policy Frameworks, Standards and Guidelines on Landslide Disaster Reduction (WCoE 2014-2017) --- Landslide Hazard and Risk Management (WCoE 2014-2017) --- Mitigation of Landslide Hazards in Ukraine under the Guidance of ICL: 2009–2016 (IPL-153, IPL-191) --- Development of a Hazard Evaluation Technique for Earthquake-Induced Landslides Based on an Analytic Hierarchy Process (AHP) (IPL-154) --- The Croatian-Japanese SATREPS Joint Research Project on Landslides (IPL-161)
    Pages: Online-Ressource (XXVI, 586 pages) , 372 illustrations, 350 illustrations in color
    ISBN: 9783319594699
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-59469-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    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
  • 42
    Unknown
    Bats in the Anthropocene: Conservation of Bats in a Changing World (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Climate change ; Animal ecology ; Conservation biology ; Ecology ; Vertebrates ; Life Sciences ; Conservation Biology/Ecology ; Vertebrates ; Animal Ecology ; Climate Change/Climate Change Impacts
    Description / Table of Contents: Bats in the Anthropocene --- Urbanisation and its effects on bats – a global meta-analysis --- Bats and roads --- Responses of tropical bats to habitat fragmentation, logging, and deforestation --- Insectivorous bats and silviculture: balancing timber production and bat conservation --- Bats in the anthropogenic matrix: Challenges and opportunities for the conservation of Chiroptera and their ecosystem services in agricultural landscapes --- Dark matters: the effects of artificial lighting on bats --- Bats and water: anthropogenic alterations threaten global bat populations --- White-nose syndrome in bats --- Zoonotic viruses and conservation of bats --- Impacts of Wind Energy Development on Bats: a Global Perspective --- Exploitation of Bats for Bushmeat and Medicine --- The conflict between pteropodid bats and fruit growers: species, legislation and mitigation --- Bats and buildings: The conservation of synanthropic bats --- Conservation ecology of cave bats --- The roles of taxonomy and systematics in bat conservation --- Networking networks for global bat conservation --- Cute, Creepy, or Crispy – how values, attitudes and norms shape human behavior toward bats. 
    Pages: Online-Ressource (IX, 606 pages) , 77 illustrations, 52 illustrations in color
    ISBN: 9783319252209
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-25220-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    Unknown
    Biotechnologies for Plant Mutation Breeding : Protocols (2017)
    Cham : Springer
    Details
    Keywords: Life sciences ; Genetic engineering ; Agriculture ; Plant genetics ; Plant breeding ; Life Sciences ; Plant Breeding/Biotechnology ; Agriculture ; Genetic Engineering ; Plant Genetics & Genomics
    Description / Table of Contents: Mutagenesis for Crop Breeding and Functional Genomics --- Chemical and Physical Mutagenesis in Jatropha curcas --- Chemical Mutagenesis and Chimera Dissolution in Vegetatively Propagated Banana --- Mutation Induction Using Gamma Irradiation and Embryogenic Cell Suspensions in Plantain (Musa spp.) --- Optimization of Somatic Embryogenesis in Cassava --- Creation of a TILLING Population in Barley after Chemical Mutagenesis with Sodium Azide and MNU --- Site-Directed Mutagenesis in Barley by Expression of TALE Nuclease in Embryogenic Pollen --- Doubled Haploidy as a Tool for Chimera Dissolution of TALEN-Induced Mutations in Barley --- Field Evaluation of Mutagenized Rice Material --- Root Phenotyping Pipeline for Cereal Plants --- Breeding New Aromatic Rice with High Iron using Gamma Radiation and Hybridization --- Utilizing NIRS for Qualitative and Non-Destructive Identification of Seed Mutants in Large Populations --- Protocols for Proteome Analyses of Jatropha curcas --- Low-Cost Methods for DNA Extraction and Quantification --- A Protocol for Benchtop Extraction of Single-Strand-Specific Nucleases for Mutation Discovery --- A Protocol for Validation of Doubled Haploid Plants by Enzymatic Mismatch Cleavage --- Bioinformatics-Based Assessment of the Relevance of Candidate Genes for Mutation Discovery --- Mutation Detection by Analysis of DNA Heteroduplexes in TILLING Populations of Diploid Species --- Determining Mutation Density using Restriction Enzyme Sequence Comparative Analysis (RESCAN) --- Next-Generation Sequencing for Targeted Discovery of Rare Mutations in Rice
    Pages: Online-Ressource (XX, 340 pages) , 76 illustrations, 69 illustrations in color
    ISBN: 9783319450216
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-45021-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    Bioeconomy : Shaping the Transition to a Sustainable, Biobased Economy (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Sustainable development ; Natural resources ; Agricultural economics ; Life Sciences ; Ecosystems ; Sustainable Development ; Agricultural Economics ; Natural Resource and Energy Economics ; Natural Resources
    Description / Table of Contents: 1. Introduction --- Part I: Bioeconomy Concepts and Research Methods --- Chapter 2: Context --- Chapter 3: Bioeconomy concepts --- Chapter 4: Core principles --- Chapter 4: Inter- and Transdisciplinarity in the Bioeconomy --- Part II: Knowledge Base for Biobased Value Chains --- Chapter 5:Biobased Resources and Value Chains --- Chapter 6: Primary Production --- Chapter 7: Processing of Biobased Resources --- Chapter 8: Markets, Sustainability management and Entrepreneurship.- Part III: Transition to a Sustainable Bioeconomy --- Chapter9:  Modelling and Tools Supporting the Transition to a Bioeconomy --- Chapter 10: Environmental Economics, the Bioeconomy and the Role of Government --- Chapter 11: Economic Growth, Development, and Innovation – The Transformation towards a Knowledge-based Bioeconomy --- Chapter 12: The Bioeconomist
    Pages: Online-Ressource (VI, 354 pages) , 165 illustrations, 139 illustrations in color
    ISBN: 9783319681528
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-68152-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    Unknown
    The Plant Stem : A Microscopic Aspect (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Forest products ; Plant anatomy ; Plant development ; Plant physiology ; Life Sciences ; Plant Anatomy/Development ; Plant Physiology ; Plant Systematics/Taxonomy/Biogeography ; Wood Science & Technology
    Description / Table of Contents: Introduction --- Preparation techniques - Making anatomical structures visible --- Morphology of the plant body --- Cellular composition of the plant bodies --- Structure of cell walls and cell contents --- Primary, secondary and tertiary meristem --- Stem anatomical structures of major taxonomic units --- Evolution of stems --- Anatomical adaptions to permanent changed environmental conditions --- Anatomical adaptions to temporarily changed environmental conditions --- Coexistence of algae, fungi and vascular plants --- Wood decay --- Fossilization, permineralization, coalification, carbonization and wetwood conservation --- Technically altered wood products
    Pages: Online-Ressource (VII, 207 pages)
    ISBN: 9783319735245
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73524-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    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
  • 47
    Unknown
    Cyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Application software ; System theory ; Computer Science ; Computer Systems Organization and Communication Networks ; Software Engineering ; Complex Systems ; Information Systems Applications (incl. Internet) ; Computer Applications
    Description / Table of Contents: Basic concepts on systems of systems --- interfaces in evolving cyber-physical systems-of-systems --- emergence in cyber-physical systems-of-systems (CPSOSS) --- AMADEOS sysml profile for SoS conceptual modeling --- AMADEOS framework and supporting tools --- time and resilient master clocks in cyber-physical systems --- managing dynamicity in SoS --- case study definition and implementation
    Pages: Online-Ressource (XV, 257 pages) , 124 illustrations
    ISBN: 9783319475905
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-47590-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    S-BPM in the Wild : Practical Value Creation (2015)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Industrial management ; Software engineering ; Application software ; Computer Science ; Computer Appl. in Administrative Data Processing ; Business Process Management ; Information Systems Applications (incl. Internet) ; Software Engineering ; Software Management
    Description / Table of Contents: 1 Introduction --- Part I Business Operation Support --- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry --- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology --- 4 Introducing S-BPM at an IT Service Providers --- 5 A Service Hardware Application Case Fiducia --- 6 Designing an Agile Process Layer for Competitive Differentiation --- Part II Consultancy and Education Support --- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds --- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management --- 9 A Reference Model for Maintenance Processes --- 10 Role and Rights Management --- 11 Embodying Business Rules in S-BPM --- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario --- Part III Technical Execution Support --- 13 An Abstract State Machine Interpreter for S-BPM --- 14 Structured Communication—Approaching S-BPM with Microsoft Technologies --- 15 ERP Integration in S-BPM Processes
    Pages: Online-Ressource (XIV, 283 pages) , 134 illustrations
    ISBN: 9783319175423
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-17542-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    Unknown
    Agile Processes, in Software Engineering, and Extreme Programming : 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings (2016)
    Cham : Springer
    Details
    Keywords: Business ; Management information systems ; Software engineering ; Computer science ; Business and Management ; Business Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Full Research Papers --- Experience Reports --- Empirical Studies Papers --- Doctoral Symposium Papers
    Pages: Online-Ressource (XIII, 334 pages) , 37 illustrations
    ISBN: 9783319335155
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-33515-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    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
  • 51
    Unknown
    Handbook of Mathematical Geosciences : Fifty Years of IAMG (2018)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Geology ; Statistical methods ; Mathematical physics ; Statistics ; Earth Sciences ; Quantitative Geology ; Mathematical Applications in the Physical Sciences ; Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences ; Statistics and Computing/Statistics Programs ; Applications of Nonlinear Dynamics and Chaos Theory
    Description / Table of Contents: 1. Forward --- 2. Preface --- 3. Introduction --- 4. Part I. Chapter 1 Kriging, Splines, Conditional Simulation, Bayesian In-version and Ensemble Kalman Filtering --- 5. Chapter 2 A Statistical Commentary on Mineral Prospectivity analysis --- 6. Chapter 3 Testing joint conditional independence of categorical random variables with a standard log-likelihood ratio test --- 7. Chapter 4 Modelling Compositional Data. The Sample Space Approach --- 8. Chapter 5 Properties of Sums of Geological Random Variables --- 9. Chapter 6 A Statistical Analysis of the Jacobian in Retrievals of Satellite Data --- 10. Chapter 7 All Realizations All the Time --- 11. Chapter 8 Binary Coefficients Redux --- 12. Chapter 9 Tracking Plurigaussian Simulations --- 13. Chapter 10 Mathematical Geosciences: Local Singularity Analysis of Nonlinear Earth Processes and Extreme Geo-Events --- 14. Chapter 11 Electrofacies in Reservoir Characterization --- 15. Chapter 12 Forecast of Shoreline Variations by Means of Median Sets --- 16. Chapter 13 An Introduction to the Spatio-Temporal Analysis of Sat-ellite Remote Sensing Data for Geostatisticians --- 17. Chapter 14 Flint drinking water crisis: a first attempt to model geo-statistically the space-time distribution of water lead levels --- 18. Chapter 15 Statistical Parametric Mapping for Geoscience Applications --- 19. Chapter 16 Water chemistry: are new challenges possible from CoDA (Compositional Data Analysis) point of view? --- 20. Chapter 17 Analysis of the United States Portion of the North American Soil Geochemical Landscapes Project – A Compositional Framework Approach --- 21. Chapter 18 Quantifying the Impacts of Uncertainty --- 22. Chapter 19. Advances in Sensitivity Analysis of Uncertainty due to Sampling Density for Spatially Correlated Attributes --- 23. Chapter 20 Predicting Molybdenum Deposit Growth --- 24. Chapter 21 General Framework of Quantitative Target Selections --- 25. Chapter 22 Solving the Wrong Resource Assessment Problems Precisely --- 26. Chapter 23 two ideas for analysis of multivariate geochemical survey data: proximity regression and principal component residuals --- 27. Chapter 24 Mathematical minerals: A history of petrophysical petrography --- 28. Chapter 25 Geostatistics for Seismic Characterization of Oil Reservoirs --- 29. Chapter 26 Statistical Modeling of Regional and Worldwide Size-Frequency Distributions of Metal Deposits --- 30. Chapter 27 Bayesianism in the Geosciences --- 31.Chapter 28 Geological Objects and Physical Parameter Fields in the Subsurface: A Review --- 32.Chapter 29 Fifty Years of Kriging --- 33. Chapter 30 Multiple Point Statistics: A Review --- 34. Chapter 31 When Should We Use Multiple-Point Geostatistics? --- 35. Chapter 32 The Origins of the Multiple-Point Statistics (MPS) Algorithm --- 36. Chapter 33 Predictive Geometallurgy: An Interdisciplinary Key Challenge for Mathematical Geosciences? --- 37. Chapter 34 Data Science for Geoscience: Leveraging Mathematical Geosciences with Semantics and Open Data --- 38. Chapter 35 Mathematical Morphology in Geosciences and GISci: An Illustrative Review --- 39. Chapter 36 IAMG: Recollections from the Early Years --- 40. Chapter 37 Forward and Inverse Models over 70 Years --- 41. Chapter 38 From individual personal contacts 1962–1968 to my 50 years of service --- 42. Chapter 39 Andrey Borisovich Vistelius --- 43. Chapter 40 Fifty Years’ Experience with Hidden Errors in Applying Classic Mathematical Geology --- 44. Chapter 41 Mathematical Geology by Example: Teaching and Learning Perspectives.
    Pages: Online-Ressource (XXVIII, 914 pages) , 287 illustrations, 185 illustrations in color
    ISBN: 9783319789996
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78999-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    Unknown
    The GEO Handbook on Biodiversity Observation Networks (2017)
    Cham : Springer
    Details
    Keywords: Life sciences ; Applied ecology ; Biodiversity ; Ecosystems ; Conservation biology ; Ecology ; Community psychology ; Environmental psychology ; Life Sciences ; Applied Ecology ; Biodiversity ; Conservation Biology/Ecology ; Ecosystems ; Community and Environmental Psychology
    Description / Table of Contents: 1. The Biodiversity Data Impediment to a Sustainable World (Working in a Networked World) --- 2. Essential Biodiversity Variables --- 3. Stratification and Terrestrial Ecosystem Observations --- 4. Ecosystem Services --- 5. Species Observations --- 6. Monitoring Changes in Genetic Diversity --- 7. Marine and Coastal Systems --- 8. Biodiversity Observations for Freshwater Ecosystems --- 9. Remote Sensing for Biodiversity --- 10. Involving Citizen Scientists in Biodiversity Observation --- 11. Biodiversity Modelling --- 12. Cyber-Architecture --- 13. Using Data for Decision-Making: From Observations To Indicators and Other Policy Tools --- 14. Capacity Building in Biodiversity Monitoring – Case Studies
    Pages: Online-Ressource (XII, 326 pages) , 34 illustrations, 27 illustrations in color
    ISBN: 9783319272887
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27288-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    The Impact of Food Bioactives on Health : in vitro and ex vivo models (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Human physiology ; Food ; Biotechnology ; Microbiology ; Life Sciences ; Food Microbiology ; Food Science ; Human Physiology
    Description / Table of Contents: Introduction --- Gastrointestinal digestion models, general introduction --- Static digestion models general introduction --- InfoGest consensus method --- Approaches to static digestion models --- Dynamic digestion models general introduction --- The TNO gastro-Intestinal Model (TIM) --- Dynamic Gastric Model (DGM) --- Human Gastric Simulator (Riddet model) --- The DIDGI® System --- General introduction to cells, cell lines and cell culture --- Epithelial cell models; General introduction --- Caco-2 cell line --- HT29 cell line --- The IPEC-J2 cell line --- Co-cultivation of Caco-2 and HT-29MT --- Innate and adaptive immune cells; General introduction --- THP-1 and U937 cells --- Peripheral blood mononuclear cells --- PBMC-derived T cells --- Dendritic Cells --- Co-culture Caco-2/ immune cells --- Enteroendocrine Cell Models: General introduction --- STC-1 cells --- NCI-H716 cells --- Murine GLUTag cells --- In vitro intestinal tissue models: General introduction --- Intestinal crypt organoids as experimental models --- Porcine ex vivo intestinal segment model --- Ussing chamber --- In vitro fermentation models: General Introduction --- One compartment fermentation model --- The TNO in vitro model of the colon - TIM-2 --- The Simulator of the Human Intestinal Microbial Ecosystem – SHIME® --- The computer-controlled multicompartmental dynamic model of the gastrointestinal system SIMGI
    Pages: Online-Ressource (XVII, 338 pages) , 57 illustrations, 35 illustrations in color
    ISBN: 9783319161044
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16104-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    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
  • 55
    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
  • 56
    Unknown
    Ranaviruses : Lethal Pathogens of Ectothermic Vertebrates (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Virology ; Animal ecology ; Aquatic ecology ; Conservation biology ; Ecology ; Wildlife ; Fish ; Environmental health ; Life Sciences ; Animal Ecology ; Environmental Health ; Fish & Wildlife Biology & Management ; Virology ; Freshwater & Marine Ecology ; Conservation Biology/Ecology
    Description / Table of Contents: Introduction --- Distribution and Phylogeny of Ranaviruses --- Host-pathogen Ecology and Evolution --- Molecular Biology of Ranaviruses --- Immune Evasion and Host Immunity --- Pathology and Diagnostics --- Design and Analysis of Ranavirus Studies --- Global Ranavirus Consortium
    Pages: Online-Ressource (X, 246 pages) , 25 illustrations, 21 illustrations in color
    ISBN: 9783319137551
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-13755-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    Unknown
    Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Management ; Industrial management ; Geography ; Agriculture ; Agricultural economics ; Life Sciences ; Agriculture ; Agricultural Economics ; Geography, general ; Innovation/Technology Management
    Description / Table of Contents: Foreword --- 1. Innovation for Marginalized Smallholder Farmers and Development: an Overview and Implications for Policy and Research --- Part 1 Innovation for the Rural Poor: Theory, Trends and Impacts --- 2. Institutional and technological innovations in polycentric systems –pathways for escaping marginality --- 3. Innovations for Food and Nutrition Security: Impacts and Trends --- 4. Psychology of Innovation: Innovating human psychology? --- 5. An optimization model for technology adoption of marginalized smallholders --- Part 2 Diversification of Agricultural Production and Income --- 6. The BRAC Approach to Small Farmers' Innovations --- 7. Agricultural Research and Extension Linkages in Amhara Region, Ethiopia --- 8. Transaction costs on the Ethiopian formal seed market and innovations for encouraging private sector investments --- 9. Agricultural Service Delivery Through Mobile Phone: Local innovations and Technological Opportunities in Kenya --- 10. Identification and Acceleration of Farmer Innovativeness in Upper East Ghana --- 11. Gender, social equity and innovations in smallholder farming systems: pitfalls and pathways --- 12. Assessing the Sustainability of Agricultural Technology Options for Poor Rural Farmers --- 13. Land Degradation and Sustainable Land Management Innovations in Central Asia --- 14. Biomass-based value web. A Novel Perspective for Emergng Bioeconomies in Sub-Saharan Africa --- Part 3 Sustainable Intensification of Agriculture --- 15. Adoption of Stress-tolerant Rice Varieties in Bangladesh --- 16. More than cereal based cropping innovations for improving food and livelihood security of poor small holders in marginal areas of Bangladesh --- 17. Integrated Rice-fish Farming System in Bangladesh: An Ex-Ante Value Chain Evaluation Framework --- 18. Technologies for Maize, Wheat, Rice and Pulses in Marginal Districts of Odisha and Bihar --- 19. Technological Innovations for Smallholder Farmers in Ghana --- 20. Potential impacts of yield increasing crop technologies on poverty reduction in two districts of Ethiopia
    Pages: Online-Ressource (XV, 435 pages) , 80 illustrations, 50 illustrations in color
    ISBN: 9783319257181
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-25718-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    Unknown
    Marine Anthropogenic Litter (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Aquatic ecology ; Life Sciences ; Freshwater & Marine Ecology
    Description / Table of Contents: Foreword --- Preface --- Part 1 A brief history of marine litter research --- Part 2 Abiotic aspects of marine litter pollution --- Global distribution, composition and abundance of marine litter --- Persistence of plastic litter in the oceans --- Part 3 Biological implications of marine litter --- Deleterious effects of litter on marine life --- The complex mixture, fate and toxicity of chemicals associated with plastic debris in the marine environment --- Marine litter as habitat and dispersal vector --- Part 4 Micro plastics --- Micro plastics in the marine environment: sources, consequences and solutions --- Methodology used for the detection and identification of micro plastics – a critical appraisal --- Sources and pathways of micro plastics to habitats --- Micro plastics in the marine environment: distribution, interactions and effects --- Modeling the role of micro plastics in bioaccumulation of organic chemicals to marine aquatic organisms. A critical review --- Nano plastics in the aquatic environment. Critical review --- Part 5 Socio-economic implications of marine anthropogenic litter --- Micro and nano-plastics and human health --- The economics of marine litter --- Regulation and management of marine litter --- Marine litter and the contribution of citizen science
    Pages: Online-Ressource (XVIII, 447 pages) , 68 illustrations, 35 illustrations in color
    ISBN: 9783319165103
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16510-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    Unknown
    Protocols for Pre-Field Screening of Mutants for Salt Tolerance in Rice, Wheat and Barley (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Genetic engineering ; Agriculture ; Plant physiology ; Plant breeding ; Life Sciences ; Plant Breeding/Biotechnology ; Agriculture ; Genetic Engineering ; Plant Physiology
    Description / Table of Contents: Introduction --- Objectives --- Protocol for measuring soil salinity --- Protocol for screening for salt tolerance in rice --- Protocol for screening for salt tolerance in barley and wheat.  
    Pages: Online-Ressource (X, 37 pages) , 7 illustrations, 6 illustrations in color
    ISBN: 9783319265902
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-26590-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    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
  • 61
    Unknown
    Low-Cost Methods for Molecular Characterization of Mutant Plants : Tissue Desiccation, DNA Extraction and Mutation Discovery: Protocols (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Nucleic acids ; Plant breeding ; Biology ; Technique ; Life Sciences ; Plant Breeding/Biotechnology ; Biological Techniques ; Nucleic Acid Chemistry
    Description / Table of Contents: Introduction --- Health and Safety Considerations --- Sample Collection and Storage --- Low-Cost DNA Extraction --- PCR Amplification for Low-Cost Mutation Discovery --- Enzymatic Mismatch Cleavage and Agarose Gel Evaluation of Samples --- Alternative Enzymology for Mismatch Cleavage for TILLING and Ecotilling: Extraction of Enzymes form Common Weedy Plants --- Example Data --- Conclusions.  
    Pages: Online-Ressource (X, 35 pages) , 9 illustrations, 3 illustrations in color
    ISBN: 9783319162591
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16259-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    Unknown
    The Sustainability of Agro-Food and Natural Resource Systems in the Mediterranean Basin (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Food ; Biotechnology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Food Science ; Environmental Science and Engineering
    Description / Table of Contents: Part I : Agro-Food Systems --- Food Security in the Southern Mediterranean/North Africa --- Sustainability in cereal crop production in Mediterranean environments --- Innovative crop productions for healthy foods: the case of Chia --- The hidden costs of livestock environmental sustainability: the case of Podolian cattle --- Feeding, nutrition and sustainability in dairy enterprises: the case of Mediterranean buffaloes (bubalus bubalis) --- Sustainability of sheep and goat production systems --- The role of local sheep and goat breeds and their products as a tool for sustainability and safeguard of the Mediterranean environment --- Innovative use of jenny milk from sustainable rearing --- Sustainable agricultural practices in disease defence of traditional crops in Southern Italy: the case study of tomato cherry protected by Trichoderma harzianum T-22 against Cucumber mosaic virus --- Development of integrated disease control measures for the valorisation of traditional crops in Southern Italy: the case study of "Fagiolo di Sarconi" --- Fostering sustainable climate change adaptations: a case study of the Turkish Cypriot Community’s adoption of pomegranate farming --- The role of women in the sustainability of the wine industry through the analysis of case studies --- Part II : Natural Resource Systems and Environment --- The effects of climate change on the multifunctional role of Basilicata’s forests: the effects induced on yield and CO2 absorption --- Wildlife agriculture interactions, spatial analysis and trade-off between environmental sustainability and risk of economic damage --- The sustainability of non-renewable resources use at regional level: a case study on allocation of oil royalties --- Land use sector involvement in mitigation policies across carbon markets --- Evaluating the role of soil variability on potential groundwater pollution and recharge in a Mediterranean agricultural watershed --- Grazing and biodiversity conservation: highlights on a Nature 2000 network site --- Evaluation of native grasses for sustainable turfgrass in the bioclimatic Mediterranean Region.-Biodiversity of hypogeous fungi in Basilicata --- Part III: New technologies --- New technologies for the sustainable management and planning of rural land and environment --- Processing plants and technologies for a sustainable Mediterranean food chain --- Geophysical techniques for plant, soil and root research related to Satellite technologies to support the sustainability of agricultural production --- Electrolyzed water in the food industry as supporting of environmental sustainability
    Pages: Online-Ressource (XXVIII, 397 pages) , 80 illustrations, 48 illustrations in color
    ISBN: 9783319163574
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16357-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    Unknown
    Pre-Field Screening Protocols for Heat-Tolerant Mutants in Rice (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Agriculture ; Plant breeding ; Life Sciences ; Plant Breeding/Biotechnology ; Agriculture
    Description / Table of Contents: General Introduction --- Screening Protocols for Heat Tolerance in Rice at the Seedling and Reproductive Stages --- Validation of Screening Protocols for Heat Tolerance in Rice --- Conclusion --- References
    Pages: Online-Ressource (XII, 39 pages) , 16 illustrations, 10 illustrations in color
    ISBN: 9783319773384
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-77338-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    Unknown
    Scaling a Software Business : The Digitalization Journey (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Common challenges with software --- The map --- A holistic view to change --- The compass --- The journeys --- Co-develop in a community --- Charing is caring --- A thriving Open Source culture behind the wall --- Keeping the doors open.- Building ecosystems --- Pushing the boundaries --- Add supplementary services --- Adding Internet to things --- Boosting product sales by services --- Deliver 24/7 --- Pruning a bush --- Ensuring prima deliveries --- Pump up the volume --- Global R&D goes agile with SAFe --- Multi-site development --- Agile and disciplined --- Scaling Agile in Automotive --- Scaling Agile in Life sciences --- Outside the box --- Efficient communication --- Outsourcing Strategy at Sony Mobile --- Not so shore anymore --- Play it again, Sam, backwards --- First things first --- Robotic growing pains --- Softhouse reflects on architecture changes --- From mobile to Platform --- Your journey
    Pages: Online-Ressource (XXIII, 242 pages)
    ISBN: 9783319531168
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-53116-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    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
  • 66
    Unknown
    The Impact of Food Bioactives on Health : in vitro and ex vivo models (2015)
    Cham : Springer
    Details
    Keywords: Life sciences ; Human physiology ; Food ; Biotechnology ; Microbiology ; Life Sciences ; Food Microbiology ; Food Science ; Human Physiology
    Description / Table of Contents: Introduction --- Gastrointestinal digestion models, general introduction --- Static digestion models general introduction --- InfoGest consensus method --- Approaches to static digestion models --- Dynamic digestion models general introduction --- The TNO gastro-Intestinal Model (TIM) --- Dynamic Gastric Model (DGM) --- Human Gastric Simulator (Riddet model) --- The DIDGI® System --- General introduction to cells, cell lines and cell culture --- Epithelial cell models; General introduction --- Caco-2 cell line --- HT29 cell line --- The IPEC-J2 cell line --- Co-cultivation of Caco-2 and HT-29MT --- Innate and adaptive immune cells; General introduction --- THP-1 and U937 cells --- Peripheral blood mononuclear cells --- PBMC-derived T cells --- Dendritic Cells --- Co-culture Caco-2/ immune cells --- Enteroendocrine Cell Models: General introduction --- STC-1 cells --- NCI-H716 cells --- Murine GLUTag cells --- In vitro intestinal tissue models: General introduction --- Intestinal crypt organoids as experimental models --- Porcine ex vivo intestinal segment model --- Ussing chamber --- In vitro fermentation models: General Introduction --- One compartment fermentation model --- The TNO in vitro model of the colon - TIM-2 --- The Simulator of the Human Intestinal Microbial Ecosystem – SHIME® --- The computer-controlled multicompartmental dynamic model of the gastrointestinal system SIMGI
    Pages: Online-Ressource (XVII, 338 pages) , 57 illustrations, 35 illustrations in color
    ISBN: 9783319161044
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16104-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    Unknown
    Biodiversity Conservation and Phylogenetic Systematics : Preserving our evolutionary heritage in an extinction crisis (2016)
    Cham : Springer
    Details
    Keywords: Life sciences ; Biodiversity ; Nature conservation ; Life Sciences ; Biodiversity ; Nature Conservation ; Plant Systematics/Taxonomy/Biogeography ; Animal Systematics/Taxonomy/Biogeography
    Description / Table of Contents: Phylogenetics and conservation biology: drawing a path into the diversity of life --- The value of phylogenetic diversity --- The PD phylogenetic diversity framework: linking evolutionary history to feature diversity for biodiversity conservation --- Reconsidering the loss of evolutionary history: how does non-random extinction prune the tree-of-life?- Phylogenetics and conservation in New Zealand: the long and the short of it --- What is the meaning of extreme phylogenetic diversity? The case of phylogenetic relict species --- Using phylogenetic dissimilarities among sites for biodiversity assessments and conservation --- Phylogenetic diversity measures and their decomposition: a framework based on hill numbers --- Split diversity: measuring and optimizing biodiversity using phylogenetic split networks --- The rarefaction of phylogenetic diversity: formulation, extension and application --- Support in area prioritization using phylogenetic information --- Assessing hotspots of evolutionary history with data from multiple phylogenies: an analysis of endemic clades from New Caledonia --- Representing hotspots of evolutionary history in systematic conservation planning for European mammals --- Priorities for conservation of the evolutionary history of amphibians in the cerrado --- Global spatial analyses of phylogenetic conservation priorities for aquatic mammals --- Metapopulation capacity meets evolutionary distinctness: spatial fragmentation complements phylogenetic rarity in prioritization. - Patterns of species, phylogenetic and mimicry diversity of clearwing butterflies in the Neotropics --- Conservation of phylogenetic diversity in Madagascar’s largest endemic plant family, Sarcolaenaceae --- The future of phylogenetic systematics in conservation biology: linking biodiversity and society
    Pages: Online-Ressource (XVII, 390 pages) , 79 illustrations
    ISBN: 9783319224619
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-22461-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    Unknown
    Cosmic Ray Neutron Sensing: Estimation of Agricultural Crop Biomass Water Equivalent (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Hydrology ; Environmental sciences ; Agriculture ; Life Sciences ; Agriculture ; Hydrology/Water Resources ; Environmental Science and Engineering
    Description / Table of Contents: Foreword --- Summary --- 2. In-Situ Destructive Sampling --- 2.1 The Concept of Representivity --- 2.2 Plant Sampling Pattern and Design --- 2.3 Biomass Water Equivalent --- 2.4 Conclusions --- 3. Remote Sensing via Satellite Imagery Analysis --- 3.1 Photo-Reflective Properties of Plants --- 3.2 Satellite Image Analysis --- 3.3 Conclusions --- 4. Estimate of Biomass Water Equivalent via the Cosmic Ray Neutron Sensor --- 4.1 The role of Biomass in the CRNS Calibration --- 4.2 Relationship between Neutrons and Crop Biomass --- 4.3 Dire4ct Relationship between Neutrons and Biomass --- 4.4 Conclusions
    Pages: Online-Ressource (X, 33 pages) , 18 illustrations, 14 illustrations in color
    ISBN: 9783319695396
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69539-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    Unknown
    Riverine Ecosystem Management : Science for Governing Towards a Sustainable Future (2018)
    Cham : Springer
    Details
    Keywords: Life sciences ; Ecosystems ; Aquatic ecology ; Conservation biology ; Ecology ; Nature conservation ; Marine sciences ; Freshwater ; Life Sciences ; Freshwater & Marine Ecology ; Ecosystems ; Conservation Biology/Ecology ; Nature Conservation ; Marine & Freshwater Sciences
    Description / Table of Contents: Chapter 1. Challenges in Riverine Ecosystem Management --- Part I Human Impacts, Mitigation and Restoration --- Chapter 2. Historic Milestones of Human River Uses and Ecological Impacts --- Chapter 3. River Morphology, Channelization, and Habitat Restoration --- Chapter 4. River Hydrology, Flow Alteration, and Environmental Flow --- Chapter 5. Hydropeaking Impacts and Mitigation --- Chapter 6. Dams: Ecological Impacts and Management --- Chapter 7. Aquatic Habitat Modeling in Running Waters --- Chapter 8. The Role of Sediment and Sediment Dynamics in the Aquatic Environment --- Chapter 9. River Connectivity, Habitat Fragmentation and Related Restoration Meas --- Chapter 10. Phosphorus and Nitrogen Dynamics in Riverine Systems: Human Impacts and Management Options --- Chapter 11. Climate Change Impacts in Riverine Ecosystems --- Chapter 12. Ecotoxicology --- Chapter 13. Land Use --- Chapter 14. Recreational Fisheries – The Need for Sustainability in Fisheries Management of Alpine Rivers --- Part II Management, Methodologies, Governance --- Chapter 15. Restoration in Integrated River Basin Management --- Chapter 16.Adaptive Management of Riverine Socio-ecological Systems --- Chapter 17. Legislative Framework for River Ecosystem Management on International and European Level --- Chapter 18. Ensuring Long-Term Cooperation Over Transboundary Water Resources Through Joint River Basin Management --- Chapter 19. Biomonitoring and Bioassessment --- Chapter 20. Biodiversity and Freshwater Information Systems --- Chapter 21. Ecosystem Services in River Landscapes --- Chapter 22. Public Participation and Environmental Education --- Chapter 23. NGOs in Freshwater Resource Management --- Part III Case Studies --- Chapter 24. Danube Under Pressure: Hydropower Rules the Fish --- Chapter 25. Danube Floodplain Lobau --- Chapter 26. Danube Sturgeons: Past and Future --- Chapter 27. Healthy Fisheries Sustain Society and Ecology in Burkina Faso --- Chapter 28. The Tisza River: Managing a Lowland River in the Carpathian Basin --- Part IV Summary --- Chapter 29. Landmarks, Advances and Future Challenges in Riverine Ecosystem Management
    Pages: Online-Ressource (VII, 571 pages) , 123 illustrations, 82 illustrations in color
    ISBN: 9783319732503
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73250-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    Unknown
    Solving PDEs in Python : The FEniCS Tutorial I (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Software engineering ; Algorithms ; Computer mathematics ; Visualization ; Computer software ; Numerical analysis ; Mathematics ; Computational Science and Engineering ; Algorithms ; Visualization ; Mathematical Software ; Numerical Analysis ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: 1 Preliminaries --- 2 Fundamentals: Solving the Poisson Equation --- 3 A Gallery of Finite Element Solvers --- 4 Subdomains and Boundary Conditions --- 5 Extensions: Improving the Poisson Solver --- References
    Pages: Online-Ressource (XI, 146 pages) , 17 illustrations, 16 illustrations in color
    ISBN: 9783319524627
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-52462-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    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
  • 72
    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
  • 73
    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
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...