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::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere  (73)
  • Analytical Chemistry and Spectroscopy
  • Deutschland
  • General Chemistry
  • Inorganic Chemistry
  • Springer Nature  (170)
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-04
    Description: This open access book provides insight on how the tactical urbanism has the capacity to influence change in mobility practices such as cycling. COVID-19 crisis prompted the public authorities to rethink the use of public space in order to develop means of transport that are both efficient and adapted to the health context and their effects on cycling practices in Europe, North, and South America. Its contributors collectively reveal and evidence through policies analysis, mapping, and innovative qualitative analysis bridging video and interviews, how those new infrastructures and policies can be a trigger for change in a context of mobility transition. This book provides an important element on the way local authorities can act in a quicker and more agile way. While some decisions are specific to the context of the beginning of the pandemic, the analysis offers lessons on the way to implement the transition toward a low-carbon mobility, on the importance of processes based on trials and errors, on the political stakes of reallocating road space.
    Keywords: Tactical Urbanism ; Mobility Policies ; Urban Planning and COVID-19 ; Urban Geography and Urbanism ; Landscape/Regional and Urban Planning ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPR Regional, state and other local government ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: Chilean Patagonia, located at the southwestern tip of South America, is one of the last regions on earth where highly intact environments predominate. With a coastline that extends along some 100,000 km of fjords, channels, and islands, it has one of the world´s most extensive marine-terrestrial interfaces. Local place-based and Indigenous cultures and management practices are a vital presence across the region, while the long and rich history of conservation efforts have resulted in officially protected areas covering over 50% of the land and 41% of the coastal-marine area. However, Chilean Patagonia is increasingly facing anthropogenic pressures associated with increased infrastructure and access, salmon aquaculture, extractive industries, and the spread of invasive exotic species. Despite widespread recognition that Chilean Patagonia represents a unique global reservoir of socio-natural heritage, to date there has been no region-wide assessment of the scientific evidence of the conservation status of its ecosystems or the priorities for their effective conservation. Conservation in Chilean Patagonia: Assessing the state of knowledge, opportunities, and challenges is the first book to gather and synthesize the available scientific and socio-environmental information related to Patagonian conservation. It presents the collaborative work of 68 researchers and local experts, representing a range of specialties and perspectives, including: biology, ecology, socio-ecology, fisheries, aquaculture, anthropology, economics, geography, tourism, cryosphere, oceanography, climate and global change. The book’s 18 chapters focus on the status of key ecosystems and conservation tools, and provide recommendations toward the construction of a renewed, inclusive, and integrated conservation agenda for the Chilean Patagonian region. It provides an essential primer for anyone interested in the future of this ecologically vital region, as well as lessons on interdisciplinary collaboration and integrated analysis of conservation issues useful for conservation practitioners and scholars. This is an open access book. This book is a translation of an original Spanish edition. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation.
    Keywords: Ecology ; Limnology ; Oceanography ; Biodiversity ; Marine-terrestrial Interface ; 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::RB Earth sciences::RBK Hydrology and the hydrosphere::RBKC Oceanography (seas and oceans) ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGM Biogeography ; 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 ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-07
    Description: This open access book brings together 16 specially commissioned chapters drawn from a range of different professional-practitioner and academic global perspectives on the importance of the relationship between people and green and blue spaces. It focuses on issues surrounding the importance of natural environments on public health and wellbeing, and the environmental, cultural, and social importance of green and blue spaces that can result through responsible and sustainable adaptive management processes. It explores how the Covid-19 pandemic forced reconsiderations of our relationship with these natural spaces and highlights the important impact of the pace of climate change. While not pretending to have the answers, the stimulating and imaginative contributions embrace rich perspectives drawn from backgrounds as diverse as heritage studies, tourism, conservation, geography, policy formulation, public health, environmental health, research methods, history, literature, art, and theology.
    Keywords: protected areas ; environmental management ; environmental policy ; conservation ; national parks ; adaptive management ; heritage landscapes ; natural environments ; Global Biodiversity Framework ; green and blue spaces ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; 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::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::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies
    Language: English
    Format: image/jpeg
    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 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 ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-24
    Description: This open access book explores the deep connections between environment, language, and cultural integrity, with a focus on Indigenous peoples from early modern times to the present. It illustrates the close integration of nature and culture through historical processes of environmental change in North, Central, and South America and the nurturing of local knowledge through ancestral languages and oral traditions. This volume fills a unique space by bringing together the issues of environment, language and cultural integrity in Latin American historical and cultural spheres. It explores the reciprocal and necessary relations between language/culture and environment; how they can lead to sustainable practices; how environmental knowledge and sustainable practices toward the environment are reflected in local languages, local sources and local socio-cultural practices. The book combines interdisciplinary methods and initiates a dialogue among scientifically trained scholars and local communities to compare their perspectives on well-being in remote and recent historical periods and it will be of interest to students and scholars in fields including sociolinguistics, (ethno)history, linguistic anthropology, cultural studies and cultural anthropology, environmental studies and Indigenous/minority studies.
    Keywords: Indigenous culture ; Indigenous languages ; (ethno)history ; Native American studies ; applied environmental research ; environmental history ; comparative public policy ; Indigenous language education ; environmental management ; knowledge production ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFB Sociolinguistics ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHM Anthropology::JHMC Social and cultural anthropology ; 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::JBCC Cultural studies ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology::GLZ Museology and heritage studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    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 ...
  • 9
    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 ...
  • 10
    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 ...
  • 11
    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 ...
  • 12
    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 ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open-access book empowers its readers to explore the acoustic world of animals. By listening to the sounds of nature, we can study animal behavior, distribution, and demographics; their habitat characteristics and needs; and the effects of noise. Sound recording is an efficient and affordable tool, independent of daylight and weather; and recorders may be left in place for many months at a time, continuously collecting data on animals and their environment. This book builds the skills and knowledge necessary to collect and interpret acoustic data from terrestrial and marine environments. Beginning with a history of sound recording, the chapters provide an overview of off-the-shelf recording equipment and analysis tools (including automated signal detectors and statistical methods); audiometric methods; acoustic terminology, quantities, and units; sound propagation in air and under water; soundscapes of terrestrial and marine habitats; animal acoustic and vibrational communication; echolocation; and the effects of noise. This book will be useful to students and researchers of animal ecology who wish to add acoustics to their toolbox, as well as to environmental managers in industry and government.
    Keywords: Animal Communication ; Bioacoustics ; Echolocation ; Hearing ; Sound production ; Vocalization ; Biotremology ; Syrinx ; Anthropogenic noise ; Mate choice ; Stridulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSV Zoology and animal sciences ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics::PHDS Wave mechanics (vibration and acoustics) ; 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::TT Other technologies and applied sciences::TTA Acoustic and sound engineering ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSV Zoology and animal sciences ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics::PHDS Wave mechanics (vibration and acoustics) ; 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::TT Other technologies and applied sciences::TTA Acoustic and sound engineering
    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 | Springer International Publishing
    Publication Date: 2024-04-09
    Description: Confronted with an increase in floods, droughts and other natural hazards, cities and regions are alert to find climate proof solutions that overcome the limitations of traditional grey infrastructure. Nature-based solutions are proposed as a valid way to address risk and adapt to climate change while increasing resilience through the multiple benefits they generate. However, in spite of the widespread academic and political support for NBS, their implementation is lacking. As key barriers to implementation there are institutional and regulatory barriers, an absence of clear evaluation of NBS performance, funding/financing barriers and knowledge and acceptance barriers. This Open Access book provides a hands-on guide to overcome these barriers, through the stepwise creation of nature-assurance schemes that operationalize the insurance value of ecosystems. At the basis thereof is an integrated biophysical, economic and social assessment which is integrated with implementation considerations through the generation of business models and blended funding and financing schemes. This book will be of interest to practitioners and researchers who want to better understand how to operationalize the insurance value of ecosystems. The book provides 9 DEMO examples on the application of this method across different scales: urban, medium and large catchments and target both floods and droughts.
    Keywords: Nature-based solutions ; Water-related disaster risk reduction ; Floods, droughts and natural hazards ; Sustainable development ; Urban planning ; Economic, biophysical and social assessment ; Nature conservation ; Natural resources ; Urban Geography and Urbanism ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBK Hydrology and the hydrosphere ; 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::RP Regional and area planning::RPC Urban and municipal planning and policy ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNR Natural disasters ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBK Hydrology and the hydrosphere ; 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::RP Regional and area planning::RPC Urban and municipal planning and policy ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNR Natural disasters
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    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 ...
  • 16
    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 ...
  • 17
    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 ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book reviews the importance of ecological functioning within rangelands considering the complex inter-relationships of production agriculture, ecosystem services, biodiversity, and wildlife habitat. More than half of all lands worldwide, and up to 70% of the western USA, are classified as rangelands—uncultivated lands that often support grazing by domestic livestock. The rangelands of North America provide a vast array of goods and services, including significant economic benefit to local communities, while providing critical habitat for hundreds of species of fish and wildlife. This book provides compendium of recent data and synthesis from more than 100 experts in wildlife and rangeland ecology in Western North America. It provides a current and in-depth synthesis of knowledge related to wildlife ecology in rangeland ecosystems, and the tools used to manage them, to serve current and future wildlife biologists and rangeland managers in the working landscapes of the West. The book also identifies information gaps and serves as a jumping-off point for future research of wildlife in rangeland ecosystems. While the content focuses on wildlife ecology and management in rangelands of Western North America, the material has important implications for rangeland ecosystems worldwide.
    Keywords: Wildlife management ; Ecosystem ecology ; Grassland ecology ; Habitat management ; Fish and wildlife biology and management ; Rangeland management ; 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::P Mathematics and Science::PS Biology, life sciences::PSV Zoology and animal sciences ; thema EDItEUR::M Medicine and Nursing::MZ Veterinary medicine
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer VS
    Publication Date: 2024-04-05
    Description: This open access book examines how and why various forms of climate (im)mobilities can impact people's objective and subjective well-being. Worsening climate impacts are forcing subsistence farmers worldwide to decide between staying or leaving their homes. This mixed methods study analyzes cases of climate-related migration, displacement, relocation, and immobility in Peru's coastal, highland, and rainforest regions. The results reveal that numerous farmers experienced profound and often negative well-being impacts, regardless of whether they stayed or migrated. The higher the structural constraints, such as weak governance, and the more damaging the climate impacts were, the higher the risk of well-being declines. Additionally, the affected individuals often had limited agency and ability to mitigate losses. These findings challenge the notion of "migration as adaptation" and emphasize the importance of safeguarding the human rights and security of those affected while addressing loss and damage. Without significant investments in such efforts, climate impacts could sharply diminish the well-being of numerous subsistence farmers worldwide—irrespective of whether they stay or migrate.
    Keywords: Climate change ; Displacement ; Immobility ; Well-being ; Peru ; Migration ; Relocation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    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 ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-07
    Description: This open access book sets out the contours of feminist political ecology (FPE) as a major contribution to ongoing debates in the field. As Professor Lyla Mehta says in her Foreword, the book is "foregrounding multiple ways of knowing and being, thus enabling new conceptions of politics, justice and alternatives to dominant, capitalist development trajectories". In an innovative methodological twist, the edited book engages the reader in conversations that have emerged from the multi-sited and cross-generational dialogues of the Well-Being Ecology Gender cOmmunities (WEGO) network over the last four years. The conversations explore topics that range from climate change and extractivism, to body politics and health, degrowth, care and community well-being. The authors reflect on their collective learning process as they map out the new directions of FPE research and analysis. The chapters highlight WEGO transnational/transdisciplinary conversations with local communities, social movements and different academic spaces. The book foregrounds the ethics of doing feminist work inside and outside academe and brings to life the importance of doing reflexive research aware of situated historical and contemporary geographical contours of power.
    Keywords: Political Ecology ; Wellbeing Ecology Gender Communities ; Climate Change ; Research ; Feminist ; 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::JPA Political science and theory ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Springer Fachmedien Wiesbaden
    Publication Date: 2024-03-29
    Description: Dieser Open-Access-Sammelband hinterfragt, wie sich internationale Kulturzusammenarbeit zwischen Ländern unterschiedlicher Kultursysteme und -traditionen erreichen lässt. In Deutschland ist Auswärtige Kulturpolitik von dem Gedanken geleitet, dass globale Herausforderungen Multilateralismus erfordern. Im chinesischen Diskurs dagegen finden andere Kernbegriffe wie z.B. „Tianxia“ Verwendung, die im nicht-chinesischen Kontext einer Interpretation bedürfen. Um der Differenz – aber auch den Gemeinsamkeiten – auf den Grund zu gehen, untersuchen Wissenschaftler*innen und Praktiker*innen aus China und Deutschland Selbst- und Fremdwahrnehmungen sowie Kooperationen in kulturellen Begegnungen. Auf diese Weise sollen Grundlagen für ein besseres gegenseitiges Verständnis sowie für kulturelle Kooperation zwischen beiden Ländern ermöglicht werden.
    Keywords: Auswärtige Kulturpolitik ; Kulturaustausch ; Forschungszusammenarbeit ; Tianxia ; Deutschland ; Globale Herausforderung ; China ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFC Cultural studies ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPS International relations ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFS Globalization ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTQ Globalization
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: Sex in Cetaceans provides an up-to-date review of multi-faceted aspects related to mating and reproduction in toothed and baleen whales. This open access book begins with discussions of sexual selection and anatomical traits related to mating and diversity between the sexes. The functions of non-conceptive copulations are reviewed as are different research techniques applied to explore sex in cetaceans. Authors and editors build knowledge of female and male social, mating, and parental strategies and tactics for several specific toothed dolphin/porpoise/whale species and baleen whale species. It concludes with a discussion of potential conservation efforts and ways to help especially beleaguered species and populations the world over. The volume is intended as a major primer of cetacean sex for undergraduate and graduate students, new and established researchers in the field, and the public wishing to learn more.
    Keywords: Dolphin and Porpoise Sex and Sexual Selection ; Morphologies of Cetacean Female and Male Sexual Organs ; Sexual Behaviors and Strategies of Beaked Whales ; Sexual Behaviors and Strategies of Harbor Porpoises ; Sexual Behaviors and Strategies of Mysticetes ; Sexual Behaviors and Strategies of Matriarchal Whales ; Sexual Behaviors and Sexual Selection ; Sexual Behaviors and Strategies of Toothed and Baleen Whales ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::M Medicine and Nursing::MZ Veterinary medicine ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSV Zoology and animal sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    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 ...
  • 25
    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 ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-07
    Description: This open access book. provides a synthesis of six projects, across ten countries, each of which have been sustained for two or more decades, and which illustrate how success can be achieved regardless of systems of governance, of a nation’s wealth, or of culture. Detailed narratives are presented on the key personalities that have conceived, conducted and concluded long-term projects: personal stories of vision, failure, frustration and persistence ultimately leading to success. The case studies vary widely in their geography and goals. The single-handed commitment to re-discover the last surviving populations of Giant Sable in the miombo woodlands of central Angola, through the capture, translocation and establishment of robust breeding herds of this magnificent antelope, contrasts with the massively funded, three-decade programme with over one hundred participants that reversed the annual loss to predation by feral cats of 455 000 seabirds from a sub-Antarctic island. Similarly, the foresight of Zimbabwean and Namibian ecologists to place rural communities at the centre of conservation programmes by giving value to wildlife populations and benefits to local people, transformed a land degradation problem to a socio-ecological solution. Across ten countries, building capacity in botanical collection, documentation and herbarium management expanded into a global project to place the knowledge base of Africa’s flora onto an electronic data system accessible to researchers and conservation planners in even the most remote corners of the continent. None of these projects enjoyed immediate results. Each required leadership skills that combined vision, a generosity of spirit, fortuitous timing and the exploitation of unexpected opportunities.
    Keywords: Biodiversity ; Wildlife and re-wilding ; Community conservancies ; Citizen science ; Rehabilitation and restoration ; Failure in Africa ; Narrative from across 10 different African countries ; Six conservation research projects ; Miombo woodlands of central Angola ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNK Conservation of the environment ; 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 ...
  • 27
    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 ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This edited volume aims to widen the discussion about the diversity of human-nature relationships and valuation methods and to stimulate new perspective that are needed to build a more sustainable future, especially in face of ongoing socio-environmental changes. Conceptual and empirical approaches, including qualitative, quantitative, and mixed methodologies have been used to highlight the importance of an integrative understanding of socio-ecological systems, where healthy ecosystems underpin the quality of life and societal activities largely drive environmental changes. Readers will obtain a comprehensive overview of the many and diverse ways the relationships between people and nature can be characterized. This includes understanding how people assign values to nature, discuss how human-nature interactions are shaped and provide examples of how these values and interactions can be systematically assessed across different land systems in Europe and beyond. This open access book is produced by internationally recognized scientists in the field but written in an accessible format to be of interest to a large audience, including prospective students, lecturers, young professionals and scientists embarking to the interdisciplinary field of socio-ecological research and environmental valuation.
    Keywords: Human nature interactions ; Nature's benefits to society ; Science-policy interface ; Scale and gradient analyses ; Environmental and human impacts ; Spatial planning and conservation ; Urban Geography and Urbanism ; 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 ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning::RPC Urban and municipal planning and policy ; 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 ...
  • 29
    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 ...
  • 30
    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 ...
  • 31
    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 ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: Home to over 80 percent of all life on Earth, the ocean is the world’s largest carbon sink and a key source of food and economic security for billions of people. The relevance of the ocean for humanity's future is undisputed. However, the ocean’s great potential to drive economic growth and equitable job creation, sustain healthy ecosystems, and mitigate climate change is not yet fully recognised. Lack of awareness of this potential as well as management and governance challenges pose impediments. Until these impediments are removed, ocean ecosystems will continue to be degraded and opportunities for people lost. A transition and a clear path to a thriving and vibrant relationship between humans and the ocean are urgently needed. This open access collection of papers and reports identifies a path that is inspired by science, energised by engaged people, and emboldened by visionary leaders. These assessments of knowledge are commissioned by the High Level Panel for a Sustainable Ocean Economy (Ocean Panel), which was established in September 2018 as a unique initiative led by heads of state and government from around the world, to showcase the latest leading-edge science, knowledge and state-of-the-art thinking on key ocean issues. Altogether, The Blue Compendium offers innovative ocean solutions in technology, policy, governance, and finance realms, that could help accelerate a transition to a more sustainable and prosperous relationship with the ocean. The comprehensive assessments have already informed policy making at the highest levels of government and motivated an impressive array of responsive and ambitious action across a growing network of leaders in business, finance and civil society.
    Keywords: ocean and climate change ; marine biodiversity ; food from the ocean ; ocean and economy ; ocean resource management ; sustainable ocean ; 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 ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    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 ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This highly-readable Open Access textbook provides basic background information about marine mammals and anthropogenic impacts on them. The book includes inspiring exercises for education school programs in natural sciences. The book also provides advice on career paths using case studies of marine scientists and veterinarians describing their journeys from student to profession. By sharing real-life career paths, readers find answers to questions such as “What needs to be considered when choosing a career in science?” and “What kind of tasks do scientists undertake on a daily basis?” Marine mammals are amongst some of the most celebrated creatures on Earth, with their high intelligence, social and communicating skills, and capacity for deep diving. Alongside general information about marine mammals, the book aims at generating awareness of the impact of litter and noise pollution on the marine environment using marine mammals as an example. Huge numbers of marine animals, including marine mammals, die every year from entanglement in fishing gear, by ingestion of litter or because of chemical pollution. In the last decade many technological and scientific tools have been developed to aid research, for instance miniaturised sound recorders which can be attached to cetaceans and seals and record noise levels around them, their vocal production as well as their diving behaviour. This Open Access textbook can be used by undergraduate students interested in the fundamentals of marine mammal biology and medicine, and in pursuing the profession of a marine scientist.
    Keywords: infectious diseases ; veterinarian job profile ; global change ; whale medicine ; oceanography ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSV Zoology and animal sciences ; thema EDItEUR::M Medicine and Nursing::MZ Veterinary medicine ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    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 ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Springer Spektrum
    Publication Date: 2024-04-05
    Description: Diese Open Access Publikation hat das Spannungsfeld zwischen Menschen und Wildtieren, die sich ihren Lebensraum teilen, zum Thema. Dies kann zu Konflikten führen, die wirksame Managementmaßnahmen erfordern. Einerseits müssen anthropogene Störfaktoren für bedrohte und geschützte Wildtiere reduziert und Ausgleichsmaßnahmen entwickelt werden, damit sich die Bestände erholen. Andererseits stellt sich die Frage, ob die Populationen einiger Wildtierarten reguliert werden müssen, um Schäden für Mensch und Natur abzuwenden. Welche konkreten Maßnahmen ergriffen werden, sollte aus deren Notwendigkeit und nachgewiesener Wirksamkeit abgeleitet werden. Hierfür sind Erkenntnisse aus Forschung und praktischem Wildtiermanagement erforderlich. Führende Wildtierexperten stellen den jeweiligen Wissensstand in ihrer Fachdisziplin dar oder schlagen neue konzeptionelle Wege vor, um innovative Managementmaßnahmen zu erproben. Das Buch richtet sich sowohl an Forschende als auch an Fachleute und Beschäftigte von Behörden und Naturschutzverbänden.
    Keywords: Wildtiermanagement ; Waschbären ; Fischotter ; Wölfe ; Igel ; Rotwild ; Feldhasen ; Biber ; Füchse ; Fledermäuse ; Seeadler ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: German
    Format: image/jpeg
    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-04-05
    Description: This open access book richly illustrates the first, and comprehensive, account of the country’s biomes and ecoregions, the driving forces that account for their diversity and vulnerability, and the ecological principles that provide an understanding of the patterns and processes that have shaped landscapes, ecoregions, and ecosystems. Angola encompasses the greatest diversity of terrestrial biomes and is the second richest in terms of ecoregions, of any African country. Yet its biodiversity and the structure and functioning of its ecosystems are largely undocumented. The author draws on personal field observations from over 50 years of involvement in ecological and conservation studies in Angola and across Southern Africa. The vast recent literature published by researchers in neighboring, better resourced countries provides depth to the accounts of ecological principles and processes relevant to Angola and thus contributing to the understanding and sustainable management of its natural resources.
    Keywords: Terrestrial ecosystems of Angola ; Africa ; Biomes and ecoregions ; Biodiversity in Angola ; Herbivory, mammalian grazers and browsers ; Mesic savannas and Namib desert ; Geology, hydrology and geomorphology ; Rainfall, solar energy, temperature ; Afromontane forest and montane grassland biome ; 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 ; 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::RG Geography ; 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 ; 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::RG Geography
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-09
    Description: The study of marine environments inevitably involves considering the problem of marine pollution, which includes questions that focus on the essential need to ensure the long-term health of these exceptional ecosystems and the lives and livelihoods they support. The open access textbook "Marine Pollution: monitoring, management and mitigation" approaches these questions in a practical and highly readable format. It gives newcomers to the field background and perspective through the first comprehensive, multidisciplinary exploration of the topic. The topic is indeed complex, requiring the integration of the natural sciences and chemistry with management, policymakers, industry and all of us who are users of the marine environment. The textbook was written by leading experts to especially prepare graduates for a career in marine pollution studies. At the same time, it is relevant for anyone invested in the marine environment with a will to reduce their impacts. The chapters can easily be used independently and are also connected through the cross-referencing of related content. The introductory chapter provides a historical account of marine pollution and explores the fundamental physicochemical conditions of seawater. Two full chapters cover the requisite resources for ensuring success in field and laboratory studies. Then, chapter by chapter the book dives into to the various types of marine pollutants. In closing, it discusses the challenges of understanding multiple stressors and presents mitigation and restoration practices, along with a global overview of marine pollution legislation. We envisioned this textbook as being open access for the very reason we created it: this topic calls for global contributions and champions, and financial restraints should not limit access to this knowledge.
    Keywords: Marine pollution textbook ; Ocean acidification ; Microplastics ; Dead Zones ; Oil Pollution ; Marine conservation ; Fisheries management ; Marine geochemistry ; Ecosystem services ; Ocean chemistry ; pollution assessment ; marine pollution management ; marine ecotoxicology ; 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::RNP Pollution and threats to the environment ; 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 ; 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::RNP Pollution and threats to the environment ; 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
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    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 ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This edited open access volume explores the role of forest bioeconomy in addressing climate change. The authors put a particular focus on planetary boundaries and how the linear, growth-oriented economy, is coupled with climate change and environmental degradation. Biobased products and sustainable production paths have been developed, but how can they be scaled in order to lead to an economic paradigm shift? This and other questions are discussed throughout the volume. Since science indicates that climate change will continue this century, the authors also analyse how forests can be adapted to increasing forest disturbances that changing climate are expected to cause. The authors propose climate-smart forestry as useful approach for climate mitigation and adaptation of forests to climate change, as wells as sustainable increase of economic well-being based on forestry. The book illustrates the application of climate-smart forestry in the Czech Republic, Finland, Germany and Spain, i.e., in EU countries with quite different forests and forest sectors. This proactive and inspiring volume is an essential resource for Forest Management professionals, decision makers, scientists, and forestry students. ;
    Keywords: SDG 15 ; Life on Land ; Forest Bioeconomy ; Economy outlook ; Carbon storage ; Climate-smart forestry ; 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::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; 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 ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This is an open access book that provides holistic information on the radioactive contamination of forests. Topics are highly interdisciplinary, ranging from the dynamics of radioactive cesium in forest ecosystems to the radiation protection or the socio-economic aspects of radiation effects. It is designed to help people understand the radioactive contamination in forests and provide hints of how to cope with it and restore their livelihoods. The book is characterized by its well-balanced structure that allows the reader to understand the whole picture without going into too much scientific content. After explaining the basics of radioactive materials and radiation, the book illustrates the radioactive contamination of forests, it also describes the impacts on the forestry and life of local people and the measures taken by. Few books address the concerns about how to deal with radioactive contamination of forests and the future perspectives. In this book, people can learn all about the Fukushima nuclear accident of forests, forest products, and people with abundant reference materials. In addition, the book contains four memoirs contributed by Japanese and European researchers that graphically record what the researchers thought and how they acted in the chaos of the aftermath of the accident. In 2021 that marking the 10th anniversary of the Fukushima nuclear accident and the 35th anniversary of the Chernobyl accident, nuclear disasters are in the spotlight more than ever. This thought-provoking book on how to prepare for a severe nuclear accident is suitable for sharing with people all over the world as a lesson on the next nuclear accidents, now that the number of nuclear power plants is still increasing. The translation of this work was done with the help of artificial intelligence (machine translation by the service DeepL.com). Intensive improvements were subsequently made by the authors throughout the text to ensure accuracy of expression and contents and to enhance the clarity.
    Keywords: Fukushima accident ; Forestry and forest ecosystem ; Radioecology ; Radiation impact ; Radiation protection ; Auto-translation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; 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::RNF Environmental management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    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 ...
  • 43
    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 ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-30
    Description: This open access book examines the transition to sustainable energy systems in emerging cities. Experts from around the world present case studies from different countries and discuss efforts were needed for achieving the United Nations Sustainable Development Goals (SDGs). The authors look into the issue of environment vs. economics and discuss the question of whether the energy transition goal can conflict with other development goals such as decent work and economic growth. Furthermore, innovation in energy transition is introduced, both in technology and citizens’ engagement. The book presents the latest developments on energy access and transition to sustainability throughout the overall value chain: from basic research in universities to documentation of lessons learned in the field. The empirical evidence presented makes this book appealing to scholars in the field of energy sustainability as well as to policy-makers and energy service companies.
    Keywords: Energy access in emerging cities ; Sustainable development goals ; SDG ; Energy innovation ; Poverty alleviation ; Environment vs. economics ; Sustainable energy systems ; Climate justice ; Social justice ; LPG subsidies ; Carbon taxes on energy price ; Democratization ; Sustainable energy governance ; African case studies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCG Economic growth ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; 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 ...
  • 45
    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 ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-04-11
    Description: This is an open access book. The subject of this book is to provide down-to-earth information on what kind of actions are being taken by the Government, Local community, Businesses, Researchers, NGOs on the energy transition in this region. It gives an updated picture of the energy transition in the East Asian countries, where the economic growth, as well as CO2 emission growth, is significant. This book focuses not only on the technological perspective of the energy transition but also on the relationship between democracy and energy transition. Readers of this book can understand what kind of international support and pressure is needed to promote the energy transition in this region. Since energy transition is needed not only for combatting climate change but also for the Green Recovery from the COVID-19 pandemic, publishing this book is very helpful to promote the Green Recovery and the Green New Deal world-widely.
    Keywords: Climate Change ; Renewable energy ; Green recovery ; Green New deal ; Environmental governance ; International cooperation ; Policy formulation process ; Role of the media ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::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::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology ; thema EDItEUR::J Society and Social Sciences
    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-05
    Description: This edited volume aims to widen the discussion about the diversity of human-nature relationships and valuation methods and to stimulate new perspective that are needed to build a more sustainable future, especially in face of ongoing socio-environmental changes. Conceptual and empirical approaches, including qualitative, quantitative, and mixed methodologies have been used to highlight the importance of an integrative understanding of socio-ecological systems, where healthy ecosystems underpin the quality of life and societal activities largely drive environmental changes. Readers will obtain a comprehensive overview of the many and diverse ways the relationships between people and nature can be characterized. This includes understanding how people assign values to nature, discuss how human-nature interactions are shaped and provide examples of how these values and interactions can be systematically assessed across different land systems in Europe and beyond. This open access book is produced by internationally recognized scientists in the field but written in an accessible format to be of interest to a large audience, including prospective students, lecturers, young professionals and scientists embarking to the interdisciplinary field of socio-ecological research and environmental valuation.
    Keywords: Human nature interactions ; Nature's benefits to society ; Science-policy interface ; Scale and gradient analyses ; Environmental and human impacts ; Spatial planning and conservation ; Urban Geography and Urbanism ; 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 ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning::RPC Urban and municipal planning and policy ; 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 ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer Fachmedien Wiesbaden
    Publication Date: 2022-11-19
    Description: Die Open-Access-Publikation präsentiert umfangreiche empirische Analysen zu Halte- und Bleibeorientierung Geflüchteter und richtet den Blick dabei besonders auf die Situation der ländlichen Regionen Deutschlands. Migrations- und Integrationsforschung in Deutschland war bislang überwiegend auf Großstädte ausgerichtet. Durch den vermehrten Zuzug geflüchteter Menschen seit 2014 sehen sich jedoch auch Kleinstädte und Dörfer in ländlichen Regionen verstärkt mit Aufgaben der Aufnahme und Integration von Geflüchteten konfrontiert. Ziel dieses Buches ist es, empirisch fundiert zu beantworten, unter welchen Voraussetzungen und wie humanitäres Engagement und ländliche Entwicklung erfolgreich verbunden werden können und wie dies von Politik und Zivilgesellschaft positiv beeinflusst werden kann.
    Keywords: Geflüchtete ; Migration ; Migrationspolitik ; Migrationsforschung ; Integration ; Integrationsbereitschaft ; ländliche Räume ; Deutschland ; Mobilität ; lokale Integrations- und Migrationspolitik ; Aufnahmegesellschaft ; Bleibeorientierung ; soziales Wohlbefinden ; German Politics ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPP Public administration ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPH Political structure & processes ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: German
    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 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 ...
  • 50
    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 ...
  • 51
    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 ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-04-05
    Description: This open access book introduces the function, implementation and governance of green infrastructure in Japan and other countries where lands are geologically fragile and climatologically susceptible to climate change. It proposes green infrastructure as an adaptation strategy for climate change and biodiversity conservation. In the face of climate change, dams, levees and floodways built as disaster prevention facilities do not sufficiently function against extraordinary events such as mega-floods and tsunami disasters. To prevent those disasters and loss of biodiversity in various ecosystems, we should shift from conventional hard measures to more adaptive strategies using various functions that natural and semi-natural ecosystems provide. Green infrastructure is an interconnected network of waterways, wetlands, woodlands, wildlife habitats and other natural areas that support native species, maintain natural ecological processes, sustain air and water resources and contribute to the health and quality of life for communities and people. Green infrastructure has mainly been discussed from adaptation strategy perspectives in cities and urban areas. However, to protect cities, which are generally situated at downstream lower elevations, we explore the preservation and restoration of forests at headwater basins and wetlands along rivers from a catchment perspective. In addition, the quantitative examination of flood risk, biodiversity, and social-economic benefits described in this book brings new perspectives to the discussion. The aim of this book is to accelerate the transformative changes from gray-based adaptation strategies to green- or hybrid-based strategies to adapt to climate change. The book provides essential information on the structure, function, and maintenance of green infrastructure for scientists, university students, government officers, and practitioners.
    Keywords: Open Access ; Green infrastructure ; Ecosystem-based disaster risk reduction ; Climate change ; Adaptation strategy ; Flood ; Tsunami ; Hybrid-infrastructure ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    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 ...
  • 54
    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 ...
  • 55
    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 ...
  • 56
    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 ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-04
    Description: This is an open access book. Histories we tell never emerge in a vacuum, and history as an academic discipline that studies the past is highly sensitive to the concerns of the present and the heated debates that can divide entire societies. But does the study of the past also have something to teach us about the future? Can history help us in coping with the planetary crisis we are now facing? By analyzing historical societies as complex adaptive systems, we contribute to contemporary thinking about societal-environmental interactions in policy and planning and consider how environmental and climatic changes, whether sudden high impact events or more subtle gradual changes, impacted human responses in the past. We ask how societal perceptions of such changes affect behavioral patterns and explanatory rationalities in premodernity, and whether a better historical understanding of these relationships can inform our response to contemporary problems of similar nature and magnitude, such as adapting to climate change.
    Keywords: History ; Climate Change ; sustainable development ; Social History ; Ecological change ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    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 ...
  • 59
    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 ...
  • 60
    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 ...
  • 61
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Human Geography; Innovation/Technology Management; Economic Geography; Knowledge - Discourse
    Keywords: Human Geography ; Innovation/Technology Management ; Economic Geography ; Knowledge - Discourse ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    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 ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book is based on work from the COST Action “RESTORE - REthinking Sustainability TOwards a Regenerative Economy'', and highlights how sustainability in buildings, facilities and urban governance is crucial for a future that is socially just, ecologically restorative, and economically viable, for Europe and the whole planet. In light of the search for fair solutions to the climate crisis, the authors outline the urgency for the built environment sector to implement adaptation and mitigation strategies, as well as a just transition. As shown in the chapters, this can be done by applying a broader framework that enriches places, people, ecology, culture, and climate, at the core of the design task - with a particular emphasis on the benefits towards health and resilient business practices. This book is one step on the way to a paradigm shift towards restorative sustainability for new and existing buildings. The authors want to promote forward thinking and multidisciplinary knowledge, leading to solutions that celebrate the richness of design creativity. In this vision, cities of the future will enhance users’ experience, health and wellbeing inside and outside of buildings, while reconciling anthropic ecosystems and nature. A valuable resource for scientists and students in environmental sciences and architecture, as well as policy makers, practitioners and investors in urban and regional development.
    Keywords: Urban Ecology ; Environment, general ; Sustainable Architecture/Green Buildings ; Environmental Sciences ; Biophilic Design ; Built Environment ; Climate Change ; Evidence-based Design ; Green Roofs ; Green Economy ; Open Access ; Regenerative Design ; SDG 11 ; Sustainable Architecture ; Sustainability ; Sustainable Cities and Communities ; Urban Climate ; Ecological science, the Biosphere ; Urban & municipal planning ; The environment ; Environmentally-friendly (‘green’) architecture & design ; 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 ; thema EDItEUR::A The Arts::AM Architecture::AMC Architectural structure and design::AMCR Environmentally-friendly (‘green’) architecture and design
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-05
    Description: demographic techniques; quantitative research methods; segregation; bias; distribution
    Keywords: demographic techniques ; quantitative research methods ; segregation ; bias ; distribution ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    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 ...
  • 65
    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 ...
  • 66
    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 ...
  • 67
    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 ...
  • 68
    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 ...
  • 69
    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 ...
  • 70
    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 ...
  • 71
    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 ...
  • 72
    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 ...
  • 73
    Publication Date: 2024-04-05
    Description: This book facilitates an integrative understanding of the development, genetics and evolution of butterfly wing patterns. To develop a deep and realistic understanding of the diversity and evolution of butterfly wing patterns, it is essential and necessary to approach the problem from various kinds of key research fields such as “evo-devo,” “eco-devo,” ”developmental genetics,” “ecology and adaptation,” “food plants,” and “theoretical modeling.” The past decade-and-a-half has seen a veritable revolution in our understanding of the development, genetics and evolution of butterfly wing patterns. In addition, studies of how environmental and climatic factors affect the expression of color patterns has led to increasingly deeper understanding of the pervasiveness and underlying mechanisms of phenotypic plasticity. In recognition of the great progress in research on the biology, an international meeting titled “Integrative Approach to Understanding the Diversity of Butterfly Wing Patterns (IABP-2016)” was held at Chubu University, Japan in August 2016. This book consists of selected contributions from the meeting. Authors include main active researchers of new findings of corresponding genes as well as world leaders in both experimental and theoretical approaches to wing color patterns. The book provides excellent case studies for graduate and undergraduate classes in evolution, genetics/genomics, developmental biology, ecology, biochemistry, and also theoretical biology, opening the door to a new era in the integrative approach to the analysis of biological problems.
    Keywords: QH540-549.5 ; ecology ; nymphalid ; genetics ; mimicry ; evolution ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    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 ...
  • 75
    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 ...
  • 76
    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 ...
  • 77
    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 ...
  • 78
    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 ...
  • 79
    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 ...
  • 80
    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 ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-07
    Description: This open access book presents the proceedings volume of the YOUMARES 8 conference, which took place in Kiel, Germany, in September 2017, supported by the German Association for Marine Sciences (DGM). The YOUMARES conference series is entirely bottom-up organized by and for YOUng MARine RESearchers. Qualified early career scientists moderated the scientific sessions during the conference and provided literature reviews on aspects of their research field. These reviews and the presenters’ conference abstracts are compiled here. Thus, this book discusses highly topical fields of marine research and aims to act as a source of knowledge and inspiration for further reading and research.
    Keywords: Environment ; Marine sciences ; Freshwater ; Aquatic ecology  ; Biodiversity ; Ecosystems ; Wildlife ; Fish ; Science education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject ; 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::RBKF Limnology (inland waters) ; 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::RNK Conservation of the environment::RNKH Conservation of wildlife and habitats
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    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 ...
  • 83
    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 ...
  • 84
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-07
    Description: Human Geography; World Regional Geography (Continents, Countries, Regions); Political Science; Economic Geography
    Keywords: Human Geography ; World Regional Geography (Continents, Countries, Regions) ; Political Science ; Economic Geography ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-05
    Description: This open access book offers the first comprehensive account of the pan-genome concept and its manifold implications. The realization that the genetic repertoire of a biological species always encompasses more than the genome of each individual is one of the earliest examples of big data in biology that opened biology to the unbounded. The study of genetic variation observed within a species challenges existing views and has profound consequences for our understanding of the fundamental mechanisms underpinning bacterial biology and evolution. The underlying rationale extends well beyond the initial prokaryotic focus to all kingdoms of life and evolves into similar concepts for metagenomes, phenomes and epigenomes. The book’s respective chapters address a range of topics, from the serendipitous emergence of the pan-genome concept and its impacts on the fields of microbiology, vaccinology and antimicrobial resistance, to the study of microbial communities, bioinformatic applications and mathematical models that tie in with complex systems and economic theory. Given its scope, the book will appeal to a broad readership interested in population dynamics, evolutionary biology and genomics.
    Keywords: Microbial Genetics and Genomics ; Evolutionary Biology ; Genetics and Population Dynamics ; Microbial Ecology ; Human Genetics ; Genetics and Genomics ; Comparative genomics ; Metagenomics ; Microbial Population Analysis ; Pangenome Profile ; Supra-Genome Analysis ; Adaptive Evolution ; Computational Tools ; Bioinformatic Genomics ; Core Dispensable Genome ; Selection, Recombination, Composition ; Acquired Resistance ; Bacterial Species Concept ; Genomic Diversity ; Bacterial Ecology, Microevolution ; Open Access ; Pan-metagenomics ; Pan-microbiomics ; Pan-epigenome ; Gene Transfer ; Pan-phenomes ; Microbiology (non-medical) ; Genetics (non-medical) ; Evolution ; Applied mathematics ; Ecological science, the Biosphere ; Medical genetics ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSG Microbiology (non-medical) ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::M Medicine and Nursing::MF Pre-clinical medicine: basic sciences::MFN Medical genetics ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAK Genetics (non-medical)
    Language: English
    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-05
    Description: This open access book describes the serious threat of invasive species to native ecosystems. Invasive species have caused and will continue to cause enormous ecological and economic damage with ever increasing world trade. This multi-disciplinary book, written by over 100 national experts, presents the latest research on a wide range of natural science and social science fields that explore the ecology, impacts, and practical tools for management of invasive species. It covers species of all taxonomic groups from insects and pathogens, to plants, vertebrates, and aquatic organisms that impact a diversity of habitats in forests, rangelands and grasslands of the United States. It is well-illustrated, provides summaries of the most important invasive species and issues impacting all regions of the country, and includes a comprehensive primary reference list for each topic. This scientific synthesis provides the cultural, economic, scientific and social context for addressing environmental challenges posed by invasive species and will be a valuable resource for scholars, policy makers, natural resource managers and practitioners.
    Keywords: Ecosystems ; Environment, general ; Terrestial Ecology ; Landscape Ecology ; Ecology ; Environmental Sciences ; Freshwater and Marine Ecology ; Invasive species in the United States ; USDA Forest Service Technical Report ; Terrestial and aquatic systems ; Invasive species science ; Invasive pests, climate and social sciences ; Forest and rangeland management in the United States ; Open Access ; Ecological science, the Biosphere ; The environment ; Botany & plant sciences ; 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 ; 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 ...
  • 87
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-05
    Description: Turkish Studies; Turkish Politics, Society and Culture; Turkish Citizenship; Turkish Minorities; Muslim Identity; Turkish Diaspora
    Keywords: Turkish Studies ; Turkish Politics, Society and Culture ; Turkish Citizenship ; Turkish Minorities ; Muslim Identity ; Turkish Diaspora ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    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 ...
  • 88
    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 ...
  • 89
    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 ...
  • 90
    Publication Date: 2024-04-14
    Description: human-computer interaction; machine learning; cyber-physical systems
    Keywords: human-computer interaction ; machine learning ; cyber-physical 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 ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-30
    Description: Conservation Biology/Ecology; Vertebrates; Animal Ecology; Climate Change/Climate Change Impacts
    Keywords: Conservation Biology/Ecology ; Vertebrates ; Animal Ecology ; Climate Change/Climate Change Impacts ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Publication Date: 2024-03-30
    Description: Urban Geography / Urbanism (inc. megacities, cities, towns); Labor Economics; Human Geography; Regional Development
    Keywords: Urban Geography / Urbanism (inc. megacities, cities, towns) ; Labor Economics ; Human Geography ; Regional Development ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    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 ...
  • 93
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-30
    Description: water resources; hydrology; sustainable development; urban planning
    Keywords: water resources ; hydrology ; sustainable development ; urban planning ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    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 ...
  • 94
    facet.materialart.
    Unknown
    Springer Nature
    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: QA75.5-76.95 ; TP248.13-248.65 ; TL1-4050 ; TS1-2301 ; Computational Biology/Bioinformatics ; Simulation and Modeling ; Models and Principles ; Computer Appl. in Arts and Humanities ; 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 ...
  • 95
    Publication Date: 2024-04-14
    Description: agile software development; test-driven development; project and people management; empirical software engineering; continuous experimentation
    Keywords: agile software development ; test-driven development ; project and people management ; empirical software engineering ; continuous experimentation ; 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 ...
  • 96
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-29
    Description: This open access book, written by world experts in aquaponics and related technologies, provides the authoritative and comprehensive overview of the key aquaculture and hydroponic and other integrated systems, socio-economic and environmental aspects. Aquaponic systems, which combine aquaculture and vegetable food production offer alternative technology solutions for a world that is increasingly under stress through population growth, urbanisation, water shortages, land and soil degradation, environmental pollution, world hunger and climate change.
    Keywords: Life sciences ; Aquatic ecology  ; Wildlife ; Fish ; Agriculture ; Sustainable development ; Environmental education ; thema EDItEUR::J Society and Social Sciences::JN Education ; 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::RNKH Conservation of wildlife and habitats ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::J Society and Social Sciences::JN Education ; 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::RNKH Conservation of wildlife and habitats ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-27
    Description: Information Storage and Retrieval; Innovation/Technology Management; Computer Applications; Computers and Society; Big data
    Keywords: Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society ; Big data ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    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 ...
  • 100
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-05
    Description: carbon footprint; environmental impacts of railways; transportation; wildlife; landscape; planning; engineering; efficiency; sustainability; biodiversity; animal casualties on rails
    Keywords: carbon footprint ; environmental impacts of railways ; transportation ; wildlife ; landscape ; planning ; engineering ; efficiency ; sustainability ; biodiversity ; animal casualties on rails ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...