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
    Enabling Asia to Stabilise the Climate (2016)
    Singapore : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Climate Change Management and Policy ; Environmental Management
    Description / Table of Contents: Introduction --- Part 1: Asia is a key for sustainable low carbon society --- 1. GHG reduction potential in Asia --- 2. Transition to a low carbon future in China towards 2°C Global target --- 3. India’s GHG Emission Reduction and Sustainable Development --- 4. 80% reduction scenario in Japan --- 5. Potential of low carbon development in Vietnam, from practices to legal framework --- Part 2: Brigding the gap between modeling and real policy development --- 6. Designing a National Policy Framework for NAMAs -Lesson learnt from Thailand- --- 7. ‘Science-to-Action’ of the Sustainable Low Carbon City-region --- Part 3:Best parctices and recommendations in each sector to make it happen --- 8. Low Carbon Transport in India - Assessment of Best Practice Case Studies - --- 9. Potential of Reducing GHG Emission from REDD+ Activities in Indonesia --- 10. Fostering capacity development for ASIA leapfrog --- 11. Capacity development on GHG inventories in Asia -WGIA Workshop on Greenhouse gas Inventory in Asia- --- 12. Japan’s Comprehensive and Continual Support Package for the Creation of Scientific Climate Policies in Asia
    Pages: Online-Ressource (X, 270 pages) , 99 illustrations, 70 illustrations in color
    ISBN: 9789812878267
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-287-826-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Embedded Firmware Solutions : Development Best Practices for the Internet of Things (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Microprogramming ; Computer Science ; Computer Science, general ; Control Structures and Microprogramming
    Description / Table of Contents: Embedded Firmware Solutions is the perfect introduction and daily-use field guide--for the thousands of firmware designers, hardware engineers, architects, managers, and developers--to Intel’s new firmware direction (including Quark coverage), showing how to integrate Intel® Architecture designs into their plans. Featuring hands-on examples and exercises using Open Source codebases, like Coreboot and EFI Development Kit (tianocore) and Chromebook, this is the first book that combines a timely and thorough overview of firmware solutions for the rapidly evolving embedded ecosystem with in-depth coverage of requirements and optimization
    Pages: Online-Ressource (XXIII, 224 pages) , 68 illustrations
    ISBN: 9781484200704
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4842-0070-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Managing Risk and Information Security : Protect to Enable (2016)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer Science ; Computer Science, general
    Description / Table of Contents: Chapter 1 Introduction --- Chapter 2 Misperception of Risk --- Chapter 3 Governance and Internal Partnerships --- Chapter 4 External Partnerships --- Chapter 5 People Are the Perimeter --- Chapter 6 Emerging Capabilities and Usage Models --- Chapter 7 A New Security Architecture to Improve Business Agility --- Chapter 8 Looking to the Future --- Chapter 9 Corporate Social Responsibility --- Chapter 10 The 21st Century CISO --- Chapter 11 Performance Coaching --- Appendix A: References.
    Pages: Online-Ressource (XXVII, 187 pages) , 20 illustrations in color
    Edition: 2nd edition
    ISBN: 9781484214558
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4842-1455-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Environmental Governance of the Baltic Sea (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Political science ; Wildlife ; Fish ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Political Science ; Water Policy/Water Governance/Water Management ; Marine & Freshwater Sciences ; Fish & Wildlife Biology & Management
    Description / Table of Contents: Chapter 1. Environmental Governance of the Baltic Sea: Identifying Key Challenges Research Topics and Analytical Approaches. Part 1: Interdisciplinary Case Studies of Environmental Governance --- Chapter 2. Eutrophication and the Ecosystem Approach to Management: A Case Study of Baltic Sea Environmental Governance --- Chapter 3. Fisheries: A Case Study of Baltic Sea Environmental Governance --- Chapter 4. Biological Invasions: a Case Study of Baltic Sea Environmental Governance --- Chapter 5. Governance of Chemicals in the Baltic Sea Region: A Study of Three Generations of Hazardous Substances --- Chapter 6. Oil Spills from Shipping: A Case Study of the Governance of Accidental Hazards and Intentional Pollution in the Baltic Sea --- Part 2: Cross-Case Analysis of Key Environmental Governance Challenges --- Chapter 7. The Ecosystem Approach to Management in Baltic Sea Governance: Towards Increased Reflexivity? --- Chapter 8. Science-Policy Interfaces in Baltic Sea Environmental Governance: Towards Regional Cooperation and Management of Uncertainty? --- Chapter 9. Risk Communication and the Role of the Public: Towards Inclusive Environmental Governance of the Baltic Sea? --- Chapter 10. Seeking Pathways Towards Improved Environmental Governance of the Baltic Sea
    Pages: Online-Ressource (XIX, 253 pages) , 10 illustrations, 3 illustrations in color
    ISBN: 9783319270067
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27006-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Habitats and Biota of the Gulf of Mexico: Before the Deepwater Horizon Oil Spill : Volume 1: Water Quality, Sediments, Sediment Contaminants, Oil and Gas Seeps, Coastal Habitats, Offshore Plankton and Benthos, and Shellfish (2017)
    New York, NY : Springer
    Details
    Keywords: Environment ; Environmental management ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Marine & Freshwater Sciences
    Description / Table of Contents: 1.Habitats And Biota Of The Gulf Of Mexico: An Overview --- 2.Water Quality Of The Gulf Of Mexico --- 3.Sediments Of The Gulf Of Mexico --- 4.Sediment Contaminants Of The Gulf Of Mexico --- 5.Oil And Gas Seeps In The Gulf Of Mexico.- 6.Coastal Habitats Of The Gulf Of Mexico --- 7.Offshore Plankton And Benthos Of The Gulf Of Mexico --- 8.Shellfish Of The Gulf Of Mexico --- Appendix A:List of Acronyms, Abbreviations, and Symbols --- Appendix B: Unit Conversion Table.-  Index
    Pages: Online-Ressource (LIX, 868 pages) , 551 illustrations, 519 illustrations in color
    ISBN: 9781493934478
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4939-3447-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    The Interconnected Arctic — UArctic Congress 2016 (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Medical research ; Environmental management ; Economics ; Quality of life ; Environment ; Environmental Management ; Climate Change/Climate Change Impacts ; Quality of Life Research ; Environment Studies ; Economic Systems
    Description / Table of Contents: Part I Vulnerability of the Arctic environments. Chapter 1 Mysteries of the geological history of the Cenozoic Arctic Ocean sea ice cover --- Chapter 2 Response of Arctic alpine biota to climate change -evidence from Polar Urals GLORIA summits --- Chapter 3 The features of natural and artificial recovery in quarries of the forest-tundra zone of Western Siberia --- Chapter 4 The concept of hierarchical structure of large marine ecosystems in the zoning of Russian Arctic shelf seas --- Chapter 5 Changing climate and outbreaks of forest pest insects in a cold northern country, Finland --- Chapter 6 Wood-based energy as a strategy for climate change mitigation in the Arctic –Perspectives on assessment of climate impacts and resource efficiency with Life Cycle Assessment --- Chapter 7. Geospatial analysis of persistent organic pollutant deposits in the Arctic ecosystems and environment --- Chapter 8 Hydrological probabilistic model MARCS and its application to simulate the probability density functions of multi-year maximal runoff: the Russian Arctic as a case of study --- Chapter 9 Student contribution: Assessment of Atmospheric Circulation in the Atlantic-Eurasian Region and Arctic Using Climate Indices. The Possible Applications of these Indices in Long-term Weather Forecasts --- Chapter 10 Student contribution: Difficulties of Geological Engineering in Arctic Seas --- Part II Vulnerability of the Arctic societies. Chapter 11 The Health Transition: A challenge to indigenous peoples in the Arctic --- Chapter 12 Uncertainties in Arctic socio-economic scenarios --- Chapter 13 Importance of consideration of climate change at managing fish stocks: A case of northern Russian fisheries --- Chapter 14 Preservation of territories and traditional activities of the northern indigenous peoples in the period of the Arctic industrial development --- Chapter 15 The Arctic journey – design experiments in the north --- Chapter 16 The Bicycle and the Arctic. Resilient and sustainable transport in times of climate change --- Part III Building the long-term human capacity. Chapter 17 Human capital development in the Russian Arctic --- Chapter 18 Impact of wages on employment and migration in the High North of Russia --- chapter 19 Well-being in an Arctic city. Designing a longitudinal study on student relationships and perceived quality of life --- Chapter 20 Researching Links between Teacher Wellbeing and Educational Change: Case Studies from Kazakhstan and Sakha Republic --- chapter 21 Student contribution: Well-being at the Polish polar station, Svalbard: Adaptation to extreme environments --- Part IV Arcitc tourism. Chapter 22 Tourism futures in the Arctic --- chapter 23 Uniqueness as a draw for riding under the midnight sun --- Chapter 24 Arctic tourism: the design approach with reference to the Russian North --- Part V Arctic safety. Chapter 25 Maritime operations and emergency preparedness in the Arctic –competence standards for search and rescue operations contingencies in polar waters --- Chapter 26 Risk reduction as a result of implementation of the functional based IMO Polar Code in the Arctic cruise industry --- Chapter 27 Safety of industrial development and transportation routes in the Arctic (SITRA) -collaboration project for research and education of future High North experts --- Chapter 28 Safe Snow and Ice Construction to Arctic Conditions --- Chapter 29 The components of psychological safety of oil and gas shift workers in the Arctic --- Part VI Circumpolar, inclusive and reciprocal Arctic. Chapter 30 Where is gender? Cracking the Arctic box and its persistent “gender neutral” research agendas --- Chapter 31 Towards an Arctic awakening: Neocolonialism, sustainable development, emancipatory research, collective action, and Arctic regional policymaking
    Pages: Online-Ressource (XIV, 311 pages) , 78 illustrations, 69 illustrations in color
    ISBN: 9783319575322
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57532-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Life Cycle Management (2015)
    Dordrecht : Springer
    Details
    Keywords: Environment ; Renewable energy resources ; Environmental sciences ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Environmental Management ; Renewable and Green Energy ; Environmental Science and Engineering
    Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study
    Pages: Online-Ressource (XVII, 353 pages) , 49 illustrations, 28 illustrations in color
    ISBN: 9789401772211
    URL: https://link.springer.com/openurl?genre=book&isbn=978-94-017-7221-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Habitats and Biota of the Gulf of Mexico: Before the Deepwater Horizon Oil Spill : Volume 2: Fish Resources, Fisheries, Sea Turtles, Avian Resources, Marine Mammals, Diseases and Mortalities (2017)
    New York, NY : Springer
    Details
    Keywords: Environment ; Environmental management ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Marine & Freshwater Sciences
    Description / Table of Contents: This book is open access under a CC BY-NC 2.5 license. The Gulf of Mexico is an open and dynamic marine ecosystem rich in natural resources but heavily impacted by human activities, including agricultural, industrial, commercial and coastal development. Nutrients and pollutants from coastal communities and dozens of rivers flow into the Gulf, including material from the Mississippi River watershed, which drains over one third of continental United States. The Gulf of Mexico has been continuously exposed to petroleum hydrocarbons for millions of years from natural oil and gas seeps on the sea floor, and more recently from oil drilling and production activities located in the water near and far from shore. Major accidental oil spills in the Gulf are infrequent; two of the most significant include the Ixtoc I blowout in the Bay of Campeche in 1979 and the Deepwater Horizon Oil Spill in 2010. Unfortunately, baseline assessments of the status of habitats and biota in the Gulf of Mexico before these spills either were not available, or the data had not been systematically compiled in a way that would help scientists assess the potential short-term and long-term effects of such events. This 2-volume series compiles and summarizes thousands of data sets showing the status of habitats and biota in the Gulf of Mexico before the Deepwater Horizon Oil Spill that began on April 20, 2010. Volume 1 begins with an overview of the following 13 chapters and focuses on the big picture rather than the details of habitat quality and biota.  Volume 1 covers: • Water and sediment quality and contaminants, to provide perspective on environmental conditions in the Gulf. • Natural oil and gas seeps in the Gulf of Mexico, to identify natural sources of exposure to petroleum hydrocarbons. • Coastal habitats, including flora and fauna and coastal geology. • Offshore benthos and plankton, with an analysis of current knowledge on energy capture and energy flows in the Gulf. • Shellfish and finfish resources that provide the basis for commercial and recreational fisheries. Volume 2 covers: • Historical data on commercial and recreational fisheries, with an analysis of marketing trends and drivers. • Ecology, populations and risks to birds, sea turtles and marine mammals in the Gulf of Mexico. • A final chapter extensively illustrated with original images on diseases and mortalities of fish and other animals that inhabit the Gulf of Mexico.  Chapters in these volumes have been peer reviewed by scientific experts in the subject areas covered.  Hopefully, the collection and analysis of such data for the Gulf of Mexico will be continued and sponsored by responsible federal and state agencies with the frequency needed to accurately assess potential damage to natural resources from ecologically harmful events that may occur in the future
    Pages: Online-Ressource (LXV, 891 pages) , 551 illustrations, 519 illustrations in color
    ISBN: 9781493934560
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4939-3456-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Earthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident (2016)
    Tokyo : Springer
    Details
    Keywords: Environment ; Nuclear energy ; Natural disasters ; Probabilities ; Quality control ; Reliability ; Industrial safety ; Environmental management ; Environment ; Environmental Management ; Nuclear Energy ; Natural Hazards ; Quality Control, Reliability, Safety and Risk ; Probability Theory and Stochastic Processes
    Description / Table of Contents: Foreword --- Preface --- Cooperators --- Part 1 Active Faults --- Part 2 Seismic Source Modeling and Seismic Motion --- Part 3 Probabilistic Risk Assessment with External Hazards --- Part 4 Nuclear Risk Governance in Society
    Pages: Online-Ressource (XII, 177 pages) , 74 illustrations, 36 illustrations in color
    ISBN: 9784431558224
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55822-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Radiological Issues for Fukushima’s Revitalized Future (2016)
    Tokyo : Springer
    Details
    Keywords: Environment ; Radiation protection ; Radiation ; Safety measures ; Environmental management ; Environmental pollution ; Environment ; Effects of Radiation/Radiation Protection ; Environmental Management ; Terrestrial Pollution
    Description / Table of Contents: Foreword --- Preface --- Cooperators --- Part 1 Radioactivity in the Terrestrial Environment --- Part 2 Decontamination and Radioactive Waste --- Part 3 Environmental Radiation and External Exposure --- Part 4 Radioactivity in Foods and Internal Exposure
    Pages: Online-Ressource (XIII, 232 pages) , 75 illustrations, 32 illustrations in color
    ISBN: 9784431558484
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55848-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    Unknown
    Taking Stock of Industrial Ecology (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Engineering economics ; Engineering economy ; Environmental management ; Waste management ; Sustainable development ; Industrial organization ; Environmental economics ; Environment ; Sustainable Development ; Waste Management/Waste Technology ; Environmental Economics ; Industrial Organization ; Engineering Economics, Organization, Logistics, Marketing ; Environmental Management
    Description / Table of Contents: Introduction --- General reflections --- The Price of Everything and the Value of Nothing: sustainability ‘after the crisis’ --- Impacts of global trade flows --- Stocks and flows in the performance economy --- The Embeddedness of carbon in UK Lifestyles --- Ethics of Industrial Ecology --- Complexity and prediction --- Urban metabolism --- Industrial Symbiosis --- Industrial Ecology and the Solidarity Economy --- Industrial Ecology in Developing Countries --- Material Flow Analysis and Waste Management --- Social sciences in Industrial Ecology --- Life Cycle Sustainability Assessment --- Prospective Models of Society’s Future Metabolism --- Planetary boundaries and sustainable business --- Working with policymakers --- Portugal’s national waste plan --- The Industrial Ecology of the automobile
    Pages: Online-Ressource (XXI, 362 pages) , 43 illustrations, 34 illustrations in color
    ISBN: 9783319205717
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-20571-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    Unknown
    Rewilding European Landscapes (2015)
    Cham : Springer
    Details
    Keywords: Environment ; Applied ecology ; Biodiversity ; Landscape ecology ; Environmental management ; Nature conservation ; Environment ; Nature Conservation ; Environmental Management ; Biodiversity ; Landscape Ecology ; Applied Ecology
    Description / Table of Contents: Part I  - The Theory of Rewilding --- 1. Rewilding Abandoned Landscapes in Europe --- 2. European Wilderness in a Time of Farmland Abandonment --- 3. Ecosystem Services: the Opportunities of Rewilding in Europe --- Part II - Rewilding and Biodiversity --- 4. Bringing Large Mammals Back: Large Carnivores in Europe --- 5. Top Scavengers in a Wilder Europe --- 6. Rewilding: Pitfalls and Opportunities for Moths and Butterflies --- 7. Vegetation Restoration and Other Actions to Enhance Wildlife in European Agricultural Landscapes --- 8. Maintaining Disturbance-dependent Habitats.- Part III - Rewillding in Practice --- 9. Rewilding Europe: A New Strategy for an Old Continent --- 10. Preparing a New Generation of Wilderness Entrepreneurs --- 11. Towards a European Policy for Rewilding --- Index
    Pages: Online-Ressource (XXI, 227 pages) , 44 illustrations, 43 illustrations in color
    ISBN: 9783319120393
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-12039-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    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
  • 14
    Unknown
    North Sea Region Climate Change Assessment (2016)
    Cham : Springer
    Details
    Keywords: Marine Sciences ; Environmental management ; Atmospheric Sciences ; Marine & Freshwater Sciences ; Environmental Management
    Description / Table of Contents: Introduction to the Assessment --- Past and Current Climate Change --- Past and Current Changes in the North Sea (and interface regions) --- Climate Change Projections --- Impacts of Current and Future Climate Change in Ecosystems --- Climate Impacts on Socio-economy
    Pages: Online-Ressource (XLV, 528 pages) , 277 illustrations, 215 illustrations in color
    ISBN: 9783319397450
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-39745-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    Unknown
    Life Cycle Management (2015)
    Dordrecht : Springer
    Details
    Keywords: Environment ; Renewable energy resources ; Environmental sciences ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Environmental Management ; Renewable and Green Energy ; Environmental Science and Engineering
    Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study
    Pages: Online-Ressource (XVII, 353 pages) , 49 illustrations, 28 illustrations in color
    ISBN: 9789401772211
    URL: https://link.springer.com/openurl?genre=book&isbn=978-94-017-7221-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Software engineering ; Data encryption (Computer science) ; Computer Science ; Data Encryption ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM
    Pages: Online-Ressource (XXVII, 392 pages) , 41 illustrations
    ISBN: 9781430265849
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6584-9
    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
    Environmental Governance of the Baltic Sea (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Political science ; Wildlife ; Fish ; Marine sciences ; Freshwater ; Environment ; Environmental Management ; Political Science ; Water Policy/Water Governance/Water Management ; Marine & Freshwater Sciences ; Fish & Wildlife Biology & Management
    Description / Table of Contents: Chapter 1. Environmental Governance of the Baltic Sea: Identifying Key Challenges Research Topics and Analytical Approaches. Part 1: Interdisciplinary Case Studies of Environmental Governance --- Chapter 2. Eutrophication and the Ecosystem Approach to Management: A Case Study of Baltic Sea Environmental Governance --- Chapter 3. Fisheries: A Case Study of Baltic Sea Environmental Governance --- Chapter 4. Biological Invasions: a Case Study of Baltic Sea Environmental Governance --- Chapter 5. Governance of Chemicals in the Baltic Sea Region: A Study of Three Generations of Hazardous Substances --- Chapter 6. Oil Spills from Shipping: A Case Study of the Governance of Accidental Hazards and Intentional Pollution in the Baltic Sea --- Part 2: Cross-Case Analysis of Key Environmental Governance Challenges --- Chapter 7. The Ecosystem Approach to Management in Baltic Sea Governance: Towards Increased Reflexivity? --- Chapter 8. Science-Policy Interfaces in Baltic Sea Environmental Governance: Towards Regional Cooperation and Management of Uncertainty? --- Chapter 9. Risk Communication and the Role of the Public: Towards Inclusive Environmental Governance of the Baltic Sea? --- Chapter 10. Seeking Pathways Towards Improved Environmental Governance of the Baltic Sea
    Pages: Online-Ressource (XIX, 253 pages) , 10 illustrations, 3 illustrations in color
    ISBN: 9783319270067
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-27006-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    Unknown
    Rangeland Systems : Processes, Management and Challenges (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Ecology ; Climate change ; Environmental law ; Environmental policy ; Environmental management ; Environment ; Environmental Management ; Environmental Law/Policy/Ecojustice ; Ecology ; Climate Change
    Description / Table of Contents: 1. Conceptual development toward a rangeland systems framework --- Part: 1 Processes --- 2. Woody plant encroachment --- 3. Ecohydrology: processes and implications for rangelands --- 4. Soil and belowground processes --- 5. Structural heterogeneity as the basis for rangeland management --- 6. Non-equilibrium ecology and resilience theory --- 7. Ecological consequences of climate change on rangelands --- Part: 2 Management --- 8. Rangelands as social-ecological systems --- 9. State and transition models: theory, applications, and challenges --- 10. Livestock production systems --- 11. Adaptive management of rangeland systems --- 12. Managing the livestock-wildlife interface on rangelands --- Part: 3 Challenges --- 13. Invasive plant species and novel rangeland systems --- 14. Rangeland ecosystem services: nature´s supply and humans´ demand --- 15. Managing climate change risks in rangeland systems --- 16. Monitoring protocols: options, approaches, implementation, benefits --- 17. Rangeland systems in developing nations: conceptual advances and societal implications
    Pages: Online-Ressource (XV, 661 pages) , 101 illustrations, 69 illustrations in color
    ISBN: 9783319467092
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-46709-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    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
  • 21
    Unknown
    Balanced Urban Development: Options and Strategies for Liveable Cities (2016)
    Cham : Springer
    Details
    Keywords: Geography ; Hydrology ; Environmental management ; Regional planning ; Urban planning ; Landscape ecology ; Sustainable development ; Geography ; Landscape/Regional and Urban Planning ; Hydrology/Water Resources ; Sustainable Development ; Water Policy/Water Governance/Water Management ; Landscape Ecology
    Description / Table of Contents: Part I: Introduction --- 1. Balanced Urban Development: Is it a myth or reality? - Part II: Peri-Urbansation --- 2. Re-Ruralising the Urban Edge: Lessons from Europe, USA & the Global South --- 3. Nimbyism and Nature – Whose Backyard is it Anyway? - 4. Connecting Urban and Rural Futures Through Rural Design --- 5. Archaeology and Contemporary Dynamics for More Sustainable, Resilient Cities in the Peri-Urban Interface --- 6. Decontamination of Urban Run-off: Importance and Methods --- Part III: Peri-Urban Culture and Socio-Economy --- 7. Socio-economy of Peri-Urban Areas: The Case of Lisbon Metropolitan Area --- 8. Changing Economic Scenario of the Peri-Urban Area of Udaipur City, India --- 9. Community Stakeholder Viewpoints on Issues of Urbanisation along the River Ma Oya, Sri Lanka --- Part IV: Peri-Urban Landuse Planning --- 10. The role of peri-urban land use planning in resilient urban agriculture: a case study of Melbourne, Australia --- 11. Engaging Peri-Urban Landholders in Natural Resources Management.-12. Urban Farming Master Plan in Western Sydney - From Planning to Reality --- Part V: Urban Water Security --- 13. Study of urban water bodies in view of potential for micro-climatic cooling and natural purification of waste water --- 14. Groundwater Crisis in a Mega City – A Case Study of New Delhi, India --- 15. Safe Water Supply Determinants in Peri-Urban Communities of South-East Nigeria --- 16. Risks of Coal Seam and Shale Gas Extraction on Groundwater and Aquifers in Eastern Australia --- Part VI: Wastewater and Irrigation --- 17. Use of recycled water for irrigation of open spaces: Benefits and Risks --- 18. Global Experiences on Wastewater Irrigation: Challenges and Prospects --- 19. Impacts of Wastewater Reuse on Peri-Urban Agriculture: Case Study in Udaipur City, India --- Part VII: Urban Agriculture and Food Security --- 20. Urban Agriculture in Cuba: Alternative Legal Structures, Crisis and Change --- 21. High quality agricultural land in Western Australia – A new decision tool for planning --- 22. Food Efficient Planning and Design for Peri-urban Neighbourhoods --- 23. Role of Peri-urban Areas in the Food System of Kampala, Uganda --- Part VIII: Climate Change Impacts and Adaptations --- 24. Climate Change Adaptation Planning with Peri-Urban Local Government in Victoria, Australia --- 25. Awareness of Climate Change Impacts and Adaptation at Local Level in Punjab, Pakistan --- 26. Urbanisation, Nutrition and Food Security: A Climatological Perspective --- 27. Coastal Urban and Peri-Urban Indigenous People’s Adaptive Capacity to Climate Change --- Part IX: Legal, Policy and Institutional Challenges --- 28. Effect of Social and Institutional Fragmentation on Collective Action in Peri-urban Settings --- 29. Gentrification versus Territorialisation: The Peri-Urban Agriculture Area in Beirut --- 30. Reimagining the “Peri-Urban” in the Mega-Urban Regions of Southeast Asia --- Part X: Integrated Urban Development --- 31. Sustainability of Water Resources in Peri-urban Landscapes: Learning from the Journey of Engagement --- 32. Development of Future Management Options for the Hawkesbury River --- 33. Planning Development to Reduce Mosquito Hazard in Coastal Peri-Urban Areas: Case Studies in NSW, Australia --- 34. An Integrated Simulation and Visualisation Platform for the Design of Sustainable Urban Developments in a Peri-Urban Context --- 35. Options and Strategies for Balanced Development for Liveable Cities: An Epilogue
    Pages: Online-Ressource (XXII, 601 pages) , 136 illustrations, 109 illustrations in color
    ISBN: 9783319281124
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-28112-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    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
  • 23
    Unknown
    Freshwater Governance for the 21st Century (2017)
    Cham : Springer
    Details
    Keywords: Environmental management ; International relations ; Behavioral sciences ; Environmental law ; Environmental policy ; Water ; Water Policy/Water Governance/Water Management ; Environmental Law/Policy/Ecojustice ; Environmental Management ; International Relations ; Behavioral Sciences
    Description / Table of Contents: 1. Introduction and Reflections --- 2. The Establishment of Catchment Management Agencies in South Africa with Reference to the Flussgebietsgemeinschaft Elbe: Some Practical Considerations --- 3. Towards Inclusive Water Governance: OECD Evidence and Key Principles of Stakeholder Engagement in the Water Sector --- 4. Free-Market Economics and Developmental Statism as Political Paradigms: Implications for Water Governance Theory and Practice in Developing Countries --- 5. Urban Water Governance as a Function of the “Urban Hydrosocial Transition” --- 6. Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management --- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses --- 8. Inclusive Transboundary Water Governance --- 9. Mechanisms for Inclusive Governance --- 10. Water Integrity - from Concept to Practice --- 11. Addressing the Groundwater Governance Challenge: A Call from the “Groundwater Governance: A Global Framework for Action” Project --- 12. Water Governance Futures in South Asia and Southern Africa: Déjà vu all Over Again?
    Pages: Online-Ressource (XXVII, 250 pages) , 39 illustrations, 28 illustrations in color
    ISBN: 9783319433509
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43350-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    Unknown
    Evaluating Climate Change Action for Sustainable Development (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Climate Change ; Sustainable Development ; Climate Change/Climate Change Impacts ; Environmental Management
    Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change
    Pages: Online-Ressource (XXIV, 355 pages) , 44 illustrations, 36 illustrations in color
    ISBN: 9783319437026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43702-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    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
  • 27
    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
  • 28
    Unknown
    Anti-fragile ICT Systems (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Computers ; Artificial intelligence ; Computer simulation ; Computer Science ; Computer Systems Organization and Communication Networks ; Information Systems and Communication Service ; Artificial Intelligence (incl. Robotics) ; Simulation and Modeling
    Description / Table of Contents: Preface --- Part I: The Concept of Anti-Fragility: 1 Introduction --- 2 Achieving Anti-Fragility --- 3 The Need to Build Trust --- 4 Principles Ensuring Anti-Fragility --- Part II: Anti-Fragility to Downtime: 5 Anti-Fragile Cloud Solutions --- 6 An Anti-Fragile e-Government System --- 7 Anti-Fragile Cloud-Based Telecom Systems --- Part III: Anti-Fragility to Malware: 8 Robustness to Malware Spreading --- 9 Robustness to Malware Reinfections --- 10 Anti-Fragility to Malware Spreading --- Part IV: Anomaly Detection: 11 The Cortical Learning Algorithm --- 12 Detecting Anomalies with the CLA --- Part V: Future Anti-Fragile Systems: 13 Summary and Future Work --- About the Author --- References --- Index
    Pages: Online-Ressource (XVIII, 151 pages) , 44 illustrations, 22 illustrations in color
    ISBN: 9783319300702
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30070-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 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
    Intertwingled : The Work and Influence of Ted Nelson (2015)
    Cham : Springer
    Details
    Keywords: Computer science ; Data structures (Computer science) ; User interfaces (Computer systems) ; Application software ; Computers ; Computer Science ; History of Computing ; Computer Appl. in Arts and Humanities ; Data Structures ; User Interfaces and Human Computer Interaction
    Description / Table of Contents: Part I: Artistic Contributions --- The Computer Age --- Odes to Ted Nelson --- Part II: Peer Histories --- The Two-eyed Man --- Ted Nelson’s Xanadu—Caution: Four Letter Words Ahead --- Hanging Out with Ted Nelson --- Riffing on Ted Nelson—Hypermind --- Intertwingled Inspiration --- An Advanced Book for Beginners --- Part III: Hypertext and Ted Nelson-Influenced Research --- The Importance of Ted’s Vision --- Data, Metadata and Ted --- Making Links: Everything Really is Deeply Intertwingled --- Ted Nelson --- History Debugged --- We Can and Must Understand Computers NOW --- The Future of Transclusion --- Ted Nelson: A Critical (and Critically Incomplete) Bibliography --- Part IV: The Last Word --- What Box?
    Pages: Online-Ressource (XVI, 150 pages) , 43 illustrations
    ISBN: 9783319169255
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16925-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    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
  • 32
    Unknown
    Intelligent Human Computer Interaction : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Special purpose computers ; Database management ; User interfaces (Computer systems) ; Artificial intelligence ; Computer Science ; Artificial Intelligence (incl. Robotics) ; User Interfaces and Human Computer Interaction ; Database Management ; Special Purpose and Application-Based Systems
    Description / Table of Contents: Can Machines Design? Optimizing User Interfaces for Human Performance --- Geometrical Shapes Rendering on a Dot-Matrix Display --- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM --- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques --- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach --- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment --- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) --- List Navigation Using Edge Menu --- Simplexity and Vicariance. On Human Cognition Principles for Man-Machine Interaction --- Design Considerations for Self-paced Interactive Notes on Video Lectures - A Learner's Perspective and Enhancements of Learning Outcome --- Using Psycholinguistic Features for the Classification of Comprehenders from Summary Speech Transcripts --- Lector: Towards Reengaging Students in the Educational Process Inside Smart Classrooms --- Predicting Driver's Work Performance in Driving Simulator Based on Physiological Indices --- Interpersonal Human-Human and Human-Robot Interactions --- Exploring the Dynamics of Relationships Between Expressed and Experienced Emotions --- Standard Co-training in Multiword Expression Detection --- Comparative Study on Normalization in Emotion Recognition from Speech --- Detecting Vigilance in People Performing Continual Monitoring Task
    Pages: Online-Ressource (XVIII, 216 pages) , 78 illustrations
    ISBN: 9783319720388
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-72038-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    Unknown
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Logic design ; Computer organization ; Operating systems (Computers) ; Computers ; Computer Science ; Computing Methodologies ; Computer Systems Organization and Communication Networks ; Operating Systems ; Logic Design ; Information Systems and Communication Service
    Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU
    Pages: Online-Ressource (X, 293 pages) , 121 illustrations
    ISBN: 9783319699530
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69953-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    Unknown
    Principles of Security and Trust : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers ; Computer Science ; Systems and Data Security ; Theory of Computation ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Information Flow and Non-Intereference --- What's the Over/Under? Probabilistic Bounds on Information Leakage --- Secure Information Release in Timed Automata --- Compositional Non-Interference for Concurrent Programs via Separation and Framing --- The Meaning of Memory Safety --- Leakage, Information Flow, and Protocols --- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage --- Leakage and Protocol Composition in a Game-theoretic Perspective --- Equivalence Properties by Typing in Cryptographic Branching Protocols --- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience --- Smart Contracts and Privacy --- SoK: Unraveling Bitcoin Smart Contracts --- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts --- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts --- UniTraX: Protecting Data Privacy with Discoverable Biases --- Firewalls and Attack-Defense Trees --- Transcompiling Firewalls --- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels
    Pages: Online-Ressource (XIV, 347 pages) , 85 illustrations
    ISBN: 9783319897226
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89722-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    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
  • 37
    Unknown
    Sustainable Development in the Jordan Valley : Final Report of the Regional NGO Master Plan (2016)
    Cham : Springer
    Details
    Keywords: Environmental management ; Cultural heritage ; Tourism ; Management ; Nature conservation ; Sustainable development ; Development economics ; Economics ; Development Economics ; Water Policy/Water Governance/Water Management ; Sustainable Development ; Nature Conservation ; Cultural Heritage ; Tourism Management
    Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.
    Pages: Online-Ressource (XLII, 239 pages) , 181 illustrations, 179 illustrations in color
    ISBN: 9783319300368
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30036-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    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
  • 39
    Unknown
    Radiological Issues for Fukushima’s Revitalized Future (2016)
    Tokyo : Springer
    Details
    Keywords: Environment ; Radiation protection ; Radiation ; Safety measures ; Environmental management ; Environmental pollution ; Environment ; Effects of Radiation/Radiation Protection ; Environmental Management ; Terrestrial Pollution
    Description / Table of Contents: Foreword --- Preface --- Cooperators --- Part 1 Radioactivity in the Terrestrial Environment --- Part 2 Decontamination and Radioactive Waste --- Part 3 Environmental Radiation and External Exposure --- Part 4 Radioactivity in Foods and Internal Exposure
    Pages: Online-Ressource (XIII, 232 pages) , 75 illustrations, 32 illustrations in color
    ISBN: 9784431558484
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55848-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    Unknown
    Earthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident (2016)
    Tokyo : Springer
    Details
    Keywords: Environment ; Nuclear energy ; Natural disasters ; Probabilities ; Quality control ; Reliability ; Industrial safety ; Environmental management ; Environment ; Environmental Management ; Nuclear Energy ; Natural Hazards ; Quality Control, Reliability, Safety and Risk ; Probability Theory and Stochastic Processes
    Description / Table of Contents: Foreword --- Preface --- Cooperators --- Part 1 Active Faults --- Part 2 Seismic Source Modeling and Seismic Motion --- Part 3 Probabilistic Risk Assessment with External Hazards --- Part 4 Nuclear Risk Governance in Society
    Pages: Online-Ressource (XII, 177 pages) , 74 illustrations, 36 illustrations in color
    ISBN: 9784431558224
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55822-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    Unknown
    Rewilding European Landscapes (2015)
    Cham : Springer
    Details
    Keywords: Environment ; Applied ecology ; Biodiversity ; Landscape ecology ; Environmental management ; Nature conservation ; Environment ; Nature Conservation ; Environmental Management ; Biodiversity ; Landscape Ecology ; Applied Ecology
    Description / Table of Contents: Part I  - The Theory of Rewilding --- 1. Rewilding Abandoned Landscapes in Europe --- 2. European Wilderness in a Time of Farmland Abandonment --- 3. Ecosystem Services: the Opportunities of Rewilding in Europe --- Part II - Rewilding and Biodiversity --- 4. Bringing Large Mammals Back: Large Carnivores in Europe --- 5. Top Scavengers in a Wilder Europe --- 6. Rewilding: Pitfalls and Opportunities for Moths and Butterflies --- 7. Vegetation Restoration and Other Actions to Enhance Wildlife in European Agricultural Landscapes --- 8. Maintaining Disturbance-dependent Habitats.- Part III - Rewillding in Practice --- 9. Rewilding Europe: A New Strategy for an Old Continent --- 10. Preparing a New Generation of Wilderness Entrepreneurs --- 11. Towards a European Policy for Rewilding --- Index
    Pages: Online-Ressource (XXI, 227 pages) , 44 illustrations, 43 illustrations in color
    ISBN: 9783319120393
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-12039-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    Unknown
    Rangeland Systems : Processes, Management and Challenges (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Ecology ; Climate change ; Environmental law ; Environmental policy ; Environmental management ; Environment ; Environmental Management ; Environmental Law/Policy/Ecojustice ; Ecology ; Climate Change
    Description / Table of Contents: 1. Conceptual development toward a rangeland systems framework --- Part: 1 Processes --- 2. Woody plant encroachment --- 3. Ecohydrology: processes and implications for rangelands --- 4. Soil and belowground processes --- 5. Structural heterogeneity as the basis for rangeland management --- 6. Non-equilibrium ecology and resilience theory --- 7. Ecological consequences of climate change on rangelands --- Part: 2 Management --- 8. Rangelands as social-ecological systems --- 9. State and transition models: theory, applications, and challenges --- 10. Livestock production systems --- 11. Adaptive management of rangeland systems --- 12. Managing the livestock-wildlife interface on rangelands --- Part: 3 Challenges --- 13. Invasive plant species and novel rangeland systems --- 14. Rangeland ecosystem services: nature´s supply and humans´ demand --- 15. Managing climate change risks in rangeland systems --- 16. Monitoring protocols: options, approaches, implementation, benefits --- 17. Rangeland systems in developing nations: conceptual advances and societal implications
    Pages: Online-Ressource (XV, 661 pages) , 101 illustrations, 69 illustrations in color
    ISBN: 9783319467092
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-46709-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    Unknown
    Balanced Urban Development: Options and Strategies for Liveable Cities (2016)
    Cham : Springer
    Details
    Keywords: Geography ; Hydrology ; Environmental management ; Regional planning ; Urban planning ; Landscape ecology ; Sustainable development ; Geography ; Landscape/Regional and Urban Planning ; Hydrology/Water Resources ; Sustainable Development ; Water Policy/Water Governance/Water Management ; Landscape Ecology
    Description / Table of Contents: Part I: Introduction --- 1. Balanced Urban Development: Is it a myth or reality? - Part II: Peri-Urbansation --- 2. Re-Ruralising the Urban Edge: Lessons from Europe, USA & the Global South --- 3. Nimbyism and Nature – Whose Backyard is it Anyway? - 4. Connecting Urban and Rural Futures Through Rural Design --- 5. Archaeology and Contemporary Dynamics for More Sustainable, Resilient Cities in the Peri-Urban Interface --- 6. Decontamination of Urban Run-off: Importance and Methods --- Part III: Peri-Urban Culture and Socio-Economy --- 7. Socio-economy of Peri-Urban Areas: The Case of Lisbon Metropolitan Area --- 8. Changing Economic Scenario of the Peri-Urban Area of Udaipur City, India --- 9. Community Stakeholder Viewpoints on Issues of Urbanisation along the River Ma Oya, Sri Lanka --- Part IV: Peri-Urban Landuse Planning --- 10. The role of peri-urban land use planning in resilient urban agriculture: a case study of Melbourne, Australia --- 11. Engaging Peri-Urban Landholders in Natural Resources Management.-12. Urban Farming Master Plan in Western Sydney - From Planning to Reality --- Part V: Urban Water Security --- 13. Study of urban water bodies in view of potential for micro-climatic cooling and natural purification of waste water --- 14. Groundwater Crisis in a Mega City – A Case Study of New Delhi, India --- 15. Safe Water Supply Determinants in Peri-Urban Communities of South-East Nigeria --- 16. Risks of Coal Seam and Shale Gas Extraction on Groundwater and Aquifers in Eastern Australia --- Part VI: Wastewater and Irrigation --- 17. Use of recycled water for irrigation of open spaces: Benefits and Risks --- 18. Global Experiences on Wastewater Irrigation: Challenges and Prospects --- 19. Impacts of Wastewater Reuse on Peri-Urban Agriculture: Case Study in Udaipur City, India --- Part VII: Urban Agriculture and Food Security --- 20. Urban Agriculture in Cuba: Alternative Legal Structures, Crisis and Change --- 21. High quality agricultural land in Western Australia – A new decision tool for planning --- 22. Food Efficient Planning and Design for Peri-urban Neighbourhoods --- 23. Role of Peri-urban Areas in the Food System of Kampala, Uganda --- Part VIII: Climate Change Impacts and Adaptations --- 24. Climate Change Adaptation Planning with Peri-Urban Local Government in Victoria, Australia --- 25. Awareness of Climate Change Impacts and Adaptation at Local Level in Punjab, Pakistan --- 26. Urbanisation, Nutrition and Food Security: A Climatological Perspective --- 27. Coastal Urban and Peri-Urban Indigenous People’s Adaptive Capacity to Climate Change --- Part IX: Legal, Policy and Institutional Challenges --- 28. Effect of Social and Institutional Fragmentation on Collective Action in Peri-urban Settings --- 29. Gentrification versus Territorialisation: The Peri-Urban Agriculture Area in Beirut --- 30. Reimagining the “Peri-Urban” in the Mega-Urban Regions of Southeast Asia --- Part X: Integrated Urban Development --- 31. Sustainability of Water Resources in Peri-urban Landscapes: Learning from the Journey of Engagement --- 32. Development of Future Management Options for the Hawkesbury River --- 33. Planning Development to Reduce Mosquito Hazard in Coastal Peri-Urban Areas: Case Studies in NSW, Australia --- 34. An Integrated Simulation and Visualisation Platform for the Design of Sustainable Urban Developments in a Peri-Urban Context --- 35. Options and Strategies for Balanced Development for Liveable Cities: An Epilogue
    Pages: Online-Ressource (XXII, 601 pages) , 136 illustrations, 109 illustrations in color
    ISBN: 9783319281124
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-28112-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    Aquaculture Perspective of Multi-Use Sites in the Open Ocean : The Untapped Potential for Marine Resources in the Anthropocene (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Business ; Management science ; Law ; Building construction ; Marine sciences ; Freshwater ; Environment ; Marine & Freshwater Sciences ; Offshore Engineering ; Business and Management, general ; Law, general ; Water Policy/Water Governance/Water Management
    Description / Table of Contents: 1. Foreword --- 2. Preface --- 3. Human Marine Resource Use --- 4 Species, Techniques and System Design, Environmental Impact --- 5. Aquaculture Governance --- 6. Aquaculture Economics --- 7. Case Studies --- 8. Synthesis – Pathways Towards Sustainable Ocean Food Production
    Pages: Online-Ressource (XXII, 404 pages) , 128 illustrations, 104 illustrations in color
    ISBN: 9783319511597
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-51159-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    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
  • 46
    Unknown
    The Ecological Scarcity Method for the European Union : A Volkswagen Research Initiative: Environmental Assessments (2018)
    Wiesbaden : Springer
    Details
    Keywords: Environment ; Environmental management ; Sustainable development ; Pollution prevention ; Environment ; Environmental Management ; Sustainable Development ; Industrial Pollution Prevention
    Description / Table of Contents: This book is published open access under a CC BY 4.0 license. This report transfers the Ecological Scarcity Method (ESM) to the EU and its 28 member states. It provides a powerful tool for unbiased environmental assessments in enterprises and surveys the current impacts and the targets published by environmental authorities, specifically the European Environment Agency. ESM assesses environmental impacts of manufacturing sites and production processes. Developed in 1990 in Switzerland, ESM has already gained regulatory status in proving entitlements for tax exemptions. The method assesses all important impacts in air, water, energy consumption, waste generation and freshwater consumption and also supports en vironmental investment decisions. Contents Methodological Basics  Data Research and Results Eco Factors for EU28 Target Groups Practitioners in industries and public authorities in the field of Environment  Researchers and students of Ecological Sciences and Industrial Management About the Authors Dr. Stephan Ahbe is initiator and author of Swiss Ecological Scarcity Method published in 1990 and today develops Environmental Management Systems at SYRCON in Darmstadt, Germany. Dr. Simon Weihofen is Environmental and Energy Manager in Group Management at E.ON SE in Essen, Germany. Dr. Steffen Wellge is an Environmental and Energy Management Specialist at the Volkswagen Group Research, Wolfsburg, Germany
    Pages: Online-Ressource (XIV, 93 pages) , 5 illustrations
    ISBN: 9783658195069
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-19506-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    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
  • 48
    Unknown
    Designing Sustainable Technologies, Products and Policies : From Science to Innovation (2018)
    Cham : Springer
    Details
    Keywords: Sustainable development ; Environmental management ; Renewable energy sources ; Industrial management-Environmen ; Sustainable Development ; Environmental Management ; Renewable and Green Energy ; Environmental Science and Engineering ; Sustainability Management
    Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study
    Pages: Online-Ressource (XIV, 520 pages) , 106 illustrations, 27 illustrations in color
    ISBN: 9783319669816
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-66981-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    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
  • 50
    Unknown
    Computation and the Humanities : Towards an Oral History of Digital Humanities (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; User interfaces (Computer systems) ; Application software ; Computers ; Computers and civilization ; Computer Science ; History of Computing ; User Interfaces and Human Computer Interaction ; Computer Appl. in Arts and Humanities ; Computers and Society
    Description / Table of Contents: Once Neglected, Now Emerging and Absolutely Necessary: On the History of Digital Humanities or An Introduction --- Why Oral History? ---  ‘Individuation is There in all the Different Strata:’ an Oral History Conversation between John Burrows, Hugh Craig and Willard McCarty --- ‘It was a Time When the University was Still Taking Account of the Meaning of universitas scientiarum’: an Oral History Conversation between Wilhelm Ott and Julianne Nyhan --- ‘hic Rhodus, hic salta’: An Oral History Interview Between Tito Orlandi and Julianne Nyhan --- ‘They Took a Chance’: An Oral History Conversation between Susan Hockey and Julianne Nyhan ---  ‘And Here We go Back Again to the Influence of Algorithmic Thinking’: An Oral History conversation between Judy Malloy and Julianne Nyhan --- ‘I Would Think of Myself as Sitting Inside the Computer, Moving Things Around in Order to Accomplish the Goal of my Programming’: An Oral History Conversation Between Mary Dee Harris and Julianne Nyhan --- ‘I Was Absolutely Convinced That There Had to be a Better Way’: An Oral History Conversation Between John Nitti and Julianne Nyhan --- ‘It’s a Little Mind-Boggling Actually’: An Oral History Conversation between Helen Agüera and Julianne Nyhan ---  ‘I Heard About the Arrival of the Computer’: An Oral History Conversation Between Hans Rutimann and Julianne Nyhan ---  ‘Langezeit habe ich der Universitaet nachgetrauert’: An Oral History Conversation between Michael Sperberg-McQueen and Julianne Nyhan.-‘It’s Probably the Only Modestly Widely used System with a Command Language in Latin’: An Oral History Conversation Between Manfred Thaller and Julianne Nyhan ---  ‘I was Keen on Getting Computers into Humanists’ Thinking’: An Oral History Conversation Between John Bradley and Julianne Nyhan ---  ‘Moderate Expectations, Tolerable Disappointments’: An Oral History Conversation between Claus Huitfeldt and Julianne Nyhan --- ‘So, Into the Chopper it Went’: An Oral History Conversation between Gabriel Egan and Julianne Nyhan --- Revolutionaries and Underdogs --- By Way of a Conclusion
    Pages: Online-Ressource (XI, 285 pages)
    ISBN: 9783319201702
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-20170-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    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
  • 52
    Unknown
    Symbiotic Interaction : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Special purpose computers ; Computer security ; User interfaces (Computer systems) ; Artificial intelligence ; Image processing ; Computer Science ; Information Systems Applications (incl. Internet) ; User Interfaces and Human Computer Interaction ; Artificial Intelligence (incl. Robotics) ; Systems and Data Security ; Image Processing and Computer Vision ; Special Purpose and Application-Based Systems
    Description / Table of Contents: This book is published open access under a CC BY license. This book constitutes the proceedings of the 5th International Workshop on Symbiotic Interaction, Symbiotic 2016, held in Padua, Italy, in October 2016. The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The idea of symbiotic systems put forward in this workshop capitalizes on the computers’ ability to implicitly detect the users goals, preferences or/and psycho-physiological states and thereby enhancing human-computer interaction (HCI). The papers present an overview of the symbiotic relationships between humans and computers with emphasis on user-driven research on symbiotic systems, adaptive systems, implicit input data, physiological computing and BCI, but also on understanding the nature of the interdependence and agency between computers and humans more broadly
    Pages: Online-Ressource (XIV, 182 pages) , 51 illustrations
    ISBN: 9783319577531
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57753-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    Security of Networks and Services in an All-Connected World : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers and civilization ; Computer Science ; Computer Communication Networks ; Systems and Data Security ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation ; Computers and Society ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Making Flow-Based Security Detection Parallel --- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts --- Achieving Reproducible Network Environments with INSALATA --- Towards a Software-Defined Security Framework for Supporting Distributed Cloud --- Optimal Service Function Chain Composition in Network Functions Virtualization --- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services --- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications --- Towards Internet Scale Quality-of-Experience Measurement with Twitter --- Hunting SIP Authentication Attacks Efficiently --- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks --- Flow-Based Detection of IPv6-specific Network Layer Attacks --- Towards a Hybrid Cloud Platform Using Apache Mesos --- Visual Analytics for Network Security and Critical Infrastructures --- Preserving Relations in Parallel Flow Data Processing --- SmartDEMAP: A Smart Contract Deployment and Management Platform --- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads --- Situational Awareness: Detecting Critical Dependencies and Devices in a Network --- A Framework for SFC Integrity in NFV Environments --- Multi-domain DDoS Mitigation based on Blockchains
    Pages: Online-Ressource (XX, 192 pages) , 55 illustrations
    ISBN: 9783319607740
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-60774-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    Unknown
    Informatics in the Future : Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Research ; Moral and ethical aspects ; Computers ; Computers and civilization ; Computer Science ; Computers and Society ; History of Computing ; Diversity Management/Women in Business ; Research Ethics
    Description / Table of Contents: Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science --- On the Big Impact of “Big Computer Science” --- On Informatics, Diamonds and T --- Leadership and Balance in Research --- Rational ethics --- Ethics for the digital age: where are the moral specs? --- Digital Sovereignty and IT-Security for a Prosperous Society --- Women in Computing and the contingency of informatics cultures --- Ada - poet of computing
    Pages: Online-Ressource (XI, 109 pages) , 22 illustrations in color
    ISBN: 9783319557359
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-55735-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    Unknown
    Cloud-Based Benchmarking of Medical Image Analysis (2017)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Computer system failures ; Image processing ; Computer Science ; Health Informatics ; Health Informatics ; Image Processing and Computer Vision ; System Performance and Evaluation
    Description / Table of Contents: VISCERAL: Evaluation-as-a-Service for Medical Imaging --- Using the Cloud as a Platform for Evaluation and Data Preparation --- Ethical and Privacy Aspects of Using Medical Image Data --- Annotating Medical Image Data --- Datasets created in VISCERAL --- Evaluation Metrics for Medical Organ Segmentation and Lesion Detection --- VISCERAL Anatomy Benchmarks for Organ Segmentation and Landmark Localisation: Tasks and Results --- Retrieval of Medical Cases for Diagnostic Decisions: VISCERAL Retrieval Benchmark --- Automatic Atlas-Free Multi-Organ Segmentation of Contrast-Enhanced CT Scans --- Multi-organ Segmentation Using Coherent Propagating Level Set Method Guided by Hierarchical Shape Priors and Local Phase Information --- Automatic Multi-organ Segmentation using Hierarchically-Registered Probabilistic Atlases --- Multi-Atlas Segmentation Using Robust Feature-Based Registration --- Combining Radiology Images and Clinical Meta-data for Multimodal Medical Case-based Retrieval --- Text and Content-based Medical Image Retrieval in the VISCERAL Retrieval Benchmark
    Pages: Online-Ressource (XVIII, 254 pages) , 93 illustrations, 39 illustrations in color
    ISBN: 9783319496443
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-49644-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    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
  • 57
    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
  • 58
    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
  • 59
    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
  • 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
    Ecosystem Services for Well-Being in Deltas : Integrated Assessment for Policy Analysis (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Environmental policy ; Environmental management ; Sustainable development ; Natural resources ; Environmental Geography ; Environmental Policy ; Environmental Management ; Sustainable Development ; Natural Resources
    Description / Table of Contents: Section 1: Research Highlights and Framework --- 1. Ecosystem Services, Well-Being and Deltas: Current Knowledge and Understanding; W. Neil Adger et al. --- 2. Ecosystem Services Linked to Livelihoods and Well-Being in the Ganges-Brahmaputra-Meghna Delta; Helen Adams, W. Neil Adger and Robert J. Nicholls --- 3. An Integrated Approach Providing Scientific and Policy Relevant Insights for South-West Bangladesh; Robert J Nicholls et al. --- 4. Integrative Analysis for the Ganges-Brahmaputra-Meghna Delta, Bangladesh; Robert J Nicholls et al. --- Section 2: Present Status of the Ganges-Brahmaputra-Meghna Delta --- 5. Recent Trends in Ecosystem Services in Coastal Bangladesh; John A Dearing and Sarwar Hossain --- 6. Governance of Ecosystem Services Across Scales in Bangladesh ; Andrew Allan and Michelle Lim --- 7. Health, Livelihood and Well-Being in the Coastal Delta of Bangladesh; Mofizur Rahman and Sate Ahmad --- 8. Floods and the Ganges-Brahmaputra-Meghna Delta; Anisul Haque and Robert J Nicholls --- Section 3: Scenarios for Policy Analysis --- 9. Integrating Science and Policy Using Stakeholder-Engaged Scenarios; Emily J Barbour et al. --- 10. Incorporating Stakeholder Perspectives in Scenario Development; Andrew Allan, Michelle Lim and Emily J Barbour --- 11. Regional Climate Change over South Asia; John Caesar and Tamara Janes --- 12. Future Scenarios of Economic Development; Alistair Hunt --- Section 4: Observations and Potential Trends --- 13. Biophysical Modelling of the Ganges, Brahmaputra and Meghna Catchment; Paul G Whitehead --- 14. Marine Dynamics and Productivity in the Bay of Bengal; Susan Kay, John Caesar and Tamara Janes --- 15. A Sustainable Future Supply of Fluvial Sediment for the Ganges-Brahmaputra Delta; Stephen E Darby et al. --- 16. Present and Future Fluvial, Tidal and Storm Surge Flooding in Coastal Bangladesh; Anisul Haque, Susan Kay and Robert J Nicholls --- 17. Modelling Tidal River Salinity in Coastal Bangladesh; Lucy Bricheno and Judtih Wold --- 18. Mechanisms and Drivers of Soil Salinity in Coastal Bangladesh; Mashfiqus Salehin et al. --- 19. Population Dynamics in the South-West of Bangladesh; Sylvia Szabo, Sate Ahmad and W Neil Adger --- 20. Land Cover and Land Use Analysis in Coastal Bangladesh;Anirban Mukhopadhyay et al. --- 21. Social, Economic and Environmental Dimensions and Drivers of Poverty in South-West Coastal Bangladesh; Fiifi Amoako Johnson and Craig W Hutton --- 22. Defining Social-Ecological Systems in South-West Bangladesh; Helen Adams et al. --- 23. Characterising Associations Between Poverty and Ecosystem Services; Helen Adams et al. --- Section 5: Present and Future Ecosystem Services --- 24. Prospects for Agriculture under Climate Change and Soil Salinisation; Derek Clarke et al. --- 25. Marine Ecosystems and Fisheries: Trends and Prospect; Manuel Barange et al. --- 26. Dynamics of the Sundarbans Mangroves in Bangladesh Under Climate Change; Anirban Mukhopadhyay et al. --- 27. Hypertension and Malnutrition as Health Outcomes Related to Ecosystem Services; Ali Ahmed et al. Section 6: Integration and Dissemination --- 28. Integrative Analysis Spplying the Delta Dynamic Integrated Emulator Model in South-West Coastal Bangladesh; Attila N. Lázár et al. --- 29. Communicating Integrated Analysis Research Findings; Mashrekur Rahman and Munsur Rahman
    Pages: Online-Ressource (L, 593 pages) , 147 illustrations, 1 illustrations in color
    ISBN: 9783319710938
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-71093-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    Unknown
    Ecosystem Services for Well-Being in Deltas : Integrated Assessment for Policy Analysis (2018)
    Cham : Palgrave Macmillan
    Details
    Keywords: Environmental policy ; Environmental management ; Sustainable development ; Natural resources ; Environmental Geography ; Environmental Policy ; Environmental Management ; Sustainable Development ; Natural Resources
    Description / Table of Contents: Section 1: Research Highlights and Framework --- 1. Ecosystem Services, Well-Being and Deltas: Current Knowledge and Understanding; W. Neil Adger et al. --- 2. Ecosystem Services Linked to Livelihoods and Well-Being in the Ganges-Brahmaputra-Meghna Delta; Helen Adams, W. Neil Adger and Robert J. Nicholls --- 3. An Integrated Approach Providing Scientific and Policy Relevant Insights for South-West Bangladesh; Robert J Nicholls et al. --- 4. Integrative Analysis for the Ganges-Brahmaputra-Meghna Delta, Bangladesh; Robert J Nicholls et al. --- Section 2: Present Status of the Ganges-Brahmaputra-Meghna Delta --- 5. Recent Trends in Ecosystem Services in Coastal Bangladesh; John A Dearing and Sarwar Hossain --- 6. Governance of Ecosystem Services Across Scales in Bangladesh ; Andrew Allan and Michelle Lim --- 7. Health, Livelihood and Well-Being in the Coastal Delta of Bangladesh; Mofizur Rahman and Sate Ahmad --- 8. Floods and the Ganges-Brahmaputra-Meghna Delta; Anisul Haque and Robert J Nicholls --- Section 3: Scenarios for Policy Analysis --- 9. Integrating Science and Policy Using Stakeholder-Engaged Scenarios; Emily J Barbour et al. --- 10. Incorporating Stakeholder Perspectives in Scenario Development; Andrew Allan, Michelle Lim and Emily J Barbour --- 11. Regional Climate Change over South Asia; John Caesar and Tamara Janes --- 12. Future Scenarios of Economic Development; Alistair Hunt --- Section 4: Observations and Potential Trends --- 13. Biophysical Modelling of the Ganges, Brahmaputra and Meghna Catchment; Paul G Whitehead --- 14. Marine Dynamics and Productivity in the Bay of Bengal; Susan Kay, John Caesar and Tamara Janes --- 15. A Sustainable Future Supply of Fluvial Sediment for the Ganges-Brahmaputra Delta; Stephen E Darby et al. --- 16. Present and Future Fluvial, Tidal and Storm Surge Flooding in Coastal Bangladesh; Anisul Haque, Susan Kay and Robert J Nicholls --- 17. Modelling Tidal River Salinity in Coastal Bangladesh; Lucy Bricheno and Judtih Wold --- 18. Mechanisms and Drivers of Soil Salinity in Coastal Bangladesh; Mashfiqus Salehin et al. --- 19. Population Dynamics in the South-West of Bangladesh; Sylvia Szabo, Sate Ahmad and W Neil Adger --- 20. Land Cover and Land Use Analysis in Coastal Bangladesh;Anirban Mukhopadhyay et al. --- 21. Social, Economic and Environmental Dimensions and Drivers of Poverty in South-West Coastal Bangladesh; Fiifi Amoako Johnson and Craig W Hutton --- 22. Defining Social-Ecological Systems in South-West Bangladesh; Helen Adams et al. --- 23. Characterising Associations Between Poverty and Ecosystem Services; Helen Adams et al. --- Section 5: Present and Future Ecosystem Services --- 24. Prospects for Agriculture under Climate Change and Soil Salinisation; Derek Clarke et al. --- 25. Marine Ecosystems and Fisheries: Trends and Prospect; Manuel Barange et al. --- 26. Dynamics of the Sundarbans Mangroves in Bangladesh Under Climate Change; Anirban Mukhopadhyay et al. --- 27. Hypertension and Malnutrition as Health Outcomes Related to Ecosystem Services; Ali Ahmed et al. Section 6: Integration and Dissemination --- 28. Integrative Analysis Spplying the Delta Dynamic Integrated Emulator Model in South-West Coastal Bangladesh; Attila N. Lázár et al. --- 29. Communicating Integrated Analysis Research Findings; Mashrekur Rahman and Munsur Rahman
    Pages: Online-Ressource (L, 593 pages) , 147 illustrations, 1 illustrations in color
    ISBN: 9783319710938
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-71093-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    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
  • 64
    Unknown
    Elements of Robotics (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Artificial intelligence ; Algorithms ; Robotics ; Automation ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Algorithms ; Robotics and Automation
    Description / Table of Contents: Robots and their Applications --- Sensors --- Reactive Behavior --- Finite State Machines --- Robotic Motion and Odometry --- Control --- Local Navigation: Obstacle Avoidance --- Localization --- Mapping --- Mapping-based Navigation --- Fuzzy Logic Control --- Image Processing --- Neural Networks --- Machine Learning --- Swarm Robotics --- Kinematics of a Robotic Manipulator --- Appenix A:Units of Measurement --- Appendix B:Mathematical Derivations and Tutorials --- Index
    Pages: Online-Ressource (XVI, 308 pages) , 198 illustrations, 76 illustrations in color
    ISBN: 9783319625331
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-62533-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    Unknown
    Language Technologies for the Challenges of the Digital Age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Data mining ; Artificial intelligence ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Document Preparation and Text Processing ; Artificial Intelligence (incl. Robotics) ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Reconstruction of Separable Particle Verbs in a Corpus of Spoken German --- Detecting Vocal Irony --- The Devil is in the Details: Parsing Unknown German Words --- Exploring Ensemble Dependency Parsing to Reduce Manual Annotation Workload --- Different German and English Co-reference Resolution Models for Multi-Domain Content Curation Scenarios --- Word and Sentence Segmentation in German: Overcoming Idiosyncrasies in the Use of Punctuation in Private Communication --- Fine-Grained POS Tagging of German Social Media and Web Texts --- Developing a Stemmer for German Based on a Comparative Analysis of Publicly Available Stemmers --- Negation Modeling for German Polarity Classification --- NECKAr: A Named Entity Classifier for Wikidata --- Investigating the Morphological Complexity of German Named Entities: The Case of the GermEval NER Challenge --- Detecting Named Entities and Relations in German Clinical Reports --- In-Memory Distributed Training of Linear-Chain Conditional Random Fields with an Application to Fine-Grained Named Entity Recognition --- What does this imply? Examining the Impact of Implicitness on the Perception of Hate Speech --- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication --- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource --- How Social Media Text Analysis Can Inform Disaster Management --- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks --- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena --- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors --- Twitter Geolocation Prediction Using Neural Networks --- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy --- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems --- Supporting Sustainable Process Documentation --- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information --- Using Argumentative Structure to Grade Persuasive Essays
    Pages: Online-Ressource (XIII, 310 pages) , 54 illustrations
    ISBN: 9783319737065
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-73706-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    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
  • 68
    Unknown
    Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Computer system failures ; Coding theory ; E-commerce ; Computer Science ; Computer Communication Networks ; System Performance and Evaluation ; Special Purpose and Application-Based Systems ; Information Systems Applications (incl. Internet) ; Coding and Information Theory ; e-Commerce/e-business
    Description / Table of Contents: State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services --- Context Monitoring for Improved System Performance and QoE --- QoE Management for Future Networks --- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management --- Lag Compensation for First Person Shooter Games in Cloud Gaming --- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios --- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems --- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments --- Integrating SDN and NFV with QoS-aware Service Composition --- Energy vs. QoX Network- and Cloud Services Management --- Traffic Management for Cloud Federation --- Efficient Simulation of IoT Cloud Use Cases --- Security of Internet of Things for Reliable Internet of Services --- TCP performance over current cellular access: A comprehensive analysis
    Pages: Online-Ressource (XVI, 401 pages) , 120 illustrations
    ISBN: 9783319904153
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-90415-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    Unknown
    Medical Imaging Systems : An Introductory Guide (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer graphics ; Computer Science ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Introduction --- System Theory --- Image Processing --- Endoscopy --- Microscopy --- Magnetic Resonance Imaging --- X-ray Imaging --- Computed Tomography --- X-ray Phase Contrast: Research on a Future Imaging Modality --- Emission Tomography --- Ultrasound --- Optical Coherence Tomography --- Acronyms.
    Pages: Online-Ressource (X, 259 pages) , 167 illustrations
    ISBN: 9783319965208
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96520-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    Unknown
    Evaluating Climate Change Action for Sustainable Development (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Climate Change ; Sustainable Development ; Climate Change/Climate Change Impacts ; Environmental Management
    Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change
    Pages: Online-Ressource (XXIV, 355 pages) , 44 illustrations, 36 illustrations in color
    ISBN: 9783319437026
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43702-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    Unknown
    Energy Efficient Servers : Blueprints for Data Center Optimization (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer organization ; Computers ; Computer Science ; Computer Systems Organization and Communication Networks ; Information Systems and Communication Service
    Description / Table of Contents: Energy Efficient Servers: Blueprints for Data Center Optimization introduces engineers and IT professionals to the power management technologies and techniques used in energy efficient servers. The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outlines the power and performance impact of these features and the role firmware and software play in initialization and control. Using examples from cloud, HPC, and enterprise environments, the book demonstrates how various power management technologies are utilized across a range of server utilization. It teaches the reader how to monitor, analyze, and optimize their environment to best suit their needs. It shares optimization techniques used by data center administrators and system optimization experts at the world’s most advanced data centers
    Pages: Online-Ressource (XXI, 360 pages) , 103 illustrations
    ISBN: 9781430266389
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6638-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    Unknown
    A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Software engineering ; Data encryption (Computer science) ; Computer Science ; Data Encryption ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM
    Pages: Online-Ressource (XXVII, 392 pages) , 41 illustrations
    ISBN: 9781430265849
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6584-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    Unknown
    DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory (2016)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Project management ; Software engineering ; Computer Science ; Software Engineering ; Project Management
    Description / Table of Contents: Part I: DevOps: Conflict to Collaboration --- Chapter 1: DevOps in the Ascendency --- Chapter 2: IT Impasse --- Chapter 3: DevOps Foundations --- Part II: Essential DevOps Tooling --- Chapter 4: Build: DevOps Driven APIs --- Chapter 5: Test: Championing Quality - Continuously --- Chapter 6: Deploy --- Chapter 7: Manage: Agile Operations --- Part III: Tuning and Continuous Improvement --- Chapter 8: Practical DevOps --- Chapter 9: DevOps and Real World ROI --- Chapter 10: Ready, Set, DevOps!
    Pages: Online-Ressource (XV, 173 pages) , 24 illustrations in color
    ISBN: 9781484218426
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4842-1842-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    Unknown
    Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Data structures (Computer science) ; Pattern recognition ; Computer Science ; Pattern Recognition ; Data Structures
    Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)
    Pages: Online-Ressource (XX, 201 pages) , 90 illustrations, 29 illustrations in color
    ISBN: 9783658205409
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-20540-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    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
  • 76
    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
  • 77
    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
  • 78
    Unknown
    New Horizons for a Data-Driven Economy : A Roadmap for Usage and Exploitation of Big Data in Europe (2016)
    Cham : Springer
    Details
    Keywords: Computer science ; Management ; Industrial management ; Information storage and retrieval ; Application software ; Computers and civilization ; Computer Science ; Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society
    Description / Table of Contents: Part I: The Big Data Opportunity --- The Big Data Value Opportunity --- Introduction to the BIG Project --- Part II: The Big Data Value Chain: Enabling and Value Creating Technologies --- The Big Data Value Chain: Definitions, Concepts, and Theoretical Approaches --- Big Data Acquisition --- Big Data Analysis --- Big Data Curation --- Big Data Storage --- Big Data Usage --- Part III: Usage and Exploitation of Big Data --- Big Data Driven Innovation in Industrial Sectors --- Big Data in the Health Sector --- Big Data in the Public Sector --- Big Data in the Finance and Insurance Sectors --- Big Data in the Energy and Transport Sectors --- Big Data in the Media and Entertainment Sectors --- Part IV: A Roadmap for Big Data Research --- Cross-Sectorial Requirements Analysis for Big Data Research --- New Horizons for a Data-Driven Economy: Roadmaps and Action Plans for Technology, Businesses, Policy, and Society.                        
    Pages: Online-Ressource (XX, 303 pages) , 34 illustrations
    ISBN: 9783319215693
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-21569-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    Unknown
    The Huawei and Snowden Questions : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Management information systems ; Computer engineering ; Economic policy ; Computer Science ; Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy
    Description / Table of Contents: 1 Introduction --- 2 Trust --- 3 What is an ICT-System? --- 4 Development of ICT Systems --- 5 Theoretical Foundation --- 6 Reverse Engineering of Code --- 7 Static Detection of Malware --- 8 Dynamic Detection Methods --- 9 Formal Methods --- 10 Software Quality and Quality Management --- 11 Containment of Untrusted Modules --- 12 Summary and Way Forward
    Pages: Online-Ressource (XIV, 116 pages) , 6 illustrations, 5 illustrations in color
    ISBN: 9783319749501
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-74950-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    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
  • 81
    Unknown
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer hardware ; Computer organization ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Programming Languages, Compilers, Interpreters ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Computing Methodologies ; Computing Milieux
    Description / Table of Contents: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory
    Pages: Online-Ressource (XVI, 1058 pages) , 276 illustrations
    ISBN: 9783319898841
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89884-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    Unknown
    Security in Computer and Information Sciences : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Data encryption (Computer science) ; Computer Science ; Security ; Information Systems Applications (incl. Internet) ; Data Encryption ; Special Purpose and Application-Based Systems ; Computer Communication Networks
    Description / Table of Contents: Security of distributed interconnected systems --- Security of software systems --- Security of the Internet of Things
    Pages: Online-Ressource (XII, 159 pages) , 33 illustrations
    ISBN: 9783319951898
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-95189-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    Unknown
    Ganzheitliche Digitalisierung von Prozessen : Perspektivenwechsel – Design Thinking – Wertegeleitete Interaktion (2018)
    Wiesbaden : Springer Vieweg
    Details
    Keywords: Computer science ; Management ; Industrial management ; Information technology ; Business ; Data processing ; Computers ; Computer Science ; Information Systems and Communication Service ; Innovation/Technology Management ; IT in Business
    Description / Table of Contents: Modelle --- Modellierungssprachen --- Vorgehensweise von der Modellbildung zur Digitalisierung --- Vorbereitung der Prozessimplementierung --- Umsetzung --- Praxisbeispiel
    Pages: Online-Ressource (X, 254 Seiten) , 143 Abbildungen, 69 Abbildungen in Farbe
    ISBN: 9783658226480
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-658-22648-0
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    Unknown
    Eating, Drinking: Surviving : The International Year of Global Understanding - IYGU (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Nutrition ; Medical research ; Agriculture ; Sustainable development ; Quality of life ; Environment ; Sustainable Development ; Quality of Life Research ; Water Policy/Water Governance/Water Management ; Agriculture ; Nutrition
    Description / Table of Contents: Introduction: Understanding the Complexities of Eating, Drinking, and Surviving --- Globalization and Malnutrition: Geographical Perspectives on Its Paradoxes --- Drinking Water --- The Politics and Consequences of Virtual Water Export --- Integrated Water Resources Management as a New Approach to Water Security --- Surviving as an Unequal Community: WASH for Those on the Margins --- Challenges to Food Security in a Changing World --- Moral Economies of Food in the Socialist/Post-socialist World --- The Nutrition Transition in Developing Asia: Dietary Change, Drivers and Health Impacts. Food Sovereignty and the Possibilities for an Equitable, Just and Sustainable Food System --- Food Security and Food Waste
    Pages: Online-Ressource (XI, 105 pages) , 32 illustrations in color
    ISBN: 9783319424682
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-42468-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 85
    Unknown
    Freshwater Governance for the 21st Century (2017)
    Cham : Springer
    Details
    Keywords: Environmental management ; International relations ; Behavioral sciences ; Environmental law ; Environmental policy ; Water ; Water Policy/Water Governance/Water Management ; Environmental Law/Policy/Ecojustice ; Environmental Management ; International Relations ; Behavioral Sciences
    Description / Table of Contents: 1. Introduction and Reflections --- 2. The Establishment of Catchment Management Agencies in South Africa with Reference to the Flussgebietsgemeinschaft Elbe: Some Practical Considerations --- 3. Towards Inclusive Water Governance: OECD Evidence and Key Principles of Stakeholder Engagement in the Water Sector --- 4. Free-Market Economics and Developmental Statism as Political Paradigms: Implications for Water Governance Theory and Practice in Developing Countries --- 5. Urban Water Governance as a Function of the “Urban Hydrosocial Transition” --- 6. Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management --- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses --- 8. Inclusive Transboundary Water Governance --- 9. Mechanisms for Inclusive Governance --- 10. Water Integrity - from Concept to Practice --- 11. Addressing the Groundwater Governance Challenge: A Call from the “Groundwater Governance: A Global Framework for Action” Project --- 12. Water Governance Futures in South Asia and Southern Africa: Déjà vu all Over Again?
    Pages: Online-Ressource (XXVII, 250 pages) , 39 illustrations, 28 illustrations in color
    ISBN: 9783319433509
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-43350-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    Unknown
    North Sea Region Climate Change Assessment (2016)
    Cham : Springer
    Details
    Keywords: Marine Sciences ; Environmental management ; Atmospheric Sciences ; Marine & Freshwater Sciences ; Environmental Management
    Description / Table of Contents: Introduction to the Assessment --- Past and Current Climate Change --- Past and Current Changes in the North Sea (and interface regions) --- Climate Change Projections --- Impacts of Current and Future Climate Change in Ecosystems --- Climate Impacts on Socio-economy
    Pages: Online-Ressource (XLV, 528 pages) , 277 illustrations, 215 illustrations in color
    ISBN: 9783319397450
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-39745-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 87
    Unknown
    Renewing Local Planning to Face Climate Change in the Tropics (2017)
    Cham : Springer
    Details
    Keywords: Geography ; Climate change ; Remote sensing ; Environmental management ; Geography ; Remote Sensing/Photogrammetry ; Environmental Management ; Climate Change/Climate Change Impacts
    Description / Table of Contents: Climate services in the Tropics --- Climate planning in medium-size cities of the Tropics --- Setting up and managing automatic weather stations for remote sites monitoring: from Niger to Nepal --- Characterization of climate risks for rice crop in Casamance --- Climate change, drought and food security: a methodology for the vulnerability analysis. The case of the West Arsi Woreda in Ethiopia --- Visualize and communicate extreme weather risk to improve urban resilience --- Climate change adaptation and resilience in Mali --- Building resilience to drought in the Sahel by early risk identification and advices --- Risk analysis and evaluation to improve climate adaptation planning in Western Niger --- A simplified hydrological method for flood risk assessment at sub-basin level in Niger --- Socio-technical transitions and resilient infrastructure: analyzing changes in access to water following infrastructure upgrade in Dar es Salaam, Tanzania --- Monitoring and evaluating advocacy and mainstreaming of climate change adaptation in Haiti --- Knowledge for transformational adaptation planning: comparing the potential of forecasting and back casting methods for assessing people vulnerability --- Possible impact of pelletized crop residues use as a fuel for cooking in Niger --- An effective Mainstreaming DRR and Resilience approach in La Paz (Mexico) and San Jose (Costa-Rica) --- Climate vulnerability reduction credits: measuring results of adaptation; potential applicability for sub-Saharan communities --- Review of pilot projects on index-based insurance in Africa: insights and lessons Learned --- A new perspective for integrating climate change in local development plans
    Pages: Online-Ressource (XVI, 372 pages) , 91 illustrations
    ISBN: 9783319590967
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-59096-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 88
    Unknown
    Advancing Energy Policy : Lessons on the integration of Social Sciences and Humanities (2018)
    Cham : Palgrave Pivot
    Details
    Keywords: Energy ; Energy policy ; Energy and state ; Environmental geography ; Environmental management ; Energy ; Energy Policy, Economics and Management ; Environment Studies ; Environmental Geography ; Environmental Management
    Description / Table of Contents: Foreword 1. Making Multiple Views Count – Why Energy Research Needs to Be Interdisciplinary; Gerd Schönwälder --- Foreword 2. Multidisciplinary Partnerships for Access to Energy; Lidia Borrell-Damián --- Foreword 3. Energy Policies Outside the Silos; Ernst Ulrich von Weizsäcker --- Chapter 1. Introduction: Mobilising the Energy-Related Social Sciences and Humanities; Chris Foulds, Rosie Robison --- Part I. Energy as a Social Issue --- Chapter 2. Plugging the Gap Between Energy Policy and the Lived Experience of Energy Poverty: Five Principles for a Multidisciplinary Approach; Lucie Middlemiss, Ross Gillard, Victoria Pellicer, Koen Straver --- Chapter 3. Shaping Blue Growth: Social Sciences at the Nexus Between Marine Renewables and Energy Policy; Sandy Kerr, Laura Watts, Ruth Brennan, Rhys Howell, Marcello Graziano, Anne Marie O’Hagan, Dan van der Horst, Stephanie Weir, Glen Wright, Brian Wynne --- Chapter 4. Looking for Perspectives! EU Energy Policy in Context; Anna Åberg, Johanna Höffken, Susanna Lidström --- Part II. Social Sciences and Humanities in Interdisciplinary Endeavours --- Chapter 5. Achieving Data Synergy: The Socio-Technical Process of Handling Data; Sarah Higginson, Marina Topouzi, Carlos Andrade-Cabrera, Ciara O’Dwyer, Sarah Darby, Donal Finn --- Chapter 6. Building Governance and Energy Efficiency: Mapping the Interdisciplinary Challenge; Frankie McCarthy, Susan Bright, Tina Fawcett --- Chapter 7. Crossing Borders: Social Sciences and Humanities Perspectives on European Energy Systems Integration; Antti Silvast, Ronan Bolton, Vincent Lagendijk, Kacper Szulecki --- Chapter 8. A Complementary Understanding of Residential Energy Demand, Consumption and Services; Ralitsa Hiteva, Matthew Ives, Margot Weijnen, Igor Nikolic --- Part III. Interplay with Energy Policymaking Environments --- Chapter 9. Imaginaries and Practices: Learning from ‘ENERGISE’ About the Integration of Social Sciences with the EU Energy Union; Audley Genus, Frances Fahy, Gary Goggins, Marfuga Iskandarova, Senja Laakso --- Chapter 10. Challenges Ahead: Understanding, Assessing, Anticipating and Governing Foreseeable Societal Tensions to Support Accelerated Low-Carbon Transitions in Europe; Bruno Turnheim, Joeri H. Wesseling, Bernhard Truffer, Harald Rohracher, Luis Carvalho, Claudia R. Binder --- Chapter 11. Towards a Political Ecology of EU Energy Policy; Gavin Bridge, Stefania Barca, Begüm Özkaynak, Ethemcan Turhan, Ryan Wyeth --- Afterword 1. Important Contributions Towards Renewal of a Stubborn Energy Research and Policy Agenda; Harold Wilhite --- Afterword 2. A New Energy Storyline; Inês Campos
    Pages: Online-Ressource (XXVII, 193 pages) , 11 illustrations
    ISBN: 9783319990972
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-99097-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 89
    Unknown
    Biofuels and Sustainability : Holistic Perspectives for Policy-making (2018)
    Tokyo : Springer
    Details
    Keywords: Environment ; Renewable energy resources ; Energy policy ; Energy and state ; Ecosystems ; Renewable energy sources ; Alternate energy sources ; Green energy industries ; Environmental law ; Environmental policy ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Energy Policy, Economics and Management ; Ecosystems ; Environmental Management ; Renewable and Green Energy ; Environmental Law/Policy/Ecojustice
    Description / Table of Contents: Preface.-Introduction.-Part 1: Biofuels and Sustainability Conceptual Framework --- Chapter 1. Sustainability Science Perspective for Biofuels [Takeuchi, Matsuda] --- Chapter 2. Stakeholder perspectives and Multilevel Governance [Shiroyama, Matsuura] --- Chapter 3. Applying stakeholder perspectives to sustainable biofuel strategy: a summary of our analyses [Shiroyama, Matsuura].-Part 2: Impacts on land use and ecosystem services --- Chapter 4. Global Economic and Environmental Impacts - Economic Impacts of biofuels and related policy [Suzuki and Takahashi] --- Chapter 5. Global Economic and Environmental Impacts - Environmental impacts of biofuel production on the GHG emission reduction [Hanaki] --- Chapter 6. Impacts at the National & Regional Scales - Land use change impacts [Hayashi] --- Chapter 7. Impacts at the National & Regional Scales - Socioeconomic impacts in East Asia [Elder, Kozima, Sano and Hayashi] --- Chapter 8. Social, Economic and Political Impacts - Socio-Political impacts to the roles of stakeholders [Shiroyama and Matsuura ] --- Chapter 9. Social, Economic and Political Impacts - Impacts on ecosystem services [Alexandros and Stromberg] --- Part 3: Sustainable biofuels strategy options --- Chapter 10. Roadmap for building sustainable strategy options - Developing sustainable strategy options [Shiroyama and Matsuura] --- Chapter 11. Roadmap for building sustainable strategy options - Application of Ontology for developing strategy options [Kozaki, Mizoguchi and Saito] --- Chapter 12. Key strategies for policy makers - Global Strategies options [Arai, Matsuda and Suzuki] --- Chapter 13. Key strategies for policy makers - Regional Strategy options for East Asia [Elder, Kozima, Sano and Hayashi] --- Chapter 14. Key strategies for policy makers - National strategy options for Japan [Shiroyama, Matsuura and Saito]
    Pages: Online-Ressource (VI, 265 pages) , 72 illustrations, 22 illustrations in color
    ISBN: 9784431548959
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-54895-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 90
    Unknown
    Re-engineering the Uptake of ICT in Schools (2015)
    Cham : Springer
    Details
    Keywords: Computer science ; Computers ; Education ; Computer Science ; Information Systems and Communication Service ; Education, general
    Description / Table of Contents: Innovative Technologies for an Engaging Classroom (iTEC) --- Development of the Future Classroom Toolkit --- Designing Edukata, a Participatory Design Model for Creating Learning Activities --- The iTEC Technical Artefacts, Architecture and Educational Cloud --- The Composer: Creating, Sharing and Facilitating Learning Designs --- Recommender Systems --- Resources beyond Content for Open Education --- The iTEC Widget Store --- The Impact and Potential of iTEC: Evidence from large-scale Validation in School Classrooms
    Pages: Online-Ressource (XVII, 201 pages) , 47 illustrations, 42 illustrations in color
    ISBN: 9783319193663
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-19366-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    Unknown
    Enabling Asia to Stabilise the Climate (2016)
    Singapore : Springer
    Details
    Keywords: Environment ; Climate change ; Environmental management ; Sustainable development ; Environment ; Sustainable Development ; Climate Change Management and Policy ; Environmental Management
    Description / Table of Contents: Introduction --- Part 1: Asia is a key for sustainable low carbon society --- 1. GHG reduction potential in Asia --- 2. Transition to a low carbon future in China towards 2°C Global target --- 3. India’s GHG Emission Reduction and Sustainable Development --- 4. 80% reduction scenario in Japan --- 5. Potential of low carbon development in Vietnam, from practices to legal framework --- Part 2: Brigding the gap between modeling and real policy development --- 6. Designing a National Policy Framework for NAMAs -Lesson learnt from Thailand- --- 7. ‘Science-to-Action’ of the Sustainable Low Carbon City-region --- Part 3:Best parctices and recommendations in each sector to make it happen --- 8. Low Carbon Transport in India - Assessment of Best Practice Case Studies - --- 9. Potential of Reducing GHG Emission from REDD+ Activities in Indonesia --- 10. Fostering capacity development for ASIA leapfrog --- 11. Capacity development on GHG inventories in Asia -WGIA Workshop on Greenhouse gas Inventory in Asia- --- 12. Japan’s Comprehensive and Continual Support Package for the Creation of Scientific Climate Policies in Asia
    Pages: Online-Ressource (X, 270 pages) , 99 illustrations, 70 illustrations in color
    ISBN: 9789812878267
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-287-826-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 92
    Unknown
    Sustainable Development in the Jordan Valley : Final Report of the Regional NGO Master Plan (2016)
    Cham : Springer
    Details
    Keywords: Environmental management ; Cultural heritage ; Tourism ; Management ; Nature conservation ; Sustainable development ; Development economics ; Economics ; Development Economics ; Water Policy/Water Governance/Water Management ; Sustainable Development ; Nature Conservation ; Cultural Heritage ; Tourism Management
    Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.
    Pages: Online-Ressource (XLII, 239 pages) , 181 illustrations, 179 illustrations in color
    ISBN: 9783319300368
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30036-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 93
    Unknown
    Aquaculture Perspective of Multi-Use Sites in the Open Ocean : The Untapped Potential for Marine Resources in the Anthropocene (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Business ; Management science ; Law ; Building construction ; Marine sciences ; Freshwater ; Environment ; Marine & Freshwater Sciences ; Offshore Engineering ; Business and Management, general ; Law, general ; Water Policy/Water Governance/Water Management
    Description / Table of Contents: 1. Foreword --- 2. Preface --- 3. Human Marine Resource Use --- 4 Species, Techniques and System Design, Environmental Impact --- 5. Aquaculture Governance --- 6. Aquaculture Economics --- 7. Case Studies --- 8. Synthesis – Pathways Towards Sustainable Ocean Food Production
    Pages: Online-Ressource (XXII, 404 pages) , 128 illustrations, 104 illustrations in color
    ISBN: 9783319511597
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-51159-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 94
    Unknown
    Efficient Learning Machines : Theories, Concepts, and Applications for Engineers and System Designers (2015)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Artificial intelligence ; Computer Science ; Artificial Intelligence (incl. Robotics)
    Description / Table of Contents: Machine learning techniques provide cost-effective alternatives to traditional methods for extracting underlying relationships between information and data and for predicting future events by processing existing information to train models. Efficient Learning Machines explores the major topics of machine learning, including knowledge discovery, classifications, genetic algorithms, neural networking, kernel methods, and biologically-inspired techniques. Mariette Awad and Rahul Khanna’s synthetic approach weaves together the theoretical exposition, design principles, and practical applications of efficient machine learning. Their experiential emphasis, expressed in their close analysis of sample algorithms throughout the book, aims to equip engineers, students of engineering, and system designers to design and create new and more efficient machine learning systems. Readers of Efficient Learning Machines will learn how to recognize and analyze the problems that machine learning technology can solve for them, how to implement and deploy standard solutions to sample problems, and how to design new systems and solutions. Advances in computing performance, storage, memory, unstructured information retrieval, and cloud computing have coevolved with a new generation of machine learning paradigms and big data analytics, which the authors present in the conceptual context of their traditional precursors. Awad and Khanna explore current developments in the deep learning techniques of deep neural networks, hierarchical temporal memory, and cortical algorithms. Nature suggests sophisticated learning techniques that deploy simple rules to generate highly intelligent and organized behaviors with adaptive, evolutionary, and distributed properties. The authors examine the most popular biologically-inspired algorithms, together with a sample application to distributed datacenter management. They also discuss machine learning techniques for addressing problems of multi-objective optimization in which solutions in real-world systems are constrained and evaluated based on how well they perform with respect to multiple objectives in aggregate. Two chapters on support vector machines and their extensions focus on recent improvements to the classification and regression techniques at the core of machine learning
    Pages: Online-Ressource (XIX, 268 pages) , 88 illustrations
    ISBN: 9781430259909
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-5990-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 95
    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
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...