Search

This open access volume is a collection of full papers based on the peer-reviewed presentations accepted for the European Researchers in Didactics of Biology, ERIDOB 2022 conference. ERIDOB aims to bring together researchers in didactics of Biology from Europe and around the world to share and discuss their research work and results. It is the only major international conference whose focus lies exclusively on biology education research, and all the papers are written by international researchers from across Europe (and beyond) which report on a range of contemporary biology education research projects. They are all entirely new papers describing new research in the field. Each paper has been peer-reviewed by experienced biology education researchers and the members of the ERIDOB Academic Committee. The selected papers are collated within the following categories of biology education: · Teaching Strategies and Learning Environments · Students’ Knowledge, Conceptions, Values, Attitudes and Motivation · Outdoor and Environmental Education · Biology Teachers’ Professional Development By providing a collection of new research findings from many countries, this book is a great resource for researchers and practitioners such as school, college and university biology teachers' around the world. It is useful for training biology teachers and therefore valuable to teacher training institutions.

This open access volume contains selected papers of the 2021 Scientific Assembly of the International Association of Geodesy – IAG2021. The Assembly was hosted by the Chinese Society for Geodesy, Photogrammetry and Cartography (CSGPC) in Beijing, China from June 28 to July 2, 2021. It was a hybrid conference with in-person and online attendants. In total, the Assembly was attended by 146 in-person participants and 1,123 online participants. The theme of the Assembly was Geodesy for a Sustainable Earth. 613 contributions (255 oral presentations and 358 poster presentations) covered all topics of the broad spectrum considered by the IAG: geodetic reference frames, Earth gravity field modelling, Earth rotation and geodynamics, positioning and applications, the Global Geodetic Observing System (GGOS), geodesy for climate research, marine geodesy, and novel sensors and quantum technology for geodesy. All published papers were peer-reviewed, and we warmly recognize the contributions and support of the Associate Editors and Reviewers.

This open access book contains 30 peer-reviewed papers based on presentations at the 27th General Assembly of the International Union of Geodesy and Geophysics (IUGG). The meeting was held from July 8 to 18, 2019 in Montreal, Canada, with the theme being the celebration of the centennial of the establishment of the IUGG. The centennial was also a good opportunity to look forward to the next century, as reflected in the title of this volume. The papers in this volume represent a cross-section of present activity in geodesy, and highlight the future directions in the field as we begin the second century of the IUGG. During the meeting, the International Association of Geodesy (IAG) organized one Union Symposium, 6 IAG Symposia, 7 Joint Symposia with other associations, and 20 business meetings. In addition, IAG co-sponsored 8 Union Symposia and 15 Joint Symposia. In total, 3952 participants registered, 437 of them with IAG priority. In total, there were 234 symposia and 18 Workshops with 4580 presentations, of which 469 were in IAG-associated symposia. ; This volume will publish papers based on International Association of Geodesy (IAG) -related presentations made at the International Association of Geodesy at the 27th IUGG General Assembly, Montreal, July 2019. It will include papers associated with all of the IAG and joint symposia from the meeting, which span all aspects of modern geodesy, and linkages to earth and environmental sciences. It continues the long-running IAG Symposia Series.

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.

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.

This open access book constitutes revised selected papers from the International Workshops held at the Third International Conference on Process Mining, ICPM 2021, which took place in Eindhoven, The Netherlands, during October 31–November 4, 2021. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas. The 28 papers included in this volume were carefully reviewed and selected from 65 submissions. They stem from the following workshops: 2nd International Workshop on Event Data and Behavioral Analytics (EDBA) 2nd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) 2nd International Workshop on Streaming Analytics for Process Mining (SA4PM) 6th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI) 4th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H) 2nd International Workshop on Trust, Privacy, and Security in Process Analytics (TPSA) One survey paper on the results of the XES 2.0 Workshop is included.

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.

This open access book constitutes the refereed proceedings of 1st International Workshop on Psychology, Learning, Technology, PLT 2022, Foggia, Italy, during January 2022. The 8 full papers presented here were carefully reviewed and selected from 23 submissions. In addition, one invited paper is also included. Psychology, Learning, ad Technology Conference (PLT2022) aims to explore learning paths that incorporate digital technologies in innovative and transformative ways and the improvement of the psychological and relational life. The conference includes topics about the methodology of application of the ICT tools in psychology and education: from blended learning to the application of artificial intelligence in education; from the teaching, learning, and assessment strategies and practices to the new frontiers on Human-Computer Interaction.

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. *The conference was held in a hybrid format This is an open access book.

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.

This open access volume brings together selected papers from the 8th International Conference on Attosecond Science and Technology. The contributions within represent the latest advances in attosecond science, covering recent progress in ultrafast electron dynamics in atoms, molecules, clusters, surfaces, solids, nanostructures and plasmas, as well as the generation of sub-femtosecond XUV and X-ray pulses, either through table-top laser setups or with X-ray free-electron lasers. In addition to highlighting key advances and outlining the state of the field, the conference and its proceedings serve to introduce junior researchers to the community, promote collaborations, and represent the global and topical diversity of the field.

This open access book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2019 (LEAP-ASIA-2019) following the LEAP-UCD-2017 whose results have been published as a first volume. In addition to the research targets set in the previous one, such as the repeatability, variability, and sensitivity of lateral spreading on mildly sloping liquefiable sand, this volume includes research efforts to validate the generalized scaling law (hereafter “GSL”) for the identical prototype with the one employed in UCD-2017. In LEAP-ASIA-2019, 10 institutes around the world conducted 23 tests in total. It was the first multi-institutional attempts to investigate the validity of the generalized scaling law for the saturated sandy sloping deposit with wide range of initial conditions. The experimental data provided a unique basis for assessing the capabilities of six different simulation platforms for numerical simulation of soil liquefaction. The results of the experiments and the numerical simulations are presented and discussed in papers submitted by the project participants.

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.

This open access book constitutes papers from the 5 research workshops, the poster presentations, as well as two panel discussions which were presented at XP 2021, the 22nd International Conference on Agile Software Development, which was held online during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 18 papers included in this volume were carefully reviewed and selected from overall 37 submissions. They stem from the following workshops: 3rd International Workshop on Agile Transformation 9th International Workshop on Large-Scale Agile Development 1st International Workshop on Agile Sustainability 4th International Workshop on Software-Intensive Business 2nd International Workshop on Agility with Microservices Programming

The contributions gathered in this open access book focus on modern methods for data science and classification and present a series of real-world applications. Numerous research topics are covered, ranging from statistical inference and modeling to clustering and dimension reduction, from functional data analysis to time series analysis, and network analysis. The applications reflect new analyses in a variety of fields, including medicine, marketing, genetics, engineering, and education. The book comprises selected and peer-reviewed papers presented at the 17th Conference of the International Federation of Classification Societies (IFCS 2022), held in Porto, Portugal, July 19–23, 2022. The IFCS federates the classification societies and the IFCS biennial conference brings together researchers and stakeholders in the areas of Data Science, Classification, and Machine Learning. It provides a forum for presenting high-quality theoretical and applied works, and promoting and fostering interdisciplinary research and international cooperation. The intended audience is researchers and practitioners who seek the latest developments and applications in the field of data science and classification.

This open access book shows some of the highlights presented at the XV Ibero-American Congress of Mechanical Engineering. The papers explore the forefront of Mechanical Engineering, containing research into fluid mechanics, energy systems, tribology, materials science, robotics, mechatronics, biomechanics, instrumentation, thermodynamics, and mechanical sustainability.

This open access book presents a collection of papers focusing on current 3D research challenges in the domain of digital cultural heritage. 3D technologies find considerable use within the field of cultural heritage at the beginning of the 21st century, for example in the areas of data acquisition, modeling, archiving in local repositories, harvesting in digital libraries and their long-term preservation. This volume put emphasis on a number of challenges facing 3D research in the 2D/3D digitization of tangible objects and their transformation to digital/virtual/memory twins; the interplay of geometry, semantics and the recovery and management of knowledge in digital cultural heritage; the handling of 3D data via the Cloud on the Internet and mobile devices; the presentation of cultural heritage content in 3D to the general public; and the 3D reproduction of cultural heritage objects from virtual to real.

Home to over 80 percent of all life on Earth, the ocean is the world’s largest carbon sink and a key source of food and economic security for billions of people. The relevance of the ocean for humanity's future is undisputed. However, the ocean’s great potential to drive economic growth and equitable job creation, sustain healthy ecosystems, and mitigate climate change is not yet fully recognised. Lack of awareness of this potential as well as management and governance challenges pose impediments. Until these impediments are removed, ocean ecosystems will continue to be degraded and opportunities for people lost. A transition and a clear path to a thriving and vibrant relationship between humans and the ocean are urgently needed. This open access collection of papers and reports identifies a path that is inspired by science, energised by engaged people, and emboldened by visionary leaders. These assessments of knowledge are commissioned by the High Level Panel for a Sustainable Ocean Economy (Ocean Panel), which was established in September 2018 as a unique initiative led by heads of state and government from around the world, to showcase the latest leading-edge science, knowledge and state-of-the-art thinking on key ocean issues. Altogether, The Blue Compendium offers innovative ocean solutions in technology, policy, governance, and finance realms, that could help accelerate a transition to a more sustainable and prosperous relationship with the ocean. The comprehensive assessments have already informed policy making at the highest levels of government and motivated an impressive array of responsive and ambitious action across a growing network of leaders in business, finance and civil society.

This open access book conveys attention to the theme of transition towards resilience and sustainability and its evolutionary perspective that emphasizes the complexity and uncertainty that governments and society are called to address in response to the ongoing challenges. "New Metropolitan Perspective Post COVID Dynamics: Green and Digital Transition, between Metropolitan and Return to Villages’ Perspectives”, 25–27 May 2022, Reggio Calabria, Italy. The papers included in the book are grouped around the following main topics: the envisaged transition towards resilience and sustainability; the relevance of the planning dimension for defining sustainable development pathways and managing complexity; and the green and digital transition by glimpsing at approaches, experiences, and cases that outline innovative solutions in cities and inner areas. The book primarily targets the academic and policymaker communities involved in managing the complexity of the transition for regions and cities.

This open access conference proceedings contains all the papers presented at the ICTIMT 2023, the 3rd International Conference on Thermal Issues in Machine Tools. The event takes place in Dresden, the capital of Saxony, from March 21-23 2023. The conference is organized by the Chair of Machine Tools Development and Adaptive Controls of the Technische Universität Dresden.

This book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological applications and medicine; and towards new ai methods. This is an open access book.

This open access book contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). Written by top-level scientists recognized worldwide, the scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and environmental mathematics, mathematical biology and medicine, reduced-order modeling and cryptography. The book also includes an introductory chapter summarizing the main features of the congress. This is the first volume of a thematic series dedicated to research results presented at ICIAM 2019-Valencia Congress.

This open access book is a collection of research papers on COVID-19 by Germán Velásquez from 2020 and early 2021 that help to answer the question: How can an agency like the World Health Organization (WHO) be given a stronger voice to exercise authority and leadership? The considerable health, economic and social challenges that the world faced at the beginning of 2020 with COVID-19 continued and worsened in many parts of the world in the second-half of 2020 and into 2021. Many of these countries and nations wanted to explore COVID-19 on their own, sometimes without listening to the main international health bodies such as WHO, an agency of the United Nations system with long-standing experience and vast knowledge at the global level and of which all countries in the world are members. In this single volume, the chapters present the progress of thinking and debate — particularly in relation to drugs and vaccines — that would enable a response to the COVID-19 pandemic or to subsequent crises that may arise. Among the topics covered: COVID-19 Vaccines: Between Ethics, Health and Economics Medicines and Intellectual Property: 10 Years of the WHO Global Strategy Re-thinking Global and Local Manufacturing of Medical Products After COVID-19 Rethinking R&D for Pharmaceutical Products After the Novel Coronavirus COVID-19 Shock Intellectual Property and Access to Medicines and Vaccines The World Health Organization Reforms in the Time of COVID-19 Vaccines, Medicines and COVID-19: How Can WHO Be Given a Stronger Voice? is essential reading for negotiators from the 194 member countries of the World Health Organization (WHO); World Trade Organization (WTO) and World Intellectual Property Organization (WIPO) staff participating in these negotiations; academics and students of public health, medicine, health sciences, law, sociology and political science; and intergovernmental organizations and non-governmental organizations that follow the issue of access to treatments and vaccines for COVID-19.

This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.

This open access book LNCS 13353 constitutes the proceedings of the 7th International Conference on Electronic Voting, E-Vote-ID 2022, held in Bregenz, Austria, in October 2022. The 10 full papers presented were carefully reviewed and selected from 39 submissions. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and usability through to practical experiences and applications of voting systems, also including legal, social, or political aspects, amongst others.

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.

Places Ellis at the heart of early-Victorian Cambridge with in-depth descriptions on his scientific work and tragic life Provides a unique glimpse into Victorian intellectual culture, based on previously unpublished archival materials This open access book brings together for the first time all aspects of the tragic life and fascinating work of the polymath Robert Leslie Ellis (1817–1859), placing him at the heart of early-Victorian intellectual culture. Written by a diverse team of experts, the chapters in the book’s first part contain in-depth examinations of, among other things, Ellis’s family, education, Bacon scholarship and mathematical contributions. The second part consists of annotated transcriptions of a selection of Ellis’s diaries and correspondence. Taken together, A Prodigy of Universal Genius: Robert Leslie Ellis, 1817–1859 is a rich resource for historians of science, historians of mathematics and Victorian scholars alike. Robert Leslie Ellis was one of the most intriguing and wide-ranging intellectual figures of early Victorian Britain, his contributions ranging from advanced mathematical analysis to profound commentaries on philosophy and classics and a decisive role in the orientation of mid-nineteenth century scholarship. This very welcome collection offers both new and authoritative commentaries on the work, setting it in the context of the mathematical, philosophical and cultural milieux of the period, together with fascinating passages from the wealth of unpublished papers Ellis composed during his brief and brilliant career. - Simon Schaffer, Department of History and Philosophy of Science, University of Cambridge

This Open Access book deals with the pressing question of how to achieve transformational change that reconciles development with environmental sustainability. It particularly focuses on the role of evaluation in finding sustainable solutions. Environment and development are closely interlinked, as are human health and ecosystem health. The pandemic that began in 2020 demonstrated in no uncertain terms how destruction of habitats has allowed hitherto unknown pathogens spill over to humans wreaking havoc on people’s lives and livelihoods. We are already seeing the impacts of global climate change in terms of heatwaves, forest fires and increased storms. The Sustainable Development Goals (SDGs) explicitly recognize the equal importance of the social, economic and environmental dimensions of development. In these turbulent times, when humankind faces multiple complex challenges it is essential to know that our responses are effective and that they make a positive difference. Evaluation can provide invaluable lessons to how we design policies, strategies and programs and how we allocate limited resources between competing priorities. This book brings together key thinkers and practitioners from the public and private sectors, from major multilateral organizations and from bilateral donor agencies, to present the latest knowledge and experience on how to evaluate interventions in the nexus of environment and development. The book does not promote any particular approach or methodology, but rather emphasizes the need for mixed methods to address the question at hand in the best and most suitable manner. It covers cases from a variety of fields, from climate change mitigation and adaptation, energy efficiency and renewable energy, natural resources management, biodiversity conservation and more. This book is not a conference proceedings although it has its roots in the Third International Conference on Evaluating Environment and Development organized by the GEF Independent Evaluation Office in October 2019. The conference brought together a larger number of established and upcoming evaluators, researchers and evaluation users from the Global North and South, representing a wide variety of organizations, to discuss the frontiers of environment and development evaluation. Following the conference, the editors identified and contacted the participants who made key contributions at the conference and asked them to develop their ideas and papers into book chapters according to a coherent plan.

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This open access book contains observations, outlines, and analyses of educational robotics methodologies and activities, and developments in the field of educational robotics emerging from the findings presented at FabLearn Italy 2019, the international conference that brought together researchers, teachers, educators and practitioners to discuss the principles of Making and educational robotics in formal, non-formal and informal education. The editors’ analysis of these extended versions of papers presented at FabLearn Italy 2019 highlight the latest findings on learning models based on Making and educational robotics. The authors investigate how innovative educational tools and methodologies can support a novel, more effective and more inclusive learner-centered approach to education. The following key topics are the focus of discussion: Makerspaces and Fab Labs in schools, a maker approach to teaching and learning; laboratory teaching and the maker approach, models, methods and instruments; curricular and non-curricular robotics in formal, non-formal and informal education; social and assistive robotics in education; the effect of innovative spaces and learning environments on the innovation of teaching, good practices and pilot projects.

This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers describing the works by Sebastian Baltes (U Trier) on Software Developers’Work Habits and Expertise, Timo Greifenberg’s thesis on Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, Marco Konersmann’s (U Duisburg-Essen) work on Explicitly Integrated Architecture, Marija Selakovic’s (TU Darmstadt) research about Actionable Program Analyses for Improving Software Performance, and Johannes Späth’s (Paderborn U) thesis on Synchronized Pushdown Systems for Pointer and Data-Flow Analysis – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.