Search

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 constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. 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. This year’s conference was held with the theme “Agile in the Era of Hybrid Work”. The 13 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: agile practices; agile processes; and agile in the large.

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.

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.

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 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.

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.

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.

This open access book constitutes the refereed proceedings of the 17th International Annual Conference on Cyber Security, CNCERT 2021, held in Beijing, China, in AJuly 2021. The 14 papers presented were carefully reviewed and selected from 51 submissions. The papers are organized according to the following topical sections: ​data security; privacy protection; anomaly detection; traffic analysis; social network security; vulnerability detection; text classification.

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 provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. 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 eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – 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.

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 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 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.

This is an open access book. The book provides an overview of the state of research in developing countries – Africa, Latin America, and Asia (especially India) and why research and publications are important in these regions. It addresses budding but struggling academics in low and middle-income countries. It is written mainly by senior colleagues who have experienced and recognized the challenges with design, documentation, and publication of health research in the developing world. The book includes short chapters providing insight into planning research at the undergraduate or postgraduate level, issues related to research ethics, and conduct of clinical trials. It also serves as a guide towards establishing a research question and research methodology. It covers important concepts such as writing a paper, the submission process, dealing with rejection and revisions, and covers additional topics such as planning lectures and presentations. The book will be useful for graduates, postgraduates, teachers as well as physicians and practitioners all over the developing world who are interested in academic medicine and wish to do medical research.

This open access book brings together varying perspectives for transformational change needed in India’s agriculture and allied sectors. Stressing the need of thinking for a post-Green Revolution future, the book promotes approaching this change through eight broad areas, indicating the policy shifts needed to meet the challenges for the coming decade (2021-2030). The book comprises of ten contributions. Apart from the overview chapter on transformational change and the concluding chapter on pathways for 2030, there are eight thematic chapters on topics such as transforming Indian agriculture, dietary diversity for nutritive and safe food; climate crisis and risk management; water in agriculture; pests, pandemics, preparedness and biosecurity natural farming; agroecology and biodiverse futures; science, technology and innovation in agriculture; and structural reforms and governance. The writing style of these papers written by technical experts is forward-looking—not merely an analysis of what has been and why it was so, but what ought to be. This is an essential reading for those interested in agriculture, food and nutrition sectors of India, and more so their interconnectedness.

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 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 proceedings includes original, unpublished, peer-reviewed research papers from the International Conference on Wireless Communications, Networking and Applications (WCNA2021), held in Berlin, Germany on December 17-19th, 2021. The topics covered include but are not limited to wireless communications, networking and applications. The papers showcased here share the latest findings on methodologies, algorithms and applications in communication and network, making the book a valuable asset for professors, researchers, engineers, and university students alike. This is an open access book.

This open access book is a compilation of selected papers from 2021 DigitalFUTURES—The 3rd International Conference on Computational Design and Robotic Fabrication (CDRF 2021). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers encounter new ideas about understanding material intelligence in architecture.

This open access book is a collection of accepted papers from the 8th International Conference on Civil Engineering (ICCE2021). Researchers and engineers have discussed and presented around three major topics, i.e., construction and structural mechanics, building materials, and transportation and traffic. The content provide new ideas and practical experiences for both scientists and professionals.

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 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 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.

This open access book examines the history and role of money. Money is often defined in terms of three interrelated functions: as a medium of exchange, store of value and unit of account. Researchers frequently discuss the first two functions, but tend to ignore unit of account. This book focuses on how a unit of account or denomination can be defined and can be derived from the monetary system. In the case of paper money and coins, we know how to determine the denomination of money based on the problem of the least number of weights defined by Bâchet and proved by Hardy and Wright (1960). However, in the case of digital or cryptocurrency, denomination may not matter because digital or cryptocurrency uses a wallet that is essentially denomination free: a wallet can contain any amount of currency without upper and lower limits. When people talk about the stablecoin, i.e. the stable price of digital and cryptocurrency with the major legal tender, they take a unit of account or denomination of digital or cryptocurrency as given. This arrangement destroys the nature of denomination free or decentralized autonomy as it were. Exploring how we can consolidate with these two views of denomination, this book will appeal to anyone interested in creating new digital or cryptocurrencies. It also serves as a textbook on central bank digital currency.

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 investigates the methodological and ethical dilemmas involved when working with digital technologies and large-scale datasets in relation to ethnographic studies of digital migration practices and trajectories. Digital technologies reshape not only every phase of the migration process itself (by providing new ways to access, to share and preserve relevant information) but also the activities of other actors, from solidarity networks to border control agencies. In doing so, digital technologies create a whole new set of ethical and methodological challenges for migration studies: from data access to data interpretation, privacy protection, and research ethics more generally. Of specific concern are the aspects of digital migration researchers accessing digital platforms used by migrants, who are subject to precarious and insecure life circumstances, lack recognised papers and are in danger of being rejected and deported. Thus, the authors call for new modes of caring for (big) data when researching migrants’ digital practices in the configuration of migration and borders. Besides taking proper care of research participants’ privacy, autonomy, and security, this also spans carefully establishing analytically sustainable environments for the respective data sets. In doing so, the book argues that it is essential to carefully reflect on researchers’ own positioning as being part of the challenge they seek to address.

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 book constitutes refereed proceedings of the Third Conference on Silicon Valley Cybersecurity Conference, SVCC 2022, held as virtual event, in August 17–19, 2022. The 8 full papers included in this book were carefully reviewed and selected from 10 submissions. The contributions are divided into the following thematic blocks: Malware Analysis; Blockchain and Smart Contracts; Remote Device Assessment. This is an open access book.

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.

This open access book provides a detailed and up-to-date account of the relevant literature on the legibility of different kinds of typefaces, which goes back over 140 years in the case of reading from paper and more than 50 years in the case of reading from screens. It describes the origins of serif and sans serif styles in ancient inscriptions, their adoption in modern printing techniques, and their legibility in different situations and in different populations of readers. It also examines recent research on the legibility of serif and sans serif typefaces when used with internet browsers, smartphones and other hand-held devices. The book investigates the difference in the legibility of serif typefaces and sans serif typefaces when they are used to produce printed material or when they are used to present material on computer monitors or other screens and it explores the differences in readers’ preferences among typefaces. The book’s main focus is on the psychology of reading, but there are clear implications for education and publishing. Indeed, the book can be read with benefit by anyone concerned with communicating with others through written text, whether it is printed on paper or displayed on computer screens.

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 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 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 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 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 brings together research studies, developments, and application-related flash flood topics on wadi systems in arid regions. The major merit of this comprehensive book is its focus on research and technical papers as well as case study applications in different regions worldwide that cover many topics and answer several scientific questions. The book chapters comprehensively and significantly highlight different scientific research disciplines related to wadi flash floods, including climatology, hydrological models, new monitoring techniques, remote sensing techniques, field investigations, international collaboration projects, risk assessment and mitigation, sedimentation and sediment transport, and groundwater quality and quantity assessment and management. In this book, the contributing authors (engineers, researchers, and professionals) introduce their recent scientific findings to develop suitable, applicable, and innovative tools for forecasting, mitigation, and water management as well as society development under seven main research themes as follows: Part 1. Wadi Flash Flood Challenges and Strategies Part 2. Hydrometeorology and Climate Changes Part 3. Rainfall–Runoff Modeling and Approaches Part 4. Disaster Risk Reduction and Mitigation Part 5. Reservoir Sedimentation and Sediment Yield Part 6. Groundwater Management Part 7. Application and Case Studies The book includes selected high-quality papers from five series of the International Symposium on Flash Floods in Wadi Systems (ISFF) that were held in 2015, 2016, 2017, 2018, and 2020 in Japan, Egypt, Oman, Morocco, and Japan, respectively. These collections of chapters could provide valuable guidance and scientific content not only for academics, researchers, and students but also for decision-makers in the MENA region and worldwide.

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.

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 open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. 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. This year’s conference was held with the theme “Whole Team Sustainability”. The 11 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They focus on agile practices and agile in the large.

This open access book constitutes selected papers presented during the 30th Irish Conference on Artificial Intelligence and Cognitive Science, held in Munster, Ireland, in December 2022. The 41 presented papers were thoroughly reviewed and selected from the 102 submissions. They are organized in topical sections on ​machine learning, deep learning and applications; responsible and trustworthy artificial intelligence; natural language processing and recommender systems; knowledge representation, reasoning, optimisation and intelligent applications.

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 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 the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.

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.

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.

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023. The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions for E-health, Biomedical and Health Informatics, Wellbeing Technologies, Short Contributions: Medical Systems and E-health Solutions and Short Contributions: Wellbeing Technologies.

This open access book constitutes the proceedings of the 8th International Joint Conference on Electronic Voting held in Luxemburg in October 2023. 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. The 9 full papers presented were carefully reviewed and selected from 38 submissions. The selected papers cover a wide range of topics connected with electronic voting, including experiences and revisions of the actual uses of E-voting systems and corresponding processes in elections.