ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications  (20)
  • Sustainability  (15)
  • Springer  (35)
  • Englisch  (35)
Sammlung
Sprache
  • Englisch  (35)
Erscheinungszeitraum
  • 1
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed proceedings of the 18th China Annual Conference on Cyber Security, CNCERT 2022, held in Beijing, China, in August 2022. The 17 papers presented were carefully reviewed and selected from 64 submissions. The papers are organized according to the following topical sections: ​​data security; anomaly detection; cryptocurrency; information security; vulnerabilities; mobile internet; threat intelligence; text recognition.
    Schlagwort(e): application service layer ; artificial intelligence ; communication systems ; computer crime ; computer networks ; computer security ; computer systems ; cryptography ; cyber security ; data communication systems ; data security ; databases ; machine learning ; network protocols ; network security ; privacy ; signal processing ; telecommunication networks ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; 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::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-16
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2022-10-15
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022. The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technology; and haptic applications.
    Schlagwort(e): communication systems ; computer networks ; data communication systems ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; mobile devices ; network protocols ; rehabilitation systems ; robotics ; signal processing ; telecommunication networks ; telecommunication systems ; user interfaces ; virtual reality ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-01
    Beschreibung: 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. ;
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
    Schlagwort(e): artificial intelligence ; bioinformatics ; computer science ; computer systems ; computer vision ; education ; image analysis ; image processing ; image segmentation ; learning ; machine learning ; medical images ; neural networks ; pattern recognition ; segmentation methods ; software design ; software engineering ; software quality ; validation ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-29
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 11
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-11
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 12
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
    Schlagwort(e): Simulation and Modeling ; Performance and Reliability ; Computational Science and Engineering ; Input/Output and Data Communications ; Mathematical and Computational Engineering ; Numerical and Computational Physics, Simulation ; Computer Science ; Computer Hardware ; Mathematical and Computational Engineering Applications ; Theoretical, Mathematical and Computational Physics ; open access ; computational algorithms and numerical methods ; data management and exploration ; high-performance computing ; simulation software and applications ; system software and software tools ; Computer modelling & simulation ; Systems analysis & design ; Maintenance & repairs ; Maths for scientists ; Computer networking & communications ; Distributed databases ; Maths for engineers ; Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 13
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 14
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 15
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 16
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Schlagwort(e): Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; 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::UT Computer networking and communications
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 17
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2022-05-02
    Beschreibung: 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. ;
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 18
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 19
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 20
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
    Schlagwort(e): Computer Systems Organization and Communication Networks ; Image Processing and Computer Vision ; Control Structures and Microprogramming ; Input/Output and Data Communications ; Operating Systems ; Information Systems and Communication Service ; Computer Engineering and Networks ; Computer Vision ; Database Management System ; computer hardware ; computer networks ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; hpc ; image processing ; microprocessor chips ; network protocols ; parallel architectures ; parallel processing systems ; processors ; signal processing ; telecommunication networks ; telecommunication systems ; telecommunication traffic ; open access ; Computer networking & communications ; Image processing ; Computer vision ; Algorithms & data structures ; Distributed databases ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 21
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-29
    Beschreibung: 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
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 22
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.
    Schlagwort(e): artificial intelligence ; communication systems ; computer hardware ; computer networks ; computer programming ; computer systems ; computer vision ; deep learning ; distributed computer systems ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; signal processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 23
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 24
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 25
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020. The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.
    Schlagwort(e): Database Management ; Data Mining and Knowledge Discovery ; Computing Milieux ; Machine Learning ; Computer Systems Organization and Communication Networks ; open access ; data mining ; learning systems ; classification ; clustering ; semantics ; learning algorithms ; supervised learning ; association rules ; social networks ; graphic methods ; neural networks ; artificial intelligence ; computer vision ; correlation analysis ; databases ; education ; engineering ; graph theory ; image analysis ; Databases ; Database programming ; Data mining ; Expert systems / knowledge-based systems ; Information technology: general issues ; Machine learning ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 26
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 27
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 28
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-disciplinary way. Leveraging hybrid (continuous/discrete) systems as a unifying framework and Acumen as a modeling environment, the book bridges the conceptual gap in modeling skills needed for physical systems on the one hand and computational systems on the other. In doing so, the book gives the reader the modeling and design skills they need to build smart, IT-enabled products. Starting with a look at various examples and characteristics of Cyber-Physical Systems, the book progresses to explain how the area brings together several previously distinct ones such as Embedded Systems, Control Theory, and Mechatronics. Featuring a simulation-based project that focuses on a robotics problem (how to design a robot that can play ping-pong) as a useful example of a CPS domain, Cyber-Physical Systems: A Model-Based Approach demonstrates the intimate coupling between cyber and physical components, and how designing robots reveals several non-trivial control problems, significant embedded and real-time computation requirements, and a need to consider issues of communication and preconceptions.
    Schlagwort(e): Computer Systems Organization and Communication Networks ; Cyber-physical systems, IoT ; Simulation and Modeling ; Control, Robotics, Mechatronics ; Computer Engineering and Networks ; Cyber-Physical Systems ; Computer Science ; Control, Robotics, Automation ; CPS ; Embedded System ; model-based engineering ; hybrid systems ; Acumen ; coordinate transformations ; modeling computational systems ; modeling physical systems ; control ; sensing and actuation ; game theory ; Open Access ; Computer networking & communications ; Electrical engineering ; Cybernetics & systems theory ; Computer modelling & simulation ; Automatic control engineering ; Electronic devices & materials ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 29
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 30
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 31
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-11
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 32
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 33
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 34
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.
    Schlagwort(e): Computer Applications ; Environment, general ; Special Purpose and Application-Based Systems ; Information Systems and Communication Service ; Software Engineering/Programming and Operating Systems ; Geography, general ; Computer and Information Systems Applications ; Environmental Sciences ; Database Management System ; Software Engineering ; Geography ; cloud computing ; cloud providers ; cloud services ; computer networks ; computing resource ; data communication systems ; databases ; distributed computer systems ; distributed systems ; engineering ; grid computing ; internet ; network protocols ; open access ; parallel processing systems ; signal processing ; telecommunication networks ; wireless telecommunication systems ; Information technology: general issues ; The environment ; Expert systems / knowledge-based systems ; Computer networking & communications ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 35
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-04
    Beschreibung: This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​
    Schlagwort(e): Mathematical Logic and Foundations ; Discrete Mathematics in Computer Science ; Programming Languages, Compilers, Interpreters ; Programming Techniques ; Logic in AI ; Computer Systems Organization and Communication Networks ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; semantics of programming languages ; program analysis, correctness, transformation, and verification ; logics of programming ; software specification and refinement ; emerging models of computation ; logical aspects of computational complexity ; models of software security ; logical foundations of data bases ; mathematics ; artificial intellegence ; formal logic ; linguistics ; Mathematical foundations ; Mathematical logic ; Discrete mathematics ; Maths for computer scientists ; Programming & scripting languages: general ; Compilers & interpreters ; Computer programming / software engineering ; Artificial intelligence ; Computer networking & communications ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; 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
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...