ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UY Computer science  (94)
  • thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability  (76)
  • Springer Nature  (170)
  • Springer Singapore  (4)
  • MDPI Publishing
  • Nature Publishing Group
Collection
Keywords
Language
Years
  • 1
    Publication Date: 2024-04-06
    Description: This open access book explores the intersection of gender and climate change, suggests ways in which innovative technologies can accelerate climate relief actions, and offers strategies for integrating climate change initiatives into national policies and planning. By examining the devastating consequences of climate change on women and girls throughout the continent, the authors pose a crucial question: Does gender matter in climate change discussions in Africa? Political and social traditions have burdened women with greater vulnerability to the impacts of climate-related natural disasters, including violence, displacement, poverty, famine and lack of access to clean water. However, women are also key to effective and inclusive climate mitigation, adaptation, and decision-making. The authors provide a compelling discourse that identifi es the social and economic benefi ts for all citizens when genderinclusive policies shape equitable and targeted action plans, from mitigationto adaptation and funding. The UN’s SDG 13 calls for urgent action and commitment to combat climate change. The implementable and action-oriented propositions presented in this book will be of interest to students, educators, practitioners, third-sector actors, and policymakers committed to gender equality, sustainable development and climate action in Africa.
    Keywords: Sustainable Development Goals ; SDGs ; climate change ; women's empowerment ; gender inclusion ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSF Gender studies, gender groups ; 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::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::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; thema EDItEUR::1 Place qualifiers::1H Africa ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJD Business innovation ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJK International business
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book focuses on how scientific methodologies can help industrial managers, entrepreneurs and policymakers handle the 17 Sustainable Development Goals in an efficient and realistic way. It also offers an operative scheme for scientists to overcome their discipline barriers. Is interdisciplinarity an intrinsic research value or is it merely instrumental for handling the increasing flux of open problems that sustainability poses to science?Can these problems of sustainability be solved with what the authors already know? Is it just a matter of having the right people at the table and giving them sufficient resources, or is it something more? Is meeting the needs of the present without compromising those of future generations a scientific definition of sustainable development? Questions similar to those posed in the sixties regarding complexity must be asked about sustainability today. In addition, the new data science includes powerful tools for making novelquantitative predictions about future sustainability indicators, an open problem that the book discusses. This book is primarily addressed to Ph.D. students, postdocs and senior researchers in the Life and Hard Science (LHS) and Social Sciences and Humanities (SSH) disciplines, as well as professionals of the primary, secondary and tertiary industrial sectors.
    Keywords: Sustainable Development Goals ; Data science in Sustainability ; SDG Targets ; Data Science in Sustainable Development Goals ; Complex Network ; Food Security ; Climate Changes ; Environmental Changes ; Human Ecology ; Sustainable Economy ; Space Science ; Platform For a Science-industry Dialogue ; Industrial Processes ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::U Computing and Information Technology::UN Databases ; 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::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management::RNFF Food security and supply ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This open access book offers a comprehensive exploration of the digital innovations that have emerged in recent years for the circular built environment. Each chapter is meticulously crafted to ensure that both academic readers and industry practitioners can grasp the inner workings of each digital technology, understand its relevance to the circular built environment, examine real-life implementations, and appreciate the intriguing business models behind them. Our primary objective is to blend scholarly knowledge with practical inspiration by providing real-life case studies for each innovation. The authors, who possess extensive expertise in their respective fields, have contributed chapters dedicated to digital technologies within their areas of specialization. The book is organized into three distinct parts. The first part focuses on data-driven digital technologies and delves into how their capabilities can facilitate the transition to a circular built environment. Essential aspects such as building information modeling (BIM), digital twins, geographical information systems (GIS), scanning technologies, artificial intelligence (AI), data templates, and material passports are explored as vital tools for data collection, integration, and analysis in the context of circular construction. In the second part, various digital technologies for design and fabrication are introduced. Topics covered include computational design algorithms, additive and subtractive manufacturing, robotic manufacturing, and extended reality. These discussions shed light on how these technologies can be leveraged to enhance design and fabrication processes within the circular built environment. Finally, the last part of the book presents emerging digital concepts related to business and governance. It explores the role of deconstruction and reverse logistics, blockchain technology, digital building logbooks, and innovative business models as enablers of circularity in the built environment. The book concludes with a chapter dedicated to digital transformation and its potential to propel the built environment towards a regenerative future. In addition to the substantive content, the book features forewords and perspectives from esteemed experts, providing valuable economic and creative insights to complement its comprehensive approach.
    Keywords: Digital innovations in the construction sector ; Applications in the construction sector ; Circular economy in the built environment ; Digital construction ; Addititive manufacturing ; Robotic manufacturing and artificial intelligence ; Big data and analytics ; Blockchain ; Circular business models ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology::TQD Environmental monitoring ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-03
    Description: This Open Access book addresses climate change in Europe and Latin America from a comparative regionalism studies (CRS) perspective. Written by an international team of scholars and experts, chapters critically analyze proposals for mitigating climate change while contributing to the mutual understanding about the issues at stake across regions. The book is divided into three main sections. In the first section, authors discuss EU and Latin American cooperation, negotiations, and perspectives on climate change, exploring their agendas, the interests and key challenges at the global, regional and interregional levels. The second section focuses on the challenges to finance development and a greener economy. The third section explores new green solutions to climate change in the agriculture sector and initiatives such as nature-based solutions to climate change and best practices. Providing policy oriented solutions for combatting regional climate change at a critical juncture, this volume will be of interest to researchers and students of international relations, international law, and environmental politics, as well as public officials and climate change activists.
    Keywords: European Union ; Climate Change ; Climate Justice ; comparative regionalism ; Green Transition ; Latin America ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNB Energy industries and utilities ; 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 ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book provides the first comprehensive coverage of the wheat genome sequence since the publication of the draft and reference sequences for bread wheat and durum wheat. It presents an overview and all aspects of the gold standard sequence of the bread wheat genome, IWGSC RefSeq v1.0 and its subsequent improvements through 2022 (IWGSC RefSeq v2.1), as well as the sequencing of multiple elite wheat varieties, durum wheat, and ancient wheat. The book provides a broad and extensive review of the resources, tools, and methodologies available for exploiting the wheat genome sequence for crop improvement and studying fundamental questions related to the structure, function, and evolution of the wheat genome. Wheat (Tritcum aestivum L.) is the most widely grown crop in the world, contributing approximately 20 percent of total calories and more protein in human diets than any other single source. This book is useful to students, teachers, and scientists in academia and industry interested in gaining an understanding of the wheat genome and its application as well as plant scientists generally interested in polyploid plant species.
    Keywords: International Wheat Genome Sequencing Consortium ; polyploidy ; wheat genome sequence ; structural genomics ; functional genomics ; wheat evolution ; wheat improvement ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAK Genetics (non-medical) ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TC Biochemical engineering::TCB Biotechnology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book about the sustainability of marine and terrestrial ecosystems in southern Africa provides a synthesis of the research program Science Partnerships for the Adaptation to Complex Earth System Processes (SPACES II, 2018-2022). It addresses the scientific, social, and economic issues related to climate change, its potential impacts on the various ecosystems, adaptations, and management interventions for enhancing systems resilience in Southern Africa. It is written by numerous scientists from African states and Germany and summarizes the latest research findings, which are of great relevance for a better understanding of climate change impacts, adaptations, and vulnerabilities as well as for developing management options and policy options to reduce the associated risks. This is crucial considering that the projected African population increase is exceptional. Furthermore, climate change is assumed to hit southern Africa extremely hard with a significant increase in extreme events and the frequency of severe droughts, heat waves, and flooding. Southern Africa hosts a high variety of ecosystems, which belongs to important biodiversity hotspots for unique flora and fauna. The surrounding oceans form, in turn, a bottle neck within the ocean’s global thermohaline circulation, act as a still poorly understood carbon sink and source and play an important role for fisheries as they are highly productive. Considering these important aspects, the book is an important interdisciplinary contribution to the scientific literature and will find a wide readership. The book is aimed at students, teachers, and scientists in the fields of terrestrial and marine ecology, environmental, nature and landscape planning, agriculture, environmental and resource management, biodiversity, and nature conservation, as well as scientists and representatives in specialised authorities and associations, nature conservationists, and policy makers of related disciplines.
    Keywords: Climate Change ; Climate Change Impacts ; Climate-Driven Changes ; Climate Extremes ; Ecosystems ; Management Options ; Management Strategies ; SPACES II ; Sustainability ; 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::RN The environment::RNK Conservation of the environment ; 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::RNU Sustainability
    Language: English
    Format: image/png
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-23
    Description: This open access book includes detail on various structures, buildings, and building materials from different structural and sustainability perspectives. It describes how the building industry is vital for the achievement of the sustainable development goals, namely, economic growth, social progress, and the effective protection of the environment. The aim of this collection is to foster the design and construction of sustainable structures and buildings to reduce the environmental load, connect with the environment, and benefit the health of occupants. Presenting the knowledge, trends, and developments from a group of contributors in the field working with different kinds of structures, structural components, buildings, and building materials, the book is ideal for practitioners working in commercial settings, as well as engineering students and researchers concerned with sustainability issues.
    Keywords: Sustainable structures ; structural engineering ; energy efficiency ; sustanable cities ; sustainable materials ; thema EDItEUR::A The Arts::AM Architecture::AMC Architectural structure and design::AMCR Environmentally-friendly (‘green’) architecture and design ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-03
    Description: This open access volume of LIDC contributions focuses on how competition and intellectual property laws incorporate sustainability objectives. Businesses are increasingly embracing sustainability objectives, driven by the international community. Although competition and intellectual property law are certainly not the only tools for addressing sustainability issues, they can play a role in moving toward a more sustainable society. Sustainability has gained prominence in competition law in all jurisdictions covered in this volume. The contributions focus on classic questions such as whether sustainability agreements restrict competition and, if so, to what extent businesses can be exempted on efficiency grounds. The papers also raise a number of questions, in particular concerning the treatment of non-market efficiencies. The soft law and case law produced by competition authorities are examined, and the leadership role of some competition authorities in the field – from advocacy to policy papers and sustainability guidelines – is highlighted. The authors call for more individual guidance to provide enhanced transparency and clarity to industry, advisors and society at large on sustainability issues, with guidelines or sustainability-related block exemptions providing even greater legal certainty. With regard to intellectual property, the contributions examine various important issues, such as the need for intellectual property rights to remain technology-neutral, ways to promote the use of sustainable technologies and incentives for licensing, and ways to promote the dissemination of sustainable technologies, including compulsory licensing, cross-licensing, open source or FRAND licensing, and replacing the destruction of counterfeit goods with recycling. The papers also discuss greenwashing and how it can be addressed through revisions to trademarks and related rights.
    Keywords: Sustainability ; Competition ; Intellectual Property ; Unfair Competition ; IP Law ; thema EDItEUR::L Law::LN Laws of specific jurisdictions and specific areas of law::LNJ Entertainment and media law ; thema EDItEUR::L Law::LB International law::LBB Public international law::LBBP Public international law: environment ; thema EDItEUR::L Law::LB International law ; thema EDItEUR::L Law::LB International law::LBB Public international law::LBBM Public international law: economic and trade ; 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 ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This open access book offers a comprehensive exploration of the digital innovations that have emerged in recent years for the circular built environment. Each chapter is meticulously crafted to ensure that both academic readers and industry practitioners can grasp the inner workings of each digital technology, understand its relevance to the circular built environment, examine real-life implementations, and appreciate the intriguing business models behind them. Our primary objective is to blend scholarly knowledge with practical inspiration by providing real-life case studies for each innovation. The authors, who possess extensive expertise in their respective fields, have contributed chapters dedicated to digital technologies within their areas of specialization. The book is organized into three distinct parts. The first part focuses on data-driven digital technologies and delves into how their capabilities can facilitate the transition to a circular built environment. Essential aspects such as building information modeling (BIM), digital twins, geographical information systems (GIS), scanning technologies, artificial intelligence (AI), data templates, and material passports are explored as vital tools for data collection, integration, and analysis in the context of circular construction. In the second part, various digital technologies for design and fabrication are introduced. Topics covered include computational design algorithms, additive and subtractive manufacturing, robotic manufacturing, and extended reality. These discussions shed light on how these technologies can be leveraged to enhance design and fabrication processes within the circular built environment. Finally, the last part of the book presents emerging digital concepts related to business and governance. It explores the role of deconstruction and reverse logistics, blockchain technology, digital building logbooks, and innovative business models as enablers of circularity inthe built environment. The book concludes with a chapter dedicated to digital transformation and its potential to propel the built environment towards a regenerative future. In addition to the substantive content, the book features forewords and perspectives from esteemed experts, providing valuable economic and creative insights to complement its comprehensive approach.
    Keywords: Digital innovations in the construction sector ; Applications in the construction sector ; Circular economy in the built environment ; Digital construction ; Addititive manufacturing ; Robotic manufacturing and artificial intelligence ; Big data and analytics ; Blockchain ; Circular business models ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-08
    Description: This open access book prepared by a joint working group committed to critical research on dryland social-ecological systems (SESs) presents a timely synthesis of up-to-date knowledge in various thematic fields relevant to dryland SESs. It aims to organize key salient concepts and establish a conceptual framework relevant to the interdisciplinary and cross-cultural understanding of dryland SESs, which have specific contexts and a geographically representative structure. Through synthesizing research across the world and analyzing scientific evidence for good practices, it has the potential to promote collaboration among global researchers as well as communication with policy makers, managers, and practitioners for dryland ecosystem management to promote sustainability. It calls for synergies between different sectors and countries to achieve Sustainable Development Goals in drylands.
    Keywords: Dryland ; Social-Ecological Systems ; Dynamics ; Structure and Functions ; Ecosystem Services ; Sustuainable Livelihoods ; Global Change ; 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::RNU Sustainability ; 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::RB Earth sciences::RBK Hydrology and the hydrosphere ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book focuses on how scientific methodologies can help industrial managers, entrepreneurs and policymakers handle the 17 Sustainable Development Goals in an efficient and realistic way. It also offers an operative scheme for scientists to overcome their discipline barriers. Is interdisciplinarity an intrinsic research value or is it merely instrumental for handling the increasing flux of open problems that sustainability poses to science?Can these problems of sustainability be solved with what the authors already know? Is it just a matter of having the right people at the table and giving them sufficient resources, or is it something more? Is meeting the needs of the present without compromising those of future generations a scientific definition of sustainable development? Questions similar to those posed in the sixties regarding complexity must be asked about sustainability today. In addition, the new data science includes powerful tools for making novel quantitative predictions about future sustainability indicators, an open problem that the book discusses. This book is primarily addressed to Ph.D. students, postdocs and senior researchers in the Life and Hard Science (LHS) and Social Sciences and Humanities (SSH) disciplines, as well as professionals of the primary, secondary and tertiary industrial sectors.
    Keywords: Sustainable Development Goals ; Data science in Sustainability ; SDG Targets ; Data Science in Sustainable Development Goals ; Complex Network ; Food Security ; Climate Changes ; Environmental Changes ; Human Ecology ; Sustainable Economy ; Space Science ; Platform For a Science-industry Dialogue ; Industrial Processes ; thema EDItEUR::P Mathematics and Science::PH Physics::PHS Statistical physics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; 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 ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering::TDCT Food and beverage technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-11
    Description: This open access book provides a detailed exploration of energy management in seaport integrated energy systems, highlighting their potential to replace conventional fuel-based energy usage and promote sustainable development of large ports. In order to achieve carbon neutrality, energy management technologies are crucial for the sustainable development of port systems that couple energies, logistics, and maritime transportation. Research on seaport integrated energy systems has attracted scholars and scientists from various disciplines, such as port electrification, logistics, microgrids, renewable energies, energy storages, and port automation. Taking a holistic approach, this book establishes a fundamental framework for the topic and discusses the electrification process, coupling mechanisms and modeling, optimal planning, low-carbon and economic operation, as well as applications of integrated energy systems in seaports. This book is intended for researchers, graduate students, and other readers interested in green seaport energy management and low-carbon operation technologies under the coupling between logistics and multi-energy systems.
    Keywords: Green port ; Port electrification ; Integrated energy system ; Energy management ; Port microgrid planning ; Converter-based control ; Economic dispatch of port power system ; Optimization of multi-energy utilization ; Port low-carbon planning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNH Highway and traffic engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY 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 ...
  • 14
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open-access book analyses how stakeholder relationships impact the sustainability of health aid. It does this by providing an overarching analytical framework, which allows for a systematic analysis of sustainability, relationships, and a possible causal link between these phenomena. The book goes beyond universal paradigms and detailed single-case studies by offering a thorough analysis of development projects to identify the factors that are also applicable to similar initiatives in comparable contexts. Empirically, it focuses on two health initiatives, both implemented in the Kyrgyz Republic, a country pursuing a sector-wide approach to health aid. Unique primary material provides insights into a geographic region that is mostly neglected, and will be of interest to students and researchers of social policy, development studies, international health and those focusing on the post-Soviet region and Central Asia.
    Keywords: SDGs ; Development goals ; Finances ; Medical Professionals ; Kyrgyzstan ; International agreements ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations::JPSN International institutions
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-08
    Description: This open access book tackles the pressing problem of integrating concerns related to Artificial Intelligence (AI) ethics into higher education curriculums aimed at future AI developers in Africa and beyond. For doing so, it analyzes the present and future states of AI ethics education in local computer science and engineering programs. The authors share relevant best practices and use cases for teaching, develop answers to ongoing organizational challenges, and reflect on the practical implications of different theoretical approaches to AI ethics. The book is of great interest to faculty members, researchers, and students in the fields of artificial intelligence, computer science, mathematics, computer engineering, and related areas, as well as higher education administration.
    Keywords: Artificial Intelligence Ethics ; African AI Ethics ; Responsible Use of Technology ; Computer Science Training ; Higher Education in Africa ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; 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 ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-11
    Description: This is an open access book. This book contains research papers presented at the 3rd International Conference on Energy and Sustainable Futures (ICESF), which took place at Coventry University, UK, in 2022. The ICESF is an annual conference organised by the UK-based Doctorial Training Alliance (DTA) programme. It is a multidisciplinary conference focused on addressing the future challenges and opportunities for meeting global energy targets and sustainable development goals. The conference brought together academic researchers, industry experts and research students to showcase the latest innovations and research on a wide range of topics in the areas of energy and sustainability, including • renewable energy; • ICT and control; • computational fluid dynamics; • optimization; • conventional energy sources; • energy governance; • materials in energy research; • energy storage and • energy access.
    Keywords: Renewable Energy ; Solar Energy ; Wind Energy ; Biomass ; Energy Systems Management ; Artificial Intelligence ; Energy Policy ; Multi-objective Optimisation ; Machine Learning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology ; 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 ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science::TGMF Engineering: Mechanics of fluids
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library. You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language. What You Will Learn Optimize core operations based on N-dimensional arrays Design and implement an industry-level algorithmic differentiation module Implement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiation Design and optimize a computation graph module, and understand the benefits it brings to the numerical computing library Accommodate the growing number of hardware accelerators (e.g. GPU, TPU) and execution backends (e.g. web browser, unikernel) of numerical computation Use the Zoo system for efficient scripting, code sharing, service deployment, and composition Design and implement a distributed computing engine to work with a numerical computing library, providing convenient APIs and high performance Who This Book Is For Those with prior programming experience, especially with the OCaml programming language, or with scientific computing experience who may be new to OCaml. Most importantly, it is for those who are eager to understand not only how to use something, but also how it is built up.
    Keywords: programming language ; OCaml ; scientific computing ; computational ; debugging ; open source ; source ; code ; numerical ; data science ; big data ; owl ; functional ; math ; scientific ; engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book contributes not only to the scientific literature on sustainable agricultural development and in particular rice agriculture but also is highly valuable to assist practitioners, projects, and policymakers due to its sections on reducing carbon footprint, agricultural innovations, and lessons learned from a multi-country/multi-stages development project. The scope of the book is conceived as a detailed documentation of the implementation, dissemination, and impact of the CORIGAP project in Sri Lanka, Myanmar, Thailand, China, Vietnam, and Indonesia, with spill-over to Cambodia and the Philippines. It pulls together actionable research findings with the experience of bringing these findings into use. The aim of the book is to provide a wide array of pathways to impact for sustainable rice production in lowland irrigated rice-based agricultural systems. The book is written by local actors of the rice value chain, researchers, and engineers working on a range of best management practices, climate-smart rice production innovations, knowledge translation, and dissemination, as well as decision-making and policy aspects. It is envisioned that the contents of the book can be translated into messages that can help farmers, extension workers, policymakers, and funders of agricultural development, decide on implementing best management practices and climate-smart technologies in their agroecological systems by presenting the technological/practical options along the rice value chain and the partnerships and business models required for their implementation. The book is aimed at practitioners, extension specialists, researchers, and engineers interested in information on current best management practices, sustainable, and climate-smart rice production and constraints that need further investigation. Furthermore, the book is also aimed at policymakers and agricultural development funders required by public opinion and legally binding agreements to reduce greenhouse gas emissions, conserve biodiversity and increase agroecological practices, who are looking for research-based evidence to guide policymaking and implementation.
    Keywords: Climate Change ; Climate smart agriculture ; Lowland-intensive rice production ; Sustainable rice production ; Agricultural development in Asia ; Multi-country analysis ; Carbon footprint and life cycle assessment ; Rice production innovations ; Multi-stakeholder partnerships ; Faunal biodiversity in wetlands ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography::RGCM Economic geography ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::J Society and Social Sciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-04
    Description: This open access text aims at giving you the simplest possible introduction to differential equations that are used in models of electrophysiology. It covers models at several spatial and temporal scales with associated numerical methods. The text demonstrates that a very limited number of fundamental techniques can be used to define numerical methods for equations ranging from ridiculously simple to extremely complex systems of partial differential equations. Every method is implemented in Matlab and the codes are freely available online. By using these codes, the reader becomes familiar with classical models of electrophysiology, like the cable equation, the monodomain model, and the bidomain model. But modern models that have just started to gain attention in the field of computational electrophysiology are also presented. If you just want to read one book, it should probably not be this one, but if you want a simple introduction to a complex field, it is worth considering the present text.
    Keywords: Action potential ; Cardiomyocytes ; Differential equations ; numerical methods ; software ; computational physiology ; computational electrophysiology ; Cable equation ; bidomain ; cell-based models ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::P Mathematics and Science::PH Physics::PHV Applied physics::PHVN Biophysics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-14
    Description: This open access book compiles a series of chapters written by internationally recognized experts known for their in-depth but critical views on questions of resilience and food security. The book assesses rigorously and critically the contribution of the concept of resilience in advancing our understanding and ability to design and implement development interventions in relation to food security and humanitarian crises. For this, the book departs from the narrow beaten tracks of agriculture and trade, which have influenced the mainstream debate on food security for nearly 60 years, and adopts instead a wider, more holistic perspective, framed around food systems. The foundation for this new approach is the recognition that in the current post-globalization era, the food and nutritional security of the world’s population no longer depends just on the performance of agriculture and policies on trade, but rather on the capacity of the entire (food) system to produce, process, transport and distribute safe, affordable and nutritious food for all, in ways that remain environmentally sustainable. In that context, adopting a food system perspective provides a more appropriate frame as it incites to broaden the conventional thinking and to acknowledge the systemic nature of the different processes and actors involved. This book is written for a large audience, from academics to policymakers, students to practitioners. This is an open access book.
    Keywords: Resilience ; Food security ; Humanitarian crises ; Agriculture ; Trade ; Globalization ; Sustainability ; Food system ; Agricultural economics ; Environmental economics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; 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::RNU Sustainability ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJS Sales and marketing::KJSM Market research ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCL International economics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; 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::RNU Sustainability ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJS Sales and marketing::KJSM Market research ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCL International economics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Publication Date: 2024-03-30
    Description: This open access book is a compact guide to the development of sustainable business, which has become the central concept in discussions about the future development of humanity and planet earth. It provides basic terminology and concepts on sustainable business and offers insights into a new management paradigm that integrates social and environmental dimensions into business models, strategies, and operations. New business concepts such as the donut economy, the circular economy, social innovation and sustainable leadership are introduced and the book outlines how they influence the way we run businesses today and in the future. This book lays the foundation for new management thinking in business and academia, making it a essential reader for professionals and students alike.
    Keywords: Circular economy ; Sustainability management ; SDG ; Planetary boundaries ; CSR ; Social innovation ; Stakeholder theory ; 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::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::KJG Business ethics and social responsibility ; thema EDItEUR::J Society and Social Sciences::JN Education::JNK Educational administration and organization ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJV Ownership and organization of enterprises::KJVX Non-profitmaking organizations
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-03-30
    Description: This open access book helps actors who are committed to change unlock true innovative potential for the common good in their organizations. Innovation and change processes are not linear. Hence, this book presents a novel way to manage complexity. The author introduces readers to a comprehensive change management framework, the Eoh-for-Good blueprint methodology. It presents the method and discusses how it can be used to support collaboration, overcome challenges and achieve lasting changes in organizations with a 360-degree approach combining top-down, middle-round and bottom-up collaborative perspectives.
    Keywords: Digital Sustainability ; Social Sustainability ; Environmental Sustainability ; Eco-Centric Behaviour ; Common Good ; Entrepreneurial Change ; Organisational Excellence ; Professional Development ; Institutional Development ; Leadership ; Eco-Innovation ; Intra-Entrepreneurship ; Collective Action ; Eoh-for-Good ; 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::KJU Organizational theory and behaviour ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJV Ownership and organization of enterprises::KJVX Non-profitmaking organizations ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Publication Date: 2024-03-29
    Description: This open access book explores the intersection of gender and climate change, suggests ways in which innovative technologies can accelerate climate relief actions, and offers strategies for integrating climate change initiatives into national policies and planning. By examining the devastating consequences of climate change on women and girls throughout the continent, the authors pose a crucial question: Does gender matter in climate change discussions in Africa? Political and social traditions have burdened women with greater vulnerability to the impacts of climate-related natural disasters, including violence, displacement, poverty, famine and lack of access to clean water. However, women are also key to effective and inclusive climate mitigation, adaptation, and decision-making. The authors provide a compelling discourse that identifi es the social and economic benefi ts for all citizens when genderinclusive policies shape equitable and targeted action plans, from mitigationto adaptation and funding. The UN’s SDG 13 calls for urgent action and commitment to combat climate change. The implementable and action-oriented propositions presented in this book will be of interest to students, educators, practitioners, third-sector actors, and policymakers committed to gender equality, sustainable development and climate action in Africa.
    Keywords: Sustainable Development Goals ; SDGs ; climate change ; women's empowerment ; gender inclusion ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSF Gender studies, gender groups ; 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::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJK International business
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book explores a new conceptual framework for the sustainable management of the boreal forest in the face of climate change. The boreal forest is the second-largest terrestrial biome on Earth and covers a 14 million km2 belt, representing about 25% of the Earth’s forest area. Two-thirds of this forest biome is managed and supplies 37% of global wood production. These forests also provide a range of natural resources and ecosystem services essential to humanity. However, climate change is altering species distributions, natural disturbance regimes, and forest ecosystem structure and functioning. Although sustainable management is the main goal across the boreal biome, a novel framework is required to adapt forest strategies and practices to climate change. This collaborative effort draws upon 148 authors in summarizing the sustainable management of these forests and detailing the most recent experimental and observational results collected from across the boreal biome. It presents the state of sustainable management in boreal forests and highlights the critical importance of this biome in a context of global change because of these forests' key role in a range of natural processes, including carbon sequestration, nutrient cycling, and the maintaining of biodiversity. This book is an essential read for academics, students, and practitioners involved in boreal forest management. It outlines the challenges facing sustainable boreal forest management within the context of climate change and serves as a basis for establishing new research avenues, identifying future research trends, and developing climate-adapted forest management plans.
    Keywords: Boreal Forests and Climate Change ; Forest Sustainable Management ; Biome Scale Perspectives and Synthesis ; Climate Change and Climate Change Impacts ; Ecology of Boreal Forests ; Biodiversity and Ecophysiology of Forests ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; 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::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-04
    Description: This open access book is one in a series of four volumes introducing peatland conservation and restoration in Indonesia. It focuses on local governance, in particular on regional and local perspectives in Riau, the most peat-destructed province of Indonesia. The book fills a vital gap in the existing literature that overlooks social science and humanities perspectives. Written by authors from different disciplines and backgrounds (including scholars and NGO activists), the approaches to the topic are various and unique, including analysis of GPS logs, social media, geospatial assessments, online interviews (conducted due to the Covid-19 pandemic), and more conventional questionnaires and surveys of community members. The chapters cover an interdisciplinary understanding of peatland destruction and broadly offer insights into environmental governance. While presenting combined studies of established fieldwork methodologies and contemporary technology such as drones and geospatial information, the book also explores the potential of long-distance research with rural communities through online facilitation, which was brought about by Covid-19, but that may have long­term implications. Readers will gain a comprehensive understanding of the complexities surrounding peatland conservation and restoration and recognize the significance of locally inclusive approaches that use contemporary but accessible technologies to sustainably govern the globally important resource of peatland. That approach would be useful for other environmentally fragile but important regions and give some ideas to achieve the United Nations’ SDGs for 1)No Poverty, 5)Gender Equality, 13)Climate Action, 15)Life of Land.
    Keywords: Environmental governance ; Global warming ; CO2 emissions ; Rural community research ; Resource governance ; Peatland conservation ; Peatland degradation ; Peatland rehabilitation ; Peat swamp forest ; Peatland ecosystems ; Tropical peatland ; SDG 1 ; SDG 5 ; SDG 13 ; SDG 15 ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNK Conservation of the environment ; 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::RNU Sustainability ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; 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 ...
  • 27
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-03-23
    Description: This open access book summarizes the research being pursued as part of the COST Action CA21103 titled "Implementation of Circular Economy in the Built Environment" (Circular B), which aims to define the methodology to develop a common circularity framework for inclusive application and assessment in new and existing buildings to support decision-making for all value chain stakeholders and appraise the implementation level of the European Circular Economy Action Plan (CEAP). The Action is increasingly gaining interest worldwide, bringing multidisciplinary young and experienced researchers together to share the latest studies and develop new knowledge. Consisting of 17 chapters corresponding to the conference themes, the book analyses and discusses topics such as Circular Economy (CE) best practices, design strategies for circular buildings, circular materials and products, adaptive reuse of existing buildings, recovery and reuse of salvaged materials and products, case studies of current applications and trends, barriers against CE implementation in buildings, efficient waste and circular resource management, circular lifecycle management and decision making, stakeholders relationships, CE supporting policies and barriers, circular business models, criteria, KPIs and assessment models for circular buildings, CE criteria in sustainability frameworks, digitalization and BIM for enhanced circularity of buildings and building materials, and standardization of CE definitions in buildings.
    Keywords: Value Chain ; Sustainable Development ; CircularB WS1-P1 ; Circular Economy ; Circular Buildings ; Built Environment ; BIM ; CA21103 COST Action ; thema EDItEUR::A The Arts::AM Architecture::AMC Architectural structure and design::AMCR Environmentally-friendly (‘green’) architecture and design ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNT Building skills and trades ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-23
    Description: This open access book addresses the pressing need for sustainability in urban development and the use of technology, with cities to serve as the main stage for strategies that seek to meet the targets and the cross-sector priorities indicated in the EU’s Next Generation program, all in pursuit of a solid recovery on the part of the European economy, along lines of ecological transition, digitalization, competitiveness, training, and inclusion to overcome social, territorial, and gender differences. The international study encounter is meant to promote visions shared by architectural technology and other disciplines, which, though they may appear to differ, are closely interconnected, with the aim of achieving an open, interdisciplinary integration capable of proposing concrete projects regarding topics held to be of strategic importance to the future of the built environment. These are identified to draw up evolving scenarios of architecture and cities suited to reflection, at various levels, on innovative models of process and product.
    Keywords: Digital Transformation and Innovation ; Building Technology ; Circular Economy ; Climate Change and Built Environment ; Urban Health and Resilience ; Landscape/Regional and Urban Planning ; thema EDItEUR::A The Arts::AM Architecture::AMC Architectural structure and design::AMCR Environmentally-friendly (‘green’) architecture and design ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This Open access book brings a cultural lens, and a distinctive analytical framework, to the problem of transitioning to a sustainable, low-carbon future. The world faces a seemingly impossible hurdle – to radically alter long-established social, economic and technological systems in order to live within the biophysical limits of the globe, while ensuring a just and enduring transition. The overarching premise of this book is that this cannot be achieved without widespread cultural change. ‘We need a change in culture’ is often used rhetorically, but what does this really mean? Stephenson starts by exploring culture’s elusiveness, describing its divergent interpretations before identifying core features of culture that are common across most definitions. These characteristics form the core of the cultures framework, an extensively tested approach to studying the links between culture and sustainability outcomes. The framework makes culture an accessible concept which can be analytically applied to almost any sustainability problem. Using many examples from around the world, Stephenson illustrates how cultural stability, cultural flexibility and cultural transformation all have a part to play in the sustainability transition. She guides the reader in the use of the cultures framework for policy development and to underpin research undertaken by individuals or by multi-disciplinary teams. Clearly and engagingly written, Culture and Sustainability is essential reading for academics, students, policy makers and indeed anyone interested in a sustainable future.
    Keywords: sustainable transitions ; low carbon transition ; energy transition ; sustainability ; sustainable development goals ; culture and sustainability ; energy cultures ; culture framework ; socio-technical transitions ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSR Social groups: religious groups and communities
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY 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 ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-03-29
    Description: This open access book introduces the major environmental green development issues from six major themes carbon neutrality, nature-based solution, watershed management and climate adaptation, BRI green development, sustainable food supply chain, ecosystem-based integrated ocean management focusing on the progress of China’s environment and development policies from 2021 accomplishments. It is based on the research outputs of CCICED in the year of 2021, which marks China’s start point of implementation of its 14th Five-Year Plan when world economy also strived to recover from the pandemic.
    Keywords: Carbon Neutrality ; Nature-based Solution ; Watershed Management and Climate Adaptation ; BRI Green Development ; Sustainable Food Supply Chain ; Ecosystem-based Integrated Ocean Management ; Environmental and Development Policy ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBK Hydrology and the hydrosphere::RBKC Oceanography (seas and oceans) ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBP Meteorology and climatology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book deals with restoring degraded peatlands to help mitigate global warming, to which SDG 15 and SDG 13 are directly related. The book analyzes peatland degradation and restoration of the Indonesian peatland ecosystem through the integrated lens of resilience, vulnerability, adaptation, and transformation. It sheds light on what constitutes "resilience" of the peat swamp forest, digs deeper into local knowledge in developing the studies on institutions, governance, and ecological conditions that support the resilience of the peat swamp forest to elaborate on the idea of transformation in today's degraded peatlands. While peat swamp forests may be resilient, they remain highly vulnerable. The book analyzes restoration efforts through rewetting, revegetation, and rehabilitation of the local livelihoods with the concepts of adaptation and transformation. The integrated analysis covers fieldwork of more than a decade and various aspects such as agrarian and social changes, biological changes (birds, mammals, and termites), carbon emission, water control, timber use, revegetation efforts, and the Indonesia Sustainable Palm Oil (ISPO) program implementation. It also employs the ideas of vulnerability, resilience, adaptability, and transformation based on expanded studies on peatlands and observations of and participation in multiple efforts to prevent fires and restore the degraded peatland by researchers, the government, non-government organizations (NGOs), private companies, and last but not least, the local people. The discussion includes the period of pre-degradation and several efforts at peatland restoration for a better understanding and analysis of the long-term peatland dynamics.
    Keywords: Peatland conservation ; Peatland degradation ; Peatland rehabilitation ; Peatland restoration ; Peat swamp forest ; Peatland ecosystems ; Tropical peatland ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNK Conservation of the environment ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography ; 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::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs. This Open Access book can be used as a technical reference book in the field of information science and also a reference textbook for senior students and graduate ones in related majors.
    Keywords: Object Information Theory ; Information Space ; Structural Framework ; Metaverse ; Information Model ; Information Measure ; Information Systems Dynamics ; Air Traffic Control System (ATCS) ; Smart Court SoSs (System of Systems) ; 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 ; 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::UMB Algorithms and data structures ; 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/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This open access book presents multiple disciplinary perspectives on the challenges and opportunities for sustainable development in the South African mountain city of Phuthaditjhaba. These challenges are embedded in the complex environmental, socio-cultural and political contexts of the region. Established as the capital of the QwaQwa ‘homeland’ under Grand Apartheid, this city is now home to between 400,000 – 700,000 people but in many areas lacks formal infrastructure and services. Each chapter of this volume addresses a different aspect of the city’s development and all take the UN Sustainable Development Goals as a common framework to guide their reflections on potential sustainable futures for Phuthaditjhaba. While the circumstances in Phuthaditjhaba will be familiar to many researchers of informal and growing cities in developing regions, the mountain setting of the city brings its own set of challenges and opportunities linked to the rugged and steep terrain, remoteness and natural resources. This book serves to showcase the diverse research taking place in this emerging mountain city and provide reflections on how a sustainable future can be ensured for its environment and inhabitants.
    Keywords: Sustainable development in southern Africa ; Mountain cities in Africa ; Informal settlements in Africa ; Homeland cities South Africa ; Sustainable development goals and urban planning ; Informal urban settlements southern Africa ; Mountain economy in Africa ; Migrations and African cities ; Natural resources and cities in Africa ; Post-apartheid cities and development ; Mountain society in Africa ; African urban communities ; Commons and cities in Africa ; African urban sociology ; African urban economy ; Urban infrastructure and informal settlements ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBP Meteorology and climatology
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This open access book provides an overview of the work undertaken within the FiberEUse project, which developed solutions enhancing the profitability of composite recycling and reuse in value-added products, with a cross-sectorial approach. Glass and carbon fiber reinforced polymers, or composites, are increasingly used as structural materials in many manufacturing sectors like transport, constructions and energy due to their better lightweight and corrosion resistance compared to metals. However, composite recycling is still a challenge since no significant added value in the recycling and reprocessing of composites is demonstrated. FiberEUse developed innovative solutions and business models towards sustainable Circular Economy solutions for post-use composite-made products. Three strategies are presented, namely mechanical recycling of short fibers, thermal recycling of long fibers and modular car parts design for sustainable disassembly and remanufacturing. The validation of the FiberEUse approach within eight industrial demonstrators shows the potentials towards new Circular Economy value-chains for composite materials.
    Keywords: FiberEUse project ; composite recycling ; remanufacturing ; demanufacturing processes ; composite reformulation ; Composite repair ; value-chain integration ; Co-design of creative products ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-04
    Description: This open access volume explains the foundations of modern solvers for ordinary differential equations (ODEs). Formulating and solving ODEs is an essential part of mathematical modeling and computational science, and numerous solvers are available in commercial and open source software. However, no single ODE solver is the best choice for every single problem, and choosing the right solver requires fundamental insight into how the solvers work. This book will provide exactly that insight, to enable students and researchers to select the right solver for any ODE problem of interest, or implement their own solvers if needed. The presentation is compact and accessible, and focuses on the large and widely used class of solvers known as Runge-Kutta methods. Explicit and implicit methods are motivated and explained, as well as methods for error control and automatic time step selection, and all the solvers are implemented as a class hierarchy in Python.
    Keywords: Ordinary differential equations ; Runge-Kutta methods ; scientific programming ; Python programming ; object-oriented programming ; difference equations ; adaptive time step methods ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PB Mathematics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    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 ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. *The conference was held in a hybrid format This is an open access book.
    Keywords: artificial intelligence ; communication systems ; computer networks ; computer systems ; computer vision ; correlation analysis ; data mining ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; numerical methods ; signal processing ; telecommunication systems ; 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::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-05
    Description: This open access book is a compilation of case studies that provide useful knowledge and lessons that derive from on-the-ground activities and contribute to policy recommendations, focusing on the relevance of social-ecological production landscapes and seascapes (SEPLS) to ecosystem restoration. Building on the concept of SEPLS, the Satoyama Initiative promotes landscape approaches as integrative area-based strategies to bring together diverse stakeholders aiming to balance multiple objectives, including conservation and development, for the benefit of biodiversity and human well-being. Many of the SEPLS case studies from the International Partnership for the Satoyama Initiative (IPSI) offer rich evidence to help guide restoration efforts while advancing relevant knowledge and practices. The book highlights how the efforts in managing SEPLS can contribute to ecosystem restoration and sustainable development, looking at the strategies and approaches by which multiple stakeholders express, negotiate, and embrace their plural value perspectives of nature to restore ecosystems within a landscape or seascape. It begins with an introductory chapter followed by twelve case studies and a synthesis clarifying the relevance of the case study findings to policy and academic discussions. This book will be of interest to scholars, policymakers and professionals in the field related to sustainable development, especially on SDGs 15 and 17.
    Keywords: Landscape approaches ; Biodiversity ; Well-being ; Sustainable development ; Science-policy-practice interface ; SDG 15 ; SDG 17 ; International Partnership for the Satoyama Initiative ; IPSI ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNK Conservation of the environment ; 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::RNC Applied ecology::RNCB Biodiversity
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This open access book provides a cross-sectoral, multi-scale assessment of marine litter in Africa with a focus on plastics. From distribution, to impacts on environmental and human health, this book looks at what is known scientifically. It includes a policy analysis of the instruments that currently exist, and what is needed to help Africa tackle marine litter—including local and transboundary sources. Across 5 chapters, experts from Africa and beyond have put together a summary of the scientific knowledge currently known about marine litter in Africa. The context of the African continent and future projections form a backdrop on which the scientific knowledge is built. This scientific knowledge incorporates quantities, distributions, and pathways of litter into the marine environment, highlighting where the impacts of marine litter are most felt in Africa. These impacts have widespread effects, with ecological, social, economic, and human health repercussions. While containing detailed scientific information, this book provides a sound knowledge base for policymakers, NGOs and the broader public.
    Keywords: Africa ; Plastic and microplastic marine pollution ; Marine debris in Africa ; Impacts of marine litter ; Blue economy in Africa ; Marine litter sources ; Natural environment, people and economies ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNH Waste management ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBK Hydrology and the hydrosphere ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBK Hydrology and the hydrosphere::RBKC Oceanography (seas and oceans) ; 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 ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book provides a unique and state-of-the-art view on DNA nanotechnology with an eye toward future developments. Intended as a tribute to Nadrian C. Seeman, who founded the field of DNA nanotechnology, the content is an exciting mixture of technical and non-technical material, reviews, tutorials, perspectives, new findings, and open questions. The book aims to inspire current researchers to sit back and think about the big picture, while also enticing new researchers to enter the field. Most of all, the book captures voices from a unique moment in time: 40 years after the publication of the first paper that envisioned DNA nanotechnology. From this vantage point, what are the untold stories, the unspoken concerns, the underlying fundamental issues, the overlooked opportunities, and the unifying grand challenges? What will help us see more clearly, see more creatively, or see farther? What is transpiring right now that could pave the way for the future? To address these questions, leading researchers have contributed 22 chapters, grouped into five sections: perspectives, chemistry and physics, structures, biochemical circuits, and spatial systems. This book will be an important reference point in the field of DNA nanotechnology, both for established researchers looking to take stock of the field and its future, and for newcomers such as graduate students and researchers in other fields who are beginning to appreciate the power and applicability of its methods.
    Keywords: DNA nanotechnology ; DNA computing ; Natural computing ; Bio-inspired computing ; Information-based chemistry ; Molecular programming ; Self-assembly and self-organization ; Structure and function ; Computer-aided design ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBN Nanotechnology ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry ; thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-07
    Description: This open access book is based on the research outputs of China Council for International Cooperation on Environment and Development (CCICED) in 2021. It covers major topics of Chinese and international attention regarding green development, such as climate, biodiversity, ocean, BRI, urbanization, sustainable production and consumption, technology, finance, value chain, and related topics. It also reviews the progress of China‘s environmental and development policies and the impacts from CCICED. This is a highly informative and carefully presented book, providing insight for policy makers in environmental issues.
    Keywords: Climate Change ; Biodiversity Conservation ; BRI Green Development ; Green Value Chain ; Green Finance ; Integrated Ocean Governance ; Green Consumption ; Green Urbanization Strategy ; Ecological Capital Accounting in Yangtze River ; Major Green Technology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBK Hydrology and the hydrosphere::RBKC Oceanography (seas and oceans)
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book presents technologies and methods of lightweight system design to support future low-emission aviation in achieving climate targets. It will be shown how reduction of weight and aerodynamic drag affects the energy consumption of commercial aircraft and what characterizes lightweight system design. Methods, design principles, production technologies and options for functional integration are available for more energy-efficient aircraft. Research results from the last decade are presented, which are intended to encourage the reader to further research and, above all, to implement them in future aircraft.
    Keywords: Carbon fiber reinforced plastics ; Active function integration ; Passive function integration ; Minimum emissions aviation ; Weight reduction ; Drag reduction ; Alternative fuels ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRP Aerospace and aviation technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book explores a wide-ranging discussion about the sociopolitical, cultural, and scientific ramifications of speciesism and world views that derive from it. In this light, it integrates subjects across the natural sciences, social sciences, and humanities. The 21st-century western world is anthropocentric to an extreme; we adopt unreasonably self-centered and self-serving ideas and lifestyles. Americans consume more energy resources per person than most other nations on Earth and have little concept of how human ecology and population biology interface with global sustainability. We draw upon religion, popular culture, politics, and technology to justify our views and actions, yet remain self-centered because our considerations rarely extend beyond our immediate interests. Stepping upward on the hierarchy from “racism,” “speciesism” likewise refers to the view that unique natural kinds (species) exist and are an important structural element of biodiversity. This ideology manifests in the cultural idea that humans are distinct from and intrinsically superior to other forms of life. It further carries a plurality of implications for how we perceive ourselves in relation to nature, how we view Judeo-Christian religions and their tenets, how we respond to scientific data about social problems such as climate change, and how willing we are to change our actions in the face of evidence.
    Keywords: Speciesism ; anthropocentric practices ; conservation biology ; ecological and evolutionary history ; environmental ethics ; religion and culture ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNK Conservation of the environment ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-29
    Description: This open access book builds a framework that holds together numerous open issues in territorial planning: from the understanding of territorial, landscape, environmental and climatic dynamics to the analysis of local vulnerabilities, to the use of modern survey techniques to support planning. What is the role of urban and regional planning in achieving the sustainable development goals of our communities considering the major issues posed by the COVID-19 pandemic in urban planning? And how do these medium- and long-term objectives interact with the needs that the emergency has given rise to? Post Un-Lock—from territorial vulnerabilities to local resilience—aims to provide the reader with a useful key to understand how the COVID-19 pandemic can be seen as a catalyst for a restart based on the concepts of sustainability and resilience. In fact, the COVID-19 experience evidences the need to propose a planning system able to integrate multiple scales according to an interdisciplinary approach focused on in-depth knowledge of the territorial risks and vulnerabilities. Besides, with the contribution of the new technologies, it is able to rethink spaces on a neighbourhood scale, conceived as a "local resilience unit" that ensures the population high standards of safety, liveability, and accessibility to proximity services. In this view, planning is increasingly concerned about social aspects and the well-being of communities, supported by indicators and evaluation tools. With the proposal of the concept of local resilience unit, Post Un-Lock takes a step forward towards the definition of a new paradigm of local planning and a topic for urban regeneration.
    Keywords: Spatial Planning ; Resilience ; Post Covid-19 Cities ; GIS ; Local Regeneration ; Landscape/Regional and Urban Planning ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-30
    Description: This open access book examines an interdependent approach to happiness and well-being, one that contrasts starkly with dominant approaches that have originated from Western culture(s). It highlights the diversity of potential pathways towards happiness and well-being globally, and answers calls - voiced in the UN’s Sustainable Development Goals - for more socially and environmentally sustainable models. Leading global organizations including the OECD, UNICEF, and UNESCO are now proposing human happiness and well-being as a more sustainable alternative to a myopic focus on GDP growth. Yet, the definition of well-being offered by these organizations derives largely from the philosophies, social sciences, and institutional patterns of Europe and the United States. Across seven chapters this book carefully probes the inadequacy of these approaches to well-being globally and reveals the distorting effect this has on how we imagine our world, organize institutions, and plan our collective future(s). It shares a wealth of evidence and examples from across East Asia - a region where interdependence remains foregrounded - and concludes by provocatively arguing that interdependence may provide a more sustainable approach to happiness and well-being in the 21st century. A timely and accessible book, it offers fresh insights for scholars and policymakers working in the areas of psychology, health, sociology, education, international development, public policy, and philosophy. This is an open access book.
    Keywords: Interdependent Well-Being ; happiness studies ; well-being ; sociology of happiness ; international education ; collectivist cultures ; East Asia ; happiness and sustainability ; Individual differences in happiness and well-being ; interdependent approach to happiness ; the Japanese self ; cultural difference model ; culturally sensitive models of happiness ; Culture and Happiness ; emotion ; indices of happiness and well-being ; Happiness and Measurement ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV2 Personnel and human resources management ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMH Social, group or collective psychology ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMA Psychological theory, systems, schools and viewpoints::JMAN Humanistic psychology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKM Clinical psychology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: automata theory ; computer programming ; computer systems ; databases ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; linguistics ; ontologies ; parallel processing systems ; program compilers ; programming languages ; semantics ; software design ; software engineering ; software quality ; verification ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book is twofold. First, it reports on the design choices made in the development phase. Second, as one of the only systems in the world that collected population data into a central database and which was used for an entire population, we can share experience on how the design choices impacted the system's operation. By sharing lessons learned and the challenges faced during the development and deployment of the technology, we hope that this book can be a valuable guide for experts from different domains, such as big data collection and analysis, application development, and deployment in a national population, as well as digital tracing.
    Keywords: digital contract tracing ; Covid-19 ; public health ; pandemic ; BLE ; GPS ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine::MBNS Epidemiology and Medical statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; 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 ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book provides an in-depth description of the EU project European Language Grid (ELG). Its motivation lies in the fact that Europe is a multilingual society with 24 official European Union Member State languages and dozens of additional languages including regional and minority languages. The only meaningful way to enable multilingualism and to benefit from this rich linguistic heritage is through Language Technologies (LT) including Natural Language Processing (NLP), Natural Language Understanding (NLU), Speech Technologies and language-centric Artificial Intelligence (AI) applications. The European Language Grid provides a single umbrella platform for the European LT community, including research and industry, effectively functioning as a virtual home, marketplace, showroom, and deployment centre for all services, tools, resources, products and organisations active in the field. Today the ELG cloud platform already offers access to more than 13,000 language processing tools and language resources. It enables all stakeholders to deposit, upload and deploy their technologies and datasets. The platform also supports the long-term objective of establishing digital language equality in Europe by 2030 – to create a situation in which all European languages enjoy equal technological support. This is the very first book dedicated to Language Technology and NLP platforms. Cloud technology has only recently matured enough to make the development of a platform like ELG feasible on a larger scale. The book comprehensively describes the results of the ELG project. Following an introduction, the content is divided into four main parts: (I) ELG Cloud Platform; (II) ELG Inventory of Technologies and Resources; (III) ELG Community and Initiative; and (IV) ELG Open Calls and Pilot Projects.
    Keywords: Language technology platform ; Language processing platform ; LT platform ; NLP platform ; Language technology directory ; Language processing directory ; LT directory ; NLP directory ; Language technology repository ; Language processing repository ; LT repository ; NLP repository ; Language data repository ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; 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::UB Information technology: general topics ; 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 ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-05
    Description: This open access book focuses on climate change, Indigenous reindeer husbandry, and the underlying concept of connecting the traditional knowledge of Indigenous reindeer herders in the Arctic with the latest research findings of the world’s leading academics. The Arctic and sub-Arctic environment, climate, and biodiversity are changing in ways unprecedented in the long histories of the north, challenging traditional ways of life, well-being, and food security with legitimate concerns for the future of traditional Indigenous livelihoods. The book provides a clear and thorough overview of the potential problems caused by a warming climate on reindeer husbandry and how reindeer herders’ knowledge should be brought to action. In particular, the predicted impacts of global warming on winter climate and the resilience of the reindeer herding communities are thoroughly discussed.
    Keywords: Arctic societies ; Indigenous knowledge ; Reindeer husbandry in the Arctic ; Resilience to a changing Arctic ; Sami and reindeer herds ; Indigenous people communities ; Planning for adaptation action ; Climate change impacts ; Climate change mitigation ; Polar geography ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; 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::RN The environment::RNC Applied ecology::RNCB Biodiversity
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-04-14
    Description: This open access book provides a clear holistic conceptual framework of CISS-F (competitiveness, inclusiveness, sustainability, scalability and access to finance) to analyse the efficiency of value chains of high value agricultural commodities in India. It is based on the understanding that agriculture is an integrated system that connects farming with logistics, processing and marketing. Farmer’s welfare being central to any agricultural policy makes it very pertinent to study how a value chain works and can be strengthened further to realize this policy goal. This book adds value to the existing research by studying the value chains end-to-end across a wide spectrum of agricultural commodities with the holistic lens of CISS-F. It is not enough that a value chain is competitive but not inclusive or it is competitive and inclusive but not sustainable. The issue of scalability is very critical to achieve macro gains in terms of greater farmer outreach and sectoral growth. The research undertaken here brings out some very useful insights for policymaking in terms of what needs to be done better to steer the agricultural value chains towards being more competitive, inclusive, sustainable and scalable. The value chain specific research findings help draw very nuanced policy recommendations as well as present a big picture of the future direction of policy making in agriculture.
    Keywords: Open Access ; Value Chains ; Value Chain Financing ; Small Farm Holders ; Agri Marketing ; CISS-F Framework ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV8 Purchasing and supply management ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-04-09
    Description: This is an Open Access book. In accordance with the 2030 Agenda for Sustainable Development, it showcases 17 projects under the framework of Belt & Road Initiative (BRI). These projects cover ninefields, namely, biodiversity and ecosystem, clean energy, clean water, sustainable transportation, solid waste treatment, sustainable consumption and production, green buildings, sustainable foodproduction and corporate social responsibility. Aiming at achieving green development, these projects, in their implementation, adhere to the concept of ecological civilization, combine China’s strict environmental protection systems and international standards, and take various measures of environmental protection based on the conditions of the local environment. These measures include joint efforts with local governments, businesses and communities, optimizating of design and construction plans, strict controling over different types of pollutants, and in situ conservation of species and ecosystems.The experience and practice of these 13 projects set an example for the latecomers.
    Keywords: Open Access ; Belt and Road Initiative ; 2030 Agenda for Sustainable Development ; SDGs ; Sustainable infrastructure ; BRI project ; ESG Environmental, Social, and Governance ; Sustainable investment ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This open access textbook introduces the emerging field of Development Engineering and its constituent theories, methods, and applications. It is both a teaching text for students and a resource for researchers and practitioners engaged in the design and scaling of technologies for low-resource communities. The scope is broad, ranging from the development of mobile applications for low-literacy users to hardware and software solutions for providing electricity and water in remote settings. It is also highly interdisciplinary, drawing on methods and theory from the social sciences as well as engineering and the natural sciences. The opening section reviews the history of “technology-for-development” research, and presents a framework that formalizes this body of work and begins its transformation into an academic discipline. It identifies common challenges in development and explains the book’s iterative approach of “innovation, implementation, evaluation, adaptation.” Each of the next six thematic sections focuses on a different sector: energy and environment; market performance; education and labor; water, sanitation and health; digital governance; and connectivity. These thematic sections contain case studies from landmark research that directly integrates engineering innovation with technically rigorous methods from the social sciences. Each case study describes the design, evaluation, and/or scaling of a technology in the field and follows a single form, with common elements and discussion questions, to create continuity and pedagogical consistency. Together, they highlight successful solutions to development challenges, while also analyzing the rarely discussed failures. The book concludes by reiterating the core principles of development engineering illustrated in the case studies, highlighting common challenges that engineers and scientists will face in designing technology interventions that sustainably accelerate economic development. Development Engineering provides, for the first time, a coherent intellectual framework for attacking the challenges of poverty and global climate change through the design of better technologies. It offers the rigorous discipline needed to channel the energy of a new generation of scientists and engineers toward advancing social justice and improved living conditions in low-resource communities around the world.
    Keywords: technology for development ; technology intervention ; engineering innovation ; social innovation ; social entrepreneurship ; global engineering ; anti-poverty technologies ; humanitarian engineering ; information and communication technology for development ; development studies ; sustainable engineering ; international development studies ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBD Technical design ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-03-29
    Description: This open access book is based on the research outputs of China Council for International Cooperation on Environment and Development (CCICED) in 2020. It covers major topics of Chinese and international attention regarding green development, such as climate, biodiversity, ocean, BRI, urbanization, sustainable production and consumption, technology, finance, value chain, and so on. It also looks at the progress of China’s environmental and development policies,and the impacts from CCICED. This is a highly informative and carefully presented book, providing insight for policy makers in environmental issues.
    Keywords: Open access ; Climate Change ; Biodiversity Conservation ; BRI Green Development ; Green Value Chain ; Green Finance ; Integrated Ocean Governance ; Green Consumption ; Green Urbanization Strategy ; Ecological Capital Accounting in Yangtze River ; Major Green Technology ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-16
    Description: This open access book provides a topical overview of the key sustainability issues in Qatar, focusing on environmental sustainability from a socio-political perspective. The transition to a sustainable Qatar requires engagement with diverse areas of social-political, human, and environmental development. On the environmental aspects, the contributors address climate change, food security, water reuse and desalination, energy, and biodiversity. The socio-political section examines state strategy and regulation, the place of environmental law and geopolitics and sustainability innovators and catalysts. The human section considers economics, sustainability education, the knowledge economy, and waste management. In doing so, the book demarcates the ways in which the country encounters and grapples with significant challenges and delves into the range of options for future pathways to sustainability in Qatar. Relevant to policymakers and scholars in energy and environment, urban and developmental studies, as well as the arenas of politics, climate change and policy, this book is a landmark collection on environmental policy in the Gulf and beyond. ; This volume provides a topical overview of the key sustainability issues in Qatar, focusing on environmental sustainability from a socio-political perspective. The transition to a sustainable Qatar weaves together pillars of social-political, human, and environmental development, and so this book tackles each aspect accordingly. In the environmental section, the contributors address climate change, food security, water reuse and desalination, energy, air quality and biodiversity. The socio-political section examines state strategy and regulation, the place of environmental law and geopolitics, and sustainability innovators and catalysts. The human section considers demographic trends and models, economics – including the circular economy and green finance – transport, the built environment, and waste management. In doing so, the volume demarcates the ways in which the country encounters and grapples with significant challenges, and delves into the range of options for future pathways to sustainability in Qatar. Relevant to policymakers and scholars in energy and environment, urban, and developmental studies, as well as the arenas of politics, climate change, and policy, this book is a landmark collection on environmental policy in the Gulf, and beyond.
    Keywords: Sustainability ; Qatar ; Middle East ; Gulf Studies ; Food Security ; Water Security ; Energy ; Development ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; 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
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: 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 ; semantics of programming languages ; program analysis ; logics of programming ; software specification and refinement ; models of concurrent systems ; emerging models of computation ; logical aspects of computational complexity ; correctness, transformation, and verification ; models of software security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; 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::UYD Systems analysis and design ; 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 ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.
    Keywords: architecture verification and validation ; distributed computer systems ; embedded systems ; empirical software validation ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; program analysis, ; software performance ; software quality ; software testing and debugging ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This open access book describes a BIM-based toolkit that has been developed according to the latest research activities on building information modelling and semantic interoperability to optimize the building process. It highlights the impacts of using such new tools to fast renovation activities starting from the decision-making and design stages to the construction site management with the possibility to monitor occupants' and owners’ feedback during the realization process. In this process, a framework has been developed and implemented to allow stakeholders involved in a renovation project to efficiently compile, maintain, and add data about (i) building elements, (ii) building services systems, (iii) tenants, operators, and owners of the building, and (iv) current and predicted performance of the building from the various data sources available. The framework applies and specializes the existing practices in the Semantic Web, Linked Data, and ontology domain to the management of renovation projects. It has been designed to be open so that any system which implements the required functions and uses the specified conventions will be able to achieve semantic interoperability with other framework-compliant systems in the renovation domain. Finally, this book represents the validation process of the toolkit that has been held in three demo sites: a social housing building in Italy and two private residential buildings in Poland and Finland. The outcome shows that the toolkit facilitates the renovation process with relevant reductions of time, costs, and energy consumption and that the inhabitants can take advantage of the increase in building performances, quality, and comfort.
    Keywords: renovation process ; Semantic Interoperability ; BIM management system ; HVAC design ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Publication Date: 2024-04-14
    Description: This open access book is the result of an expert panel convened by the Cornell Atkinson Center for Sustainability and Nature Sustainability. The panel tackled the seventeen UN Sustainable Development Goals (SDGs) for 2030 head-on, with respect to the global systems that produce and distribute food. The panel’s rigorous synthesis and analysis of existing research leads compellingly to multiple actionable recommendations that, if adopted, would simultaneously lead to healthy and nutritious diets, equitable and inclusive value chains, resilience to shocks and stressors, and climate and environmental sustainability.
    Keywords: Socio-technical innovation ; Agri-food systems ; Land and water footprint of food ; Climate crisis ; Human agency ; Heterogeneity ; Spillover effects ; Natural environment ; Public health ; Social justice ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; 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::RNU Sustainability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-04-14
    Description: This open access book brings together varying perspectives for transformational change needed in India’s agriculture and allied sectors. Stressing the need of thinking for a post-Green Revolution future, the book promotes approaching this change through eight broad areas, indicating the policy shifts needed to meet the challenges for the coming decade (2021-2030). The book comprises of ten contributions. Apart from the overview chapter on transformational change and the concluding chapter on pathways for 2030, there are eight thematic chapters on topics such as transforming Indian agriculture, dietary diversity for nutritive and safe food; climate crisis and risk management; water in agriculture; pests, pandemics, preparedness and biosecurity natural farming; agroecology and biodiverse futures; science, technology and innovation in agriculture; and structural reforms and governance. The writing style of these papers written by technical experts is forward-looking—not merely an analysis of what has been and why it was so, but what ought to be. This is an essential reading for those interested in agriculture, food and nutrition sectors of India, and more so their interconnectedness.
    Keywords: Indian Agriculture ; Agricultural Transformation ; Food System ; Nutritional Security ; Dietary Diversity ; Sustainability in Agriculture ; Agricultural Policymaking ; Agriculture Sector ; Water in Agriculture ; Climate Crisis ; Natural Farming ; Agri Innovations ; Green Revolution ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering::TDCT Food and beverage technology ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This is open access book provides plenty of pleasant mathematical surprises. There are many fascinating results that do not appear in textbooks although they are accessible with a good knowledge of secondary-school mathematics. This book presents a selection of these topics including the mathematical formalization of origami, construction with straightedge and compass (and other instruments), the five- and six-color theorems, a taste of Ramsey theory and little-known theorems proved by induction. Among the most surprising theorems are the Mohr-Mascheroni theorem that a compass alone can perform all the classical constructions with straightedge and compass, and Steiner's theorem that a straightedge alone is sufficient provided that a single circle is given. The highlight of the book is a detailed presentation of Gauss's purely algebraic proof that a regular heptadecagon (a regular polygon with seventeen sides) can be constructed with straightedge and compass. Although the mathematics used in the book is elementary (Euclidean and analytic geometry, algebra, trigonometry), students in secondary schools and colleges, teachers, and other interested readers will relish the opportunity to confront the challenge of understanding these surprising theorems.
    Keywords: open access high school mathematics book ; origami book ; elementary mathematics book ; mathematics circle book ; Moti Ben-Ari mathematical surprises ; what is mathematics book ; mathematics independent study ; mathematics problems book ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; 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 ...
  • 62
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-03-29
    Description: This open access book is designed and written to bridge the gap on the critical issues identified in environmental education programs in Asian countries. The world and its environments are changing rapidly, and the public may have difficulty keeping up and understanding how these changes will affect our way of life. The authors discuss various topics and case studies from an Asian perspective, but the content, messaging, and lessons learned need not be limited to Asian cultures. Each chapter provides a summary of the intensive research that has been performed on pro-environmental behaviors, the experience of people working in industry and at home, and their philosophies that guide them in their daily lives. We highlight humanity’s potential to contribute to Sustainable Development Goals (SDGs) by understanding better the environmental psychology, social inclusion, and environmental sustainability and stewardship protection elements that contribute to responsible environmental citizenship. The content of the chapters in this book includes a discussion of the crucial issues, plans, and evaluations for sustainability theories, practices, and actions with a proposed management structure for maximizing the cultural, social, and ecological diversity of Asian experiences compared to other theories and cultures internationally. We intend that the data in this book will provide a comprehensive guide for students, professors, practitioners, and entrepreneurs of environmental education and its related disciplines using case studies that demonstrate the relationship between the social and behavioral sciences and environmental leadership and sustainability.
    Keywords: Sustainable education ; Green behavior ; Social norms and values ; Pro-environmental behavior ; Environmental psychology ; Environmental literacy ; Teaching material ; Asian studies ; Environmental performance and measurement ; Educational theory ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Publication Date: 2024-04-05
    Description: This is an open access book. It is a compilation of case studies that provide useful knowledge and lessons that derive from on-the-ground activities and contribute to policy recommendations, focusing on the interlinkages between biodiversity and multiple dimensions of health (e.g., physical, mental, and spiritual) in managing socio-ecological production landscapes and seascapes (SEPLS). This book provides insights on how SEPLS approaches can contribute to more sustainable management of natural resources, achieving global biodiversity and sustainable development goals, and good health for all. It is also expected to offer useful knowledge and information for an upcoming three-year thematic assessment of “the interlinkages among biodiversity, water, food, and health” (the so-called “nexus assessment”) by the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services (IPBES). The book begins with an introductory chapter followed by eleven case study chapters demonstrating the nexus between biodiversity, health, and sustainable development, and then a synthesis chapter clarifying the relevance of the case study findings to policy and academic discussions. It will be of interest to scholars, policymakers, and professionals in the field related to sustainable development.
    Keywords: Conserving biodiversity ; Well-being ; Sustainable development ; Local and regional development ; COVID-19 ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNK Conservation of the environment ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNC Applied ecology::RNCB Biodiversity ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-01
    Description: This open access book brings science and practice together and inspires a global movement towards co-creating regenerative civilizations that work for 100% of humanity and the Earth as a whole. With its conceptual foundation of the concept of transformation literacy it enhances the knowledge and capacity of decision-makers, change agents and institutional actors to steward transformations effectively across institutions, societal sectors and nations. Humanity is at crossroads. Resource depletion and exponential emissions that not only cause climate change, but endanger the health of people and planet, call for a decisive turnaround of human civilization. A new and transformative paradigm is emerging that advocates for regenerative civilizations, in which a narrative of systemic health as much as individual and collective vitality guide the interaction of socio-economic-ecological systems. Truly transformative change must go far beyond technical solutions, and instead envision what can be termed ‘a new operating system’ that helps humankind to live well within the planetary boundaries and partner with life’s evolutionary processes. This requires transformations at three different levels: · Mindsets that reconnect with a worldview in which human agency acknowledges its co-evolutionary pathways with each other and the Earth. · Political, social and economic systems that are regenerative and foster the care-taking for Earth life support systems. · Competencies to design and implement effective large-scale transformative change processes at multiple levels with multiple stakeholders. This book provides key ingredients for enhancing transformation literacy from various perspectives around the globe. It connects the emerging practice of stewarding transformative change across business, government institutions and civil society actors with the most promising scientific models and concepts that underpin human action to shape the future collectively in accordance with planetary needs. ;
    Keywords: Regenerative Civilization ; Sustainability ; Transformation ; Collective Stewardship. ; Climate Action ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKV Environmental medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferences. The main focus is on axiomatic analysis, algorithmic results and several applications that are relevant in artificial intelligence, computer science and elections of any kind. What is the best way to select a set of candidates for a shortlist, for an executive committee, or for product recommendations? Multi-winner voting is the process of selecting a fixed-size set of candidates based on the preferences expressed by the voters. A wide variety of decision processes in settings ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversity in search results, etc.) share the problem of identifying a representative subset of alternatives. The study of multi-winner voting provides the principled analysis of this task. Approval-based committee voting rules (in short: ABC rules) are multi-winner voting rules particularly suitable for practical use. Their usability is founded on the straightforward form in which the voters can express preferences: voters simply have to differentiate between approved and disapproved candidates. Proposals for ABC rules are numerous, some dating back to the late 19th century while others have been introduced only very recently. This book explains and discusses these rules, highlighting their individual strengths and weaknesses. With the help of this book, the reader will be able to choose a suitable ABC voting rule in a principled fashion, participate in, and be up to date with the ongoing research on this topic.
    Keywords: Multi-Winner Voting ; Computational Social Choice ; Approval-Based Committee (ABC) Voting ; ABC Rules ; Proportionality ; Fairness Axioms ; Strategic Voting ; Collective Decisions ; Artificial Intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCA Economic theory and philosophy ; 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 ...
  • 66
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; 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::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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 ...
  • 67
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: embedded systems ; formal languages and automata theory ; Formal methods and theory of security ; Machine learning ; Modeling and simulation ; Semantics and reasoning ; software and hardware verification ; specification and verification techniques ; static and dynamic program analysis ; Symbolic and algebraic manipulation ; system construction and transformation techniques ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::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::UM Computer programming / software engineering::UMZ Software Engineering ; 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 ...
  • 68
    facet.materialart.
    Unknown
    Springer Nature | Springer Vieweg
    Publication Date: 2024-04-14
    Description: essentials liefern aktuelles Wissen in konzentrierter Form. Die Essenz dessen, worauf es als „State-of-the-Art“ in der gegenwärtigen Fachdiskussion oder in der Praxis ankommt. essentials informieren schnell, unkompliziert und verständlichals Einführung in ein aktuelles Thema aus Ihrem Fachgebiet als Einstieg in ein für Sie noch unbekanntes Themenfeldals Einblick, um zum Thema mitreden zu können Die Bücher in elektronischer und gedruckter Form bringen das Fachwissen von Springerautor*innen kompakt zur Darstellung. Sie sind besonders für die Nutzung als eBook auf Tablet-PCs, eBook-Readern und Smartphones geeignet. essentials sind Wissensbausteine aus den Wirtschafts-, Sozial- und Geisteswissenschaften, aus Technik und Naturwissenschaften sowie aus Medizin, Psychologie und Gesundheitsberufen. Von renommierten Autor*innen aller Springer-Verlagsmarken. Dies ist ein Open-Access-Buch.
    Keywords: Kohlenstofffaserverstärkte Kunststoffe ; Aktive Funktionsintegration ; Passive Funktionsintegration ; Emissionsminimale Luftfahrt ; Gewichtsreduktion ; Luftwiderstandsreduktion ; Alternative Kraftstoffe ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRP Aerospace and aviation technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: formal languages and automata theory ; Formal methods and theory of security ; Machine learning ; Modeling and simulation ; Semantics and reasoning ; signal processing ; software and hardware verification ; specification and verification techniques ; Symbolic and algebraic manipulation ; system construction and transformation techniques ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    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 ...
  • 71
    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 ...
  • 72
    Publication Date: 2024-04-06
    Description: fuzzy arithmetic; defuzzyfication; fuzzy prediction models; analysis; trend processing; uncertainty modeling; propagation of uncertainty; Kosinski’s fuzzy numbers
    Keywords: fuzzy arithmetic ; defuzzyfication ; fuzzy prediction models ; analysis ; trend processing ; uncertainty modeling ; propagation of uncertainty ; Kosinski’s fuzzy numbers ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open access book brings together a collection of cutting-edge insights into how action can and is already being taken against climate change at multiple levels of our societies, amidst growing calls for transformative and inclusive climate action. In an era of increasing recognition regarding climate and ecological breakdown, this book offers hope, inspiration and analyses for multi-level climate action, spanning varied communities, places, spaces, agents and disciplines, demonstrating how the energy and dynamism of local scales are a powerful resource in turning the tide. Interconnected yet conceptually distinct, the book’s three sections span multiple levels of analysis, interrogating diverse perspectives and practices inherent to the vivid tapestry of climate action emerging locally, nationally and internationally. Delivered in collaboration with the UK’s ‘Place-Based Climate Action Network’, chapters are drawn from a wide range of authors with varying backgrounds spread across academia, policy and practice.
    Keywords: Open Access ; climate change ; climate emergency ; praxis ; community ; theory ; practice ; climate action ; local climate praxis ; community engagement ; sustainable business models ; climate crisis ; community climate action ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBP Meteorology and climatology ; 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::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Publication Date: 2024-04-14
    Description: artificial intelligence; big data; cloud computing; communication; computer architecture; computer science; computer systems; data management; databases; hardware; High-Performance Computing (HPC); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems
    Keywords: artificial intelligence ; big data ; cloud computing ; communication ; computer architecture ; computer science ; computer systems ; data management ; databases ; hardware ; High-Performance Computing (HPC) ; information management ; map-reduce ; processors ; programming languages ; semantics ; wireless telecommunication systems ; 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 ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 76
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-11
    Description: This open access book introduces design for Sustainable Product-Service Systems (S.PSS) and for Sustainable Distributed Economies (S.DE). These are introduced as technical and operative tools for the development of a new generation of designers, responsible and capable of designing environmentally, socially and economically sustainable solutions, accessible to all. The book provides a comprehensive framework and also practical tools to support the system design for sustainability process. It overviews methodologies, tools and strategies for Sustainable PSS design applied to Distributed Economies (DE) and provides strategies and design guidelines. All of these are highlighted and expanded upon with international case studies.
    Keywords: Engineering Design ; Sustainability Management ; Development and Sustainability ; Industrial and Production Engineering ; Management ; Development Studies ; Design for Sustainability ; Product-Service System (PSS) ; Sustainable Development ; Distributed Economies (DE) ; Circular Economy ; Social Equity and Cohesion ; Open Access ; Technical design ; Business & the environment ; ‘green’ approaches to business ; Sustainability ; Production engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBD Technical design ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJJ Business and the environment; ‘green’ approaches to business ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security. This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.
    Keywords: Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy ; Computer Hardware ; IT Operations ; Economics ; cyber security ; IT management ; computer science ; digital vulnerability ; open access ; Privacy & data protection ; Information architecture ; Maintenance & repairs ; Political structure & processes ; Research & development management ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Publication Date: 2024-04-14
    Description: computer science; algorithms; visualization; software; programming
    Keywords: computer science ; algorithms ; visualization ; software ; programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    facet.materialart.
    Unknown
    Springer Nature | Apress
    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 ...
  • 80
    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 ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature | Apress
    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 ...
  • 82
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open access book outlines development theory and practice over time as well as critically interrogates the “cultural turn” in development policy in Latin American indigenous communities, specifically, in Guatemala, Honduras, Ecuador, and Bolivia. It becomes apparent that culturally sustainable development is both a new and old idea, which is simultaneously traditional and modern, and that it is a necessary iteration in thinking on development. This new strain of thought could inform not only the work of development practitioners, graduate students, and theorists working in the Global South, but in the Global North as well.
    Keywords: Latin American Politics ; Development and Sustainability ; Regional Development ; Development and Social Change ; Development Policy ; Latin America ; Sustainable Development ; NEOLIBERAL MULTICULTURALISM ; Development movements ; DEVELOPMENT THEORY ; Politics & government ; South & Central America (including Mexico), Latin America ; Sustainability ; Development studies ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Publication Date: 2024-04-14
    Description: computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
    Keywords: computer architecture ; computer software selection and evaluation ; formal logic ; formal methods ; model checker ; model checking ; multi core processors ; program compilers ; programming languages ; semantics ; software engineering ; specifications ; state space ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    facet.materialart.
    Unknown
    Springer Nature | Apress
    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 ...
  • 85
    Publication Date: 2024-03-23
    Description: user interfaces; human computer interaction; computers and society
    Keywords: user interfaces ; human computer interaction ; computers and society ; thema EDItEUR::A The Arts ; 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 ...
  • 86
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 87
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-08
    Description: Philosophy; Engineering ethics; Energy policy; Energy and state; Economic geography; Renewable energy resources; Sustainable development; Energy systems
    Keywords: Philosophy ; Engineering ethics ; Energy policy ; Energy and state ; Economic geography ; Renewable energy resources ; Sustainable development ; Energy systems ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography::RGCM Economic geography ; 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 ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography::RGCM Economic geography ; 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 ; 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 ...
  • 88
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 89
    Publication Date: 2024-03-29
    Description: This open access handbook analyses the role of development cooperation in achieving the 2030 Agenda in a global context of ‘contested cooperation’. Development actors, including governments providing aid or South-South Cooperation, developing countries, and non-governmental actors (civil society, philanthropy, and businesses) constantly challenge underlying narratives and norms of development. The book explores how reconciling these differences fosters achievement of the Sustainable Development Goals.
    Keywords: African Politics ; Development and Sustainability ; Development Policy ; International Organization ; Development and Post-Colonialism ; Development Studies ; African Development ; 2030 Agenda ; Development Cooperation ; United Nations 2030 ; UN ; Open Access ; Politics & government ; Africa ; Sustainability ; International institutions ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPS International relations::JPSN International institutions ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; 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::JPS International relations::JPSN International institutions
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    Springer Nature | Apress
    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 ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 92
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 93
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; 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 ...
  • 94
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 95
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book states that the societal fault lines of our times are deeply intertwined and that they confront us with challenges affecting the security, fairness and sustainability of our societies. The author, Prof. Dr. Patrick Huntjens, argues that overcoming these existential challenges will require a fundamental shift from our current anthropocentric and economic growth-oriented approach to a more ecocentric and regenerative approach. He advocates for a Natural Social Contract that emphasizes long-term sustainability and the general welfare of both humankind and planet Earth. Achieving this crucial balance calls for an end to unlimited economic growth, overconsumption and over-individualisation for the benefit of ourselves, our planet, and future generations. To this end, sustainability, health, and justice in all social-ecological systems will require systemic innovation and prioritizing a collective effort. The Transformative Social-Ecological Innovation (TSEI) framework presented in this book serves that cause. It helps to diagnose and advance innovation and spur change across sectors, disciplines, and at different levels of governance. Altogether, TSEI identifies intervention points and formulates jointly developed and shared solutions to inform policymakers, administrators, concerned citizens, and professionals dedicated towards a more sustainable, healthy and just society. A wide readership of students, researchers, practitioners and policy makers interested in social innovation, transition studies, development studies, social policy, social justice, climate change, environmental studies, political science and economics will find this cutting-edge book particularly useful. “As a sustainability transition researcher, I am truly excited about this book. Two unique aspects of the book are that it considers bigger transformation issues (such as societies’ relationship with nature, purpose and justice) than those studied in transition studies and offers analytical frameworks and methods for taking up the challenge of achieving change on the ground.” - Prof. Dr. René Kemp, United Nations University and Maastricht Sustainability Institute
    Keywords: Social Justice, Equality and Human Rights ; Sustainable Development ; Social Policy ; Politics of the Welfare State ; Social Work and Community Development ; Comparative Social Policy ; Social Justice ; Sustainability ; Environmental Social Sciences ; Environmental Anthropology ; Human Security ; Institutional Change ; Planetary Boundaries ; Planetary Health ; Social Contract ; Social Innovation ; Social-Ecological Systems ; Sustainability Transition ; open access ; sustainable development goals ; Politics & government ; Central / national / federal government policies ; Social work ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; 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 ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKS Social welfare and social services::JKSN Social work
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Publication Date: 2024-04-14
    Description: software development; process management; collaboration; software-driven innovation
    Keywords: software development ; process management ; collaboration ; software-driven innovation ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    facet.materialart.
    Unknown
    Springer Nature | Apress
    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 ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-24
    Description: This open access book revisits the theoretical foundations of urban planning and the application of these concepts and methods in the context of Southern countries by examining several case studies from different regions of the world. For instance, the case of Koudougou, a medium-sized city in one of the poorest countries in the world, Burkina Faso, with a population of 115.000 inhabitants, allows us to understand concretely which and how these deficiencies are translated in an African urban context. In contrast, the case of Nueve de Julio, intermediate city of 50.000 dwellers in the pampa Argentina, addresses the new forms of spatial fragmentation and social exclusion linked with agro export and crisis of the international markets. Case studies are also included for cities in Asia and Latin America. Differences and similarities between cases allow us to foresee alternative models of urban planning better adapted to tackle poverty and find efficient ways for more inclusive cities in developing and emerging countries, interacting several dimensions linked with high rates of urbanization: territorial fragmentation; environmental contamination; social disparities and exclusion, informal economy and habitat, urban governance and democracy.
    Keywords: Geography ; Regional planning ; Urban planning ; Sociology, Urban ; Applied sociology ; Sustainable development ; Urban planning ; City planning ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning::RPC Urban and municipal planning and policy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    facet.materialart.
    Unknown
    Springer Nature
    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 ...
  • 100
    Publication Date: 2024-04-14
    Description: anomaly detection; artificial intelligence; cloud computing; data security; cyber crime; internet; network security; wireless; web
    Keywords: anomaly detection ; artificial intelligence ; cloud computing ; data security ; cyber crime ; internet ; network security ; wireless ; web ; 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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...