Bøker utgitt av Springer

This volume contains the proceedings of the 2023 iteration of the ISPGAYA meeting, titled "Digital Sustainability: Inclusion and Transformation" and held in Vila Nova de Gaia, Portugal. The conference and resulting book intend to explore the involvement of Portugal, a country on the semi-periphery of the world system, in developments regarding the understanding of and progress toward sustainability. The conference was organized by ISPGAYA, an institution belonging to the private polytechnic higher education system in Portugal, and brought together participants from around the world. This volume intends to establish a milestone in the multidimensional approach to the theme of sustainability, affirming the concept's multi and interdisciplinary nature and bringing together scholars across disciplines.

This two-volume set, CCIS 2068 and 2069, constitutes selected papers presented during the Second Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2023, held in Addis Ababa, Ethiopia, in October 2023. The set goal of the conference is to exchange the best practices of joint Pan-African efforts to provide solutions for Africa's key 21st century challenges in the social, economic and ecologic domains. The 29 papers were thoroughly reviewed and selected from 134 submissions. The papers are organized in the following topical sections: Medical AI; Natural Language Processing, Text and Speech Processing; AI in Finance and Cyber Security; Autonomous Vehicles; AI Ethics and Life Sciences.

This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke¿s singular contributions to modal logic. Kripke¿s work on modal logic helped usher in a new semantic epoch for the field and made facility with modal logic indispensable not only to technically oriented philosophers but to theoretical computer scientists and others as well. This volume features previously unpublished work of Kripke¿s as well as a brief intellectual biography recounting the story of how Kripke became interested in, and made his first contributions to, modal logic. However, the majority of the volume¿s contributions are forward-looking, and produce new philosophical and technical insights by engaging with ideas tracing back to Kripke.

Foraminifera is a single-celled marine organism, usually less than a millimeter in size, and its fossil records extend back in geological time to 500 million years. Some of them have grown to over 10 centimeters; these are informally called "larger benthic foraminifera" (LBF). Besides their large size, they are also unique in having a longer life span, symbiosis with microalgae, and living in well-lit and nutrient-poor waters of the tropical to temperate shallow seas. Their abundance during warmer periods of the Earth contributed significantly to carbonate formation on shelves and reefs, some of which are significant reservoirs of hydrocarbons. LBF is of outstanding value in field and laboratory experiments to learn about the biology, biomineralization process, and geochemical proxies. It finds wide-ranging geological applications, including the carbonate platforms' past environmental changes and stratigraphy. The age and correlations of platform deposits are mainly based on the species of LBF. The oil explorations find it helpful to recognize them in drill cuttings at the well site to determine the age of the drilled sections and their more detailed study for basin analysis. The LBF assemblages reconstruct the bathymetry of the shelf carbonates. The presence of LBF indicates tropical to sub-tropical climates. Significant progress has been made in the last decade on climate proxies in LBF tests. Paleoclimate reconstruction, including seasonality and latitudinal temperature gradient, of the geologic past, is made using LBF. The geochemical proxies are also promising for paleobiological interpretation. There are many textbooks in micropaleontology, fewer on foraminifera and practically none on the LBF. The books on Foraminifera have only marginal reference to LBF. The existing books on LBF are on specific genera meant for specialist researchers. These are too specialized for micropaleontology and carbonate sedimentology doctoral studentsto comprehend. The present book's goal is to bridge the gap between the two. It will pave the way for a graduate student to pursue a career in research. The book will develop an understanding of the morphology and distribution of LBF in space (environment) and time (evolution). In addition, the isotope and trace metal proxies in LBF are discussed for paleoclimate reconstruction. This book will benefit early-career researchers and professionals in micropaleontology, hydrocarbon exploration, carbonate sedimentology, and paleoclimate.

This two-volume set, CCIS 2068 and 2069, constitutes selected papers presented during the Second Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2023, held in Addis Ababa, Ethiopia, in October 2023. The set goal of the conference is to exchange the best practices of joint Pan-African efforts to provide solutions for Africa's key 21st century challenges in the social, economic and ecologic domains. The 29 papers were thoroughly reviewed and selected from 134 submissions. The papers are organized in the following topical sections: Medical AI; Natural Language Processing, Text and Speech Processing; AI in Finance and Cyber Security; Autonomous Vehicles; AI Ethics and Life Sciences.

Since its beginning the International Conference on Applied Sciences and Advanced Technology (ICASAT) was planned as a multidisciplinary space and as a platform to explore the frontiers of knowledge in different areas such as Machine Vision, Biotechnology, Computer Sciences, Mechatronics and, Sustainability. Also, a multidisciplinary perspective is required in all aspects of science, engineering, and research, moving towards a more complete overview of recent advances. On its third edition, ICASAT received works focused on the Trends and Challenges for Global Sustainable Development. This book is a collection of the works presented during ICASAT 2023.

This book presents a new framework to improve the integration of exoskeletons in hemiparetic patients. The idea is to reduce potentially damaging compensatory strategies in the non-paretic leg, by ensuring a proper technology embodiment of the robotic exoskeletons in the nervous system. Upon reviewing control strategies for partial robotic exoskeletons applied to human gait, the book introduces robotic exoskeletons control algorithms, which were developed with the intention to promote gait symmetry by assisting the affected limb of hemiparetic patients according to the movement of the non-paretic leg. This new paradigm aimed at promoting the device's embodiment was expected to counteract the compensation mechanisms, which would become unnecessary and thus disappear. The control strategy relies on the gait phase estimation of the sound leg calculated using an adaptive frequency oscillator and was evaluated on post-stroke patients affected by hemiparetic gait, and the results are described in this book. All in all, this book offers a timely snapshot on control strategies for post-stroke robotic gait assistance. It also presents new findings concerning the role of robotic controllers in the embodiment of such devices, and their implications for new assistance paradigms for people with neurological gait disorders.

This book provides a comprehensive, detailed, and coherent spatio-temporal account of Caribbean mangrove evolution from its evolutionary origins to the present that is not available for any mangrove region in the world. Mangroves are intertidal wetland forests that play a crucial role in the maintenance of terrestrial and marine biodiversity, and in the functioning of global biogeochemical cycles (especially the carbon cycle). These ecosystems dominate the tropical/subtropical coasts of all continents and are among the most threatened ecosystems in the world. This book combines all temporal scales, from the geological to the ecological, to provide an integrated picture of mangrove history and the natural and anthropogenic drivers of ecological and evolutionary change. This may be useful not only for understanding the current ecological status of these emblematic ecosystems, but also for informing their conservation in the face of ongoing global change.

Combinatorial Optimization represents a major component of Operations Research, Mathematical Programming, and, in a broader sense, the development of digital intelligence (and society). It covers, in particular, such important areas as network design, location, routing, and scheduling, with major applications in transportation, logistics, health systems, production, communications, and energy.Starting from the exceptional contribution Professor Bernard Gendron made to combinatorial optimization and its applications in multiple areas, the book presents a state-of-the-art view on the field through a combination of surveys, expository articles, and focused methodological and applied research. The authors hail from various Operations Research areas and institutions around the world. Having collaborated closely with Professor Gendron, they drew on his foundational work to showcase a variety of models and algorithms that draw a living picture of the multifaceted word of applied combinatorial optimization.

This text gives a comprehensive, largely self-contained treatment of multivariate heavy tail analysis. Emphasizing regular variation of measures means theory can be presented systematically and without regard to dimension. Tools are developed that allow a flexible definition of "extreme" in higher dimensions and permit different heavy tails to coexist on the same state space leading to "hidden regular variation" and "steroidal regular variation". This emphasizes when estimating risks, it is important to choose the appropriate heavy tail. Theoretical foundations lead naturally to statistical techniques; examples are drawn from risk estimation, finance, climatology and network analysis. Treatments target a broad audience in insurance, finance, data analysis, network science and probability modeling. The prerequisites are modest knowledge of analysis and familiarity with the definition of a measure; regular variation of functions is reviewed but is not a focal point.

This book focuses on a wide range of distributed machine learning and computing algorithms and their applications in healthcare and engineering systems. The contributors explore how these techniques can be applied to different real-world problems. It is suitable for students and researchers interested in conducting research in multidisciplinary areas that rely on distributed machine learning and computing techniques.

This textbook introduces readers to international law by linking it to the Harry Potter universe. Given the current changes in the international sphere away from a state-centric system to a multitude of non-state actors, it tests the legal regime by applying it to the out-of-the-box concept of wizards and thus rids the doctrinal debate of political factors. More specifically, the book explains core concepts of public international law, covering the elements of a state, state responsibility, jurisdiction, enforcement of international law and immunity. In the wizarding world, it addresses questions of statehood by discussing when a wizarding state is responsible for the crimes committed by its wizards, who has jurisdiction over crimes, and how international law is enforced. In addition, it introduces and explains the fundamentals of international humanitarian law, international human rights law, international criminal law, and air law by applying them to the wizarding world. The textbook is intended for anyone looking for an accessible introduction to public international law and its application.

Since the last edition of this book (2014), progress has been astonishing in all areas of Natural Language Processing, with recent achievements in Text Generation that spurred a media interest going beyond the traditional academic circles. Text Processing has meanwhile become a mainstream industrial tool that is used, to various extents, by countless companies. As such, a revision of this book was deemed necessary to catch up with the recent breakthroughs, and the author discusses models and architectures that have been instrumental in the recent progress of Natural Language Processing.As in the first two editions, the intention is to expose the reader to the theories used in Natural Language Processing, and to programming examples that are essential for a deep understanding of the concepts. Although present in the previous two editions, Machine Learning is now even more pregnant, having replaced many of the earlier techniques to process text. Many new techniques build on the availability of text. Using Python notebooks, the reader will be able to load small corpora, format text, apply the models through executing pieces of code, gradually discover the theoretical parts by possibly modifying the code or the parameters, and traverse theories and concrete problems through a constant interaction between the user and the machine. The data sizes and hardware requirements are kept to a reasonable minimum so that a user can see instantly, or at least quickly, the results of most experiments on most machines.The book does not assume a deep knowledge of Python, and an introduction to this language aimed at Text Processing is given in Ch. 2, which will enable the reader to touch all the programming concepts, including NumPy arrays and PyTorch tensors as fundamental structures to represent and process numerical data in Python, or Keras for training Neural Networks to classify texts. Covering topics like Word Segmentation and Part-of-Speech and Sequence Annotation, the textbook also gives an in-depth overview of Transformers (for instance, BERT), Self-Attention and Sequence-to-Sequence Architectures.

This book constitutes the refereed proceedings of the 15th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2024, held in Gardanne, France, during April 9-10, 2024. The 14 full papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: Analyses and Tools; Attack Methods; Deep-Learning-Based Side-Channel Attacks; PUF/RNG; and Cryptographic Implementations.

This book constitutes the refereed proceedings of the 16th International Symposium on Foundations and Practice of Security, FPS 2023, held in Bordeaux, France, during December 11-13, 2023.The 27 regular and 8 short papers presented in this book were carefully reviewed and selected from 80 submissions. The papers have been organized in the following topical sections: Part I: AI and cybersecurity, security analysis, phishing and social network, vulnerabilities and exploits, network and system threat, malware analysis.Part II: security design, short papers.

Human digital twin (HDT) is a transformative technology poised to transform various human-centric systems. With its potential applications in personalized healthcare, HDT promises swift, precise, and efficient healthcare services through the integration of cutting-edge technologies such as artificial intelligence, data analytics, internet of things, cybersecurity as well as virtual and augmented reality. This book addresses the critical gap in the existing literature by offering a comprehensive exploration of connectivity solutions for HDT while prioritizing reliability, security, and privacy. Key topics covered include the foundational concept of HDT, its design requirements and associated challenges, edge-assisted human-to-virtual solutions, blockchain-enabled data-sharing mechanisms, and differentially private federated multi-task learning (DPFML) methodologies tailored for HDT.The discussion on the concept of HDT encompasses an overview of its applications and its specific characteristics when compared to the conventional digital twin models. In addressing the design requirements and challenges of HDT, the text delves into the complexities of securing high-quality data, ensuring ultra-reliable and low-latency communication, data privacy and integrity, while managing storage, computation and analytics. Exploring edge-assisted human-to-virtual solutions, the book also introduces a connectivity framework and details the modeling process for human-to-virtual twin connectivity. The book later presents an in-depth examination of the practical Byzantine fault tolerance framework, followed by a discussion on shard-based Byzantine fault-tolerant schemes tailored for HDT, along with analyses of latency and throughput.Furthermore, the book outlines the framework for DPFML-assisted human-to-virtual twin connectivity, accompanied by a novel consensus algorithm known as the proof of model quality. Finally, it presents future research directions aimed at addressing communication challenges hindering the seamless design and development of HDT. By offering this comprehensive exploration, the book serves as a valuable resource for researchers, practitioners, and policymakers seeking to navigate the evolving landscape of HDT and its transformative potential in various domains.

This proceedings constitutes the refereed post-conference proceedings of the 15th International Conference on Simulation Tools and Techniques, SIMUTools 2023, held in Seville, Spain, in December 2023. The 23 revised full papers were carefully selected from 58 submissions. The papers focus on various areas such as Simulation Tools and Methods; Artificial Intelligence and Simulation; Transportation and Logistics; Medical Sciences; and Network Simulations.

Written for students and practising engineers working in automotive engineering, this book provides a fundamental yet comprehensive understanding of chassis systems and requires little prior knowledge on the part of the reader. It presents the material in a practical and realistic manner, using reverse engineering as a basis for examples to reinforce understanding of the topics. The specifications and characteristics of vehicles currently on the market are used to exemplify the theory's application, and care is taken to connect the various topics covered, so as to clearly demonstrate their interrelationships. This second edition is fully updated and revised throughout and includes a new chapter on vehicle deceleration behaviour. The book opens with a chapter on basic vehicle mechanics, which includes the forces acting on a vehicle in motion, assuming a rigid body. The new chapter on vehicle deceleration behaviour introduces the basic concepts of a conventional foundation braking system before considering means of optimising the deceleration performance of any wheel-braked vehicle based on the tyre-road adhesion characteristics. The next chapter focuses on vehicle dynamics by considering suspension systems and how the important components of the system, the tyres, linkages, springs, dampers, etc., interact to give the required peformance characteristics for the vehicle. The book then proceeds to a chapter on steering systems, which provides readers with a firm understanding of the principles and forces involved under static and dynamic loading. The chapter on chassis structures and materials outlines analysis tools (typically, finite element analysis) and design features that are used to reduce mass and increase occupant safety in modern vehicles. The final chapter on noise, vibration and harshness (NVH) includes a basic overview of acoustic and vibration theory and makes use of extensive research investigations and practical experience asa means of addressing NVH issues. In all subject areas, the authors take into account the latest trends, anticipating the move towards electric vehicles, on-board diagnostic monitoring, active systems and performance optimisation. The book features a number of worked examples and case studies based on recent research projects. All students, including those on Master level degree courses in automotive engineering, and professionals in industry who want to gain a better understanding of vehicle chassis engineering, will benefit from this book.

The authors Matteo Collodel and Eric Oberheim take the reader on a journey through the early life of the famous Austrian philosopher Paul Feyerabend, whose groundbreaking work Against the Method forged new paths in the philosophical understanding of science. Collodel and Oberheim's book contains the translated correspondence of Feyerabend (1924-1994) with equally influential philosophers and scientists of the time, including Rudolf Carnap, Herbert Feigl, Carl G. Hempel, J.J.C. Smart, David Bohm, and Thomas Kuhn. This book offers an entirely unique approach to the philosopher Paul Feyerabend. Informative, challenging and profound, it immerses the reader deeply in the mind of a truly revolutionary philosopher of science.The main focus lies on the explanation of Paul Feyerabend's ideas on logical empiricism and quantum mechanics, which he developed especially in the 1960s. In order to appreciate the celebrated work of the philosopher, it is important to create an understanding of these formative years in Feyerabend's life and work.Anyone who knows similar discussions, like the paradigm shift of Thomas Kuhn, or has a passion for history, philosophy and science will be fascinated by the works of Paul Feyerabend. As scientists and followers of Feyerabend, Collodel and Oberheim strive to pay respect to the philosopher and to make his work accessible to a whole new generation.

The International Conference on Complex Networks (CompleNet) brings together researchers and practitioners from diverse disciplines working on areas related to complex networks. CompleNet has been an active conference since 2009. Over the past two decades, we have witnessed an exponential increase in the number of publications and research centres dedicated to this field of Complex Networks (aka Network Science). From biological systems to computer science, from technical to informational networks, and from economic to social systems, complex networks are becoming pervasive for dozens of applications. It is the interdisciplinary nature of complex networks that CompleNet aims to capture and celebrate. The CompleNet conference is one of the most cherished events by scientists in our field. Maybe it is because of its motivating format, consisting of plenary sessions (no parallel sessions); or perhaps the reason is that it finds the perfect balance between young and senior participation, a balance in the demographics of the presenters, or perhaps it is just the quality of the work presented.

This book focuses on the propagation characterization and channel modeling of Unmanned Aerial Vehicle (UAV) communications. Currently, there are no books that cover this specific topic, and the authors fill in this void by elaborating accurate yet easy-to-use UAV channel models. The authors present such topics as propagation characteristics of UAV communications, a time stationary regular-shaped geometry-based stochastic model (RS-GBSM) for UAV narrowband channels. It also introduces a time non-stationary RS-GBSM for UAV narrowband channels, a time non-stationary RS-GBSM for UAV wideband channels, a time-space non-stationary irregular-shaped geometry-based stochastic model (IS-GBSM) for UAV wideband channels and more. Finally, this book closes up with some promising directions, hoping to promote future research outcomes in the field of UAV channel modeling. As the UAV technology matures rapidly, UAV communications are shifting from military development to civilian and commercial sectors. The UAV communication is widely considered as a significant and indispensable component of wireless communications. It is well known that an accurate yet easy-to-use UAV channel model is the foundation of designing a proper UAV communication system and evaluating its performance. This book also provides valuable suggestions for the design of UAV communication systems by adequately presenting the UAV propagation characterization and channel modeling. This book is mainly written for researchers and professionals in wireless communications. Advanced-level students majoring in computer science or electrical engineering may also find the content useful as a secondary textbook.

Includes a free version of ionospheric scintillation monitor software. The data are related to various events, such as earthquakes and solar eclipsesPresents an application of Software Defined Radio (SDR) to ionospheric researchTechnical language and mathematical formalization is described in very clear and intuitive way

This brief provides a comprehensive overview of nanocarriers used for nanoencapsulation of bioactive compounds. It includes the basis of encapsulation mechanism, encapsulation efficiency, controlled release, target delivery, and its application in food, nutraceuticals, pharmaceuticals and cosmeceuticals.

The volume provides grounded and contemporary insight into multilingual education from diverse perspectives - stemming from the authors' epistemic, cultural and geographic positioning around the world in different educational milieu - and will give both academic and practitioner audiences an up-to-date picture of multilingual education in the early 2020s. Multilingual education policies are continually implemented, re-evaluated and debated around the world, from primary to tertiary education. Fundamentally, however, educational policies manifest in classroom practice; the language envisaged in policy becomes the languaging of practice as teachers, learners and stakeholders negotiate educational curricula together. Internal and external forces - from resourcing to the Internet, to broader events such as pandemics and changes in government - shape the landscapes in which policies are enacted. The volume is extending the themes of the Multilingual Education Yearbook series in line with current developments in theory, research and practice. As such, this book provides a wealth of information to practitioners (teachers and teacher educators), researchers in applied linguistics and language education, postgraduate students in the field of applied linguistics, and policymakers.

The outbreak of the COVID-19 pandemic presented Polish legislators with a host of legal dilemmas, the aftermath of which resulted in numerous legislative changes. A significant part of these relate to entrepreneurial law in a broad sense. However, the situation created by the COVID-19 pandemic also had a broader dimension, resulting in the introduction of exceptions as the global norm. Similarly, in the domestic legal order, the actions of public authorities in various forms (restrictions, limitations, and ultimately the Lockdown), as well as non-legislative legal activity gave rise to many problems in Poland and have been the subject of various assessments. Hence, the book analyses the legal situation of entrepreneurs in the era of the COVID-19 pandemic both in terms of the amendments and changes introduced and the new regulations, commonly referred to in the public sphere as "covid laws" or "anti-covid shields". Therefore, the book assesses the legal solutions and the level of legislative technique in the broadly understood entrepreneurial law. It focuses on the solutions introduced by Polish legislators and seeks to answer the following questions: to what extent did the relevant public authorities appropriately respond to the threats posed by the pandemic, and did they effectively provide legal protection for entrepreneurs?

This book presents selected, peer-reviewed proceedings of the 3rd International Conference on Material, Machines and Methods for Sustainable Development (MMMS2022), held in the city of Can Tho, Vietnam, from 10 to 13 November 2022. The purpose of the conference is to explore and ensure an understanding of the critical aspects contributing to sustainable development with a focus on advanced mechanical engineering, automation, materials, machines and methods. The contributions published in this book come from authors representing universities, research institutes and industrial companies and reflect the results of a very broad spectrum of research, from micro- and nanoscale materials design and processing, to mechanical engineering technology in industry. Many of the contributions selected for these proceedings focus on materials modeling, eco-material processes and mechanical manufacturing.Volume 3 of this book focuses on topics dedicated to sustainable approaches inmachine design, life cycle engineering, and energy management for manufacturing processes.

Relying upon extensive global and multidisciplinary research, this book analyzes the perils of market-driven scenarios and peeps into the possibilities responsible for the failure of traditional approaches. It helps in identifying the goals and approaches amenable to sustainable development reflecting upon an ecologically and inclusively sustainable global future. It enriches knowledge base of all research scholars and professionals as well as paves the way for bravely facing the challenges to the sustainability. The book also sheds light on the current and future trends in the domain of sustainability in terms of scenarios, strategies to be adopted, anticipated transitions in climate, and evolution and adoption of best sustainable practices for the common good.Academicians and researchers and professionals from across universities, research, governmental, and private organizations have made their invaluable contributions. The perspectives contributed are drawn from Central and South America, sub-Saharan Africa, and South and Southeast Asia. They cover a spectrum of topics, covering the philosophy underlying sustainable development, organizations, ethics, belief systems, cultures, use of resources, energy, models, cost-benefit analysis, international trade, financial aid, forestry, wildlife, land rights, fisheries, and more. Irrespective of the reader's interest on sustainable development, this book embodies meaningful and productive intent and content. The chapters present well-known topics but with different perspectives, suggesting ways to enhance the present practices and proposing new avenues in furthering the work. The book is intended to cover a wide range of audiences, catering to the needs of a diverse readership. The value of this book is quantified in terms of new concepts and terminology it generates and works as a reference source.

As new threats emerge, the use of AI technologies to protect the world we live in is topical. This book is divided into three parts: methodological fundamentals of AI, use of AI for critical infrastructure protection, and anomaly detection. The first part describes the latest knowledge about creating safe AIs and using them to enhance protection. The following parts present various domains and examples of AI-driven security. The chapters describe potential methods, demonstrate use cases and discuss the challenges of the evolving field. This includes topics such as defensive use of AI to detect threats, discussion about the offensive use of AI to better understand the future threat landscape, the use of AI for automation in critical infrastructure and overall challenges of AI usage for critical tasks. The chapters cover domains such as small enterprises, logistics, smart grid, software security and mobile networks. Understanding latest advancements in this field should be useful to those who want to comprehend modern cybersecurity in detail, and especially to experts in the field, who want to follow research and latest trends. To this effect, this book brings together a group of international researchers and professionals who present their views on how to create security through AI.

This volume provides in depth reviews of the protein targeting translocation processes, gene transfer processes and genome reduction processes in the host and in the endosymbiont which were likely utilized during the evolution of an endosymbiont into mitochondria, mitochondria related organelles, simple and complex chloroplasts. These reviews cover both the current understanding of the host processes as well as the evolutionary outcomes used by these organelles for protein targeting and translocation. Reviews of the current knowledge of these topics are plentiful but scattered throughout the bacterial, parasite, plant and animal literature; here, reviews of current knowledge with evolutionary outcomes and future perspectives, written by leading researchers in their respective areas, are united into one comprehensive volume, essential for students and scientists interested in or working onsubcellular protein localization, protein targeting signals, translocation of proteins across and insertion into membranes, nucleic acid transfer between genomes, genome reduction and evolution of mitochondria and chloroplast.