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
  • Books  (56)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Sustainability
  • software architecture
  • Springer  (31)
  • Springer International Publishing  (17)
  • Frontiers Media SA  (6)
  • White Rose University Press
Collection
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-14
    Description: This open access book presents an important discussion on the interface between sustainable soil management and climate mitigation and adaptation. It investigates a variety of aspects in this context, such as the political and societal consequences for countries in the Global South, an assessment of the outcomes of the UNFCCC Conference of Parties held in Glasgow, appropriate legal instruments to promote desealing, regulatory concepts for negative emissions in soil and land use, the debate in Europe on carbon uptake in soils and the climate-related policy of the Convention on Biological Diversity. Lastly, it provides information on recent court rulings on climate mitigation in Germany and Australia and their relevance for sustainable soil management. This sixth volume of the International Yearbook of Soil Law and Policy is divided into four parts, the first of which deals with various aspects of the theme “Climate Mitigation and Adaptation and Sustainable Soil Management.”The second part covers recent international developments, the third presents regional and national reports, and the fourth discusses overarching issues. Given the range of key topics covered, the book offers an indispensable tool for all academics, legislators and policymakers working in this field. The “International Yearbook of Soil Law and Policy” series discusses central questions in law and politics with regard to the protection and sustainable management of soil and land – at the international, national, and regional level.
    Keywords: Land Degradation ; Neutrality ; Sustainable Management ; Climate Adaptation ; Soil ; Governance ; Climate Mitigation ; UNFCCC ; CBD ; Sustainability ; Climate Change ; Emissions ; Climate Policy ; Climate Litigation ; bic Book Industry Communication::L Law::LB International law::LBB Public international law::LBBP International environmental law ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science ; bic Book Industry Communication::L Law::LB International law::LBB Public international law ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPV Political control & freedoms::JPVH Human rights ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBP Meteorology & climatology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    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 ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2023-01-22
    Description: This Open Access book compiles the findings of the Scientific Group of the United Nations Food Systems Summit 2021 and its research partners. The Scientific Group was an independent group of 28 food systems scientists from all over the world with a mandate from the Deputy Secretary-General of the United Nations. The chapters provide science- and research-based, state-of-the-art, solution-oriented knowledge and evidence to inform the transformation of contemporary food systems in order to achieve more sustainable, equitable and resilient systems.
    Keywords: Food science ; Health science ; Nutrition ; Sustainability ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science ; bic Book Industry Communication::P Mathematics & science ; bic Book Industry Communication::T Technology, engineering, agriculture::TD Industrial chemistry & manufacturing technologies::TDC Industrial chemistry::TDCT Food & beverage technology ; bic Book Industry Communication::J Society & social sciences
    Language: English
    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-14
    Description: This Open Access book compiles the findings of the Scientific Group of the United Nations Food Systems Summit 2021 and its research partners. The Scientific Group was an independent group of 28 food systems scientists from all over the world with a mandate from the Deputy Secretary-General of the United Nations. The chapters provide science- and research-based, state-of-the-art, solution-oriented knowledge and evidence to inform the transformation of contemporary food systems in order to achieve more sustainable, equitable and resilient systems.
    Keywords: Food science ; Health science ; Nutrition ; Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering::TDCT Food and beverage technology ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering::TDCT Food and beverage technology ; thema EDItEUR::J Society and Social Sciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-30
    Description: This open access textbook offers a guide to corporate finance for modern companies that want to create long-term value. Drawing on recent literature on sustainable companies, it starts by analysing the Sustainable Development Goals as a strategy for the transition to a sustainable economy. Next, it translates the general concept of sustainability into core corporate finance methods, such as net present value, company valuation, cost of capital, capital structure and M&A. Current corporate finance textbooks are primarily based on the shareholder model, designed to maximise financial value. This book instead adopts the integrated model, which argues that companies have to serve the interests of their current and future stakeholders. Accordingly, companies move from simply maximising financial value to optimising integrated value, which combines financial, social and environmental value. Applying this new paradigm of integrated value is the truly innovative feature of this textbook. Written for undergraduate and graduate students of Finance, Economics, and Business Administration, this textbook provides a fresh analysis of corporate finance. Combining theory, empirical data and examples from actual companies, it reveals the sustainability challenges for corporate investment and shows how finance can be used to steer funds to sustainable companies and projects and thus accelerate the transition to a sustainable economy.
    Keywords: SDGs ; Corporate Finance ; Sustainability ; Capital Budgeting ; Risk Analysis ; Corporate Valuation ; Net Present Value ; thema EDItEUR::K Economics, Finance, Business and Management::KF Finance and accounting::KFF Finance and the finance industry::KFFH Corporate finance ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility ; thema EDItEUR::K Economics, Finance, Business and Management::KF Finance and accounting::KFF Finance and the finance industry ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2023-01-22
    Description: This open access book provides selected teaching approaches, supporting methods, concrete examples of curricula as well as extracurricular teaching formats, which are predominantly tailored to both African and German requirements. These approaches were developed by the YEEES Training and Research Centers, an international interdisciplinary network of university teachers and researchers from Germany and southern Africa, and combine the fields of management, entrepreneurship, information and communication technologies (ICT), and sustainability. The book shows how current scientific results can be integrated into teaching, how students can contribute to research while learning, and how research can contribute to the development and evaluation of new formats. It is thus relevant for university teachers, researchers, students as well as practitioners who want to educate and act as future change agents.
    Keywords: Entrepreneurship education ; Change agents ; Transformational entrepreneurship ; Social entrepreneurship ; Sustainability ; German-African relations ; Interdisciplinarity ; Transdisciplinarity ; Education ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJH Entrepreneurship ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::J Society & social sciences::JN Education::JNV Educational equipment & technology, computer-aided learning (CAL) ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2023-03-20
    Description: This Open Access book on Ocean Governance examines sustainability challenges facing our oceans today. The book is organized into three sections: knowledge systems, policy foundations and thematic analyses. The knowledge produced in the book was catalyzed by the scientific outcomes within the European-funded Cooperation in Science and Technology (COST) network “Ocean Governance for Sustainability – Challenges, Options and the Role of Science”. This network brings together scientists, policy-makers and civil society representatives from 28 nation states to cooperate on ocean governance research. This book offers a compilation of new research material including focused case studies, broad policy syntheses and reflective chapters on the history and current status of knowledge production systems on ocean governance. New research material is presented, although some chapters draw on secondary sources. The book starts with synthetic review chapters from the editors, outlining past and present knowledge systems, addressing how and why ocean governance for sustainability is where it currently stands with critical reflections on existing narratives, path dependencies and colonialist histories. This is followed by chapters addressing, synthesizing and analyzing different legal and policy frameworks for ocean governance both regionally and internationally. At the core of the book are the thematic analyses, which provide focused case studies with detailed contextual information in support of different ocean governance challenges and sustainability pathways around the world. The book concludes with a chapter explicitly targeting students, researchers and policy-makers with key take-away messages compiled by the editors.
    Keywords: Ocean governance ; Sustainability ; Knowledge systems, policy foundations and thematic analysis ; Ocean policy and management ; Earth's ecosystems, water and coats ; Fish, fisheries and seafood resources ; Marine energy and mineral resources ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography::RGCM Economic geography ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory ; bic Book Industry Communication::J Society & social sciences
    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: 2023-03-20
    Description: In this open access book, ecological economics and political ecology traditions converge into a single academic school. The book constitutes a common ground where multiple and critical voices are expressed, covering a broad scope of urgent matters at the crossroad between society, economy and the natural environment. The manuscripts composing this compendium offer appealing material for both experienced and younger researchers interested in interdisciplinary exchanges in the field of the social environmental sciences. It combines historical accounts with recent theoretical and empirical developments revolving around the interaction between three foundational notions of the Barcelona School: social metabolism, environmental justice and self-reflective science.
    Keywords: Sustainability ; Social Metabolism ; Environmental Justice Conflicts ; Activism Mobilizing Science ; Degrowth Alternatives ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCN Environmental economics ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; bic Book Industry Communication::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 ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI for health, smart urban environments, assistive technologies, chronic disease management, and coaching and health telematics systems.
    Keywords: architecture types ; artificial intelligence ; communication systems ; computer hardware ; computer networks ; computer science ; computer systems ; engineering ; Human-Computer Interaction (HCI) ; internet ; Internet of Things (IoT) ; network protocols ; sensors ; signal processing ; software architecture ; software design ; software engineering ; telecommunication systems ; ubiquitous computing ; user interfaces ; 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::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
    Language: English
    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-14
    Description: This open access book constitutes the thoroughly refereed proceedings of the Second International Symposium on Computer and Information Sciences, EuroCybersec 2021, held in Nice, France, in October 2021. The 9 papers presented together with 1 invited paper were carefully reviewed and selected from 21 submissions. The papers focus on topics of security of distributed interconnected systems, software systems, Internet of Things, health informatics systems, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures. This is an open access book.
    Keywords: architecture types ; artificial intelligence ; communication systems ; computer crime ; computer hardware ; computer networks ; computer security ; computer systems ; cryptography ; data security ; Internet of Things (IoT) ; network protocols ; network security ; signal processing ; software architecture ; software design ; software engineering ; telecommunication networks ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; 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::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2022-01-15
    Description: This open access book offers unique and novel views on the social innovation landscape, tools, practices, pedagogies, and research in the context of higher education. International, multi-disciplinary academics and industry leaders present new developments, research evidence, and practice expertise on social innovation in higher education institutions (HEIs), across academic and professional disciplines. The book includes a selected set of peer-reviewed chapters presenting different perspectives against which relevant actors can identify and analyse social innovation in HEIs. The volume demonstrates how HEIs can respond to societal challenges, support positive social change, and contribute to the development of international public policy discourse. It answers the question ‘how does the present higher education system, in different countries, promote social innovation and create social change and impact’. In answering this question, the book identifies factors driving success as well as obstacles. Furthermore, it examines how higher education innovation assists societal challenges and investigates the benefits of effective social innovation engagement by HEIs. The interdisciplinary approach of the volume makes it a must-read for scholars, students, policy-makers, and practitioners of economics, education, business and management, political science, and sociology interested in a better understanding of social innovation.
    Keywords: Open Access ; Social change ; Higher education institutions ; Societal challenges ; Universities ; Triple helix ; Quadruple helix ; SDGs ; Sustainability ; Knowledge alliances ; Entrepreneurship ; Future employment markets ; Knowledge transfer ; Digitalisation ; Community-based learning ; Funding of higher education institution ; Sectoral specialization of the regional economies ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::K Economics, finance, business & management::KF Finance & accounting::KFF Finance::KFFD Public finance
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-16
    Description: This open access book provides a topical overview of the key sustainability issues in Qatar, focusing on environmental sustainability from a socio-political perspective. The transition to a sustainable Qatar requires engagement with diverse areas of social-political, human, and environmental development. On the environmental aspects, the contributors address climate change, food security, water reuse and desalination, energy, and biodiversity. The socio-political section examines state strategy and regulation, the place of environmental law and geopolitics and sustainability innovators and catalysts. The human section considers economics, sustainability education, the knowledge economy, and waste management. In doing so, the book demarcates the ways in which the country encounters and grapples with significant challenges and delves into the range of options for future pathways to sustainability in Qatar. Relevant to policymakers and scholars in energy and environment, urban and developmental studies, as well as the arenas of politics, climate change and policy, this book is a landmark collection on environmental policy in the Gulf and beyond. ; This volume provides a topical overview of the key sustainability issues in Qatar, focusing on environmental sustainability from a socio-political perspective. The transition to a sustainable Qatar weaves together pillars of social-political, human, and environmental development, and so this book tackles each aspect accordingly. In the environmental section, the contributors address climate change, food security, water reuse and desalination, energy, air quality and biodiversity. The socio-political section examines state strategy and regulation, the place of environmental law and geopolitics, and sustainability innovators and catalysts. The human section considers demographic trends and models, economics – including the circular economy and green finance – transport, the built environment, and waste management. In doing so, the volume demarcates the ways in which the country encounters and grapples with significant challenges, and delves into the range of options for future pathways to sustainability in Qatar. Relevant to policymakers and scholars in energy and environment, urban, and developmental studies, as well as the arenas of politics, climate change, and policy, this book is a landmark collection on environmental policy in the Gulf, and beyond.
    Keywords: Sustainability ; Qatar ; Middle East ; Gulf Studies ; Food Security ; Water Security ; Energy ; Development ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2022-10-15
    Description: This open access book proposes an in-depth study on a vast range of issues connected to the regulation of Novel Foods in the European Union, pursuing an interdisciplinary approach and thus providing a comprehensive picture of this complex topic. Particular attention is paid not only to the current EU legislative framework, its positive innovations, unsolved problems and limits, but also to food safety issues and the potential impact of Novel Foods on sustainability and food security. In addition, the book focuses on a particular category of Novel Foods: insects for human consumption. These products recently gained momentum after the first EU Commission authorisation of dried yellow mealworm (Tenebrio molitor)in 2021. The book contributes to the lively public debate following this long-awaited authorisation by examining the legal issues arising from the application of the Novel Foods Regulation to these peculiar new foods; the EFSA risk assessment evaluations; the consumers’ perceptions and potential future of insect-based products’ market in the EU. By providing such an extensive analysis, including recent developments and future prospects, the book represents a valuable tool for students and academics, but also institutions and public authorities, helping them understanding the various challenges related to Novel Foods and edible insects. Furthermore, it seeks to promote an informed debate in order to find innovative solutions to pressing problems concerning how to feed the world of tomorrow.
    Keywords: Novel Foods ; EU Regulation 2015/2283 ; Edible Insects ; Food Safety ; EFSA ; Sustainability ; EU Food Market ; Innovation in the Agri-Food Sector ; Sustainable Food Chain ; EU Novel Food Regulatory Framework ; Consumers' Perception ; Food Law ; Circular Economy ; bic Book Industry Communication::L Law::LB International law ; bic Book Industry Communication::L Law::LB International law::LBB Public international law::LBBM International economic & trade law ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCL International economics ; bic Book Industry Communication::T Technology, engineering, agriculture::TD Industrial chemistry & manufacturing technologies::TDC Industrial chemistry::TDCT Food & beverage technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    White Rose University Press | White Rose University Press
    Publication Date: 2022-12-06
    Description: In Hidden Depths, Professor Penny Spikins explores how our emotional connections have shaped human ancestry. Focusing on three key transitions in human origins, Professor Spikins explains how the emotional capacities of our early ancestors evolved in response to ecological changes, much like similar changes in other social mammals. For each transition, dedicated chapters examine evolutionary pressures, responses in changes in human emotional capacities and the archaeological evidence for human social behaviours. Starting from our earliest origins, in Part One, Professor Spikins explores how after two million years ago, movement of human ancestors into a new ecological niche drove new types of collaboration, including care for vulnerable members of the group. Emotional adaptations lead to cognitive changes, as new connections based on compassion, generosity, trust and inclusion also changed our relationship to material things. Part Two explores a later key transition in human emotional capacities occurring after 300,000 years ago. At this time changes in social tolerance allowed ancestors of our own species to further reach out beyond their local group and care about distant allies, making human communities resilient to environmental changes. An increasingly close relationship to animals, and even to cherished possessions, appeared at this time, and can be explained through new human vulnerabilities and ways of seeking comfort and belonging. Lastly, Part Three focuses on the contrasts in emotional dispositions arising between ourselves and our close cousins, the Neanderthals. Neanderthals are revealed as equally caring yet emotionally different humans, who might, if things had been different, have been in our place today. This new narrative breaks away from traditional views of human evolution as exceptional or as a linear progression towards a more perfect form. Instead, our evolutionary history is situated within similar processes occurring in other mammals, and explained as one in which emotions, rather than ‘intellect’, were key to our evolutionary journey. Moreover, changes in emotional capacities and dispositions are seen as part of differing pathways each bringing strengths, weaknesses and compromises. These hidden depths provide an explanation for many of the emotional sensitivities and vulnerabilities which continue to influence our world today.
    Keywords: Human demography ; Group size ; Lithic transfers ; Raw material movements ; Bonobos ; Dog burial ; Comfort ; Symbolic objects ; Symbolism ; Mobiliary art ; Attachment fluidity ; Hypersociability ; Human-animal relationships ; Dog domestication ; Attachment object ; Approachability ; Approach behaviour ; Avoidance behaviour ; Androgens ; Physiological responses ; Cognitive Archaeology ; Autism Spectrum Condition ; Handaxe ; Biface ; Neurodiversity ; Palaeolithic stone tools ; Evolution of neurodiversity ; Rock art ; Ice age art ; Material Culture ; Cultural transmission ; Emotional commitment ; Biopsychosocial approach ; Social tolerance ; Attachment ; Genus Homo ; Acheulian ; Cultural evolution ; Skeletal abnormality ; Injury ; Illness ; Interdependence ; Emotional sensitivity ; Moral emotions ; Evolution of Altruism ; Hominins ; Upper Palaeolithic ; Lower Palaeolithic ; Ecological niche ; Selective pressure ; Behavioural ecology ; Wolves ; Affective empathy ; Cognitive empathy ; Theory of mind ; Human Cognition ; Vulnerability ; Evolutionary Psychology ; Developmental psychology ; Helping behaviours ; Social cognition ; Social mammals ; Human Emotion ; Human social collaboration ; Generosity ; Emotional brain ; Social emotions ; Comparative behaviour ; Evolution ; Social carnivores ; Primate behavioural ecology ; Primate social systems ; Human Evolution ; Human ancestors ; Collaboration ; Evolutionary Biology ; Emotional vulnerability ; Social connection ; Decolonisation ; Social networks ; Middle Palaeolithic ; Community resilience ; Convergent evolution ; Chimpanzee ; Origin of modern humans ; Social safeness ; Wolf domestication ; Cherished possessions ; Compensatory attachment ; Loneliness ; Palaeolithic art ; Stress reactivity ; Bonding hormones ; Humans ; Hunter-gatherers ; Intergroup collaboration ; Tolerance ; Emotional connection ; Autism ; Trust ; Early Prehistory ; Palaeopathology ; Origins of healthcare ; Human self-domestication ; Palaeolithic Archaeology ; Social brain ; Care-giving ; Empathy ; Neanderthals ; Compassion ; Social Connection ; Evolution of Emotions ; Human Origins ; Adaptation ; Prehistory ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHM Anthropology ; bic Book Industry Communication::H Humanities::HD Archaeology ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPW Political activism::JPWQ Revolutionary groups & movements ; bic Book Industry Communication::J Society & social sciences::JM Psychology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    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 ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; mathematics ; model checking ; programming languages ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; verification ; verification and validation ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
    Keywords: artificial intelligence ; automata theory ; computer hardware ; computer networks ; computer programming ; computer systems ; embedded systems ; formal languages ; formal logic ; logic programming ; network protocols ; semantics ; software architecture ; software design ; software engineering ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    White Rose University Press | White Rose University Press
    Publication Date: 2024-04-01
    Description: The Oral Healthcare community, including clinical professionals and industry, acknowledges the shared responsibility to deliver products and interventions that improve oral health in a more sustainable manner. To deliver this, the community is working in alignment with the UN Sustainable Development Goals. Key to establishing this collaborative stakeholder consensus is a deep contextual understanding of the challenge. This is achieved through a comprehensive account of the levels of awareness of the environmental impacts, the challenges to resolve these impacts together with the drivers and opportunities to promote sustainable practices. This report concludes with a strategic action framework that makes specific recommendations and identifies best practice to achieve these goals. The promotion of excellent oral healthcare and the development of a circular economy are core to this strategy. Additionally, it is also important to recognise the opportunities to collaborate across the sector, and throughout supply chains, to develop and promote sustainable practices to achieve meaningful and measurable environmental outcomes in the sector. In this context, the FDI World Dental Federation convened the development of this volume, Consensus on Environmentally Sustainable Oral Healthcare: A Joint Stakeholder Statement. This consensus statement brings together a global coalition of stakeholders, representing all aspects of industry, health professionals, experts, legislative authorities and governments. The statement uses a truly collaborative, multi-stakeholder approach to identify the major challenges facing oral healthcare, the complex drivers that underpin current behaviours and practices, and the best opportunities to improve and deliver sustainable oral healthcare for people and the planet. Concluding with an impactful and robust strategic action plan that crosses all boundaries, the statement identifies a series of actions and recommendations for best practice that address the sustainability issues facing the whole sector.
    Keywords: Dentistry ; Environment ; Sustainability ; Oral Health ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKE Dentistry ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTD Oral history
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-01
    Description: This open access book brings science and practice together and inspires a global movement towards co-creating regenerative civilizations that work for 100% of humanity and the Earth as a whole. With its conceptual foundation of the concept of transformation literacy it enhances the knowledge and capacity of decision-makers, change agents and institutional actors to steward transformations effectively across institutions, societal sectors and nations. Humanity is at crossroads. Resource depletion and exponential emissions that not only cause climate change, but endanger the health of people and planet, call for a decisive turnaround of human civilization. A new and transformative paradigm is emerging that advocates for regenerative civilizations, in which a narrative of systemic health as much as individual and collective vitality guide the interaction of socio-economic-ecological systems. Truly transformative change must go far beyond technical solutions, and instead envision what can be termed ‘a new operating system’ that helps humankind to live well within the planetary boundaries and partner with life’s evolutionary processes. This requires transformations at three different levels: · Mindsets that reconnect with a worldview in which human agency acknowledges its co-evolutionary pathways with each other and the Earth. · Political, social and economic systems that are regenerative and foster the care-taking for Earth life support systems. · Competencies to design and implement effective large-scale transformative change processes at multiple levels with multiple stakeholders. This book provides key ingredients for enhancing transformation literacy from various perspectives around the globe. It connects the emerging practice of stewarding transformative change across business, government institutions and civil society actors with the most promising scientific models and concepts that underpin human action to shape the future collectively in accordance with planetary needs. ;
    Keywords: Regenerative Civilization ; Sustainability ; Transformation ; Collective Stewardship. ; Climate Action ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKV Environmental medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    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 ...
  • 20
    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: Software Engineering/Programming and Operating Systems ; 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 ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; 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::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 ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book shows the breadth and various facets of e-Science, while also illustrating their shared core. Changes in scientific work are driven by the shift to grid-based worlds, the use of information and communication systems, and the existential infrastructure, which includes global collaboration. In this context, the book addresses emerging issues such as open access, collaboration and virtual communities and highlights the diverse range of developments associated with e-Science. As such, it will be of interest to researchers and scholars in the fields of information technology and knowledge management.
    Keywords: Science and Technology Studies ; Media and Communication ; Business Information Systems ; Computer Applications ; Education, general ; Knowledge Management ; Science Communication ; Computer and Information Systems Applications ; Digital Education and Educational Technology ; Open Access ; Grid computing ; Science 2.0 ; Research network ; Education portal ; Virtual organization ; Governance ; Social control ; Science collaboration ; Digitization ; Digital research infrastructures ; Cyberinfrastructure software ; Sustainability ; Software sustainability ; Sociology ; Media studies ; Business mathematics & systems ; Information technology: general issues ; Education ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMK Knowledge management
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    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 ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-11
    Description: This open access book introduces design for Sustainable Product-Service Systems (S.PSS) and for Sustainable Distributed Economies (S.DE). These are introduced as technical and operative tools for the development of a new generation of designers, responsible and capable of designing environmentally, socially and economically sustainable solutions, accessible to all. The book provides a comprehensive framework and also practical tools to support the system design for sustainability process. It overviews methodologies, tools and strategies for Sustainable PSS design applied to Distributed Economies (DE) and provides strategies and design guidelines. All of these are highlighted and expanded upon with international case studies.
    Keywords: Engineering Design ; Sustainability Management ; Development and Sustainability ; Industrial and Production Engineering ; Management ; Development Studies ; Design for Sustainability ; Product-Service System (PSS) ; Sustainable Development ; Distributed Economies (DE) ; Circular Economy ; Social Equity and Cohesion ; Open Access ; Technical design ; Business & the environment ; ‘green’ approaches to business ; Sustainability ; Production engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBD Technical design ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJJ Business and the environment; ‘green’ approaches to business ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This Open Access book is about the development of a common understanding of environmental citizenship. It conceptualizes and frames environmental citizenship taking an educational perspective. Organized in four complementary parts, the book first explains the political, economic and societal dimensions of the concept. Next, it examines environmental citizenship as a psychological concept with a specific focus on knowledge, values, beliefs and attitudes. It then explores environmental citizenship within the context of environmental education and education for sustainability. It elaborates responsible environmental behaviour, youth activism and education for sustainability through the lens of environmental citizenship. Finally, it discusses the concept within the context of different educational levels, such as primary and secondary education in formal and non-formal settings. Environmental citizenship is a key factor in sustainability, green and cycle economy, and low-carbon society, and an important aspect in addressing global environmental problems. It has been an influential concept in many different arenas such as economy, policy, philosophy, and organizational marketing. In the field of education, the concept could be better exploited and established, however. Education and, especially, environmental discourses in science education have a great deal to contribute to the adoption and promotion of environmental citizenship.
    Keywords: Science Education ; Sustainable Development ; Social Justice, Equality and Human Rights ; Environmental and Sustainability Education ; Environmental Social Sciences ; Human Rights ; Sustainability / sustainable development ; Environmental citizenship ; Environmental citizen ; Environmental education ; Education for environmental citizenship ; Education for sustainability ; ENEC ; EU Horizon 2020 ; EU-roadmap 2050 ; European Network for Environmental Citizenship ; Environmental Behavior ; Environmental citizenship from educational perspective ; Open Access ; Teaching of a specific subject ; Science: general issues ; Sustainability ; Politics & government ; Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Frontiers Media SA
    Publication Date: 2024-03-31
    Description: Echolocation has evolved in different groups of animals, from bats and cetaceans to birds and humans, and enables localization and tracking of objects in a dynamic environment, where light levels may be very low or absent. Nature has shaped echolocation, an active sense that engages audiomotor feedback systems, which operates in diverse environments and situations. Echolocation production and perception vary across species, and signals are often adapted to the environment and task. In the last several decades, researchers have been studying the echolocation behavior of animals, both in the air and underwater, using different methodologies and perspectives. The result of these studies has led to rich knowledge on sound production mechanisms, directionality of the sound beam, signal design, echo reception and perception. Active control over echolocation signal production and the mechanisms for echo processing ultimately provide animals with an echoic scene or image of their surroundings. Sonar signal features directly influence the information available for the echolocating animal to perceive images of its environment. In many echolocating animals, the information processed through echoes elicits a reaction in motor systems, including adjustments in subsequent echolocation signals. We are interested in understanding how echolocating animals deal with different environments (e.g. clutter, light levels), tasks, distance to targets or objects, different prey types or other food sources, presence of conspecifics or certain predators, ambient and anthropogenic noise. In recent years, some researchers have presented new data on the origins of echolocation, which can provide a hint of its evolution. Theoreticians have addressed several issues that bear on echolocation systems, such as frequency or time resolution, target localization and beam-forming mechanisms. In this Research Topic we compiled recent work that elucidates how echolocation – from sound production, through echolocation signals to perception- has been shaped by nature functioning in different environments and situations. We strongly encouraged comparative approaches that would deepen our understanding of the processes comprising this active sense.
    Keywords: QP1-981 ; Q1-390 ; bats ; Biosonar ; Humans ; marine mammals ; sensory biology ; Birds ; Behavior ; Communication ; thema EDItEUR::M Medicine and Nursing::MF Pre-clinical medicine: basic sciences::MFG Physiology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Frontiers Media SA
    Publication Date: 2024-04-04
    Description: The Frontiers in Chemistry Editorial Office team are delighted to present the inaugural “Frontiers in Chemistry: Rising Stars” article collection, showcasing the high-quality work of internationally recognized researchers in the early stages of their independent careers. All Rising Star researchers featured within this collection were individually nominated by the Journal’s Chief Editors in recognition of their potential to influence the future directions in their respective fields. The work presented here highlights the diversity of research performed across the entire breadth of the chemical sciences, and presents advances in theory, experiment and methodology with applications to compelling problems. This Editorial features the corresponding author(s) of each paper published within this important collection, ordered by section alphabetically, highlighting them as the great researchers of the future. The Frontiers in Chemistry Editorial Office team would like to thank each researcher who contributed their work to this collection. We would also like to personally thank our Chief Editors for their exemplary leadership of this article collection; their strong support and passion for this important, community-driven collection has ensured its success and global impact.
    Keywords: Green and Sustainable Chemistry ; Analytical Chemistry ; Theoretical and Computational Chemistry ; Polymer Chemistry ; Medicinal and Pharmaceutical Chemistry ; Organic Chemistry ; Nanoscience ; Catalysis and Photocatalysis ; Supramolecular Chemistry ; Electrochemistry ; Inorganic Chemistry ; Chemical Biology ; thema EDItEUR::P Mathematics and Science::PD Science: general issues
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Publication Date: 2021-02-10
    Description: This open access book presents up-to-date analyses of community-based approaches to sustainable resource management of SEPLS (socio-ecological production landscapes and seascapes) in areas where a harmonious relationship between the natural environment and the people who inhabit it is essential to ensure community and environmental well-being as well as to build resilience in the ecosystems that support this well-being. Understanding SEPLS and the forces of change that can weaken their resilience requires the integration of knowledge across a wide range of academic disciplines as well as from indigenous knowledge and experience. Moreover, given the wide variation in the socio-ecological makeup of SEPLS around the globe, as well as in their political and economic contexts, individual communities will be at the forefront of developing the measures appropriate for their unique circumstances. This in turn requires robust communication systems and broad participatory approaches. Sustainability science (SuS) research is highly integrated, participatory and solutions driven, and as such is well suited to the study of SEPLS. Through case studies, literature reviews and SuS analyses, the book explores various approaches to stakeholder participation, policy development and appropriate action for the future of SEPLS. It provides communities, researchers and decision-makers at various levels with new tools and strategies for exploring scenarios and creating future visions for sustainable societies.
    Keywords: Environmental Management ; Landscape Ecology ; Development and Sustainability ; Landscape/Regional and Urban Planning ; Environmental Sociology ; Sustainable Development ; Development Studies ; Geography ; Biotechnology ; Environmental Social Sciences ; Indigenous and local knowledge ; Science-policy interface ; Ecosystem services ; Future scenarios ; Stakeholder analysis ; Visualization ; Satoyama ; Satoumi ; SEPLS ; Social-ecological system ; Open Access ; Environmental management, ; Botany & plant sciences ; Sustainability ; Regional & area planning ; Sociology ; The environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PST Botany & plant sciences::PSTS Plant ecology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book highlights concepts discussed at two international conferences that brought together world-renowned scientists to advance the science of potassium (K) recommendations for crops. There was general agreement that the potassium recommendations currently in general use are oversimplified, outdated, and jeopardize soil, plant, and human health. Accordingly, this book puts forward a significantly expanded K cycle that more accurately depicts K inputs, losses and transformations in soils. This new cycle serves as both the conceptual basis for the scientific discussions in this book and a framework upon which to build future improvements. Previously used approaches are critically reviewed and assessed, not only for their relevance to future enhancements, but also for their use as metrics of sustainability. An initial effort is made to link K nutrition in crops and K nutrition in humans. The book offers an invaluable asset for graduate students, educators, industry scientists, data scientists, and advanced agronomists.
    Keywords: Agriculture ; Plant Biochemistry ; Soil Science & Conservation ; Applied Ecology ; Soil Science ; Bioavailable Potassium ; Fertilizer Management ; Plant Nutrition ; Potash ; Soil Chemistry ; Sustainability ; Open access ; Agricultural science ; Botany & plant sciences ; Biochemistry ; Sedimentology & pedology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBG Geology, geomorphology and the lithosphere::RBGB Sedimentology and pedology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNC Applied ecology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2022-05-02
    Description: This open access book takes a critical and international perspective to the mainstreaming of the Global Citizenship Concept and analyses the key issues regarding global citizenship education across the world. In that respect, it addresses a pressing need to provide further conceptual input and to open global citizenship agendas to diversity and indigeneity. Social and political changes brought by globalisation, migration and technological advances of the 21st century have generated a rise in the popularity of the utopian and philosophical idea of global citizenship. In response to the challenges of today’s globalised and interconnected world, such as inequality, human rights violations and poverty, global citizenship education has been invoked as a means of preparing youth for an inclusive and sustainable world. In recent years, the development of global citizenship education and the building of students’ global citizenship competencies have become a focal point in global agendas for education, international educational assessments and international organisations. However, the concept of global citizenship education still remains highly contested and subject to multiple interpretations, and its operationalisation in national educational policies proves to be challenging. This volume aims to contribute to the debate, question the relevancy of global citizenship education’s policy objectives and to enhance understanding of local perspectives, ideologies, conceptions and issues related to citizenship education on a local, national and global level. To this end, the book provides a comprehensive and geographically based overview of the challenges citizenship education faces in a rapidly changing global world through the lens of diversity and inclusiveness. ;
    Keywords: International and Comparative Education ; Social Justice, Equality and Human Rights ; Sociology of Education ; Environmental and Sustainability Education ; Educational Policy and Politics ; Human Rights ; Global social justice in education ; Global Citizenship Education GCE ; Preparing youth for a sustainable world ; 2030 Agenda for Sustainable Development ; United Nations ; Citizenship education ; Intercultural education ; Multicultural education ; Education for sustainable development ; Education for social justice ; Global competence ; International educational policies ; UNESCO ; Open Access ; Education ; Politics & government ; Social research & statistics ; Sustainability ; Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Frontiers Media SA
    Publication Date: 2024-03-30
    Description: In the ancient past, cocoa has been appreciated as a high-calorie food to boost energy in soldiers and for its undefined medicinal and mystical properties. During other times, chocolate has been considered as the forbidden “food of God”: a treasure of pleasure for the mind and the soul. The overall perception of the consumer for chocolate was of a “charming” and appealing food with lots of negative aspects related to high sugar content leading to consider chocolate as “junk food” for its “obesigen” calories. Recently, in association with the renewed interest of nutrition science in alternative source of health-promoting foods and ingredients, a large body of research has been conducted to unravel the pro and cons of cocoa in relation to human health. Epidemiological evidences indicate that cocoa consumption helps preventing cardiovascular disease for its high content in bioactive flavonoids. Clinical trials show that chocolate consumption might improve vascular function, decreasing platelet aggregation and display an antioxidant and anti-inflammatory effect. The putative protective action of cocoa seems to be multi-factorial and involving different aspects of vascular, antioxidant and endothelial function. However, the mechanism(s) that account for the benefits of cocoa it is still unclear. The aim of this Research Topic is therefore to provide the reader with an objective picture of the state of art on the association between cocoa and health, mainly through the evidences of human trials; overwhelmingly considered the golden standard for nutritional science. The Research Topic will cover the analysis of the manufacturing processes of the chocolate and the antioxidant effects in humans as well as the majority of the putative health effects of chocolate and cocoa, such as anti-inflammatory properties, effect on immunity, platelet aggregation, blood pressure, endothelial function and cognitive behavior. Unraveling the functional properties of cocoa will help to understand if the 'food of God' is a primordial gift for the health of mankind.
    Keywords: R5-920 ; RC581-607 ; TX341-641 ; Antioxidants ; Obesity ; Flavonoids ; Humans ; Chocolate ; Blood pressure ; Inflammation ; Cognitive function ; Cocoa ; Immunity
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    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 ...
  • 32
    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 ...
  • 33
    Publication Date: 2024-03-29
    Description: This open access handbook analyses the role of development cooperation in achieving the 2030 Agenda in a global context of ‘contested cooperation’. Development actors, including governments providing aid or South-South Cooperation, developing countries, and non-governmental actors (civil society, philanthropy, and businesses) constantly challenge underlying narratives and norms of development. The book explores how reconciling these differences fosters achievement of the Sustainable Development Goals.
    Keywords: African Politics ; Development and Sustainability ; Development Policy ; International Organization ; Development and Post-Colonialism ; Development Studies ; African Development ; 2030 Agenda ; Development Cooperation ; United Nations 2030 ; UN ; Open Access ; Politics & government ; Africa ; Sustainability ; International institutions ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPS International relations::JPSN International institutions ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations::JPSN International institutions
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    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 ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book states that the societal fault lines of our times are deeply intertwined and that they confront us with challenges affecting the security, fairness and sustainability of our societies. The author, Prof. Dr. Patrick Huntjens, argues that overcoming these existential challenges will require a fundamental shift from our current anthropocentric and economic growth-oriented approach to a more ecocentric and regenerative approach. He advocates for a Natural Social Contract that emphasizes long-term sustainability and the general welfare of both humankind and planet Earth. Achieving this crucial balance calls for an end to unlimited economic growth, overconsumption and over-individualisation for the benefit of ourselves, our planet, and future generations. To this end, sustainability, health, and justice in all social-ecological systems will require systemic innovation and prioritizing a collective effort. The Transformative Social-Ecological Innovation (TSEI) framework presented in this book serves that cause. It helps to diagnose and advance innovation and spur change across sectors, disciplines, and at different levels of governance. Altogether, TSEI identifies intervention points and formulates jointly developed and shared solutions to inform policymakers, administrators, concerned citizens, and professionals dedicated towards a more sustainable, healthy and just society. A wide readership of students, researchers, practitioners and policy makers interested in social innovation, transition studies, development studies, social policy, social justice, climate change, environmental studies, political science and economics will find this cutting-edge book particularly useful. “As a sustainability transition researcher, I am truly excited about this book. Two unique aspects of the book are that it considers bigger transformation issues (such as societies’ relationship with nature, purpose and justice) than those studied in transition studies and offers analytical frameworks and methods for taking up the challenge of achieving change on the ground.” - Prof. Dr. René Kemp, United Nations University and Maastricht Sustainability Institute
    Keywords: Social Justice, Equality and Human Rights ; Sustainable Development ; Social Policy ; Politics of the Welfare State ; Social Work and Community Development ; Comparative Social Policy ; Social Justice ; Sustainability ; Environmental Social Sciences ; Environmental Anthropology ; Human Security ; Institutional Change ; Planetary Boundaries ; Planetary Health ; Social Contract ; Social Innovation ; Social-Ecological Systems ; Sustainability Transition ; open access ; sustainable development goals ; Politics & government ; Central / national / federal government policies ; Social work ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JK Social services & welfare, criminology::JKS Social welfare & social services::JKSN Social work ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKS Social welfare and social services::JKSN Social work
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
    Keywords: Computer Communication Networks ; Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Special Purpose and Application-Based Systems ; Computer System Implementation ; User Interfaces and Human Computer Interaction ; Computer and Information Systems Applications ; open access ; artificial intelligence ; communication systems ; computer vision ; databases ; hci ; human-computer interaction ; image processing ; Internet of Things ; IoT ; machine learning ; network protocols ; sensors ; signal processing ; software architecture ; software design ; telecommunication networks ; telecommunication systems ; user interfaces ; wireless telecommunication systems ; Network hardware ; Artificial intelligence ; Information retrieval ; Internet searching ; Expert systems / knowledge-based systems ; Systems analysis & design ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2024-04-05
    Description: This eBook comprises s series of original research and review articles dealing with the anatomical, genetic, and physiological organization of the auditory system from humans to monkeys and mice.
    Keywords: RC321-571 ; Q1-390 ; audition ; monkeys ; gens ; translational ; Humans ; Rodents ; Memory ; Perception ; Physiology ; functional imaging ; Anatomy ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book focuses on the issue of sustainability standards from the perspective of both global governance frameworks and emerging economies. It stems from the recognition that the accelerated pace of economic globalization has generated production and consumption patterns that are generating sustainability concerns. Sustainability standards (and regulations) are increasingly being used in a bid to make global consumption and production more sustainable. Given the dense inter-connectedness of economic affairs globally, the use of sustainability standards has become a concern of global governance, who face the challenge of achieving a balance between the use of standards for genuine sustainability objectives, and not allowing them to turn into instruments of protectionism or coercion. The emerging economies, given their increasing engagement with the global economy, are most impacted by the use of sustainability standards. The emphasis of ‘emerging economies’ in this book is retained both by using case studies from these economies and by collating perceptions and assessments of those located in these economies. The case studies included span sectors such as palm oil, forestry, food quality, vehicular emissions and water standards, and address the problems unique to the emerging economies, including capacity building for compliance with standards, adapting international standards in domestic contexts and addressing the exclusion of small and medium enterprises etc. Complex interfaces and dynamics of a global nature are not limited to the thematic of this book but also extend to the process through which it was written. This book brings together insights from developed as well as emerging economies (Germany, India, Mexico, Brazil, Indonesia, Pakistan, Mexico and China). It also brings together scholars and practitioners to jointly ponder upon the conceptual aspects of the global frameworks for sustainability standards. This book is a very useful resource for researchers and practitioners alike, and provides valuable insights for policy makers as well.
    Keywords: Development and Sustainability ; Emerging Markets/Globalization ; Trade ; Sustainability Management ; Development Studies ; International Business ; Industries ; Management ; Open Access ; Sustainability Standards ; Global Governance ; Emerging Economies ; Social and Environmental Standards ; Sustainable Development Goals ; Sustainability ; Market research ; Economics ; Business & the environment ; ‘green’ approaches to business ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJS Sales & marketing::KJSM Market research ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNP Distributive industries ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJJ Business & the environment, ‘Green’ approaches to business
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    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 ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Publication Date: 2024-04-05
    Description: The global population aged over 60 is set to rise dramatically in the coming decades. In many countries, the older population now faces the prospect of spending a quarter of their lives aged over 65, and a significant proportion will have to cope with cognitive decline associated with normal ageing or with dementia disorders. Given that these fundamental demographic changes will pose a significant challenge to health care systems, a detailed understanding of age-related cognitive and neurobiological changes is essential in helping elderly populations maintain cognitive performance. In addition, developing sensitive biomarkers to identify those at risk of developing dementia is crucial for early and effective interventions. To make inferences about the ageing process from the animal model back to the human, rigorous behavioral paradigms must be used to ensure that the same function is being examined across species. Given that similar navigational paradigms can easily be applied to humans and animals, recent years have seen an expansion of studies attempting to bridge the gap between age-related changes in animal and human spatial cognition. These studies begin to suggest that disruptions in spatial computations are among the earliest indicators of impending cognitive decline. In addition, although many animal studies have identified pathological mechanisms with paradigms involving spatial navigation, these mechanisms support many nonspatial cognitive functions as well. As a consequence, a successful characterization of how spatial processing changes in the ageing brain could reveal fundamental effects of cognitive ageing that could inform about general mechanisms underlying decline in perception, mnemonic processing and multisensory integration.
    Keywords: RC321-571 ; Q1-390 ; Neuroscience ; spatial navigation ; Humans ; Aging ; Animal Models ; Dementia ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
    Keywords: architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; 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::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Keywords: Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; 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::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    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: 2021-02-10
    Description: This open access volume draws on a multidimensional model of educational change, the book reviews the field of climate change education and identifies some of the areas in which past efforts have fallen short in supporting effective pedagogical change at scale. It then formulates an approach to engage university students and faculty in partnering with schools and adult education institutions and directly contribute innovative curricula on climate change. The approach is illustrated with several case studies which present curricula developed to support school-based innovation in the Middle East and in Guatemala, and adult education in Haiti and Pakistan, and educators preparation at the university level. The approach followed to develop innovative curriculum follows five steps: 1) What are the specific impacts of climate change in this jurisdiction? How do they impact various human populations? 2) What knowledge, dispositions and behaviors could mitigate the impact of climate change and are there ways in which changes in the behaviors of populations in this jurisdiction could slow down climate change? 3) What are the means of delivery to reach each of the specific populations in this jurisdiction who needs to be educated on climate change? 4) What curriculum can help educate each population? 5) What role can the institution we are collaborating with play in advancing climate change education in that jurisdiction? The various chapters of the book present the conceptual foundation of these programs and illustrate how these programs respond to specific characteristics of local contexts. These programs focus in schools, non-formal settings and educator preparation institutions. The chapters offer examples of general value beyond the specific contexts for which they were designed, as they illustrate how in order to be optimally useful climate change education needs to be firmly grounded in the specifics of a context and responsive to that context.
    Keywords: Environmental and Sustainability Education ; Curriculum Studies ; Educational Policy and Politics ; Science Education ; International and Comparative Education ; Higher Education ; Open access ; climate change education ; Sustainability Studies ; Curriculum Reform ; Comparative Education ; Education Policy ; Educational Change ; twenty first century education ; climate education strategies ; integrating climate change education ; university climate change education ; climate change education strategies ; Climate Action in Guatemala ; Education ; Sustainability ; Curriculum planning & development ; Educational strategies & policy ; Teaching of a specific subject ; Science: general issues ; Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education
    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: 2021-02-10
    Description: This open access book presents and discusses current issues and innovative solution approaches for land management in a European context. Manifold sustainability issues are closely interconnected with land use practices. Throughout the world, we face increasing conflict over the use of land as well as competition for land. Drawing on experience in sustainable land management gained from seven years of the FONA programme (Research for Sustainable Development, conducted under the auspices of the German Federal Ministry of Education and Research), the book stresses and highlights co-design processes within the “co-creation of knowledge”, involving collaboration in transdisciplinary research processes between academia and other stakeholders. The book begins with an overview of the current state of land use practices and the subsequent need to manage land resources more sustainably. New system solutions and governance approaches in sustainable land management are presented from a European perspective on land use. The volume also addresses how to use new modes of knowledge transfer between science and practice. New perspectives in sustainable land management and methods of combining knowledge and action are presented to a broad readership in land system sciences and environmental sciences, social sciences and geosciences.
    Keywords: Sustainable Development ; Regional/Spatial Science ; Environmental Geography ; Human Geography ; Knowledge - Discourse ; Environmental Social Sciences ; Regional and Spatial Economics ; Environmental Studies ; Biotechnology ; Open Access ; Sustainable land management ; System solutions ; Governance of land ; Transdisciplinarity Interdisciplinarity ; Knowledge management ; Sustainability ; Political economy ; Regional studies ; Development & environmental geography ; Human geography ; Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Publication Date: 2024-04-04
    Description: This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Original Research to Review Articles, Frontiers Research Topics unify the most influential researchers, the latest key findings and historical advances in a hot research area! Find out more on how to host your own Frontiers Research Topic or contribute to one as an author by contacting the Frontiers Editorial Office: frontiersin.org/about/contact
    Keywords: drugs ; Behavior ; Memory tasks ; pre-clinical ; clinical ; Humans ; Animals ; thema EDItEUR::P Mathematics and Science::PD Science: general issues ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKG Pharmacology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access short reader looks into the dynamics which have reshaped rural development and human landscapes in European agriculture and the role of immigrant people. Within this framework it analyses contemporary rural migrations and the emergence of immigrants in relation to the incorporation of agrarian systems into global markets, the European agricultural governance (CAP), and the struggle of local territories as differentiated practices in constant stress between innovation and resilience. It specifically explores the case of immigrant shepherds to describe the reconfiguration of agriculture systems and rural landscapes in Europe following intense immigration and the related provision of skilled labour at a relatively low cost. Being written in a very accessible way, this reader is an interesting read to students, researchers, academics, policy makers, and practitioners.
    Keywords: Social Sciences, general ; Agriculture ; Geography, general ; Human Geography ; Sociology of Migration ; Geography ; Open access ; EU agro-pastoralism ; European Mediterranean ; European agricultural governance (CAP) ; TRAMed research ; Rural development ; Local agro-pastoral sector ; Sustainability ; Migrations ; Mediterranean agriculture ; Immigrant workers ; Agri-food chain ; Society & Social Sciences ; Sociology ; Agricultural science ; Human geography ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book discusses the current role of smallholders in connection with food security and poverty reduction in developing countries. It addresses the opportunities they enjoy, and the constraints they face, by analysing the availability, access to and utilization of production factors. Due to the relevance of smallholder farms, enhancing their production capacities and economic and social resilience could produce positive impacts on food security and nutrition at a number of levels. In addition to the role of small farmers as food suppliers, the book considers their role as consumers and their level of nutrition security. It investigates the link between agriculture and nutrition in order to better understand how agriculture affects human health and dietary patterns. Given the importance of smallholdings, strategies to increase their productivity are essential to improving food and nutrition security, as well as food diversity.
    Keywords: Agricultural Economics ; Development Economics ; Agriculture ; Food Science ; Smallholder Farms ; Food Security ; Nutrition ; Developing Countries ; Open Access ; Sustainability ; Food Diversity ; African Agriculture ; Sub-Saharan Africa ; Agricultural science ; Agribusiness & primary industries ; Development economics & emerging economies ; Food & beverage technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; 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 ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-11
    Description: This open access book presents the proceedings of the 3rd Indo-German Conference on Sustainability in Engineering held at Birla Institute of Technology and Science, Pilani, India, on September 16–17, 2019. Intended to foster the synergies between research and education, the conference is one of the joint activities of the BITS Pilani and TU Braunschweig conducted under the auspices of Indo-German Center for Sustainable Manufacturing, established in 2009. The book is divided into three sections: engineering, education and entrepreneurship, covering a range of topics, such as renewable energy forecasting, design & simulation, Industry 4.0, and soft & intelligent sensors for energy efficiency. It also includes case studies on lean and green manufacturing, and life cycle analysis of ceramic products, as well as papers on teaching/learning methods based on the use of learning factories to improve students’problem-solving and personal skills. Moreover, the book discusses high-tech ideas to help the large number of unemployed engineering graduates looking for jobs become tech entrepreneurs. Given its broad scope, it will appeal to academics and industry professionals alike.
    Keywords: Industrial and Production Engineering ; Renewable and Green Energy ; Engineering/Technology Education ; Study and Learning Skills ; Energy Efficiency ; Energy Policy, Economics and Management ; Engineering and Technology Education ; Engineering ; Entrepreneurship ; Education ; Sustainability ; Learning factories ; International collaboration ; Open Access ; Production engineering ; Alternative & renewable energy sources & technology ; Higher & further education, tertiary education ; Technology: general issues ; Study & learning skills: general ; Energy technology & engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNZ Study and learning skills: general ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: Artificial Intelligence ; Mathematical Logic and Formal Languages ; Logics and Meanings of Programs ; Software Engineering ; Formal Languages and Automata Theory ; Computer Science Logic and Foundations of Programming ; automata theory ; boolean functions ; computer programming ; first order logic ; formal languages ; formal logic ; logic programming ; model checking ; program verification ; semantics ; software architecture ; software design ; software quality ; software verification ; theorem provers ; theorem proving ; Mathematical theory of computation ; Computer programming / software engineering ; Computer architecture & logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; 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/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
    Keywords: architecture verification ; artificial intelligence ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; formal methods ; formal verifications ; model checker ; model checking ; signal processing ; software architecture ; software design ; software engineering ; software quality ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; 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 ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This book is open access under a CC BY 4.0 license. This book defines the new field of "Bioeconomy" as the sustainable and innovative use of biomass and biological knowledge to provide food, feed, industrial products, bioenergy and ecological services. The chapters highlight the importance of bioeconomy-related concepts in public, scientific, and political discourse. Using an interdisciplinary approach, the authors outline the dimensions of the bioeconomy as a means of achieving sustainability. The authors are ideally situated to elaborate on the diverse aspects of the bioeconomy. They have acquired in-depth experience of interdisciplinary research through the university’s focus on “Bioeconomy”, its contribution to the Bioeconomy Research Program of the federal state of Baden-Württemberg, and its participation in the German Bioeconomy Council. With the number of bioeconomy-related projects at European universities rising, this book will provide graduate students and researchers with background information on the bioeconomy. It will familiarize scientific readers with bioeconomy-related terms and give scientific background for economists, agronomists and natural scientists alike. ; Broadens your understanding of a sustainable economy Simplifies multidisciplinary approaches for the transition to a Bioeconomy Combining principles from agriculture, biotechnology and macroeconomics
    Keywords: Ecosystems ; Sustainable Development ; Agricultural Economics ; Natural Resource and Energy Economics ; Natural Resources ; Environmental Social Sciences ; Environmental Economics ; Solid Earth Sciences ; Sustainability ; Biomass Management ; Resource Management ; Agriculture ; Macroeconomics ; Open Access ; Ecological science, the Biosphere ; Agricultural science ; Agribusiness & primary industries ; Environmental 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::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management
    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: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP). The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan 2016-2020. It aims to make the government more effective and to reduce administrative burdens by asking citizens and companies to provide certain standard information to the public authorities only once. The project was horizontal and policy-driven with the aim of showing that the implementation of OOP in a cross-border and cross-sector setting is feasible. The book summarizes the results of the project from policy, organizational, architectural, and technical points of view.
    Keywords: Computer Applications ; Special Purpose and Application-Based Systems ; Programming Techniques ; Software Engineering/Programming and Operating Systems ; Computer Application in Administrative Data Processing ; Computer and Information Systems Applications ; Software Engineering ; access control ; communication systems ; computer systems ; cryptography ; databases ; Field Programmable Gate Array (FPGA) ; gateways (computer networks) ; information systems ; internet protocols ; network protocols ; object-oriented design ; object-oriented programming ; object-oriented programming languages ; signal processing ; social networks ; software architecture ; software design ; system architectures ; Information technology: general issues ; Expert systems / knowledge-based systems ; Computer programming / software engineering ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; 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/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Keywords: Biomass conversion ; Biotechnology ; Chemical Engineering ; Chemistry industry ; Industrial Chemistry ; Kent ; Riegel ; biochemical engineering
    Description / Table of Contents: Substantially revising and updating the classic reference in the field, this handbook offers a valuable overview and myriad details on current chemical processes, products, and practices. No other source offers as much data on the chemistry, engineering, economics, and infrastructure of the industry. The Handbook serves a spectrum of individuals, from those who are directly involved in the chemical industry to others in related industries and activities. It provides not only the underlying science and technology for important industry sectors, but also broad coverage of critical supporting topics. Industrial processes and products can be much enhanced through observing the tenets and applying the methodologies found in chapters on Green Engineering and Chemistry (specifically, biomass conversion), Practical Catalysis, and Environmental Measurements; as well as expanded treatment of Safety, chemistry plant security, and Emergency Preparedness. Understanding these factors allows them to be part of the total process and helps achieve optimum results in, for example, process development, review, and modification. Important topics in the energy field, namely nuclear, coal, natural gas, and petroleum, are covered in individual chapters. Other new chapters include energy conversion, energy storage, emerging nanoscience and technology. Updated sections include more material on biomass conversion, as well as three chapters covering biotechnology topics, namely, Industrial Biotechnology, Industrial Enzymes, and Industrial Production of Therapeutic Proteins.
    Pages: Online-Ressource (XIV, 1562 pages)
    ISBN: 9780387278438
    Language: English
    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...