Books published by Springer Nature Switzerland AG

This book constitutes revised selected papers from the 13th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2022, held in Leuven, Belgium, in April 2022. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions.

This book constitutes the Second International Challenge on Kidney and Kidney Tumor Segmentation, KiTS 2021, which was held in conjunction with the 24th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2021.

This volume constitutes selected papers presented at the First International Conference on Emerging Technology Trends in IoT and Computing, TIOTC 2021, held in Erbil, Iraq, in June 2021. The papers are organized in the following topical sections: Internet of Things (IOT): services and applications;

This book establishes a unified framework for dealing with typical engineering complications arising in modern, complex, large-scale networks such as parameter uncertainties, missing measurement and cyber-attack. Distributed Filtering, Control and Synchronization is a timely reflection on methods designed to handle a series of control and signal-processing issues in modern industrial engineering practice in areas like power grids and environmental monitoring.It exploits the latest techniques to handle the emerging mathematical and computational challenges arising from, among other things, the dynamic topologies of distributed systems and in the context of sensor networks and multi-agent systems. These techniques include recursive linear matrix inequalities, local-performance and stochastic analyses and techniques based on matrix theory.Readers interested in the theory and application of control and signal processing will find much to interest them in the new models and methods presented in this book. Academic researchers can find ideas for developing their own research, graduate and advanced undergraduate students will be made aware of the state of the art, and practicing engineers will find methods for addressing practical difficulties besetting modern networked systems

The book contains the newest advances related to research and development of complex intellectual systems of various nature, acting under conditions of uncertainty and multifactor risks, intelligent systems for decision-making, high performance computing, state-of-the-art information technologies for needs of science, industry, economy, and environment. The most important problems of sustainable development and global threats estimation, forecast and foresight in tasks of planning and strategic decision-making are investigated. This monograph will be useful to researchers, post-graduates, and advanced students specializing in system analysis, decision-making, strategic planning or engineering design, fundamentals of computational Intelligence, artificial Intelligence systems based on hybrid neural networks, big data, and data mining.

This book constitutes the proceedings of the XV Multidisciplinary International Congress on Science and Technology (CIT 2020), held in Quito, Ecuador, on 26-30 October 2020, proudly organized by Universidad de las Fuerzas Armadas ESPE in collaboration with GDEON.

This book presents the proceedings of the 1st International Conference on Maritime Education and Development. The conference exchanges knowledge, experiences and ideas in the domain of maritime education and development, with the ultimate goal of generating new knowledge and implementing smart strategies and actions.

This volume explores recent research trends and achievements in environmental pollution remediation (e.g.

This book highlights a selection of cutting-edge research on decision making presented at the 25th International Conference on Multiple Criteria Decision Making (MCDM 2019), held in Istanbul, Turkey.

This volume is dedicated to multidisciplinary research at the interface between basic biomedicine and clinical practice.

The second part, Researcher Corner, showcases innovative approaches for both novice and seasoned researchers to upskill their toolkits, ranging from case study research and mixed methods designs, to auto- and virtual ethnography and social media research.

This book focuses on waterborne pathogens and significant diseases occurring along major rivers around the globe, including key examples like the Amazonas, Mekong River and Nile. Written by leading international experts, it offers unique insights into local riverine infection risks in times of global warming, and addressing these through advances in diagnosis, health management and the development of simple but effective control measures. It also sheds light on why former societies collapsed due to transmitted diseases during periods of climate change, droughts and floods, to help establish effective preventive measures for the future.The book appeals to a wide readership, from scientists in the field of parasitology, infectious diseases and epidemiology, to healthcare managers and general readers with an interest in pathogen spread along the largest rivers on earth. It particularly highlights past and current control mechanisms in times of global warming and assessespotential future health hazards.

This book presents selected peer-reviewed contributions from the International Conference on Time Series and Forecasting, ITISE 2018, held in Granada, Spain, on September 19-21, 2018. The first three parts of the book focus on the theory of time series analysis and forecasting, and discuss statistical methods, modern computational intelligence methodologies, econometric models, financial forecasting, and risk analysis. In turn, the last three parts are dedicated to applied topics and include papers on time series analysis in the earth sciences, energy time series forecasting, and time series analysis and prediction in other real-world problems. The book offers readers valuable insights into the different aspects of time series analysis and forecasting, allowing them to benefit both from its sophisticated and powerful theory, and from its practical applications, which address real-world problems in a range of disciplines. The ITISE conference series provides avaluable forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the field of time series analysis and forecasting. It focuses on interdisciplinary and multidisciplinary research encompassing computer science, mathematics, statistics and econometrics.

This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest¿s research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheism¿the thesis that there exist true but inconsistent sentences¿and paraconsistency¿an account of deduction in which contradictory premises do not entail the truth of arbitrary sentences. Priest¿s work has regularly challenged researchers to reappraise many assumptions about rationality, ontology, and truth.This book collects original research by some of the most esteemed scholars working in philosophical logic, whose contributions explore and appraise Priest¿s work on logical approaches to problems in philosophy, linguistics, computation, and mathematics. They provide fresh analyses, critiques, andapplications of Priest¿s work and attest to its continued relevance and topicality. The book also includes Priest¿s responses to the contributors, providing a further layer to the development of these themes.