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
    Telecommunication Economics : Selected Results of the COST Action ISO605 Econ@Tel (2012)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Computers and civilization ; Management information systems ; Electrical engineering ; Computer Science ; Computer Communication Networks ; Communications Engineering, Networks ; Computers and Society ; Management of Computing and Information Systems
    Description / Table of Contents: This book constitutes a collaborative and selected documentation of the scientific outcome of the European COST Action IS0605 Econ@Tel "A Telecommunications Economics COST Network" which run from October 2007 to October 2011. Involving experts from around 20 European countries, the goal of Econ@Tel was to develop a strategic research and training network among key people and organizations in order to enhance Europe's competence in the field of telecommunications economics.   Reflecting the organization of the COST Action IS0605 Econ@Tel in working groups the following four major research areas are addressed:   - evolution and regulation of communication ecosystems; - social and policy implications of communication technologies; - economics and governance of future networks; - future networks management architectures and mechanisms
    Pages: Online-Ressource (IX, 243 pages) , 61 illustrations
    ISBN: 9783642303821
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-30382-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Sustainable Land Use and Rural Development in Southeast Asia: Innovations and Policies for Mountainous Areas : Innovations and Policies for Mountainous Areas (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Environment ; Regional planning ; Urban planning ; Agriculture ; Sustainable development ; Environment ; Sustainable Development ; Landscape/Regional and Urban Planning ; Agriculture
    Description / Table of Contents: From Challenges to Sustainable Solutions for Upland Agriculture in Southeast Asia --- Beyond the Horizons - Challenges and Prospects for Soil Science and Soil Care in Southeast Asia --- Water and Matter Flows in Mountainous Watersheds of Southeast Asia: Processes and Implications for Management --- Agricultural Pesticide Use in Mountainous Areas of Thailand and Vietnam: Towards Reducing Exposure and Rationalizing Use --- Linkages between Agriculture, Poverty and Natural Resource Use in Mountainous Regions of Southeast Asia --- Mango and Longan Production in Northern Thailand: the Role of Water Saving Irrigation and Water Stress Monitoring --- Soil Conservation on Sloping Land: Technical Options and Adoption Constraints --- Improved Sustainable Aquaculture Systems for Small-scale Farmers in Northern Vietnam --- Participatory Approaches to Research and Development in the Southeast Asian Uplands: Potential and Challenges --- Integrated Modeling of Agricultural Systems in Mountainous Areas --- Rethinking Knowledge Provision for the Marginalized: Rural Networks and Novel Extension Approaches in Vietnam --- Policies for Sustainable Development: The Commercialization of Smallholder Agriculture
    Pages: Online-Ressource (X, 490 pages)
    ISBN: 9783642333774
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-33377-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Marginality : Addressing the Nexus of Poverty, Exclusion and Ecology (2014)
    Dordrecht : Springer
    Details
    Keywords: Environment ; Environmental law ; Environmental policy ; Social policy ; Environmental economics ; Environment ; Environment, general ; Environmental Law/Policy/Ecojustice ; Environmental Economics ; Social Policy
    Description / Table of Contents: 1 Marginality—An Overview and Implications for Policy --- Part 1 Concepts and Theory --- 2 Marginality—A Framework for Analyzing Causal Complexities of Poverty --- 3 Exclusion and Initiatives to “Include”: Revisiting Basic Economics to Guide Development Practice --- 4 Marginality from a Socio-ecological Perspective --- Part 2 Dimensions and Prevalence of Marginality --- 5 Mapping Marginality Hotspots --- 6 The Poorest: Who and Where They Are --- 7 Targeting the Poorest and Most Vulnerable: Examples from Bangladesh --- 8 Correlates of Extreme Poverty in Rural Ethiopia --- 9 Examining the Circle of Attachment, Trauma, Shame, and Marginalization: the Unheard Voices of Young Kutchi Girls --- Part 3 Environmental Drivers of Marginality --- 10 Poverty, Agriculture and the Environment: the Case of Sub-Saharan Africa --- 11 The Marginal Poor and their Dependence on Ecosystem Services: Evidence from South Asia and Sub-Saharan Africa --- 12 Land Degradation, Poverty, and Marginality --- Part 4     Experiencing Marginality in Africa and Asia --- 13 Tackling Social Exclusion and Marginality for Poverty Reduction: Indian Experiences --- 14 Consumption Behavior of the Poorest and Policy Implications in Indonesia --- 15 Addressing Extreme Poverty and Marginality: Experiences in Rural China --- 16 Experiences in Targeting the Poorest: a Case Study from Bangladesh --- 17 Rural Poverty and Marginalization in Ethiopia: a Review of Development Interventions --- Part 5 Responses to Marginality at Different Levels: State, Business, and Community --- 18 Macro, Fiscal, and Decentralization Options to Address Marginality and Reach the Extremely Poor --- 19 Social Protection, Marginality, and Extreme Poverty: Just Give Money to the Poor --- 20 Innovative Business Approaches for the Reduction of Extreme Poverty and Marginality --- 21 Business Initiatives that Overcome Rural Poverty and Marginality Through Creating Shared Value --- 22 The Marginalized and Poorest in Different Communities and Settings of Ethiopia
    Pages: Online-Ressource (XVII, 389 pages)
    ISBN: 9789400770614
    URL: https://link.springer.com/openurl?genre=book&isbn=978-94-007-7061-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Ecological Risk Assessment for Chlorpyrifos in Terrestrial and Aquatic Systems in the United States (2014)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Ecotoxicology ; Waste management ; Environment ; Ecotoxicology ; Environmental Management ; Waste Management/Waste Technology
    Description / Table of Contents: Preface --- Foreword by Keith Solomon and John Giesy --- Foreword by Coordinating Board of Editors --- Ecological Risk Assessment for Chlorpyrifos in Terrestrial and Aquatic Systems in The United States – Overview and Conclusions --- Properties and Uses of Chlorpyrifos in the United States --- Fate in the Environment and Long-Range Atmospheric Transport of the Organophosphorus Insecticide, Chlorpyrifos and its Oxon in the United States --- Exposures of Aquatic Organisms to the Organophosphorus Insecticide, Chlorpyrifos Resulting from Use in the United States --- Risks to Aquatic Organisms from Use of Chlorpyrifos in the United States --- Refined Avian Risk Assessment for Chlorpyrifos in the United States --- Risk to Pollinators from the Use of Chlorpyrifos in the United States --- Index
    Pages: Online-Ressource (XVI, 269 pages) , 40 illustrations
    ISBN: 9783319038650
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-03865-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    The Future Internet : Future Internet Assembly 2013: Validated Results and New Horizons (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Information storage and retrieval ; Multimedia information systems ; Computers and civilization ; Management information systems ; Computer Science ; Computer Communication Networks ; Information Systems Applications (incl. Internet) ; Management of Computing and Information Systems ; Multimedia Information Systems ; Information Storage and Retrieval ; Computers and Society
    Description / Table of Contents: Software Driven Networks, Virtualisation, Programmability and Autonomic Management --- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) --- The NEBULA Future Internet Architecture --- Open the Way to Future Networks – A Viewpoint Framework from ITU-T --- Towards a Minimal Core for Information-Centric Networking --- Managing QoS for Future Internet Applications over Virtual Sensor Networks --- High Availability in the Future Internet --- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation --- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds --- Cloud–Based Evaluation Framework for Big Data --- Optimizing Service Ecosystems in the Cloud --- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles --- Towards a Secure Network Virtualization Architecture for the Future Internet --- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures --- Internet of Things --- IoT6 – Moving to an IPv6-Based Future IoT --- SmartSantander: Internet of Things Research and Innovation through Citizen Participation --- A Cognitive Management Framework for Empowering the Internet of Things --- Building Modular Middlewares for the Internet of Things with OSGi --- Towards an Architecture for Future Internet Applications --- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability --- Test-Enabled Architecture for IoT Service Creation and Provisioning --- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet --- The EARTH Project --- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces --- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices --- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities --- User Involvement in Future Internet Projects --- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play --- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life --- CONCORD Project Management of the Future Internet --- FLAMINGO NoE Project Management of the Future Internet --- The GEYSERS Concept and Major Outcomes --- iCore: A Cognitive Management Framework for the Internet of Things --- IoT6 Project in a Nutshell --- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand --- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet --- The SmartSantander Project --- UniverSelf, Realizing Autonomics for Future Networks
    Pages: Online-Ressource (XLIV, 369 pages) , 131 illustrations
    ISBN: 9783642380822
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-38082-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Environmental Leadership Capacity Building in Higher Education : Experience and Lessons from Asian Program for Incubation of Environmental Leaders (2013)
    Tokyo : Springer
    Details
    Keywords: Environment ; Business ethics ; Environmental sciences ; Science education ; Environmental management ; Environment ; Environmental Management ; Environmental Science and Engineering ; Science Education ; Business Ethics
    Description / Table of Contents: Asian Program for Incubation of Environmental Leaders --- Concepts of EL --- How to teach EL in a class room - Environmental Challenges and Leadership in Asia --- APIEL resonance --- Leadership Education tackling Water Environmental Issues in Arid Regions --- IPoS: Intensive Program on Sustainability --- Cambodia Considering their sustainable future --- BKK: Sustainable solid waste management in Asian developing countries --- Sustainable urban development toward Green City of the Greater Pearl River Delta, China
    Pages: Online-Ressource (XI, 140 pages) , 34 illustrations, 24 illustrations in color
    ISBN: 9784431543404
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-54340-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings (2013)
    Tokyo : Springer
    Details
    Keywords: Computer science ; Computers ; Computer simulation ; Application software ; Bioinformatics ; Computer Science ; Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities
    Description / Table of Contents: Natural Computing --- Ethological response to periodic stimulation in Chara and Brepharisma --- Adaptive path-finding and transport network formation by the amoeba-like organism Physarum --- Aggregate "Calculation" in Economic Phenomena: Distributions and Fluctuations --- Towards Co-evolution of Information, Life and Artifcial Life --- Harness the Nature for Computation --- Things Theory of Art Should Learn From Natural Computing --- Study on the use of Evolutionary Techniques for inference in Gene Regulatory Networks --- Reconstruction of Gene Regulatory Networks from Gene Expression Data using Decoupled Recurrent Neural Network Model --- Design and control of synthetic biological systems --- Satellite Symposium on Computational Aesthetics --- Preface–Natural Computing and Computational Aesthetics --- The Significance of Natural Computing for Considering Computational Aesthetics of Nature --- Perceiving the Gap: asynchronous coordination of plural algorithms and disconnected logical types in ambient space --- Aesthetic Aspects of Technology-mediated Self-awareness Experiences
    Pages: Online-Ressource (XII, 155 pages) , 64 illustrations
    ISBN: 9784431543947
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-54394-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    S-BPM Illustrated : A Storybook about Business Process Modeling and Execution (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Management information systems ; Industrial management ; Application software ; Computer Science ; Information Systems Applications (incl. Internet) ; Business Process Management ; Computer Appl. in Administrative Data Processing ; Management of Computing and Information Systems
    Description / Table of Contents: Introduction --- The Problem - Part I --- The Solution --- Transition --- The Problem - Part II --- The Solution - Part II --- Transition - Part II --- The Problem - Part III --- The Solution - Part III --- Transition - Part III --- The Problem, The Solution and The End - Final Part --- Troubleshooting
    Pages: Online-Ressource (X, 143 pages) , 210 illustrations in color
    ISBN: 9783642369049
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-36904-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Nuclear Back-end and Transmutation Technology for Waste Disposal : Beyond the Fukushima Accident (2015)
    Tokyo : Springer
    Details
    Keywords: Environment ; Nuclear physics ; Nuclear engineering ; Radiation protection ; Radiation ; Safety measures ; Waste management ; Pollution prevention ; Environment ; Effects of Radiation/Radiation Protection ; Nuclear Engineering ; Particle and Nuclear Physics ; Waste Management/Waste Technology ; Industrial Pollution Prevention
    Description / Table of Contents: This book covers essential aspects of transmutation technologies, highlighting especially the advances in Japan. The accident at the Fukushima Daiichi Nuclear Power Plant (NPP) has caused us to focus attention on a large amount of spent nuclear fuels stored in NPPs. In addition, public anxiety regarding the treatment and disposal of high-level radioactive wastes that require long-term control is growing. The Japanese policy on the back-end of the nuclear fuel cycle is still unpredictable in the aftermath of the accident. Therefore, research and development for enhancing the safety of various processes involved in nuclear energy production are being actively pursued worldwide. In particular, nuclear transmutation technology has been drawing significant attention after the accident. This publication is timely with the following highlights: 1) Development of accelerator-driven systems (ADSs), which is a brand-new reactor concept for transmutation of highly radioactive wastes; 2) Nuclear reactor systems from the point of view of the nuclear fuel cycle. How to reduce nuclear wastes or how to treat them including the debris from TEPCO’s Fukushima nuclear power stations is discussed; and 3) Environmental radioactivity, radioactive waste treatment, and geological disposal policy. State-of-the-art technologies for overall back-end issues of the nuclear fuel cycle as well as the technologies of transmutation are presented here. The chapter authors are actively involved in the development of ADSs and transmutation-related technologies. The future of the back-end issues in Japan is very uncertain after the accident at the Fukushima Daiichi NPP, and this book provides an opportunity for readers to consider the future direction of those issues
    Pages: Online-Ressource (XV, 341 pages) , 163 illustrations, 129 illustrations in color
    ISBN: 9784431551119
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55111-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Agricultural and Forestry Reconstruction After the Great East Japan Earthquake : Tsunami, Radioactive, and Reputational Damages (2015)
    Tokyo : Springer
    Details
    Keywords: Environment ; Natural disasters ; Agriculture ; Radiation protection ; Radiation ; Safety measures ; Environment ; Effects of Radiation/Radiation Protection ; Natural Hazards ; Agriculture
    Description / Table of Contents: Part I The Road to Reconstruction from the Tsunami and Radioactive Contamination: Two and a Half Years On --- 1 Dealing with Disasters of Unprecedented Magnitude: The Local Government’s Tribulations and the Road to Reconstruction (Hidekiyo Tachiya) --- 2 Tokyo University of Agriculture East Japan Assistance Project Assisting with Reconstruction: Guiding Principles, Planning, and Propagation of Benefits (Toshiyuki Monma) --- 3 Characteristics of the Agricultural and Forestry Industries in the Soma Area and Damage Sustained as a Result of the Great East Japan Earthquake (Takahiro Yamada, Puangkaew Lurhathaiopath, and Toshiyuki Monma) --- Part II Reconstruction from Tsunami Damage --- 4 Reconstruction Support for the Farmland Struck by Tsunami (Itsuo Goto and Kaisei Inagaki) --- 5 Tsunami Damage to Farming Operations and the New Generation of Farmers and Farm Management (Yukio Shibuya, Takahiro Yamada, Nyamkhuu Batdelger, Puangkaew Lurhathaiopath, Gentaro Suzumura, and Toshiyuki Monma) --- 6 Presenting a Model for Revival of Rural Communities in Japan’s Disaster Zones (Shigeyuki Miyabayashi, Yasushi Takeuchi, Hiromu Okazawa, Tomonori Fujikawa, and Yutaka Sasaki) --- 7 Contributing to Restoration of Tidal Flats in Miyagi Prefecture’s Moune Bay Following the Great East Japan Earthquake and Tsunami (Susumu Chiba, Takeshi Sonoda, Makoto Hatakeyama, and Katsuhide Yokoyama) --- Part III Reconstruction from Radioactive Contamination --- 8 Initiatives by the Soil Fertilization Team to Develop Agricultural Technologies for Paddy Fields with Radioactive Contamination (Itsuo Goto and Kaisei Inagaki) --- 9 The Potential for Producing Rice for Feed and Whole Crop Rice Silage in Radiation-Contaminated Areas (Seiji Nobuoka) --- 10 Developing and Trialing a System to Monitor Radionuclide in Individual Plots of Farmland to Help Reconstruction Farming in Contaminated Areas (Toshiyuki Monma, Puangkaew Lurhathaiopath, Youichi Kawano, Dambii Byambasuren, Yuta Ono, and Quar Evine) --- 11 New Decontamination Methods for Parks and Other Areas in Which Radionuclide Have Accumulated (Mitsuo Kondo and Chizuko Mizuniwa) --- 12 Forest Restoration (Takahisa Hayashi) --- 13 Nuclear Radiation Levels in the Forest at Minamisoma, Fukushima Prefecture (Iwao Uehara, Tomoko Seyama, Fumio Eguchi, Ryuichi Tachibana, Yukito Nakamura, and Hiroya Obayashi ) --- 14 Radioactive Contamination of Ostriches in a Potentially Permanent Evacuation Zone (Hiroshi Ogawa, Hidehiko Uchiyama, Koji Masuda, Takeshi Sasaki, Tadao Watanabe, Toshiaki Tomizawa, and Schu Kawashima) --- 15 The Radioactive Contamination in Some Arthropod Species in Fukushima (Tarô Adati and Sota Tanaka) --- 16 A Consumer Survey Approach to Reputation-Based Damage Affecting Agricultural Products and How to Overcome It (Puangkaew Lurhathaiopath, Shizuka Matsumoto, Makoto Hoshi, Sayaka Yamaguchi, and Toshiyuki Monma) --- Part IV Activities and Impressions of Students and Farmers Who Supported the Project --- 17 Staking Recovery Hopes on Soma Revival Rice (Kaisei Inagaki, Tomoko Ninagi, Saburo Sasaki, and Akiko Sato) --- 18 Impression of the Students Participated in the Radioactivity Monitoring System of Farmland (Volodymyr Ganzha, Keiji Kanamori, Hana Fujimoto, and Ryo Itakura) --- 19 Impression of the Forestry managers and students participated in the Radioactivity Damage Investigation of Forests (Eihachi Horiuchi, Kiyoaki Sasaki, Masaaki Itakura, Chisato Yasukawa, and Chihiro Kinoshita)
    Pages: Online-Ressource (XVII, 264 pages) , 141 illustrations, 65 illustrations in color
    ISBN: 9784431555582
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55558-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    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
  • 12
    Unknown
    Air Quality Integrated Assessment : A European Perspective (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Computer simulation ; Environmental monitoring ; Air pollution ; Environment ; Atmospheric Protection/Air Quality Control/Air Pollution ; Monitoring/Environmental Analysis ; Simulation and Modeling
    Description / Table of Contents: Air quality in Europe: today and tomorrow --- A framework for Integrated Assessment Modelling --- Current European AQ planning at regional and local scale --- Strengths and weaknesses of the current EU situation --- Two illustrative examples: Brussels and Porto --- Conclusions: A way forward
    Pages: Online-Ressource (VII, 110 pages) , 50 illustrations
    ISBN: 9783319333496
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-33349-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    Unknown
    Paris Climate Agreement: Beacon of Hope (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Energy industries ; Environment ; Climate Change ; Climate Change Management and Policy ; Energy Economics
    Description / Table of Contents: Chapter 1. Earth's Climate System --- Chapter 2. Forecasting Global Warming --- Chapter 3. Paris INDCs --- Chapter 4. Implementation.
    Pages: Online-Ressource (XVII, 186 pages) , 58 illustrations, 54 illustrations in color
    ISBN: 9783319469393
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-46939-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    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
  • 15
    Unknown
    Counteracting Urban Heat Island Effects in a Global Climate Change Scenario (2016)
    Cham : Springer
    Details
    Keywords: Environment ; Climate change ; Remote sensing ; Physics ; Environment ; Climate Change ; Remote Sensing/Photogrammetry ; Energy Efficiency ; Climate Change/Climate Change Impacts ; Applied and Technical Physics
    Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.
    Pages: Online-Ressource (LIII, 400 pages) , 213 illustrations
    ISBN: 9783319104256
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-10425-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    Unknown
    Die Alpen im Jahr 2020 : Hinweise aus einer Begegnung der Disziplinen (2006)
    Innsbruck : Innsbruck University Press
    Details
    Keywords: Alps ; Environment ; Conseration ; Sustainability ; Prediction
    Description / Table of Contents: This book summarizes the results of an interdisciplinary meeting held in Obergurgl in 2006. Based on current knowledge the meeting aimed at a research strategy for the research focus “alpine space – man and environment” of Innsbruck University.
    Pages: Online-Ressource (121 Seiten)
    ISBN: 9783902571014
    URL: http://oapen.org/search?identifier=503810
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    Unknown
    Proceedings of the Scientific-Practical Conference "Research and Development - 2016" (2018)
    Cham : Springer
    Details
    Keywords: Materials science ; Life sciences ; Transportation engineering ; Traffic engineering ; Environment ; Nanotechnology ; Materials Science ; Nanotechnology ; Transportation Technology and Traffic Engineering ; Environment, general ; Life Sciences, general
    Description / Table of Contents: Multimodal Control System of Active Lower Limb Exoskeleton with Feedback --- Investigation and Development of Methods for Improving Robustness of Automatic Speech Recognition Algorithms in Complex Acoustic Environments --- Smart Endoscope—Firmware Complex for Real-Time Analysis and Recognition of Endoscopic Videos --- The Development of Constructive-Technological Decisions on Creation of a Family of Microelectronic Elements on the «Silicon on Insulator» (SOI) Structures to Provide the Ability to Create Sensors of External Influences of a Various Functional Purpose --- Thermopile IR Sensor Arrays --- Development Signal Processing Integrated Circuit for Position Sensors with High Resolution --- Brain-Controlled Biometric Signals Employed to Operate External Technical Devices --- Improving Talent Management with Automated Competence Assessment: Research Summary
    Pages: Online-Ressource (XVII, 730 pages) , 311 illustrations, 187 illustrations in color
    ISBN: 9783319628707
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-62870-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    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
  • 19
    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
  • 20
    Unknown
    Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings (2013)
    Tokyo : Springer
    Details
    Keywords: Computer science ; Computers ; Computer simulation ; Application software ; Bioinformatics ; Computer Science ; Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities
    Description / Table of Contents: Natural Computing --- Ethological response to periodic stimulation in Chara and Brepharisma --- Adaptive path-finding and transport network formation by the amoeba-like organism Physarum --- Aggregate "Calculation" in Economic Phenomena: Distributions and Fluctuations --- Towards Co-evolution of Information, Life and Artifcial Life --- Harness the Nature for Computation --- Things Theory of Art Should Learn From Natural Computing --- Study on the use of Evolutionary Techniques for inference in Gene Regulatory Networks --- Reconstruction of Gene Regulatory Networks from Gene Expression Data using Decoupled Recurrent Neural Network Model --- Design and control of synthetic biological systems --- Satellite Symposium on Computational Aesthetics --- Preface–Natural Computing and Computational Aesthetics --- The Significance of Natural Computing for Considering Computational Aesthetics of Nature --- Perceiving the Gap: asynchronous coordination of plural algorithms and disconnected logical types in ambient space --- Aesthetic Aspects of Technology-mediated Self-awareness Experiences
    Pages: Online-Ressource (XII, 155 pages) , 64 illustrations
    ISBN: 9784431543947
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-54394-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    Unknown
    Enabling Things to Talk : Designing IoT solutions with the IoT Architectural Reference Model (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Production management ; Management information systems ; Special purpose computers ; Software engineering ; Application software ; Computer Science ; Information Systems Applications (incl. Internet) ; Business IT Infrastructure ; Computer Appl. in Administrative Data Processing ; Operations Management ; Software Engineering ; Special Purpose and Application-Based Systems
    Description / Table of Contents: Introduction to the Internet of Things --- The Need for a Common Ground for the IoT — The History and Reasoning Behind the IoT — A Project --- The IoT Architectural Reference Model as Enabler --- IoT in Practice: Examples — IoT in Logistics and Health --- IoT — A Guidance to the ARM --- A Process to Generate Concrete Architectures --- IoT Reference Model --- IoT Reference Architecture --- The IoT ARM Reference Manual --- Interactions --- Toward a Concrete Architecture --- ARM Testimonials --- Summary and Outlook
    Pages: Online-Ressource (X, 349 pages) , 131 illustrations, 116 illustrations in color
    ISBN: 9783642404030
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-40403-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    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
  • 23
    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
  • 24
    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
  • 25
    Unknown
    Railway Ecology (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental sciences ; Urban geography ; Applied ecology ; Biodiversity ; Nature conservation ; Environment ; Nature Conservation ; Applied Ecology ; Biodiversity ; Urban Geography / Urbanism (inc. megacities, cities, towns) ; Environmental Science and Engineering
    Description / Table of Contents: Part 1 --- Introduction --- 1. Railway Ecology --- 2. Wildlife Mortality in Railways --- 3. Railways as Barriers for Wildlife: Current Knowledge and Future Steps --- Part 2. Introduction --- Case Studies --- Conclusions --- What’s Next? Railway Ecology in the 21st Century
    Pages: Online-Ressource (XXX, 320 pages) , 53 illustrations, 28 illustrations in color
    ISBN: 9783319574967
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-57496-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    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
  • 27
    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
  • 28
    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
  • 29
    Unknown
    Bisociative Knowledge Discovery : An Introduction to Concept, Algorithms, Tools, and Applications (2012)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Data mining ; User interfaces (Computer systems) ; Artificial intelligence ; Pattern recognition ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Data Mining and Knowledge Discovery ; Information Systems Applications (incl. Internet) ; User Interfaces and Human Computer Interaction ; Pattern Recognition ; Computer Communication Networks
    Description / Table of Contents: Modern knowledge discovery methods enable users to discover complex patterns of various types in large information repositories. However, the underlying assumption has always been that the data to which the methods are applied originates from one domain.   The focus of this book, and the BISON project from which the contributions originate, is a network-based integration of various types of data repositories and the development of new ways to analyse and explore the resulting gigantic information networks. Instead of seeking well-defined global or local patterns, the aim was to find domain-bridging associations. These are particularly interesting if they are sparse and have not been encountered before.   The 32 contributions presented in this state-of-the-art survey, together with a detailed introduction to the book, are organized in topical sections on bisociation; representation and network creation; network analysis; exploration; and applications and evaluation.  
    Pages: Online-Ressource (X, 486 pages) , 146 illustrations
    ISBN: 9783642318306
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-31830-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    Unknown
    Telecommunication Economics : Selected Results of the COST Action ISO605 Econ@Tel (2012)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Computers and civilization ; Management information systems ; Electrical engineering ; Computer Science ; Computer Communication Networks ; Communications Engineering, Networks ; Computers and Society ; Management of Computing and Information Systems
    Description / Table of Contents: This book constitutes a collaborative and selected documentation of the scientific outcome of the European COST Action IS0605 Econ@Tel "A Telecommunications Economics COST Network" which run from October 2007 to October 2011. Involving experts from around 20 European countries, the goal of Econ@Tel was to develop a strategic research and training network among key people and organizations in order to enhance Europe's competence in the field of telecommunications economics.   Reflecting the organization of the COST Action IS0605 Econ@Tel in working groups the following four major research areas are addressed:   - evolution and regulation of communication ecosystems; - social and policy implications of communication technologies; - economics and governance of future networks; - future networks management architectures and mechanisms
    Pages: Online-Ressource (IX, 243 pages) , 61 illustrations
    ISBN: 9783642303821
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-30382-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    Unknown
    The Future Internet : Future Internet Assembly 2012: From Promises to Reality (2012)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Data mining ; Multimedia information systems ; Computers and civilization ; Management information systems ; Computer Science ; Computer Communication Networks ; Information Systems Applications (incl. Internet) ; Management of Computing and Information Systems ; Multimedia Information Systems ; Data Mining and Knowledge Discovery ; Computers and Society
    Description / Table of Contents: Irrespective of whether we use economic or societal metrics, the Internet is one of the most important technical infrastructures in existence today. It will serve as a catalyst for much of our innovation and prosperity in the future. A competitive Europe will require Internet connectivity and services beyond the capabilities offered by current technologies. Future Internet research is therefore a must. The Future Internet Assembly (FIA) is a successful and unique bi-annual conference that brings together participants of over 150 projects from several distinct but interrelated areas in the EU Framework Programme 7. The 20 full papers included in this volume were selected from 40 submissions, and are preceded by a vision paper describing the FIA Roadmap. The papers have been organized into topical sections on the foundations of Future Internet, the applications of Future Internet, Smart Cities, and Future Internet infrastructures
    Pages: Online-Ressource (XXV, 252 pages)
    ISBN: 9783642302411
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-30241-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    Unknown
    The Future Internet : Future Internet Assembly 2011: Achievements and Technological Promises (2011)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Information storage and retrieval ; Multimedia information systems ; Computers and civilization ; Electrical engineering ; Computer Science ; Computer Communication Networks ; Information Systems Applications (incl. Internet) ; Information Storage and Retrieval ; Multimedia Information Systems ; Communications Engineering, Networks ; Computers and Society
    Description / Table of Contents: Irrespective of whether we use economic or societal metrics, the Internet is one of the most important technical infrastructures in existence today. It will be a catalyst for much of our innovation and prosperity in the future. A competitive Europe will require Internet connectivity and services beyond the capabilities offered by current technologies. Future Internet research is therefore a must.  This book is published in full compliance with the Open Access publishing initiative; it is based on the research carried out within the Future Internet Assembly (FIA). It contains a sample of representative results from the recent FIA meetings spanning a broad range of topics, all being of crucial importance for the future Internet.  The book includes 32 contributions and has been structured into the following sections, each of which is preceded by a short introduction: Foundations: architectural issues; socio-economic issues; security and trust; and experiments and experimental design. Future Internet Areas: networks, services, and content; and applications
    Pages: Online-Ressource (XVI, 465 pages)
    ISBN: 9783642208980
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-20898-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    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
  • 34
    Unknown
    The Future Internet : Future Internet Assembly 2013: Validated Results and New Horizons (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Information storage and retrieval ; Multimedia information systems ; Computers and civilization ; Management information systems ; Computer Science ; Computer Communication Networks ; Information Systems Applications (incl. Internet) ; Management of Computing and Information Systems ; Multimedia Information Systems ; Information Storage and Retrieval ; Computers and Society
    Description / Table of Contents: Software Driven Networks, Virtualisation, Programmability and Autonomic Management --- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) --- The NEBULA Future Internet Architecture --- Open the Way to Future Networks – A Viewpoint Framework from ITU-T --- Towards a Minimal Core for Information-Centric Networking --- Managing QoS for Future Internet Applications over Virtual Sensor Networks --- High Availability in the Future Internet --- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation --- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds --- Cloud–Based Evaluation Framework for Big Data --- Optimizing Service Ecosystems in the Cloud --- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles --- Towards a Secure Network Virtualization Architecture for the Future Internet --- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures --- Internet of Things --- IoT6 – Moving to an IPv6-Based Future IoT --- SmartSantander: Internet of Things Research and Innovation through Citizen Participation --- A Cognitive Management Framework for Empowering the Internet of Things --- Building Modular Middlewares for the Internet of Things with OSGi --- Towards an Architecture for Future Internet Applications --- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability --- Test-Enabled Architecture for IoT Service Creation and Provisioning --- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet --- The EARTH Project --- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces --- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices --- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities --- User Involvement in Future Internet Projects --- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play --- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life --- CONCORD Project Management of the Future Internet --- FLAMINGO NoE Project Management of the Future Internet --- The GEYSERS Concept and Major Outcomes --- iCore: A Cognitive Management Framework for the Internet of Things --- IoT6 Project in a Nutshell --- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand --- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet --- The SmartSantander Project --- UniverSelf, Realizing Autonomics for Future Networks
    Pages: Online-Ressource (XLIV, 369 pages) , 131 illustrations
    ISBN: 9783642380822
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-38082-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    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
  • 36
    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
  • 37
    Unknown
    S-BPM Illustrated : A Storybook about Business Process Modeling and Execution (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Management information systems ; Industrial management ; Application software ; Computer Science ; Information Systems Applications (incl. Internet) ; Business Process Management ; Computer Appl. in Administrative Data Processing ; Management of Computing and Information Systems
    Description / Table of Contents: Introduction --- The Problem - Part I --- The Solution --- Transition --- The Problem - Part II --- The Solution - Part II --- Transition - Part II --- The Problem - Part III --- The Solution - Part III --- Transition - Part III --- The Problem, The Solution and The End - Final Part --- Troubleshooting
    Pages: Online-Ressource (X, 143 pages) , 210 illustrations in color
    ISBN: 9783642369049
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-36904-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    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
  • 39
    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
  • 40
    Unknown
    Ecological Risk Assessment for Chlorpyrifos in Terrestrial and Aquatic Systems in the United States (2014)
    Cham : Springer
    Details
    Keywords: Environment ; Environmental management ; Ecotoxicology ; Waste management ; Environment ; Ecotoxicology ; Environmental Management ; Waste Management/Waste Technology
    Description / Table of Contents: Preface --- Foreword by Keith Solomon and John Giesy --- Foreword by Coordinating Board of Editors --- Ecological Risk Assessment for Chlorpyrifos in Terrestrial and Aquatic Systems in The United States – Overview and Conclusions --- Properties and Uses of Chlorpyrifos in the United States --- Fate in the Environment and Long-Range Atmospheric Transport of the Organophosphorus Insecticide, Chlorpyrifos and its Oxon in the United States --- Exposures of Aquatic Organisms to the Organophosphorus Insecticide, Chlorpyrifos Resulting from Use in the United States --- Risks to Aquatic Organisms from Use of Chlorpyrifos in the United States --- Refined Avian Risk Assessment for Chlorpyrifos in the United States --- Risk to Pollinators from the Use of Chlorpyrifos in the United States --- Index
    Pages: Online-Ressource (XVI, 269 pages) , 40 illustrations
    ISBN: 9783319038650
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-03865-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    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
  • 42
    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
  • 43
    Unknown
    Resilience: A New Paradigm of Nuclear Safety : From Accident Mitigation to Resilient Society Facing Extreme Situations (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Engineering ethics ; Environmental sciences ; Nuclear engineering ; Radiation protection ; Radiation ; Safety measures ; Environmental economics ; Environmental policy ; Environment ; Effects of Radiation/Radiation Protection ; Nuclear Engineering ; Environmental Science and Engineering ; Environmental Policy ; Environmental Economics ; Engineering Ethics
    Description / Table of Contents: Introduction --- Part I: What are damages in Nuclear Accidents?- Part II: Measurement of Damages --- Part III: Barriers against Transition into Resilience --- Part IV: Research questions for developing knowledge toward transition into resilience --- Epilogue
    Pages: Online-Ressource (XVII, 356 pages) , 62 illustrations, 48 illustrations in color
    ISBN: 9783319587684
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-58768-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    Unknown
    Air Quality Integrated Assessment : A European Perspective (2017)
    Cham : Springer
    Details
    Keywords: Environment ; Computer simulation ; Environmental monitoring ; Air pollution ; Environment ; Atmospheric Protection/Air Quality Control/Air Pollution ; Monitoring/Environmental Analysis ; Simulation and Modeling
    Description / Table of Contents: Air quality in Europe: today and tomorrow --- A framework for Integrated Assessment Modelling --- Current European AQ planning at regional and local scale --- Strengths and weaknesses of the current EU situation --- Two illustrative examples: Brussels and Porto --- Conclusions: A way forward
    Pages: Online-Ressource (VII, 110 pages) , 50 illustrations
    ISBN: 9783319333496
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-33349-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    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
  • 46
    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
  • 47
    Unknown
    Computer Vision Metrics : Survey, Taxonomy, and Analysis (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Text processing (Computer science) ; Image processing ; Computer Science ; Image Processing and Computer Vision ; Document Preparation and Text Processing
    Description / Table of Contents: Computer Vision Metrics provides an extensive survey and analysis of over 100 current and historical feature description and machine vision methods, with a detailed taxonomy for local, regional and global features. This book provides necessary background to develop intuition about why interest point detectors and feature descriptors actually work, how they are designed, with observations about tuning the methods for achieving robustness and invariance targets for specific applications. The survey is broader than it is deep, with over 540 references provided to dig deeper. The taxonomy includes search methods, spectra components, descriptor representation, shape, distance functions, accuracy, efficiency, robustness and invariance attributes, and more. Rather than providing ‘how-to’ source code examples and shortcuts, this book provides a counterpoint discussion to the many fine opencv community source code resources available for hands-on practitioners
    Pages: Online-Ressource (XXXI, 508 pages) , 216 illustrations
    ISBN: 9781430259305
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-5930-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    Unknown
    Intel Xeon Phi Coprocessor Architecture and Tools : The Guide for Application Developers (2013)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer Science ; Computer Science, general
    Description / Table of Contents: Intel® Xeon Phi™ Coprocessor Architecture and Tools: The Guide for Application Developers provides developers a comprehensive introduction and in-depth look at the Intel Xeon Phi coprocessor architecture and the corresponding parallel data structure tools and algorithms used in the various technical computing applications for which it is suitable. It also examines the source code-level optimizations that can be performed to exploit the powerful features of the processor. Xeon Phi is at the heart of world’s fastest commercial supercomputer, which thanks to the massively parallel computing capabilities of Intel Xeon Phi processors coupled with Xeon Phi coprocessors attained 33.86 teraflops of benchmark performance in 2013. Extracting such stellar performance in real-world applications requires a sophisticated understanding of the complex interaction among hardware components, Xeon Phi cores, and the applications running on them. In this book, Rezaur Rahman, an Intel leader in the development of the Xeon Phi coprocessor and the optimization of its applications, presents and details all the features of Xeon Phi core design that are relevant to the practice of application developers, such as its vector units, hardware multithreading, cache hierarchy, and host-to-coprocessor communication channels. Building on this foundation, he shows developers how to solve real-world technical computing problems by selecting, deploying, and optimizing the available algorithms and data structure alternatives matching Xeon Phi’s hardware characteristics. From Rahman’s practical descriptions and extensive code examples, the reader will gain a working knowledge of the Xeon Phi vector instruction set and the Xeon Phi microarchitecture whereby cores execute 512-bit instruction streams in parallel
    Pages: Online-Ressource (XXI, 232 pages)
    ISBN: 9781430259275
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-5927-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    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
  • 50
    Unknown
    Sensor Technologies : Healthcare, Wellness, and Environmental Applications (2013)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer Science ; Computer Science, general
    Description / Table of Contents: Sensor Technologies: Healthcare, Wellness and Environmental Applications explores the key aspects of sensor technologies, covering wired, wireless, and discrete sensors for the specific application domains of healthcare, wellness and environmental sensing.  It discusses the social, regulatory, and design considerations specific to these domains. The book provides an application-based approach using real-world examples to illustrate the application of sensor technologies in a practical and experiential manner. The book  guides the reader from the formulation of the research question, through the design and validation process, to the deployment and management phase of sensor applications.  The processes and examples used in the book are primarily based on research carried out by Intel or joint academic research programs. "Sensor Technologies: Healthcare, Wellness and Environmental Applications provides an extensive overview of sensing technologies and their applications in healthcare, wellness, and environmental monitoring. From sensor hardware to system applications and case studies, this book gives readers an in-depth understanding of the technologies and how they can be applied. I would highly recommend it to students or researchers who are interested in wireless sensing technologies and the associated applications." Dr. Benny Lo Lecturer, The Hamlyn Centre, Imperial College of London     "This timely addition to the literature on sensors covers the broad complexity of sensing, sensor types, and the vast range of existing and emerging applications in a very clearly written and accessible manner.  It is particularly good at capturing the exciting possibilities that will occur as sensor networks merge with cloud-based ‘big data’ analytics to provide a host of new applications that will impact directly on the individual in ways we cannot fully predict at present.  It really brings this home through the use of carefully chosen case studies that bring the overwhelming concept of 'big data' down to the personal level of individual life and health."   Dermot Diamond Director, National Centre for Sensor Research, Principal Investigator, CLARITY Centre for Sensor Web Technologies, Dublin City University                                                                      "Sensor Technologies: Healthcare, Wellness and Environmental Applications takes the reader on an end-to-end journey of sensor technologies, covering the fundamentals from an engineering perspective, introducing how the data gleaned can be both processed and visualized, in addition to offering exemplar case studies in a number of application domains.  It is a must-read for those studying any undergraduate course that involves sensor technologies.  It also provides a thorough foundation for those involved in the research and development of applied sensor systems.  I highly recommend it to any engineer who wishes to broaden their knowledge in this area!" Chris Nugent Professor of Biomedical Engineering, University of Ulster  
    Pages: Online-Ressource (XXV, 336 pages) , 108 illustrations
    ISBN: 9781430260141
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6014-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    Unknown
    Android on x86 : An Introduction to Optimizing for Intel® Architecture (2013)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer Science ; Computer Science, general
    Description / Table of Contents: Android on x86: an Introduction to Optimizing for Intel® Architecture serves two main purposes. First, it makes the case for adapting your applications onto Intel’s x86 architecture, including discussions of the business potential, the changing landscape of the Android marketplace, and the unique challenges and opportunities that arise from x86 devices. The fundamental idea is that extending your applications to support x86 or creating new ones is not difficult, but it is imperative to know all of the technicalities. This book is dedicated to providing you with an awareness of these nuances and an understanding of how to tackle them. Second, and most importantly, this book provides a one-stop detailed resource for best practices and procedures associated with the installation issues, hardware optimization issues, software requirements, programming tasks, and performance optimizations that emerge when developers consider the x86 Android devices. Optimization discussions dive into native code, hardware acceleration, and advanced profiling of multimedia applications. The authors have collected this information so that you can use the book as a guide for the specific requirements of each application project. This book is not dedicated solely to code; instead it is filled with the information you need in order to take advantage of x86 architecture. It will guide you through installing the Android SDK for Intel Architecture, help you understand the differences and similarities between processor architectures available in Android devices, teach you to create and port applications, debug existing x86 applications, offer solutions for NDK and C++ optimizations, and introduce the Intel Hardware Accelerated Execution Manager. This book provides the most useful information to help you get the job done quickly while utilizing best practices
    Pages: Online-Ressource (XXVII, 380 pages) , 180 illustrations
    ISBN: 9781430261315
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6131-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    Unknown
    TouchDevelop (2013)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer programming ; Programming languages (Electronic computers) ; Computer Science ; Programming Techniques ; Programming Languages, Compilers, Interpreters
    Description / Table of Contents: The book is great! It's clear and easy to read, with loads of examples that showed my students what to do. -- Larry Snyder, Emeritus Professor, University of Washington, Department of Computer Science and Engineering "Having the TouchDevelop book available made our events so much easier. Students could figure things out for themselves with help from the book." -- Jennifer Marsman, Microsoft Principal Developer Evangelist Mobile devices such as smartphones and tablets are set to become the main computers that virtually all people will own and carry with them at all times. And yet,mobile devices are not yet used for all computing tasks. A project at Microsoft Research was created to answer a simple question: "It is possible to create interesting apps directly on a smartphone or tablet, without using a separate PC or a keyboard?" The result is TouchDevelop, a programming environment that runs on all modern mobile devices such as Windows Phone, iPhone, iPad, Android phones and tablets, and also on PCs and Macs. This book walks you through all of the screens of the TouchDevelop app, and it points out similarities and differences of the TouchDevelop language compared to other programming languages. For users, the book can serve as a handyreference next to the phone. The book systematically addresses all programming language constructs, starting from the very basic constructs such as variables and loops. The book also explores many of the phone sensors and data sources which make creating apps for mobile devices so rewarding. If you are new to programming with TouchDevelop, or if you have not yet worked on touchscreen devices, we suggest that you read the book starting from Chapter 1. If you are already familiar with the basic paradigm of the TouchDevelop programming environment, then feel free to jump ahead to the later chapters that address particular topic areas. This book is written from the perspective of a person developing their code using a web browser. The TouchDevelop Web App runs in many modern browsers on many different devices including smartphones and tablets, Macs, PC. All screenshots and navigation instructions refer to the TouchDevelop Web App running in a browser. For Windows Phone, there is a dedicated TouchDevelop app in the Windows Phone Store which gives access to many more sensors and data sources. Starting with the TouchDevelop app v3.0 for Windows Phone 8, the phone app will share the same look and navigation structure and all features of the Web App
    Pages: Online-Ressource (XIX, 270 pages) , 69 illustrations
    Edition: 3rd edition
    ISBN: 9781430261377
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6137-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    Unknown
    Intel Trusted Execution Technology for Server Platforms : A Guide to More Secure Datacenters (2013)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Data encryption (Computer science) ; Database management ; Computer Science ; Data Encryption ; Database Management
    Description / Table of Contents: This book is a must have resource guide for anyone who wants to ...  implement TXT within their environments.  I wish we had this guide when our engineering teams were implementing TXT on our solution platforms!   John McAuley,EMC Corporation "This book details innovative technology that provides significant benefit to both the cloud consumer and the cloud provider when working to meet the ever increasing requirements of trust and control in the cloud."   Alex Rodriguez,  Expedient Data Centers "This book is an invaluable reference for understanding enhanced server security, and how to deploy and leverage computing environment trust to reduce supply chain risk."   Pete Nicoletti. Virtustream Inc. Intel® Trusted Execution Technology (Intel TXT) is a new security technology that started appearing on Intel server platforms in 2010. This book explains Intel Trusted Execution Technology for Servers, its purpose, application, advantages, and limitations. This book guides the server administrator / datacenter manager in enabling the technology as well as establishing a launch control policy that he can use to customize the server’s boot process to fit the datacenter’s requirements. This book explains how the OS (typically a Virtual Machine Monitor or Hypervisor) and supporting software can build on the secure facilities afforded by Intel TXT to provide additional security features and functions. It provides examples how the datacenter can create and use trusted pools. With a foreword from Albert Caballero, the CTO at Trapezoid
    Pages: Online-Ressource (XVII, 156 pages) , 56 illustrations
    ISBN: 9781430261490
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6149-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    Unknown
    Learn BlackBerry 10 App Development : A Cascades-Driven Approach (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer Science ; Computer Science, general
    Description / Table of Contents: Learn how to leverage the BlackBerry 10 Cascades framework to create rich native applications. Learn BlackBerry 10 App Development gives you a solid foundation for creating BlackBerry 10 apps efficiently. Along the way, you will learn how to use QML and JavaScript for designing your app’s UI, and C++/Qt for the application logic. No prior knowledge of C++ is assumed and the book covers the fundamental aspects of the language for writing BlackBerry 10 apps. Also a particular emphasis is put on how to create a visually enticing user experience with the Cascades framework, which is based on Qt and QML. Starting with the native SDK configuration and an overview of the Momentics IDE, the book is fast-paced and you will rapidly learn many of the best practices and techniques required for developing beautiful BlackBerry 10 apps. Learn BlackBerry 10 App Development is written for developers wishing to learn how to write apps for the new BlackBerry 10 OS and those interested in porting existing iOS and Android apps to BlackBerry 10 as native applications
    Pages: Online-Ressource (XVI, 356 pages) , 104 illustrations
    ISBN: 9781430261582
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6158-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    Unknown
    Building the Infrastructure for Cloud Security : A Solutions view (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer security ; Data encryption (Computer science) ; Computer Science ; Systems and Data Security ; Data Encryption
    Description / Table of Contents: For cloud users and providers alike, security is an everyday concern, yet there are very few books covering cloud security as a main subject. This book will help address this information gap from an Information Technology solution and usage-centric view of cloud infrastructure security. The book highlights the fundamental technology components necessary to build and enable trusted clouds. Here also is an explanation of the security and compliance challenges organizations face as they migrate mission-critical applications to the cloud, and how trusted clouds, that have their integrity rooted in hardware, can address these challenges. This book provides: Use cases and solution reference architectures to enable infrastructure integrity and the creation of trusted pools leveraging Intel Trusted Execution Technology (TXT). Trusted geo-location management in the cloud, enabling workload and data location compliance and boundary control usages in the cloud. OpenStack-based reference architecture of tenant-controlled virtual machine and workload protection in the cloud. A reference design to enable secure hybrid clouds for a cloud bursting use case, providing infrastructure visibility and control to organizations. "A valuable guide to the next generation of cloud security and hardware based root of trust. More than an explanation of the what and how, is the explanation of why. And why you can’t afford to ignore it!" —Vince Lubsey, Vice President, Product Development, Virtustream Inc. " Raghu provides a valuable reference for the new 'inside out' approach, where trust in hardware, software, and privileged users is never assumed—but instead measured, attested, and limited according to least privilege principles." —John Skinner, Vice President, HyTrust Inc. "Traditional parameter based defenses are in sufficient in the cloud. Raghu's book addresses this problem head-on by highlighting unique usage models to enable trusted infrastructure in this open environment. A must read if you are exposed in cloud." —Nikhil Sharma, Sr. Director of Cloud Solutions, Office of CTO, EMC Corporation
    Pages: Online-Ressource (XXVI, 244 pages) , 95 illustrations
    ISBN: 9781430261469
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6146-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    Unknown
    Intel Galileo and Intel Galileo Gen 2 : API Features and Arduino Projects for Linux Programmers (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer Science ; Computer Science, general
    Description / Table of Contents: Intel® Galileo and Intel® Galileo Gen 2: API Features and Arduino Projects for Linux Programmers provides detailed information about Intel® Galileo and Intel® Galileo Gen 2 boards for all software developers interested in Arduino and the Linux platform. The book covers the new Arduino APIs and is an introduction for developers on natively using Linux. Author Manoel Carlos Ramon is a member of the Intel Galileo development team; in this book he draws on his practical experience in working on the Galileo project as he shares the team’s findings, problems, fixes, workarounds, and techniques with the open source community. His areas of expertise are wide-ranging, including Linux-embedded kernel and device drivers, C/C++, Java, OpenGL, Assembler, Android NDK/SDK/ADK, and 2G/3G/4G modem integration. He has more than 17 years of experience in research and development of mobile devices and embedded circuits. His personal blog about programming is BytesThink (www.bytesthink.com)
    Pages: Online-Ressource (XXII, 680 pages) , 256 illustrations
    ISBN: 9781430268383
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6838-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    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
  • 58
    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
  • 59
    Unknown
    Platform Embedded Security Technology Revealed (2014)
    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: Platform Embedded Security Technology Revealed is an in-depth introduction to Intel’s platform embedded solution: the security and management engine. The engine is shipped inside most Intel platforms for servers, personal computers, tablets, and smartphones. The engine realizes advanced security and management functionalities and protects applications’ secrets and users’ privacy in a secure, light-weight, and inexpensive way. Besides native built-in features, it allows third-party software vendors to develop applications that take advantage of the security infrastructures offered by the engine. Intel’s security and management engine is technologically unique and significant, but is largely unknown to many members of the tech communities who could potentially benefit from it. Platform Embedded Security Technology Revealed reveals technical details of the engine. The engine provides a new way for the computer security industry to resolve critical problems resulting from booming mobile technologies, such as increasing threats against confidentiality and privacy. This book describes how this advanced level of protection is made possible by the engine, how it can improve users’ security experience, and how third-party vendors can make use of it. It's written for computer security professionals and researchers; embedded system engineers; and software engineers and vendors who are interested in developing new security applications on top of Intel’s security and management engine. It’s also written for advanced users who are interested in understanding how the security features of Intel’s platforms work
    Pages: Online-Ressource (XX, 272 pages) , 74 illustrations
    ISBN: 9781430265726
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6572-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    Unknown
    The InfoSec Handbook : An Introduction to Information Security (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Data encryption (Computer science) ; Computers ; Computer Science ; Data Encryption ; Information Systems and Communication Service
    Description / Table of Contents: The InfoSec Handbook offers the reader an organized layout of information that is easily read and understood. Allowing beginners to enter the field and understand the key concepts and ideas, while still keeping the experienced readers updated on topics and concepts. It is intended mainly for beginners to the field of information security, written in a way that makes it easy for them to understand the detailed content of the book. The book offers a practical and simple view of the security practices while still offering somewhat technical and detailed information relating to security. It helps the reader build a strong foundation of information, allowing them to move forward from the book with a larger knowledge base. Security is a constantly growing concern that everyone must deal with. Whether it’s an average computer user or a highly skilled computer user, they are always confronted with different security risks. These risks range in danger and should always be dealt with accordingly. Unfortunately, not everyone is aware of the dangers or how to prevent them and this is where most of the issues arise in information technology (IT). When computer users do not take security into account many issues can arise from that like system compromises or loss of data and information. This is an obvious issue that is present with all computer users. This book is intended to educate the average and experienced user of what kinds of different security practices and standards exist. It will also cover how to manage security software and updates in order to be as protected as possible from all of the threats that they face
    Pages: Online-Ressource (XXIV, 392 pages) , 303 illustrations
    ISBN: 9781430263838
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6383-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    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
  • 62
    Unknown
    Digital Video Concepts, Methods, and Metrics : Quality, Compression, Performance, and Power Trade-off Analysis (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Multimedia information systems ; Computer Science ; Computer Science, general ; Multimedia Information Systems
    Description / Table of Contents: Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis is a concise reference for professionals in a wide range of applications and vocations. It focuses on giving the reader mastery over the concepts, methods and metrics of digital video coding, so that readers have sufficient understanding to choose and tune coding parameters for optimum results that would suit their particular needs for quality, compression, speed and power. The practical aspects are many: Uploading video to the Internet is only the beginning of a trend where a consumer controls video quality and speed by trading off various other factors. Open source and proprietary applications such as video e-mail, private party content generation, editing and archiving, and cloud asset management would give further control to the end-user. Digital video is frequently compressed and coded for easier storage and transmission. This process involves visual quality loss due to typical data compression techniques and requires use of high performance computing systems. A careful balance between the amount of compression, the visual quality loss and the coding speed is necessary to keep the total system cost down, while delivering a good user experience for various video applications. At the same time, power consumption optimizations are also essential to get the job done on inexpensive consumer platforms. Trade-offs can be made among these factors, and relevant considerations are particularly important in resource-constrained low power devices. To better understand the trade-offs this book discusses a comprehensive set of engineering principles, strategies, methods and metrics. It also exposes readers to approaches on how to differentiate and rank video coding solutions
    Pages: Online-Ressource (XVII, 368 pages) , 115 illustrations
    ISBN: 9781430267133
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6713-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    Unknown
    Optimizing HPC Applications with Intel Cluster Tools (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer Science ; Computer Science, general
    Description / Table of Contents: Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low power consumption on enterprise-class workstations and compute clusters. The book focuses on optimization for clusters consisting of the Intel® Xeon processor, but the optimization methodologies also apply to the Intel® Xeon Phi™ coprocessor and heterogeneous clusters mixing both architectures. Besides the tutorial and reference content, the authors address and refute many myths and misconceptions surrounding the topic. The text is augmented and enriched by descriptions of real-life situations
    Pages: Online-Ressource (XXIV, 300 pages) , 74 illustrations
    ISBN: 9781430264972
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6497-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    Unknown
    The Privacy Engineer's Manifesto : Getting from Policy to Code to QA to Value (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Software engineering ; Data encryption (Computer science) ; Computer Science ; Software Engineering/Programming and Operating Systems ; Data Encryption
    Description / Table of Contents: It's our thesis that privacy will be an integral part of the next wave in the technology revolution and that innovators who are emphasizing privacy as an integral part of the product life cycle are on the right track. --The authors of The Privacy Engineer's Manifesto The Privacy Engineer's Manifesto: Getting from Policy to Code to QA to Value is the first book of its kind, offering industry-proven solutions that go beyond mere theory and adding lucid perspectives on the challenges and opportunities raised with the emerging "personal" information economy. The authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, applications, and systems. The book offers insight on translating the guiding light of OECD Privacy Guidelines, the Fair Information Practice Principles (FIPPs), Generally Accepted Privacy Principles (GAPP) and Privacy by Design (PbD) into concrete concepts that organizations, software/hardware engineers, and system administrators/owners can understand and apply throughout the product or process life cycle—regardless of development methodology—from inception to retirement, including data deletion and destruction. In addition to providing practical methods to applying privacy engineering methodologies, the authors detail how to prepare and organize an enterprise or organization to support and manage products, process, systems, and applications that require personal information. The authors also address how to think about and assign value to the personal information assets being protected. Finally, the team of experts offers thoughts about the information revolution that has only just begun, and how we can live in a world of sensors and trillions of data points without losing our ethics or value(s)...and even have a little fun. The Privacy Engineer's Manifesto is designed to serve multiple stakeholders: Anyone who is involved in designing, developing, deploying and reviewing products, processes, applications, and systems that process personal information, including software/hardware engineers, technical program and product managers, support and sales engineers, system integrators, IT professionals, lawyers, and information privacy and security professionals. This book is a must-read for all practitioners in the personal information economy. Privacy will be an integral part of the next wave in the technology revolution; innovators who emphasize privacy as an integral part of the product life cycle are on the right track. Foreword by Dr. Eric Bonabeau, PhD, Chairman, Icosystem, Inc. & Dean of Computational Sciences, Minerva Schools at KGI
    Pages: Online-Ressource (XXXVI, 400 pages) , 104 illustrations
    ISBN: 9781430263562
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6356-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    Unknown
    Office 365: Migrating and Managing Your Business in the Cloud : Migrating and Managing Your Business in the Cloud (2013)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Computer Science ; Computer Science, general
    Description / Table of Contents: Written for the IT professional and business owner, this book provides the business and technical insight necessary to migrate your business to the cloud using Microsoft Office 365. This is a practical look at cloud migration and the use of different technologies to support that migration. Numerous examples of cloud migration with technical migration details are included. Cloud technology is a tremendous opportunity for an organization to reduce IT costs, and to improve productivity with increased access, simpler administration and improved services. Those businesses that embrace the advantages of the cloud will receive huge rewards in productivity and lower total cost of ownership over those businesses that choose to ignore it. The challenge for those charged with implementing Microsoft Office 365 is to leverage these advantages with the minimal disruption of their organization. This book provides practical help in moving your business to the Cloud and covers the planning, migration and the follow on management of the Office 365 Cloud services
    Pages: Online-Ressource (XXIX, 680 pages) , 638 illustrations
    ISBN: 9781430265276
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6527-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    Unknown
    GUI Design for Android Apps (2014)
    Berkeley, CA : Apress
    Details
    Keywords: Computer science ; Software engineering ; User interfaces (Computer systems) ; Computer Science ; User Interfaces and Human Computer Interaction ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: GUI Design for Android Apps is the perfect—and concise—introduction for mobile app developers and designers. Through easy-to-follow tutorials, code samples, and case studies, the book shows the must-know principles for user-interface design for Android apps running on the Intel platform, including smartphones, tablets and embedded devices. This book is jointly developed for individual learning by Intel Software College and China Shanghai JiaoTong University, and is excerpted from Android Application Development for the Intel® Platform
    Pages: Online-Ressource (XI, 156 pages) , 65 illustrations
    ISBN: 9781484203828
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4842-0382-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    Unknown
    Bisociative Knowledge Discovery : An Introduction to Concept, Algorithms, Tools, and Applications (2012)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Data mining ; User interfaces (Computer systems) ; Artificial intelligence ; Pattern recognition ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Data Mining and Knowledge Discovery ; Information Systems Applications (incl. Internet) ; User Interfaces and Human Computer Interaction ; Pattern Recognition ; Computer Communication Networks
    Description / Table of Contents: Modern knowledge discovery methods enable users to discover complex patterns of various types in large information repositories. However, the underlying assumption has always been that the data to which the methods are applied originates from one domain.   The focus of this book, and the BISON project from which the contributions originate, is a network-based integration of various types of data repositories and the development of new ways to analyse and explore the resulting gigantic information networks. Instead of seeking well-defined global or local patterns, the aim was to find domain-bridging associations. These are particularly interesting if they are sparse and have not been encountered before.   The 32 contributions presented in this state-of-the-art survey, together with a detailed introduction to the book, are organized in topical sections on bisociation; representation and network creation; network analysis; exploration; and applications and evaluation.  
    Pages: Online-Ressource (X, 486 pages) , 146 illustrations
    ISBN: 9783642318306
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-31830-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    Unknown
    The Future Internet : Future Internet Assembly 2012: From Promises to Reality (2012)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computer communication systems ; Data mining ; Multimedia information systems ; Computers and civilization ; Management information systems ; Computer Science ; Computer Communication Networks ; Information Systems Applications (incl. Internet) ; Management of Computing and Information Systems ; Multimedia Information Systems ; Data Mining and Knowledge Discovery ; Computers and Society
    Description / Table of Contents: Irrespective of whether we use economic or societal metrics, the Internet is one of the most important technical infrastructures in existence today. It will serve as a catalyst for much of our innovation and prosperity in the future. A competitive Europe will require Internet connectivity and services beyond the capabilities offered by current technologies. Future Internet research is therefore a must. The Future Internet Assembly (FIA) is a successful and unique bi-annual conference that brings together participants of over 150 projects from several distinct but interrelated areas in the EU Framework Programme 7. The 20 full papers included in this volume were selected from 40 submissions, and are preceded by a vision paper describing the FIA Roadmap. The papers have been organized into topical sections on the foundations of Future Internet, the applications of Future Internet, Smart Cities, and Future Internet infrastructures
    Pages: Online-Ressource (XXV, 252 pages)
    ISBN: 9783642302411
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-30241-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    Unknown
    Enabling Things to Talk : Designing IoT solutions with the IoT Architectural Reference Model (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Production management ; Management information systems ; Special purpose computers ; Software engineering ; Application software ; Computer Science ; Information Systems Applications (incl. Internet) ; Business IT Infrastructure ; Computer Appl. in Administrative Data Processing ; Operations Management ; Software Engineering ; Special Purpose and Application-Based Systems
    Description / Table of Contents: Introduction to the Internet of Things --- The Need for a Common Ground for the IoT — The History and Reasoning Behind the IoT — A Project --- The IoT Architectural Reference Model as Enabler --- IoT in Practice: Examples — IoT in Logistics and Health --- IoT — A Guidance to the ARM --- A Process to Generate Concrete Architectures --- IoT Reference Model --- IoT Reference Architecture --- The IoT ARM Reference Manual --- Interactions --- Toward a Concrete Architecture --- ARM Testimonials --- Summary and Outlook
    Pages: Online-Ressource (X, 349 pages) , 131 illustrations, 116 illustrations in color
    ISBN: 9783642404030
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-40403-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    Unknown
    META-NET Strategic Research Agenda for Multilingual Europe 2020 (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Computer science ; Computational linguistics ; Computer Science ; Language Translation and Linguistics ; Computational Linguistics
    Description / Table of Contents: Key Messages --- Executive Summary --- 1.Introduction --- 2.Multilingual Europe: Facts, Challenges, Opportunities --- 3.Major Trends in Information and Communication Technologies --- 4.Language Technology 2012: Current State and Opportunities --- 5.Language Technology 2020: The META-NET Technology Vision --- 6.Language Technology 2020: Priority Research Themes --- 7.Towards a Shared European Programme for Multilingual Europe 2020: Next Steps --- A.References --- B.List of Key Contributors --- C.Milestones and History of the Strategic Research Agenda --- D.About META-NET --- E.Members of META-NET --- F.Abbreviations and Acroynms
    Pages: Online-Ressource (VIII, 87 pages) , 22 illustrations in color
    ISBN: 9783642363498
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-36349-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    Unknown
    Managing Protected Areas in Central and Eastern Europe Under Climate Change (2014)
    Dordrecht : Springer
    Details
    Keywords: Environment ; Regional planning ; Urban planning ; Applied ecology ; Wildlife ; Fish ; Climate change ; Nature conservation ; Environment ; Climate Change ; Nature Conservation ; Fish & Wildlife Biology & Management ; Landscape/Regional and Urban Planning ; Applied Ecology
    Description / Table of Contents: Preface --- Acknowledgements --- Chapter 1 – Natural Heritage at Risk by Climate Change --- Chapter 2 – Climate Change in Central and Eastern Europe --- Chapter 3 – Effects of Climate Change on the Hydrological Cycle in Central and Eastern Europe --- Chapter 4 – Potential impacts of climate change on protected habitats --- Chapter 5 – Climate Change impact modelling cascade - Benefits and limitations for --- Chapter 6 – Indicators for Monitoring Climate Change-Induced Effects on Habitats – a --- Chapter 7 – Remote Sensing-based Monitoring of Potential Climate-induced Impacts on Habitats --- Chapter 8 – Assessment of Climate-induced Impacts on Habitats --- Chapter 9 – Legal Aspects of Climate Change Adaptation --- Chapter 10 – A Methodical Framework for Climate Change-Adapted Management in Protected Areas --- Chapter 11 – Monitoring concept of climate-induced impacts on peat bog vegetation in Pokljuka plateau in Triglav National Park, Slovenia --- Chapter 12 – Concept for the monitoring of climate induced impacts on rock ptarmigan (Lagopus muta) in Triglav National Park, Slovenia --- Chapter 13 – Suggested management measures for Natura 2000 Habitats in Körös-Maros National Park, Hungary --- Chapter 14 – Climate-induced challenges for wetlands: revealing the background for the adaptive ecosystem management in the Biebrza Valley, Poland --- Chapter 15 – Habitat changes caused by sea level rise, driven by climate change in the Northern Adriatic coastal wetlands, Slovenia --- Chapter 16 – Potential impacts of climate change on forest habitats in the Biosphere Reserve Vessertal-Thuringian Forest in Germany --- Chapter 17 – Potential Impact of Climate Change on Alpine Habitats from Bucegi Natural Park, Romania --- Chapter 18 – Potential Impacts of Climate Change on Habitats and their Effects on Invasive Plant Species in Danube Delta Biosphere Reserve, Romania --- Chapter 19 - Reproduction biology of an alien invasive plant: a case of drought-tolerant Aster squamatus on the Northern Adriatic seacoast, Slovenia --- Chapter 20 – Conclusions and Recommendations for Adapting Conservation Management in the Face of Climate Change --- Index
    Pages: Online-Ressource (XXV, 308 pages) , 77 illustrations, 33 illustrations in color
    ISBN: 9789400779600
    URL: https://link.springer.com/openurl?genre=book&isbn=978-94-007-7960-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    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
  • 73
    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
  • 74
    Unknown
    Klimawandel in Deutschland : Entwicklung, Folgen, Risiken und Perspektiven (2017)
    Berlin, Heidelberg : Springer Spektrum
    Details
    Keywords: Environment ; Climatology ; Climate change ; Environment ; Climate Change ; Climate Change Management and Policy ; Climate Change/Climate Change Impacts ; Climatology
    Description / Table of Contents: Teil 1: Globale Klimaprojektionen und regionale Projektionen für Deutschland und Europa --- Teil 2: Klimawandel in Deutschland: Regionale Besonderheiten und Extreme --- Teil 3: Auswirkungen des Klimawandels in Deutschland --- Teil 4: Übergreifende Risiken und Unsicherheiten --- Teil 5: Integrierte Strategien zur Anpassung an den Klimawandel.   
    Pages: Online-Ressource (XX, 348 Seiten) , 116 Abbildungen, 50 Abbildungen in Farbe
    ISBN: 9783662503973
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-50397-3
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    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
  • 76
    Unknown
    Messung von Ressourceneffizienz mit der ESSENZ-Methode : Integrierte Methode zur ganzheitlichen Bewertung (2016)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Environment ; Industrial management ; Environmental aspects ; Urban ecology (Biology) ; Sustainable development ; Natural resources ; Environment ; Natural Resources ; Urban Ecology ; Sustainability Management ; Sustainable Development
    Description / Table of Contents: Inhalt --- Abkürzungsverzeichnis --- Glossar --- Zusammenfassung --- 1. Einleitung --- 1.1 Ressourceneffizienz --- 1.2 Möglichkeiten und Grenzen der Ressourceneffizienz-Bewertung mit der ESSENZ-Methode --- 2. Ablauf der Ressourceneffizienz-Bewertung mit der ESSENZ-Methode --- 3. Modellierung des Produktsystems --- 3.1 Ziel und Untersuchungsrahmen --- 3.2 Sachbilanz --- 4. Methodik zur Bewertung der Ressourceneffizienz-Dimensionen --- 4.1 Methodik zur Bewertung der Verfügbarkeit von Metallen und fossilen Rohstoffen --- 4.2 Methodik zur Bewertungen der gesellschaftlichen Akzeptanz --- 4.3 Methodik zur Bewertung der Umweltauswirkungen --- 4.4 Bewertung des Nutzen --- 5. Berechnung der Ressourceneffizienz --- 5.1 Allgemeines Vorgehen --- 5.2 Berechnung der Verfügbarkeit für Metalle und fossile Rohstoffe --- 5.3 Berechnung der gesellschaftlichen Akzeptanz --- 5.4 Berechnungen der Umweltauswirkungen --- 5.5 Ermittlung der Ressourceneffizienz --- 6. Interpretation der Ergebnisse --- 6.1 Unsicherheiten in der Bewertung --- 6.2 Interpretation der Verfügbarkeit --- 6.3 Interpretation der gesellschaftlichen Akzeptanz --- 6.4 Interpretation der Umweltbewertung --- 6.5 Interpretation der ermittelten Ressourceneffizienz --- 6.6 Interpretation des Gesamtergebnisses --- 7. Aggregation zum Vergleich von Produktalternativen --- 8. Fazit und Ausblick --- 9. Referenzen --- Anhang 1 – Charakterisierungsfaktoren für Metalle und fossile Rohstoffe --- Anhang 2 - Wirkungsindikatorbeträge --- Anhang 3 – Distance-to-Target-Werte --- Anhang 4 – Globale Produktionsdaten --- Anhang 5 – Maximale normalisierte Distance-to-Target-Werte --- Anhang 6 – Normalisierte Distance-to-Target-Werte --- Anhang 7 – Auswertung der Stakeholder-Befragung --- Anhang 8 – Darstellung der Berechnung der Charakterisierungsfaktoren am Beispiel Silber
    Pages: Online-Ressource (XII, 161 Seiten)
    ISBN: 9783662492642
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-49264-2
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 77
    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
  • 78
    Unknown
    Mercury Pollution in Minamata (2018)
    Singapore : Springer
    Details
    Keywords: Environment ; Industrial management ; Environmental aspects ; Ecotoxicology ; Pollution prevention ; Water pollution ; Environmental sociology ; Environment ; Industrial Pollution Prevention ; Environmental Sociology ; Environmental Communication ; Ecotoxicology ; Corporate Environmental Management ; Waste Water Technology / Water Pollution Control / Water Management / Aquatic Pollution
    Description / Table of Contents: 1. Introduction --- 2. Lecture on the methylmercury poisoning occurred in Minamata (MPM) --- 3. Assignment to students
    Pages: Online-Ressource (IX, 67 pages) , 18 illustrations, 13 illustrations in color
    ISBN: 9789811073922
    URL: https://link.springer.com/openurl?genre=book&isbn=978-981-10-7392-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    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
  • 80
    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
  • 81
    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
  • 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
    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
  • 84
    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
  • 85
    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
  • 86
    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
  • 87
    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
  • 88
    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
  • 89
    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
  • 90
    Unknown
    Nuclear Back-end and Transmutation Technology for Waste Disposal : Beyond the Fukushima Accident (2015)
    Tokyo : Springer
    Details
    Keywords: Environment ; Nuclear physics ; Nuclear engineering ; Radiation protection ; Radiation ; Safety measures ; Waste management ; Pollution prevention ; Environment ; Effects of Radiation/Radiation Protection ; Nuclear Engineering ; Particle and Nuclear Physics ; Waste Management/Waste Technology ; Industrial Pollution Prevention
    Description / Table of Contents: This book covers essential aspects of transmutation technologies, highlighting especially the advances in Japan. The accident at the Fukushima Daiichi Nuclear Power Plant (NPP) has caused us to focus attention on a large amount of spent nuclear fuels stored in NPPs. In addition, public anxiety regarding the treatment and disposal of high-level radioactive wastes that require long-term control is growing. The Japanese policy on the back-end of the nuclear fuel cycle is still unpredictable in the aftermath of the accident. Therefore, research and development for enhancing the safety of various processes involved in nuclear energy production are being actively pursued worldwide. In particular, nuclear transmutation technology has been drawing significant attention after the accident. This publication is timely with the following highlights: 1) Development of accelerator-driven systems (ADSs), which is a brand-new reactor concept for transmutation of highly radioactive wastes; 2) Nuclear reactor systems from the point of view of the nuclear fuel cycle. How to reduce nuclear wastes or how to treat them including the debris from TEPCO’s Fukushima nuclear power stations is discussed; and 3) Environmental radioactivity, radioactive waste treatment, and geological disposal policy. State-of-the-art technologies for overall back-end issues of the nuclear fuel cycle as well as the technologies of transmutation are presented here. The chapter authors are actively involved in the development of ADSs and transmutation-related technologies. The future of the back-end issues in Japan is very uncertain after the accident at the Fukushima Daiichi NPP, and this book provides an opportunity for readers to consider the future direction of those issues
    Pages: Online-Ressource (XV, 341 pages) , 163 illustrations, 129 illustrations in color
    ISBN: 9784431551119
    URL: https://link.springer.com/openurl?genre=book&isbn=978-4-431-55111-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    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
  • 92
    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
  • 93
    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
  • 94
    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
  • 95
    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
  • 96
    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
  • 97
    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
  • 98
    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
  • 99
    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
  • 100
    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
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...