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
Filter
  • Computer science  (74)
  • 04. Solid Earth::04.04. Geology::04.04.03. Geomorphology
  • Climate change
  • Springer Nature  (106)
  • American Institute of Physics (AIP)
  • Nature Publishing Group
Collection
Keywords
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    At Risk of Deprivation (2023)
    Springer Nature | Springer VS
    Details
    Publication Date: 2024-04-05
    Description: This open access book examines how and why various forms of climate (im)mobilities can impact people's objective and subjective well-being. Worsening climate impacts are forcing subsistence farmers worldwide to decide between staying or leaving their homes. This mixed methods study analyzes cases of climate-related migration, displacement, relocation, and immobility in Peru's coastal, highland, and rainforest regions. The results reveal that numerous farmers experienced profound and often negative well-being impacts, regardless of whether they stayed or migrated. The higher the structural constraints, such as weak governance, and the more damaging the climate impacts were, the higher the risk of well-being declines. Additionally, the affected individuals often had limited agency and ability to mitigate losses. These findings challenge the notion of "migration as adaptation" and emphasize the importance of safeguarding the human rights and security of those affected while addressing loss and damage. Without significant investments in such efforts, climate impacts could sharply diminish the well-being of numerous subsistence farmers worldwide—irrespective of whether they stay or migrate.
    Keywords: Climate change ; Displacement ; Immobility ; Well-being ; Peru ; Migration ; Relocation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Road to Net Zero (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-03-30
    Description: With this open access book, delve into the insights of respected leaders from academia and industry as they unravel the intricacies of sustainability-driven business transformation. This meticulously curated edited volume reflects on The Road To Net Zero, underscoring the need for pioneering pathways. Embark on a collaborative learning journey and explore key issues along the road to transformation, such as crafting corporate sustainability strategies, new forms of corporate disclosure, transforming value chains, and harnessing the power of technological innovation. Packed with guiding questions and distilled findings from research, this book is a must-read for all decision-makers, strategists, engaged citizens, educators, and learners committed to driving change and shaping a more sustainable future.
    Keywords: Sustainable management ; Circular economy ; Business strategy ; Business transformation ; Paris agreement ; Science-based target setting ; Integrated reporting ; Sustainable product development ; Closed loop supply chain management ; Sustainable global value chains ; Sustainable production ; Electromobility ; Sustainability leadership ; Climate change ; Future of mobility ; Carbon neutral ; Innovation ; Sustainability targets ; Climate policy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJJ Business and the environment; ‘green’ approaches to business ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJC Business strategy ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KND Manufacturing industries ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Climate Adaptation Modelling (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2023-01-22
    Description: This open access book focuses on an issue only marginally tackled by this literature: the still existing gap between adaptation science and modelling and the possibility to effectively access and exploit the information produced by policy making at different levels, international, national and local. To do so, the book presents the proceedings of a high-level expert workshop on adaptation modelling, integrated with main results from the “Study on Adaptation Modelling” (SAM-PS) commissioned by the European Commission's Directorate-General for Climate Action (DG CLIMA) and implemented by the CMCC Foundation – Euro-Mediterranean Centre on Climate Change, in collaboration with the Institute for Environmental Studies (IVM), Deltares, and Paul Watkiss Associates (PWA). What is the latest development in adaptation modelling? Which tools and information are available for adaptation assessment? How much are they practically usable by the policy community? How their uptake by practitioners can be improved? What are the major research gaps in adaptation modelling that needs to be covered in the next future? How? This book addresses these questions presenting the results of a study on adaptation modelling commissioned by the European Commission's Directorate-General for Climate Action (DG CLIMA) enriched by the outcomes of a high-level expert workshop on adaptation also part of the research. This book aspires to provide a useful support to academics, policy makers and practitioners in the field of adaptation to orient them in the expanding adaptation modelling assessment literature and suggest practical ways for its application. This book, mainly addressed to academics, policy makers and practitioners in the field of adaptation, aims to providing orientation in the large and expanding methodological/quantitative literature, presenting novelties, guiding in the practical application of adaptation assessments and suggesting lines for future research. This open access book focuses on an issue only marginally tackled by this literature: the still existing gap between adaptation science and modelling and the possibility to effectively access and exploit the information produced by policy making at different levels, international, national and local. To do so, the book presents the proceedings of a high-level expert workshop on adaptation modelling, integrated with main results from the “Study on Adaptation Modelling” (SAM-PS) commissioned by the European Commission's Directorate-General for Climate Action (DG CLIMA) and implemented by the CMCC Foundation – Euro-Mediterranean Centre on Climate Change, in collaboration with the Institute for Environmental Studies (IVM), Deltares, and Paul Watkiss Associates (PWA).
    Keywords: Climate change ; Climate adaptation ; Climate modelling ; Hazard assessment ; Rapid analysis ; Climate-Change Policy ; Climate-Change Adaptation ; Climate-Change Impacts ; Climate Change Management ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBP Meteorology & climatology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNR Natural disasters ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; bic Book Industry Communication::P Mathematics & science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    Urban Water Demand Management (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2023-07-10
    Description: This open access book highlights knowledge and expertise in Urban Water Demand Management (WDM) in ASEAN through comprehensive literature review and analysis, as well as stakeholder consultations. It documents urban WDM policies, initiatives, and practices that have demonstrated effective implementation outcomes across various contexts and which are expected to be relevant for cities in ASEAN. A WDM typology developed for this book identifies four key WDM measures, namely: water losses, economic instruments, non-price mechanisms, and alternative water reuse systems in the ASEAN context. Case illustrations of their effective implementation in different ASEAN cities are also included.
    Keywords: Non-revenue Water ; Climate change ; Water Meters ; Water use efficiency ; Greywater Recycling (GWR) ; Wastewater Reclamation ; Water Supply Systems ; Stormwater Harvesting (SWH) ; Public Utilities Board (PUB) Singapore ; Singapore National Water Agency ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBK Hydrology & the hydrosphere ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Atlas of Global Change Risk of Population and Economic Systems (2022)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2022-02-15
    Description: This book is open access and illustrates the spatial distribution of the global change risk of population and economic systems with the maps of environment, global climate change, global population and economic systems, and global change risk. The risks of global change are mapped at 0.25 degree grid unit. The risk results and their contribution rates of the world at national level are unprecedentedly derived and ranked. The book can be a good reference for researchers and students in the field of global climate change and natural disaster risk management, as well as risk managers and enterpriser to understand the global change risk of population and economic systems.
    Keywords: Climate change ; SSPs and RCPs ; Global change risk ; Population and economic systems ; Contribution rate ; 0.25 degree ; Open Access ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNR Natural disasters ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBP Meteorology & climatology ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Interlocal Adaptations to Climate Change in East and Southeast Asia (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2022-03-16
    Description: This Open Access book’s main focus is agriculture and natural resource management, disaster risk reduction, and human resource development in the countries of East and Southeast Asia and Japan. Asia is one of the regions which is the most vulnerable to the impacts of climate change. More than sixty percent of the world’s people live in the region, making it the growth center of the world. Asia is vast and includes various countries and regions, this book is focused on East and Southeast Asia including Japan. It is essential to share the knowledge and experiences for adapting climate change among these areas. In order to tackle these issues, the book aims to: Promote inter-local lessons learnt sharing climate change adaptations; "agriculture and natural resource management" and "disaster risk reduction and human resource development" Provides insights into new adaptation measures and research approaches that can consider the regional nature of Southeast Asia Share practical adaptation options permeated by society in each country/region This book will be of interest to researchers and students examining climate change impacts in East and Southeast Asia.
    Keywords: Climate change ; Climate-Change Adaptation ; Disaster risk reduction ; East and Southeast Asia ; Agriculture ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBP Meteorology & climatology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNR Natural disasters ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Understanding Globalization, Global Gaps, and Power Shifts in the 21st Century (2022)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-04-07
    Description: This book aims to help readers make sense of our changing world by sharing the views of global thought leaders on some of the most important issues of our time, from US-China relations and global governance to climate change and the COVID-19 pandemic. The ten dialogues in this book were part of the “China and the World” series of online discussions hosted by the Center for China and Globalization (CCG). The series features CCG President Huiyao Wang in conversation with experts from a range of fields, from renowned scholars of international relations, economics, and history, to journalists, policymakers, and business leaders. The speakers featured in this book are Graham Allison, David Blair, Kerry Brown, Anne Case, Li Chen, Wendy Cutler, Angus Deaton, Thomas L. Friedman, Valerie Hansen, Pascal Lamy, Kishore Mahbubani, Joseph S. Nye Jr., Adam Posen, J. Stapleton Roy, John L. Thornton, Huiyao Wang, Martin Wolf, and Zhu Guangyao. These wide-ranging discussions offer unique insights and perspectives on key trends shaping our world in the 21st century. These include the rise of China and shifts in geopolitics, as well as the evolving nature of globalization, transnational threats, and multilateralism. This is an open access book. This is an open access book.
    Keywords: US-China relations ; Climate change ; international relations ; globalization ; diplomacy ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCL International economics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJS Sales and marketing::KJSM Market research
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Transformational Change for People and the Planet (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2022-02-15
    Description: This Open Access book deals with the pressing question of how to achieve transformational change that reconciles development with environmental sustainability. It particularly focuses on the role of evaluation in finding sustainable solutions. Environment and development are closely interlinked, as are human health and ecosystem health. The pandemic that began in 2020 demonstrated in no uncertain terms how destruction of habitats has allowed hitherto unknown pathogens spill over to humans wreaking havoc on people’s lives and livelihoods. We are already seeing the impacts of global climate change in terms of heatwaves, forest fires and increased storms. The Sustainable Development Goals (SDGs) explicitly recognize the equal importance of the social, economic and environmental dimensions of development. In these turbulent times, when humankind faces multiple complex challenges it is essential to know that our responses are effective and that they make a positive difference. Evaluation can provide invaluable lessons to how we design policies, strategies and programs and how we allocate limited resources between competing priorities. This book brings together key thinkers and practitioners from the public and private sectors, from major multilateral organizations and from bilateral donor agencies, to present the latest knowledge and experience on how to evaluate interventions in the nexus of environment and development. The book does not promote any particular approach or methodology, but rather emphasizes the need for mixed methods to address the question at hand in the best and most suitable manner. It covers cases from a variety of fields, from climate change mitigation and adaptation, energy efficiency and renewable energy, natural resources management, biodiversity conservation and more. This book is not a conference proceedings although it has its roots in the Third International Conference on Evaluating Environment and Development organized by the GEF Independent Evaluation Office in October 2019. The conference brought together a larger number of established and upcoming evaluators, researchers and evaluation users from the Global North and South, representing a wide variety of organizations, to discuss the frontiers of environment and development evaluation. Following the conference, the editors identified and contacted the participants who made key contributions at the conference and asked them to develop their ideas and papers into book chapters according to a coherent plan.
    Keywords: Climate change ; Environmental management ; Global policy ; International organizations ; Sustainable development ; Open Access ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JK Social services & welfare, criminology::JKS Social welfare & social services::JKSN Social work
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Green Infrastructure and Climate Change Adaptation (2022)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2024-04-05
    Description: This open access book introduces the function, implementation and governance of green infrastructure in Japan and other countries where lands are geologically fragile and climatologically susceptible to climate change. It proposes green infrastructure as an adaptation strategy for climate change and biodiversity conservation. In the face of climate change, dams, levees and floodways built as disaster prevention facilities do not sufficiently function against extraordinary events such as mega-floods and tsunami disasters. To prevent those disasters and loss of biodiversity in various ecosystems, we should shift from conventional hard measures to more adaptive strategies using various functions that natural and semi-natural ecosystems provide. Green infrastructure is an interconnected network of waterways, wetlands, woodlands, wildlife habitats and other natural areas that support native species, maintain natural ecological processes, sustain air and water resources and contribute to the health and quality of life for communities and people. Green infrastructure has mainly been discussed from adaptation strategy perspectives in cities and urban areas. However, to protect cities, which are generally situated at downstream lower elevations, we explore the preservation and restoration of forests at headwater basins and wetlands along rivers from a catchment perspective. In addition, the quantitative examination of flood risk, biodiversity, and social-economic benefits described in this book brings new perspectives to the discussion. The aim of this book is to accelerate the transformative changes from gray-based adaptation strategies to green- or hybrid-based strategies to adapt to climate change. The book provides essential information on the structure, function, and maintenance of green infrastructure for scientists, university students, government officers, and practitioners.
    Keywords: Open Access ; Green infrastructure ; Ecosystem-based disaster risk reduction ; Climate change ; Adaptation strategy ; Flood ; Tsunami ; Hybrid-infrastructure ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Old Ways for New Days (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2022-09-22
    Description: This Open Access book provides a critical reflection into how indigenous cultures are attempting to adapt to climate change. Through detailed first-hand accounts, the book describes the unique challenges facing indigenous peoples in the context of climate change adaptation, governance, communication strategies, and institutional pressures. The book shows how current climate change terminologies and communication strategies often perpetuate the marginalisation of indigenous peoples and suggests that new approaches that prioritise Indigenous voices, agency and survival are required. The book first introduces readers to Indigenous peoples and their struggles related to climate change, describing the impacts of climate change on their everyday lives and the adaptation strategies currently undertaken to address them. These strategies are then detailed through case studies which focus on how Indigenous knowledge and practices have been used to respond to and cope with climate change in a variety of environments, including urban settings. The book discusses specific governance challenges facing Indigenous peoples, and presents new methods for engagement that will bridge existing communication gaps to ensure Indigenous peoples are central to the implementation of climate change adaptation measures. This book is intended for an audience of Indigenous peoples, adaptation practitioners, academics, students, policy makers and government workers. ; Documents for the first time how some of the world's oldest living indigenous cultures are attempting to adapt to climate change Summarizes key issues facing indigenous peoples in the context of adaptation to climate change impacts Offers critical reflection on specific governance challenges faced by indigenous peoples
    Keywords: Indigenous peoples ; Climate change ; Adaptation strategies ; Environmental management ; Indigenous knowledge ; Urban indigenous adaptation strategies ; Governance and policy challenges ; Community engagement ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNK Environment, transport & planning law::LNKJ Environment law ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RND Environmental policy & protocols ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFS Social groups::JFSL Ethnic studies ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFC Cultural studies ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPV Political control & freedoms::JPVH Human rights
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    facet.materialart.
    Unknown
    The Privacy Engineer's Manifesto (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    Manual of Digital Earth (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book offers a summary of the development of Digital Earth over the past twenty years. By reviewing the initial vision of Digital Earth, the evolution of that vision, the relevant key technologies, and the role of Digital Earth in helping people respond to global challenges, this publication reveals how and why Digital Earth is becoming vital for acquiring, processing, analysing and mining the rapidly growing volume of global data sets about the Earth. The main aspects of Digital Earth covered here include: Digital Earth platforms, remote sensing and navigation satellites, processing and visualizing geospatial information, geospatial information infrastructures, big data and cloud computing, transformation and zooming, artificial intelligence, Internet of Things, and social media. Moreover, the book covers in detail the multi-layered/multi-faceted roles of Digital Earth in response to sustainable development goals, climate changes, and mitigating disasters, the applications of Digital Earth (such as digital city and digital heritage), the citizen science in support of Digital Earth, the economic value of Digital Earth, and so on. This book also reviews the regional and national development of Digital Earth around the world, and discusses the role and effect of education and ethics. Lastly, it concludes with a summary of the challenges and forecasts the future trends of Digital Earth. By sharing case studies and a broad range of general and scientific insights into the science and technology of Digital Earth, this book offers an essential introduction for an ever-growing international audience.
    Keywords: Geography ; Remote sensing ; Physical geography ; Computers ; Big data ; Sustainable development ; Climate change ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RND Environmental policy & protocols ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::U Computing & information technology::UN Databases ; bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    Pro TBB (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices to help you become an effective TBB programmer and leverage the power of parallel systems. Pro TBB starts with the basics, explaining parallel algorithms and C++'s built-in standard template library for parallelism. You'll learn the key concepts of managing memory, working with data structures and how to handle typical issues with synchronization. Later chapters apply these ideas to complex systems to explain performance tradeoffs, mapping common parallel patterns, controlling threads and overhead, and extending TBB to program heterogeneous systems or system-on-chips. What You'll Learn Use Threading Building Blocks to produce code that is portable, simple, scalable, and more understandable Review best practices for parallelizing computationally intensive tasks in your applications Integrate TBB with other threading packages Create scalable, high performance data-parallel programs Work with generic programming to write efficient algorithms Who This Book Is For C++ programmers learning to run applications on multicore systems, as well as C or C++ programmers without much experience with templates. No previous experience with parallel programming or multicore processors is required. ;
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Algorithms ; Data structures (Computer science) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    facet.materialart.
    Unknown
    Principles of Security and Trust (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    facet.materialart.
    Unknown
    The Amazing Journey of Reason (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –living matter included? The Amazing Journey analyzes the latest results in chemistry, biology, neuroscience, anthropology and sociology under the light of the evolution of intelligence, seen as the ability of processing information. The main strength of this book is using just two concepts used in physics –information and energy– to explain: The emergence and evolution of life: procaryotes, eukaryotes and complex organisms The emergence and evolution of the brain The emergence and evolution of societies (human and not) Possible evolution of our "internet society" and the role that Artificial Intelligence is playing
    Keywords: Computer science ; Computer science—Mathematics ; Input-output equipment (Computers) ; Computer communication systems ; Operating systems (Computers) ; Algorithms ; Mathematical logic ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Computer Vision Metrics (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    Optimizing HPC Applications with Intel Cluster Tools (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    Climate-Smart Food (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book asks just how climate-smart our food really is. It follows an average day's worth of food and drink to see where it comes from, how far it travels, and the carbon price we all pay for it. From our breakfast tea and toast, through breaktime chocolate bar, to take-away supper, Dave Reay explores the weather extremes the world’s farmers are already dealing with, and what new threats climate change will bring. Readers will encounter heat waves and hurricanes, wildfires and deadly toxins, as well as some truly climate-smart solutions. In every case there are responses that could cut emissions while boosting resilience and livelihoods. Ultimately we are all in this together, our decisions on what food we buy and how we consume it send life-changing ripples right through the global web that is our food supply. As we face a future of 10 billion mouths to feed in a rapidly changing climate, it’s time to get to know our farmers and herders, our vintners and fisherfolk, a whole lot better. ;
    Keywords: Popular works ; Nature ; Environment ; Environment ; Environmental geography ; Climate change ; Climate change ; Agriculture ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::P Mathematics & science::PD Science: general issues::PDZ Popular science ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RND Environmental policy & protocols ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 20
    facet.materialart.
    Unknown
    Automated Machine Learning (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself. This book serves as a point of entry into this quickly-developing field for researchers and advanced students alike, as well as providing a reference for practitioners aiming to use AutoML in their work.
    Keywords: Computer science ; Artificial intelligence ; Optical data processing ; Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    facet.materialart.
    Unknown
    TouchDevelop (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    facet.materialart.
    Unknown
    GUI Design for Android Apps (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    facet.materialart.
    Unknown
    Agile Processes in Software Engineering and Extreme Programming (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years The 15 full papers presented in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections named: agile adoption, agile practices; large-scale agile; agility beyond IT, and the future of agile. ;
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: 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 verification 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.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 26
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    facet.materialart.
    Unknown
    Pro Git (Second Edition) (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 28
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 29
    facet.materialart.
    Unknown
    Natural Computing and Beyond (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    facet.materialart.
    Unknown
    The Geopolitics of the Global Energy Transition (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: The world is currently undergoing an historic energy transition, driven by increasingly stringent decarbonisation policies and rapid advances in low-carbon technologies. The large-scale shift to low-carbon energy is disrupting the global energy system, impacting whole economies, and changing the political dynamics within and between countries. This open access book, written by leading energy scholars, examines the economic and geopolitical implications of the global energy transition, from both regional and thematic perspectives. The first part of the book addresses the geopolitical implications in the world’s main energy-producing and energy-consuming regions, while the second presents in-depth case studies on selected issues, ranging from the geopolitics of renewable energy, to the mineral foundations of the global energy transformation, to governance issues in connection with the changing global energy order. Given its scope, the book will appeal to researchers in energy, climate change and international relations, as well as to professionals working in the energy industry.
    Keywords: International Relations ; Energy Policy, Economics and Management ; Natural Resource and Energy Economics ; Climate Change/Climate Change Impacts ; Environmental Economics ; Earth System Sciences ; Energy transition geopolitics ; International decarbonisation policies ; Global warming ; Global energy system ; Geopolitics of the global energy transition ; Economic and political impacts of low-carbon technologies ; Power generation mix ; Geopolitical implications of global warming ; Governance of the global energy order ; Open Access ; International relations ; Energy technology & engineering ; Energy industries & utilities ; Environmental economics ; Climate change ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 31
    facet.materialart.
    Unknown
    Sustainable Development Goals and Human Rights (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-08
    Description: This open access book analyses the interplay of sustainable development and human rights from different perspectives including fight against poverty, health, gender equality, working conditions, climate change and the role of private actors. Each aspect is addressed from a more human rights-focused angle and a development-policy angle. This allows comparisons between the different approaches but also seeks to close gaps which would remain if only one perspective would be at the center of the discussions. Specifically, the book shows the strong connections between human rights and the objectives of the 2030 Agenda for Sustainable Development and the Sustainable Development Goals adopted by the United Nations in 2015. Already the preamble of this document explicitly states that “the 17 Sustainable Development Goals ... seek to realise the human rights of all”. Moreover, several goals and targets of the 2030 Agenda correspond to already existing individual human rights obligations. The contributions of this volume therefore also address how the implementation of human rights and SDGs can reinforce each other, but also point to critical shortcomings of the different approaches.
    Keywords: Law ; Human rights ; Economic development—Environmental aspects ; Sustainable development ; Economic policy ; Social justice ; Human rights ; Climate change ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPV Political control and freedoms::JPVH Human rights, civil rights ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 32
    facet.materialart.
    Unknown
    Agile Processes in Software Engineering and Extreme Programming – Workshops (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. Research papers and talks submissions were invited for the three XP 2019 research workshops, namely, agile transformation, autonomous teams, and large scale agile. This book includes 15 related papers. In addition, a summary for each of the four panels at XP 2019 is included. The panels were on security and privacy; the impact of the agile manifesto on culture, education, and software practices; business agility – agile’s next frontier; and Agile – the next 20 years.
    Keywords: Computer science ; Software engineering ; Management information systems ; Computer science ; Management information systems ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    facet.materialart.
    Unknown
    The Economics of Water (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access textbook provides a concise introduction to economic approaches and mathematical methods for the study of water allocation and distribution problems. Written in an accessible and straightforward style, it discusses and analyzes central issues in integrated water resource management, water tariffs, water markets, and transboundary water management. By illustrating the interplay between the hydrological cycle and the rules and institutions that govern today’s water allocation policies, the authors develop a modern perspective on water management. Moreover, the book presents an in-depth assessment of the political and ethical dimensions of water management and its institutional embeddedness, by discussing distribution issues and issues of the enforceability of human rights in managing water resources. Given its scope, the book will appeal to advanced undergraduate and graduate students of economics and engineering, as well as practitioners in the water sector, seeking a deeper understanding of economic approaches to the study of water management.
    Keywords: Natural Resource and Energy Economics ; Water Policy/Water Governance/Water Management ; Waste Water Technology / Water Pollution Control / Water Management / Aquatic Pollution ; Environmental Economics ; Water ; Pollution ; Water economics ; Sustainable water management ; Water engineering ; Hydro-economic models ; Affordable water tariffs ; Eco-hydrology ; Human rights to water ; Water recycling ; Open Access book ; Climate change ; Environmental economics ; Environmental management, ; Water supply & treatment ; Energy industries & utilities ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCN Environmental economics ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology::TQS Sanitary & municipal engineering::TQSW Water supply & treatment
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    facet.materialart.
    Unknown
    Programming Persistent Memory (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: Beginning and experienced programmers will use this comprehensive guide to persistent memory programming. You will understand how persistent memory brings together several new software/hardware requirements, and offers great promise for better performance and faster application startup times—a huge leap forward in byte-addressable capacity compared with current DRAM offerings. This revolutionary new technology gives applications significant performance and capacity improvements over existing technologies. It requires a new way of thinking and developing, which makes this highly disruptive to the IT/computing industry. The full spectrum of industry sectors that will benefit from this technology include, but are not limited to, in-memory and traditional databases, AI, analytics, HPC, virtualization, and big data. Programming Persistent Memory describes the technology and why it is exciting the industry. It covers the operating system and hardware requirements as well as how to create development environments using emulated or real persistent memory hardware. The book explains fundamental concepts; provides an introduction to persistent memory programming APIs for C, C++, JavaScript, and other languages; discusses RMDA with persistent memory; reviews security features; and presents many examples. Source code and examples that you can run on your own systems are included. What You’ll Learn Understand what persistent memory is, what it does, and the value it brings to the industry Become familiar with the operating system and hardware requirements to use persistent memory Know the fundamentals of persistent memory programming: why it is different from current programming methods, and what developers need to keep in mind when programming for persistence Look at persistent memory application development by example using the Persistent Memory Development Kit (PMDK) Design and optimize data structures for persistent memory Study how real-world applications are modified to leverage persistent memory Utilize the tools available for persistent memory programming, application performance profiling, and debugging Who This Book Is For C, C++, Java, and Python developers, but will also be useful to software, cloud, and hardware architects across a broad spectrum of sectors, including cloud service providers, independent software vendors, high performance compute, artificial intelligence, data analytics, big data, etc.
    Keywords: Computer science ; Computer communication systems ; Big data ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 35
    facet.materialart.
    Unknown
    Learn BlackBerry 10 App Development (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-04
    Description: This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
    Keywords: Computer science ; Mathematical logic ; Artificial intelligence ; Computer science—Mathematics ; Data structures (Computer science) ; Programming languages (Electronic computers) ; Computer programming ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 37
    facet.materialart.
    Unknown
    Real-time Linked Dataspaces (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 38
    facet.materialart.
    Unknown
    Supercomputing Frontiers (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 5th Asian Supercomputing Conference, SCFA 2019, held in Singapore in March 2019. The 6 full papers presented in this book were carefully reviewed and selected from 33 submissions. They cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, resource usage prediction, and data caching.
    Keywords: Computer science ; Computer organization ; User interfaces (Computer systems) ; Optical data processing ; Operating systems (Computers) ; Microprogramming  ; Input-output equipment (Computers) ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 39
    facet.materialart.
    Unknown
    The Demography of Disasters (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book provides worldwide examples demonstrating the importance of the interplay between demography and disasters in regions and spatially. It marks an advance in practical and theoretical insights for understanding the role of demography in planning for and mitigating impacts from disasters in developed nations. Both slow onset (like the of loss polar ice from climate change) and sudden disasters (such as cyclones and man-made disasters) have the capacity to fundamentally change the profiles of populations at local and regional levels. Impacts vary according to the type, rapidity and magnitude of the disaster, but also according to the pre-existing population profile and its relationships to the economy and society. In all cases, the key to understanding impacts and avoiding them in the future is to understand the relationships between disasters and population change. In most chapters in this book we compare and contrast studies from at least two cases and summarize their practical and theoretical lessons.
    Keywords: Demography ; Human Geography ; Climate Change ; Statistics for Social Sciences, Humanities, Law ; Population Economics ; Natural Hazards ; Population and Demography ; Environmental Sciences ; Statistics in Social Sciences, Humanities, Law, Education, Behavorial Sciences, Public Policy ; Impact of disasters ; Demograhic change ; Regional effects of disasters ; Population dynamics ; Environmental change ; Open access ; Population & demography ; Human geography ; Climate change ; Social research & statistics ; Political economy ; Natural disasters ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBD Population & demography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBC Social research & statistics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNR Natural disasters
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 40
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    facet.materialart.
    Unknown
    High-Performance Modelling and Simulation for Big Data Applications (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book was prepared as a Final Publication of the COST Action IC1406 “High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)“ project. Long considered important pillars of the scientific method, Modelling and Simulation have evolved from traditional discrete numerical methods to complex data-intensive continuous analytical optimisations. Resolution, scale, and accuracy have become essential to predict and analyse natural and complex systems in science and engineering. When their level of abstraction raises to have a better discernment of the domain at hand, their representation gets increasingly demanding for computational and data resources. On the other hand, High Performance Computing typically entails the effective use of parallel and distributed processing units coupled with efficient storage, communication and visualisation systems to underpin complex data-intensive applications in distinct scientific and technical domains. It is then arguably required to have a seamless interaction of High Performance Computing with Modelling and Simulation in order to store, compute, analyse, and visualise large data sets in science and engineering. Funded by the European Commission, cHiPSet has provided a dynamic trans-European forum for their members and distinguished guests to openly discuss novel perspectives and topics of interests for these two communities. This cHiPSet compendium presents a set of selected case studies related to healthcare, biological data, computational advertising, multimedia, finance, bioinformatics, and telecommunications.
    Keywords: Computer science ; Computer system failures ; Computer communication systems ; Microprocessors ; Application software ; Logic design ; Operating systems (Computers) ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 42
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: 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 verification 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.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 43
    facet.materialart.
    Unknown
    Enhanced Living Environments (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-15
    Description: This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate ICT algorithms, architectures, platforms, and systems, having in view the advance of science and technology in this area and the development of new and innovative solutions that can provide improvements in the quality of life for people in their homes and can reduce the financial burden on the budgets of the healthcare providers. The aim of this book is to become a state-of-the-art reference, discussing progress made, as well as prompting future directions on theories, practices, standards, and strategies related to the ELE area. The book contains 12 chapters and can serve as a valuable reference for undergraduate students, post-graduate students, educators, faculty members, researchers, engineers, medical doctors, healthcare organizations, insurance companies, and research strategists working in this area.
    Keywords: Computer science ; Computer organization ; User interfaces (Computer systems) ; Application software ; Artificial intelligence ; Optical data processing ; Application software ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 45
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 46
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 47
    facet.materialart.
    Unknown
    How AI Impacts Urban Living and Public Health (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and smart environment technology.
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; User interfaces (Computer systems) ; Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 48
    facet.materialart.
    Unknown
    Intel Trusted Execution Technology for Server Platforms (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 49
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
    Keywords: Computer science ; Computer logic ; Mathematical logic ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 50
    facet.materialart.
    Unknown
    Understanding Risks and Uncertainties in Energy and Climate Policy (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-16
    Description: This open access book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and assessment of energy and climate policies. In particular, it examines energy and climate policy performance and associated risks, as well as public acceptance and portfolio analysis in climate policy, and presents methods for evaluating the costs and benefits of flexible policy implementation as well as new framings for business and market actors. In turn, it discusses the development of alternative policy pathways and the identification of optimal switching points, drawing on concrete examples to do so. Lastly, it discusses climate change mitigation policies’ implications for the agricultural, food, building, transportation, service and manufacturing sectors. ; Open Access Presents a comprehensive tool set of methods for devising energy and climate policies Focuses on methods that are robust and adaptive enough to mitigate risks Investigates implications of climate change mitigation policies to various sectors
    Keywords: Economics ; Management science ; Environmental economics ; Operations research ; Decision making ; Climate change ; Energy policy ; Energy and state ; Public policy ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJT Operational research ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RND Environmental policy and protocols ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 51
    facet.materialart.
    Unknown
    Governance of Arctic Shipping (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book is a result of the Dalhousie-led research project Safe Navigation and Environment Protection, supported by a grant from the Ocean Frontier Institute’s the Canada First Research Excellent Fund (CFREF). The book focuses on Arctic shipping and investigates how ocean change and anthropogenic impacts affect our understanding of risk, policy, management and regulation for safe navigation, environment protection, conflict management between ocean uses, and protection of Indigenous peoples’ interests. A rapidly changing Arctic as a result of climate change and ice loss is rendering the North more accessible, providing new opportunities while producing impacts on the Arctic. The book explores ideas for enhanced governance of Arctic shipping through risk-based planning, marine spatial planning and scaling up shipping standards for safety, environment protection and public health.
    Keywords: Polar Geography ; Climate Change/Climate Change Impacts ; Water Policy/Water Governance/Water Management ; Environmental Management ; Freshwater & Marine Ecology ; Physical Geography ; Earth System Sciences ; Water ; Freshwater and Marine Ecology ; Arctic cruise shipping ; Arctic fisher safety ; Climate change impacts in the Arctic region ; Governance of the Arctic and Northwest Atlantic ; Marine spatial planning ; Northwest Atlantic and Canadian Eastern Arctic Gateway ; Safe navigation and environment protection ; Sea ice in the Arctic ; Search and Rescue (SAR) ; Open Access ; Physical geography & topography ; Climate change ; Environmental management, ; Ecological science, the Biosphere ; Hydrobiology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 52
    facet.materialart.
    Unknown
    Handbook of Vascular Biometrics (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access handbook provides the first comprehensive overview of biometrics exploiting the shape of human blood vessels for biometric recognition, i.e. vascular biometrics, including finger vein recognition, hand/palm vein recognition, retina recognition, and sclera recognition. After an introductory chapter summarizing the state of the art in and availability of commercial systems and open datasets/open source software, individual chapters focus on specific aspects of one of the biometric modalities, including questions of usability, security, and privacy. The book features contributions from both academia and major industrial manufacturers.
    Keywords: Computer science ; Biometrics (Biology) ; Computer security ; User interfaces (Computer systems) ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    facet.materialart.
    Unknown
    Managing Risk and Information Security: Protect to Enable (First Edition) (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 54
    facet.materialart.
    Unknown
    The Interconnected Arctic — UArctic Congress 2016 (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book presents the most current research results and knowledge from five multidisciplinary themes: Vulnerability of Arctic Environments, Vulnerability of Arctic Societies, Local and Traditional Knowledge, Building Long-term Human Capacity, New Markets for the Arctic, including tourism and safety. The themes are those discussed at the first ever UArctic Congress Science Section, St. Petersburg, Russia, September 2016. The book looks at the Arctic from a holistic perspective; how the environment (both marine and terrestrial) and communities can adapt and manage the changes due to climate change. The chapters provide examples of the state-of-the-art research, bringing together both scientific and local knowledge to form a comprehensive and cohesive volume. Except where otherwise noted, this book is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/. ; Provides a multidisciplinary view on topical Arctic issues and research Discusses capacity building on different scales Shares knowledge about the northern systems across the Arctic
    Keywords: Environmental Management ; Climate Change/Climate Change Impacts ; Quality of Life Research ; Environment Studies ; Political Economy/Economic Systems ; Earth System Sciences ; Environmental Sciences ; Political Economy and Economic Systems ; Climate change and the Arctic ; Human capacity and knowledge building ; Vulnerability of Arctic environments ; Marine and terrestrial polar landscapes ; Local, indigenous knowledge and tourism ; Open Access ; Environmental management, ; Climate change ; Social & ethical issues ; Society & Social Sciences ; The environment ; Political economy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 55
    facet.materialart.
    Unknown
    Intel Galileo and Intel Galileo Gen 2 (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    facet.materialart.
    Unknown
    Loss and Damage from Climate Change (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-30
    Description: This book provides an authoritative insight on the Loss and Damage discourse by highlighting state-of-the-art research and policy linked to this discourse and articulating its multiple concepts, principles and methods. Written by leading researchers and practitioners, it identifies practical and evidence-based policy options to inform the discourse and climate negotiations. With climate-related risks on the rise and impacts being felt around the globe has come the recognition that climate mitigation and adaptation may not be enough to manage the effects from anthropogenic climate change. This recognition led to the creation of the Warsaw International Mechanism on Loss and Damage in 2013, a climate policy mechanism dedicated to dealing with climate-related effects in highly vulnerable countries that face severe constraints and limits to adaptation. Endorsed in 2015 by the Paris Agreement and effectively considered a third pillar of international climate policy, debate and research on Loss and Damage continues to gain enormous traction. Yet, concepts, methods and tools as well as directions for policy and implementation have remained contested and vague. Suitable for researchers, policy-advisors, practitioners and the interested public, the book furthermore: • discusses the political, legal, economic and institutional dimensions of the issue • highlights normative questions central to the discourse • provides a focus on climate risks and climate risk management. • presents salient case studies from around the world. ; First comprehensive stocktaking exercise highlighting the state of the art of research, political debate and policy options on loss and damage and the debate on risks "beyond adaptation" Articulates principles and definitions of loss and damage, and highlights ethical and normative issues central to the discourse Identifies practical and evidence-based policy and implementation options for its operationalization
    Keywords: Environment ; Climate change ; Climate change ; Climate change ; Environmental law ; Environmental policy ; Risk management ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques ; thema EDItEUR::L Law::LN Laws of specific jurisdictions and specific areas of law::LNK Environment, transport and planning law: general::LNKJ Environment law ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RND Environmental policy and protocols ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 57
    facet.materialart.
    Unknown
    The InfoSec Handbook (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 58
    facet.materialart.
    Unknown
    Demystifying Internet of Things Security (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: Break down the misconceptions of the Internet of Things by examining the different security building blocks available in Intel Architecture (IA) based IoT platforms. This open access book reviews the threat pyramid, secure boot, chain of trust, and the SW stack leading up to defense-in-depth. The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Security Engine capabilities to simplify it. This book explores the challenges to secure these devices to make them immune to different threats originating from within and outside the network. The requirements and robustness rules to protect the assets vary greatly and there is no single blanket solution approach to implement security. Demystifying Internet of Things Security provides clarity to industry professionals and provides and overview of different security solutions What You'll Learn Secure devices, immunizing them against different threats originating from inside and outside the network Gather an overview of the different security building blocks available in Intel Architecture (IA) based IoT platforms Understand the threat pyramid, secure boot, chain of trust, and the software stack leading up to defense-in-depth Who This Book Is For Strategists, developers, architects, and managers in the embedded and Internet of Things (IoT) space trying to understand and implement the security in the IoT devices/platforms.
    Keywords: Computer science ; Computer communication systems ; Computer security ; Information technology ; Business—Data processing ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ; bic Book Industry Communication::U Computing & information technology::UR Computer security
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 59
    facet.materialart.
    Unknown
    The Future of Software Quality Assurance (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing experts in order to highlight the state of the art as well as future challenges and trends. In addition, it covers current and emerging technologies like test automation, DevOps, and artificial intelligence methodologies used for software testing, before taking a look into the future. The contributing authors answer questions like: "How is the profession of tester currently changing? What should testers be prepared for in the years to come, and what skills will the next generation need? What opportunities are available for further training today? What will testing look like in an agile world that is user-centered and fast-paced? What tasks will remain for testers once the most important processes are automated?" iSQI has been focused on the education and certification of software testers for fifteen years now, and in the process has contributed to improving the quality of software in many areas. The papers gathered here clearly reflect the numerous ways in which software quality assurance can play a critical role in various areas. Accordingly, the book will be of interest to both professional software testers and managers working in software testing or software quality assurance.
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 60
    facet.materialart.
    Unknown
    Building the Infrastructure for Cloud Security (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 61
    facet.materialart.
    Unknown
    The Climate-Smart Agriculture Papers (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: Environment; Environmental management; Agriculture; Climate change; Soil science; Soil conservation; Environmental law; Environmental policy
    Keywords: Environment ; Environmental management ; Agriculture ; Climate change ; Soil science ; Soil conservation ; Environmental law ; Environmental policy ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNK Environment, transport & planning law::LNKJ Environment law ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBG Geology & the lithosphere::RBGB Soil science, sedimentology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 62
    facet.materialart.
    Unknown
    Assessment of Climate Change over the Indian Region (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book discusses the impact of human-induced global climate change on the regional climate and monsoons of the Indian subcontinent, adjoining Indian Ocean and the Himalayas. It documents the regional climate change projections based on the climate models used in the IPCC Fifth Assessment Report (AR5) and climate change modeling studies using the IITM Earth System Model (ESM) and CORDEX South Asia datasets. The IPCC assessment reports, published every 6–7 years, constitute important reference materials for major policy decisions on climate change, adaptation, and mitigation. While the IPCC assessment reports largely provide a global perspective on climate change, the focus on regional climate change aspects is considerably limited. The effects of climate change over the Indian subcontinent involve complex physical processes on different space and time scales, especially given that the mean climate of this region is generally shaped by the Indian monsoon and the unique high-elevation geographical features such as the Himalayas, the Western Ghats, the Tibetan Plateau and the adjoining Indian Ocean, Arabian Sea, and Bay of Bengal. This book also presents policy relevant information based on robust scientific analysis and assessments of the observed and projected future climate change over the Indian region.
    Keywords: Earth System Sciences ; Climate Change/Climate Change Impacts ; Climate Change Management and Policy ; Climatology ; Climate Change ; Environmental Sciences ; Indian Subcontinent ; Indian Ocean ; Himalayas ; Monsoon ; Temperature Changes ; Atmospheric Trace Gases ; Droughts and Floods ; Himalayan Cryosphere ; Open Access ; Earth sciences ; Environmental science, engineering & technology ; Climate change ; The environment ; Meteorology & climatology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RND Environmental policy & protocols ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBP Meteorology & climatology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 63
    facet.materialart.
    Unknown
    Ganzheitliche Digitalisierung von Prozessen (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: In diesem Open-Access-Buch wird das Geschäftsprozessmanagement als ein ganzheitlicher Prozess begriffen, der der Mitwirkung aller Stakeholder bedarf. Denn das traditionelle Business Process Engineering stößt heute angesichts der Digitalisierung und der dynamischen Entwicklung von Organisationen immer mehr an seine Grenzen, beispielsweise bezüglich Agilität. Um nun das Wesen von Aufgaben und Abläufen in Organisationen zu erfassen, schlagen die Autoren einen Perspektivwechsel vor: das Denken in Kommunikationsprozessen. Dieses Konzept lässt sich wirtschaftlich, organisatorisch und technisch ohne einschlägige Vorkenntnisse umsetzen. Leserinnen und Leser finden in dem Buch konkrete Handlungsanleitungen für die Digitalisierung von organisationsrelevanten Abläufen. Daneben liefern die Autoren Einblicke in die Systemtheorie und in das Design Thinking. Ihr Ziel ist, Konzepte einfach und verständlich zu erläutern, ohne dabei komplexe Zusammenhänge zu vernachlässigen. Dank ausführlicher Konzeptdarstellung und Ausflüge in die Theorie mit Beispielen aus der Praxis, eignet es sich für Studierende und für Wissenschaftler genauso wie für Praktiker. Entwickler und andere Fachkräfte aus den Bereichen Operatives Management, Geschäftsprozessmanagement, Organisationsentwicklung, Qualitätsmanagement, Wissensmanagement werden sich von der Übersichtlichkeit und dem Nutzwert angesprochen fühlen.
    Keywords: Computer science ; Computers ; Management ; Industrial management ; Information technology ; Business—Data processing ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    facet.materialart.
    Unknown
    Internet of Things. Information Processing in an Increasingly Connected World (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed post-conference proceedings of the First IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 12 full papers presented were carefully reviewed and selected from 24 submissions. Also included in this volume are 4 WCC 2018 plenary contributions, an invited talk and a position paper from the IFIP domain committee on IoT. The papers cover a wide range of topics from a technology to a business perspective and include among others hardware, software and management aspects, process innovation, privacy, power consumption, architecture, applications.
    Keywords: Computer science ; Special purpose computers ; Application software ; Computer communication systems ; Artificial intelligence ; Computer system failures ; Operating systems (Computers) ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    facet.materialart.
    Unknown
    Ray Tracing Gems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is a must-have for anyone serious about rendering in real time. With the announcement of new ray tracing APIs and hardware to support them, developers can easily create real-time applications with ray tracing as a core component. As ray tracing on the GPU becomes faster, it will play a more central role in real-time rendering. Ray Tracing Gems provides key building blocks for developers of games, architectural applications, visualizations, and more. Experts in rendering share their knowledge by explaining everything from nitty-gritty techniques that will improve any ray tracer to mastery of the new capabilities of current and future hardware. What you'll learn: The latest ray tracing techniques for developing real-time applications in multiple domains Guidance, advice, and best practices for rendering applications with Microsoft DirectX Raytracing (DXR) How to implement high-performance graphics for interactive visualizations, games, simulations, and more Who this book is for: Developers who are looking to leverage the latest APIs and GPU technology for real-time rendering and ray tracing Students looking to learn about best practices in these areas Enthusiasts who want to understand and experiment with their new GPUs
    Keywords: Computer science ; Computer graphics ; Computer games—Programming ; Optical data processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMK Games development and programming ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UML Graphics programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 66
    facet.materialart.
    Unknown
    Cyber Security (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 15th International Annual Conference on Cyber Security, CNCERT 2018, held in Beijing, China, in August 2018. The 14 full papers presented were carefully reviewed and selected from 53 submissions. The papers cover the following topics: emergency response, mobile internet security, IoT security, cloud security, threat intelligence analysis, vulnerability, artificial intelligence security, IPv6 risk research, cybersecurity policy and regulation research, big data analysis and industrial security.
    Keywords: Computer science ; Computer security ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UR Computer security
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 67
    facet.materialart.
    Unknown
    Medical Imaging Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book gives a complete and comprehensive introduction to the fields of medical imaging systems, as designed for a broad range of applications. The authors of the book first explain the foundations of system theory and image processing, before highlighting several modalities in a dedicated chapter. The initial focus is on modalities that are closely related to traditional camera systems such as endoscopy and microscopy. This is followed by more complex image formation processes: magnetic resonance imaging, X-ray projection imaging, computed tomography, X-ray phase-contrast imaging, nuclear imaging, ultrasound, and optical coherence tomography.
    Keywords: Computer science ; Optical data processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    facet.materialart.
    Unknown
    Sensor Technologies (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 69
    facet.materialart.
    Unknown
    Hochwasserminderung im ländlichen Raum (2021)
    Springer Nature | Springer Spektrum
    Details
    Publication Date: 2021-02-10
    Description: Diese Open-Access-Publikation ist ein anwendungsorientiertes Lehr- und Handbuch zur Abflussminderung im ländlichen Raum. Meteorologische Extreme wie Dürren, Starkregen und Überschwemmungen häufen sich wegen des Klimawandels. Gleichzeitig steigt der Druck auf unsere Landschaft kontinuierlich, indem sie immer intensiver genutzt und effizienter erschlossen wird. Durch diese Entwicklungen ergeben sich dringende Herausforderungen für den ländlichen Hochwasserschutz und den Erhalt unserer natürlichen Ressourcen Wasser und Boden. Das Buch beschreibt Methoden für die Planung von Maßnahmen zur Abflussminderung. Es ist speziell für kleine Einzugsgebiete (〈 25 km²) konzipiert, da gerade dort viele Gemeinden durch die genannten Entwicklungen zunehmend mit Sturzfluten und Überflutungen konfrontiert sind. Gleichzeitig können dezentrale Ansätze zur Abflussminderung hier am meisten bewirken. Das Handbuch richtet sich vornehmlich an Ingenieure, Planer und Berater von Landwirtschaft, Kommunen und Ländlicher Entwicklung, soll aber auch Studenten und Wissenschaftlern der relevanten Fachgebiete als Informationsquelle und Nachschlagewerk dienen. Die Autoren: Dr. Simon P. Seibert ist Ingenieurökologe und hat über die Entstehung und Modellierung von Hochwasser in München und Karlsruhe promoviert. Seit Mitte 2019 leitet er der Arbeitsgruppe Gebietshydrologie am Bayerischen Landesamt für Umwelt. Prof. Dr. Karl Auerswald lehrt am Wissenschaftszentrum Weihenstephan für Ernährung, Landnutzung und Umwelt der TU München. Seine Forschungsschwerpunkte der vergangenen 40 Jahre sind agrarökologische Prozesse, insbesondere der Wasserhaushalt von Landschaften, Böden, Pflanzen und Tieren.
    Keywords: Landscape/Regional and Urban Planning ; Hydrology/Water Resources ; Geoengineering, Foundations, Hydraulics ; Climate Change/Climate Change Impacts ; Soil Science & Conservation ; Geography ; Water ; Geoengineering ; Earth System Sciences ; Soil Science ; Hochwasserschutz ; Landschaftsgestaltung ; Sturzfluten ; Landnutzung ; Flurgliederung ; Abflussminderung ; Wasserrückhalt ; Abflussverzögerung ; Wasserwirtschaft ; Landschaftsplanung ; Open Access ; Regional & area planning ; Hydrology & the hydrosphere ; Meteorology & climatology ; Geochemistry ; Climate change ; Sedimentology & pedology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBK Hydrology & the hydrosphere ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBP Meteorology & climatology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBG Geology & the lithosphere::RBGB Soil science, sedimentology
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 70
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computer system failures ; Computers ; Computers ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 71
    facet.materialart.
    Unknown
    Intel Xeon Phi Coprocessor Architecture and Tools (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 72
    facet.materialart.
    Unknown
    Achieving the Paris Climate Agreement Goals (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This open access book presents detailed pathways to achieve 100% renewable energy by 2050, globally and across ten geographical regions. Based on state-of-the-art scenario modelling, it provides the vital missing link between renewable energy targets and the measures needed to achieve them. Bringing together the latest research in climate science, renewable energy technology, employment and resource impacts, the book breaks new ground by covering all the elements essential to achieving the ambitious climate mitigation targets set out in the Paris Climate Agreement. For example, sectoral implementation pathways, with special emphasis on differences between developed and developing countries and regional conditions, provide tools to implement the scenarios globally and domestically. Non-energy greenhouse gas mitigation scenarios define a sustainable pathway for land-use change and the agricultural sector. Furthermore, results of the impact of the scenarios on employment and mineral and resource requirements provide vital insight on economic and resource management implications. The book clearly demonstrates that the goals of the Paris Agreement are achievable and feasible with current technology and are beneficial in economic and employment terms. It is essential reading for anyone with responsibility for implementing renewable energy or climate targets internationally or domestically, including climate policy negotiators, policy-makers at all levels of government, businesses with renewable energy commitments, researchers and the renewable energy industry.
    Keywords: Energy ; Renewable energy resources ; Climate change ; Sustainable development ; Natural resources ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RND Environmental policy and protocols ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    facet.materialart.
    Unknown
    Android Application Development for the Intel Platform (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Artificial intelligence ; Computer simulation ; Computer organization ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    facet.materialart.
    Unknown
    Android on x86 (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 76
    facet.materialart.
    Unknown
    Sustainable Rice Straw Management (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: This open access book on straw management aims to provide a wide array of options for rice straw management that are potentially more sustainable, environmental, and profitable compared to current practice. The book is authored by expert researchers, engineers and innovators working on a range of straw management options with case studies from Vietnam, the Philippines and Cambodia. The book is written for engineers and researchers in order to provide them information on current good practice and the gaps and constraints that require further research and innovation. The book is also aimed at extension workers and farmers to help them decide on the best alternative straw management options in their area by presenting both the technological options as well as the value chains and business models required to make them work. The book will also be useful for policy makers, required by public opinion to reduce greenhouse gas emissions and air pollution, looking for research-based evidence to guide the policies they develop and implement.
    Keywords: Environment ; Sustainable development ; Environmental management ; Climate change ; Agriculture ; Environmental engineering ; Biotechnology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 77
    facet.materialart.
    Unknown
    Managing Risk and Information Security: Protect to Enable (Second Edition) (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 78
    facet.materialart.
    Unknown
    Interdisciplinary Insights for Digital Touch Communication (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: Communication is increasingly moving beyond ‘ways of seeing’ to ‘ways of feeling’. This Open Access book provides social design insights and implications for HCI research and design exploring digitally mediated touch communication. It offers a socially orientated map to help navigate the complex social landscape of digitally mediated touch for communication: from everyday touch-screens, tangibles, wearables, haptics for virtual reality, to the tactile internet of skin. Drawing on literature reviews, new case-study vignettes, and exemplars of digital touch, the book examines the major social debates provoked by digital touch, and investigates social themes central to the communicative potential and societal consequences of digital touch: · Communication environments, capacities and practices · Norms associations and expectations · Presence, absence and connection · Social imaginaries of digital touch · Digital touch ethics and values The book concludes with a discussion of the significance of social understanding and methods in the context of Interdisciplinary collaborations to explore touch, towards the design of digital touch communication, ‘ways of feeling’, that are useable, appropriate, ethical and socially aware.
    Keywords: Computer science ; User interfaces (Computer systems) ; Technology—Sociological aspects ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 79
    facet.materialart.
    Unknown
    Biodiversity and Health in the Face of Climate Change (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book identifies and discusses biodiversity’s contribution to physical, mental and spiritual health and wellbeing. Furthermore, the book identifies the implications of this relationship for nature conservation, public health, landscape architecture and urban planning – and considers the opportunities of nature-based solutions for climate change adaptation. This transdisciplinary book will attract a wide audience interested in biodiversity, ecology, resource management, public health, psychology, urban planning, and landscape architecture. The emphasis is on multiple human health benefits from biodiversity - in particular with respect to the increasing challenge of climate change. This makes the book unique to other books that focus either on biodiversity and physical health or natural environments and mental wellbeing. The book is written as a definitive ‘go-to’ book for those who are new to the field of biodiversity and health.
    Keywords: Environment ; Environmental health ; Applied ecology ; Climate change ; Biodiversity ; Public health ; Regional planning ; Urban planning ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine ; bic Book Industry Communication::M Medicine::MM Other branches of medicine::MMR Environmental medicine ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology::RNCB Biodiversity ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 80
    facet.materialart.
    Unknown
    Office 365 (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    facet.materialart.
    Unknown
    Handbook on Craniofacial Superimposition (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: This open access handbook presents a trustable craniofacial superimposition methodological framework. It includes detailed technical and practical overviews, and discussions about the latest tools and open problems, covering the educational, technical, ethical, and security aspects of this forensic identification technique. The book will be of particular interest to researchers and practitioners in forensic anthropology and forensic ID, and also researchers in computational intelligence. It is the final result of a European project, New Methodologies and Protocols of Forensic Identification by Craniofacial Superimposition (MEPROCS). The project collaborators who contributed to this handbook are: S. Damas, O. Ibáñez, M.I. Huete, T. Kahana, C. Wilkinson, E. Ferguson, C. Erolin, C. Cattaneo, P.T. Jayaprakash, R. Jankauskas, F. Cavalli, K. Imaizumi, R. Vicente, D. Navega, E. Cunha, A.H. Ross, E. Veselovskaya, A. Abramov, P. Lestón, F. Molinero, E. Ruiz, F. Navarro, J. Cardoso, F. Viegas, D. Humpire, R. Hardiman, J. Clement, A. Valsecchi, B.R. Campomanes-Alvarez, C. Campomanes-Alvarez, A.S. Çağdır, T. Briers, M. Steyn, M. Viniero, D.N. Vieira, and O. Cordón. ; Authors among leading researchers and practitioners worldwide Reports successful collaborative project results First comprehensive guide on this important technique Open Access
    Keywords: Computer science ; Artificial intelligence ; Forensic medicine ; Computational intelligence ; Forensic science ; Health informatics ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology::JKVF Criminal investigation and detection::JKVF1 Forensic science ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKT Forensic medicine ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBH Digital and information technologies: Health and safety aspects ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    facet.materialart.
    Unknown
    New Vision 2050: A Platinum Society (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-30
    Description: Sustainability; Climate change; Saturation; Leading country in resolving societal problems; Resource self-sufficiency; Urban mines; Renewable energy; Human-nature symbiosis; Aging society; Longevity; Lifelong learning; Sustainable cities; Low carbon society; Zero emission; Quality of life
    Keywords: Sustainability ; Climate change ; Saturation ; Leading country in resolving societal problems ; Resource self-sufficiency ; Urban mines ; Renewable energy ; Human-nature symbiosis ; Aging society ; Longevity ; Lifelong learning ; Sustainable cities ; Low carbon society ; Zero emission ; Quality of life ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 83
    facet.materialart.
    Unknown
    Nature-Based Flood Risk Management on Private Land (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book addresses the various disciplinary aspects of nature-based solutions in flood risk management on private land. In recent decades, water management has been moving towards nature-based solutions. These are assumed to be much more multi-purpose than traditional “grey infrastructures” and seem to be regarded as a panacea for many environmental issues. At the same time, such measures require more – and mostly privately owned – land and more diverse stakeholder involvement than traditional (grey) engineering approaches. They also present challenges related to different disciplines. Nature-based solutions for flood risk management not only require technical expertise, but also call for interdisciplinary insights from land-use planning, economics, property rights, sociology, landscape planning, ecology, hydrology, agriculture and other disciplines to address the challenges of implementing them. Ultimately, nature-based flood risk management is a multi-disciplinary endeavor. Featuring numerous case studies of nature-based flood risk management accompanied by commentaries, this book presents brief academic reflections from two different disciplinary perspectives that critically highlight which specific aspects are of significance, and as such, underscore the multi-disciplinary nature of the challenges faced. ;
    Keywords: Earth sciences ; Natural disasters ; Regional planning ; Urban planning ; Climate change ; Environmental management ; Environmental management ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNR Natural disasters ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 85
    facet.materialart.
    Unknown
    A Practical Guide to TPM 2.0 (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
    Keywords: Computer science ; Computer logic ; Software engineering ; Mathematical logic ; Algorithms ; Logic design ; Artificial intelligence ; Computer logic ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 87
    facet.materialart.
    Unknown
    CyberParks – The Interface Between People, Places and Technology (2021)
    Springer Nature
    Details
    Publication Date: 2024-05-09
    Description: This open access book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship. It is about different approaches, methods, empirical studies, and concerns about a phenomenon that is increasingly being in the centre of sciences and strategies – the penetration of digital technologies in the urban space. As the main outcome of the CyberParks Project, this book aims at fostering the understanding about the current and future interactions of the nexus people, public spaces and technology. It addresses a wide range of challenges and multidisciplinary perspectives on emerging phenomena related to the penetration of technology in people’s lifestyles - affecting therefore the whole society, and with this, the production and use of public spaces. Cyberparks coined the term cyberpark to describe the mediated public space, that emerging type of urban spaces where nature and cybertechnologies blend together to generate hybrid experiences and enhance quality of life.
    Keywords: Computer science ; User interfaces (Computer systems) ; Coding theory ; Information theory ; Special purpose computers ; Computer communication systems ; Application software ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 88
    facet.materialart.
    Unknown
    New Vision 2050: A Platinum Society (2021)
    Springer Nature
    Details
    Publication Date: 2022-01-31
    Description: This book presents the "New Vision 2050," which adds the concept of the “platinum society” to the “Vision 2050”. The 20th century was a century in which energy led the development of material civilization, resulting in deletion of resources, global warming and climate change. What form should sustainable material and energy take to protect the Earth? The "Vision 2050" was established 20 years ago as a model that we should pursue for the next half century. Fortunately, the world is on course for the Vision 2050. The 21st century will be a century in which we seek qualitative richness, with the Vision 2050 as the material basis. That is, a “platinum society” that has resource self-sufficiency and resource symbiosis, and where people remain active throughout their lives and have a wide range of choices and opportunities for free participation. Since the author presented the concept of "Vision 2050" in 1999, the idea has been introduced in two books entitled Vision 2050: Roadmap for a Sustainable Earth (2008) and Beyond the Limits to Growth: New Ideas for Sustainability from Japan (2014). The latter includes a chapter that sheds light on the concept of a “platinum society”. In this publication, the author presents the "New Vision 2050" in more detail.
    Keywords: GE1-350 ; HD72-88 ; Sustainable cities ; Human-nature symbiosis ; Low carbon society ; Saturation ; Zero emission ; Aging society ; Lifelong learning ; Resource self-sufficiency ; Longevity ; Quality of life ; Urban mines ; Climate change ; Renewable energy ; Sustainability ; Leading country in resolving societal problems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 89
    facet.materialart.
    Unknown
    Multiple-Aspect Analysis of Semantic Trajectories (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis of Semantic Trajectories, MASTER 2019, held in conjunction with the 19th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2019, in Würzburg, Germany, in September 2019. The 8 full papers presented were carefully reviewed and selected from 12 submissions. They represent an interesting mix of techniques to solve recurrent as well as new problems in the semantic trajectory domain, such as data representation models, data management systems, machine learning approaches for anomaly detection, and common pathways identification.
    Keywords: Computer science ; Machine learning ; Application software ; Optical data processing ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 90
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 91
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.
    Keywords: Computer science ; Computer logic ; Software engineering ; Mathematical logic ; Computers ; Computer system failures ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 92
    facet.materialart.
    Unknown
    Planning for Ecosystem Services in Cities (2021)
    Springer Nature | In Planning
    Details
    Publication Date: 2024-04-05
    Description: This open access book presents current knowledge about ecosystem services (ES) in urban planning, and discusses various urban ES topics such as spatial distribution of urban ecosystems, population distribution, and physical infrastructure properties. The book addresses all these issues by: i) investigating to what extent ecosystem services are currently included in urban plans, and discussing what is still needed to improve planning practice; ii) illustrating how to develop ecosystem services indicators and information that can be used by urban planners to enhance plan design; iii) demonstrating the application of ES assessments to support urban planning processes through case studies; and iv) reflecting on criteria for addressing equity in urban planning through ecosystem service assessments, by exploring issues associated with the supply of, the access to and demand for ES by citizens. Through fully worked out case studies, from policy questions, to baseline analysis and indicators, and from option comparison to proposed solutions, the book offers readers detailed and accessible coverage of outstanding issues and proposed solutions to better integrate ES in city planning. The overall purpose of the book is to provide a compact reference that can be used by researchers as a key resource offering an updated perspective and overview on the field, as well as by practitioners and planners/decision makers as a source of inspiration for their activity. Additionally, the book will be a suitable resource for both undergraduate and post-graduate courses in planning and geography.
    Keywords: Environment ; Geoecology ; Environmental geology ; Climate change ; Environmental geography ; Urban ecology (Biology) ; Regional planning ; Urban planning ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RND Environmental policy and protocols ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 93
    facet.materialart.
    Unknown
    Semantic Systems. The Power of AI and Knowledge Graphs (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 15th International Conference on Semantic Systems, SEMANTiCS 2019, held in Karlsruhe, Germany, in September 2019. The 20 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic information management and knowledge integration; terminology, thesaurus and ontology management; data mining and knowledge discovery; semantics in blockchain and distributed ledger technologies.
    Keywords: Computer science ; Knowledge representation (Information theory)  ; Special purpose computers ; Computer communication systems ; User interfaces (Computer systems) ; Application software ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 94
    facet.materialart.
    Unknown
    Embedded Firmware Solutions (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 95
    facet.materialart.
    Unknown
    Managing Distributed Cloud Applications and Infrastructure (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2021-02-10
    Description: The emergence of the Internet of Things (IoT), combined with greater heterogeneity not only online in cloud computing architectures but across the cloud-to-edge continuum, is introducing new challenges for managing applications and infrastructure across this continuum. The scale and complexity is simply so complex that it is no longer realistic for IT teams to manually foresee the potential issues and manage the dynamism and dependencies across an increasing inter-dependent chain of service provision. This Open Access Pivot explores these challenges and offers a solution for the intelligent and reliable management of physical infrastructure and the optimal placement of applications for the provision of services on distributed clouds. This book provides a conceptual reference model for reliable capacity provisioning for distributed clouds and discusses how data analytics and machine learning, application and infrastructure optimization, and simulation can deliver quality of service requirements cost-efficiently in this complex feature space. These are illustrated through a series of case studies in cloud computing, telecommunications, big data analytics, and smart cities.
    Keywords: Innovation/Technology Management ; e-Commerce/e-business ; Computer Engineering ; Business and Management ; e-Commerce and e-Business ; Computer Hardware ; Analytics Models ; Data Acquisition ; Application Optimisation ; Infrastructure ; Distributed Clouds ; digital business ; Research & development management ; Industrial applications of scientific research & technological innovation ; Business applications ; E-commerce: business aspects ; Computer science ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::U Computing & information technology::UF Business applications ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 96
    facet.materialart.
    Unknown
    Louisiana's Response to Extreme Weather (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-11
    Description: Earth sciences; Natural disasters; Climate change; Coasts; Environmental management; Environmental law; Environmental policy; Social justice; Human rights
    Keywords: Earth sciences ; Natural disasters ; Climate change ; Coasts ; Environmental management ; Environmental law ; Environmental policy ; Social justice ; Human rights ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::L Law::LN Laws of specific jurisdictions and specific areas of law::LNK Environment, transport and planning law: general::LNKJ Environment law ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography::RGBP Coastlines ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNR Natural disasters
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 97
    facet.materialart.
    Unknown
    VR Technologies in Cultural Heritage (2021)
    Springer Nature
    Details
    Publication Date: 2024-05-13
    Description: This open access book constitutes the refereed proceedings of the First International Conference on VR Technologies in Cultural Heritage, VRTCH 2018, held in Brasov, Romania in May 2018. The 13 revised full papers along with the 5 short papers presented were carefully reviewed and selected from 21 submissions. The papers of this volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors and actuators, data management, restoration and digitization, cultural tourism.
    Keywords: Computer science ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 98
    facet.materialart.
    Unknown
    Security in Computer and Information Sciences (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: This open access book constitutes the thoroughly refereed proceedings of the First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, held in London, UK, in February 2018. The 12 full papers presented together with an overview paper were carefully reviewed and selected from 31 submissions. Security of distributed interconnected systems, software systems, and the Internet of Things has become a crucial aspect of the performance of computer systems. The papers deal with these issues, with a specific focus on societally critical systems such as health informatics systems, the Internet of Things, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures.
    Keywords: Computer science ; Data protection ; Application software ; Data encryption (Computer science) ; Special purpose computers ; Computer communication systems ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 99
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Computer logic ; Mathematical logic ; Computer system failures ; Computers ; Artificial intelligence ; Computer logic ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 100
    facet.materialart.
    Unknown
    Energy Efficient Servers (2021)
    Springer Nature | Apress
    Details
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    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...