Books published by Springer

Presents an introduction to of formal mathematical logic and set theoryPresents simple yet nontrivial results in modern model theoryProvides introductory remarks to all results, including a historical background

This book constitutes the refereed proceedings of the 14th International Conference on Large-Scale Scientific Computations, LSSC 2023, held in Sozopol, Bulgaria, during June 5-9, 2023. The 49 full papers included in this book were carefully reviewed and selected from 61 submissions. They were organized in topical sections as follows: preconditioning and multilevel methods; fractures and mixed dimensional modeling: discretizations, solvers, and methodology; machine learning and model order reduction for large scale predictive simulations; fractional differential problems: theoretical aspects, algorithms and applications; variational analysis and optimal control; stochastic optimal control and numerical methods in economics and finance; tensor methods for big data analytics and low-rank approximations of PDEs solutions; applications of metaheuristics to large-scale problems; large-scale models: numerical methods, parallel computations and applications; HPC and HPDA: algorithms and applications.

This book focuses on different aspects of cooperatives in Switzerland and their contribution to meeting overarching societal challenges. It seeks to identify how cooperatives can tackle grand societal challenges and extends the body of research on cooperatives. The discussions are highlighted in the context of the UN's Sustainable Development Goals. The respective chapters cover topics such as cooperatives in Switzerland (historical roots, current landscape, embeddedness in profit/nonprofit organizations, participatory governance and legal aspects), grand societal challenges and cooperatives, and the future with and of cooperatives. This is an open access book.

Revolutionizing the field of complex system optimization and management, this book introduces the innovative concept of cyber-collaborative protocols (CCP), representing a new approach to managing the complexity of interconnected systems. Departing from traditional methods, this book emphasizes collaboration, efficiency, and intelligence within cyber-physical systems (CPS), with a specific focus on precision agriculture and agricultural robotics systems (ARS). With a combination of theoretical foundations and practical applications, the book explores CCP's unique advantages and potential to enhance system effectiveness to address real-world critical issues such as food security. This book is an essential resource for diverse audiences, including academics and students in the fields of complex systems design and management, as well as professionals and practitioners. Importantly, the book provides a forward-looking perspective on the role of engineered collaboration in complex CPS.

In a world increasingly characterized by rapid change and constant challenges, maintaining good physical and mental health is more important than ever. "Essentials in Health & Mental Health" is a comprehensive exploration of the multifaceted landscape of health and well-being, delving into key aspects that affect individuals of all ages, backgrounds, and circumstances. Through the lens of 20 meticulously crafted chapters, this book takes you on a journey to understand the essential elements that contribute to our overall health, from the invisible struggles of loneliness and mental health problems to the impact of global events like the COVID-19 pandemic. The book begins with an eye-opening chapter that sheds light on the pervasive nature of loneliness and its profound impact on the functioning of individuals. The authors delve into the various costs of loneliness and uncover the under-recognized association between loneliness and mental health problems. In a world interconnected like never before, these insights are essential for anyone seeking to understand the complexities of human well-being.

This edited book is a comprehensive and forward-thinking exploration of the challenges and opportunities in building environmentally resilient and thriving cities. In a rapidly urbanizing world, the management of land, water, and pollution within built-up areas is a critical issue, and this book presents a wealth of knowledge to address it. It showcases a range of case studies and real-world applications that illustrate successful strategies and innovative solutions for urban sustainability. These practical examples offer valuable insights for urban planners, policymakers, and environmental practitioners.The book delves into cutting-edge research and visionary solutions. It goes beyond conventional approaches to explore emerging technologies and futuristic concepts, positioning itself at the forefront of urban sustainability. Readers will discover innovative ideas that can shape the future of urban development, making cities more livable, sustainable, and resilient.

This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed decisions, guiding them to strike the perfect balance between flexibility and performance for their SoC designs. Readers will benefit from a detailed exploration of the essential elements of the hardware and software codesign framework, accompanied by a discussion of the driving motivations behind this approach. The author also provides an in-depth review of various hardware design architectures, shedding light on different design possibilities. Furthermore, the book presents key concepts concerning hardware and software communication, unraveling the intricate interactions within an SoC. This book provides a holistic introduction to the methodologies underpinning SoC design and verification, making it an indispensable companion for both novice and experienced designers navigating the ever-evolving landscape of hardware/software codesign.

This operations manual offers an accessible, step-by-step guide to launching, running, and achieving success with a life science and biotechnology business incubator. Written by the founder and President Emeritus of the Pennsylvania Biotechnology Center (PABC), one of the most successful biotech and drug discovery incubators in the United States, it is designed to introduce researchers and funders to the broad considerations and minute details of managing an incubation program.As of 2023, there are more than 1100 business incubators in the United States alone, and more than 5000 worldwide. One of the fastest-growing industries of the "new economy," science business incubators are a tool for regional economic stimulation and commercial development for universities and research organizations. The PABC was founded in 2006 as a state-of-the-art research facility; its purpose and operation is unusual and its success has been remarkable. It was created by the nonprofit Hepatitis BFoundation and its research arm, the Baruch S. Blumberg Institute, to help their effort to find a cure for hepatitis B. But it has proved to be more than a source of funding for those nonprofits - it has become a major economic driver for its region and Pennsylvania, creating thousands of jobs and bringing in billions of dollars to the local economy. The PABC's model has drawn attention from economists, legislators, and the research community. The strategy of bringing nonprofit research organizations and biotech startups under one roof was a founding principle, and has created powerful, lasting collaborations between scientific innovators, entrepreneurs and investors. The partnerships forged at the PABC have led to the discovery, testing, and FDA approval of new drugs for cancer and gastrointestinal diseases and medical devices, as well as multiple multimillion-dollar IPOs, and thousands of jobs. There are currently more than 50 startups housed in the Center's offices, ranging in focusfrom pharmaceuticals and diagnostics, to medical wearables and nanomedicine research.Curing Disease from the Ground Up: How to Operate a Biotechnology Business Incubator tells both a personal story about the ups and downs of leveraging a business incubator to fund and find a cure for a deadly disease, as well as providing a practical guide to running a business incubator. It is a first-hand, expert perspective for running a science business incubator, and explains how the success of the PABC can be learned and replicated. Whether it is developing a mission-focused framework, the practicalities of managing a scalable, business-savvy research nonprofit, identifying ideal tenant partners, or planning for the infrastructure needs of a large research facility, this manual is the first and last stop for entrepreneurial thinkers in this field.

This open access book presents selected contributions on a wide range of scientific and technological areas originating from the BUiD Doctoral Research Conference (BDRC 2023). It discusses the following topics: project management, macroeconomic factors, Fourth Industrial Revolution, agility, multiculturalism, diversity, inclusion, leadership, language, discourse analysis, curriculum, critical thinking, programming, online learning, and natural ventilation. The contributions reflect the multifaceted nature of the research in three academic disciplines, i.e., humanities, formal science, and applied science. This publication shares with its readers genuine research studies and reflections from practitioners on the current practice and understanding in the three academic disciplines. The significant findings of these studies have considerable educational, industrial, and economic implications.This is an open access book.

This volume constitutes the revised selected papers of several workshops which were held in conjunction with the 5th International Conference on Process Mining, ICPM 2023, held in Rome, Italy, in October 23-27, 2023.The 38 revised full papers presented in this book were carefully reviewed and selected from 85 submissions. The book also contains one invited talk. ICPM 2023 presented the following six workshops: - 4th International Workshop on Event Data and Behavioral Analytics (EdbA)- 4th International Workshop on Leveraging Machine Learning in Process Mining (ML4PM)- 6th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H)- 8th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI)- 2nd International Workshop on Education Meets Process Mining (EduPM)- 2nd International Workshop on Collaboration Mining for Distributed Systems (COMINDS).

This volume uses advanced machine learning techniques to analyze government communication to evaluate policy effectiveness. The book develops policy effectiveness foundation models by cohorting historical budget policies with statistical models which are built on well reputed data sources including economic events, macroeconomic trends, and ratings and commerce terms from international institutions. By signal mining policies to the economic outcome patterns, the book aims to create a rich source of successful policy insights in terms of their effectiveness in bringing development to the poor and underserved communities to ensure the spread of wealth, social wellbeing, and standard of living to the common denomination of society rather than a selected quotient. Enabling academics and practitioners across disciplines to develop applications for effective policy interventions, this volume will be of interest to a wide audience including software engineers, data scientists, social scientists, economists, and agriculture practitioners.

This book provides an overview of advances in experimental, numerical modelling, and theoretical aspects of environmental hydraulics. By highlighting the latest findings on processes in natural aquatic systems, solutions for civil engineering and water resources management, with a special focus on interdisciplinary cooperation between Earth scientists, ecologists, biologists and hydraulic engineers that have helped to mitigate the impacts of anthropopressure on river habitats, it provides both researchers and practitioners with first-hand information about the latest trends in hydraulic research. The book combines peer-reviewed versions of invited lectures and regular presentations at the 40th International School of Hydraulics, held May 23¿26, 2023, in K¿ty Rybackie, Poland. With contributions from world-leading experts and young researchers, many areas of environmental hydraulics are addressed here, including recent findings in numerical modelling and laboratory and field studies related to sediment and pollutant transport processes in rivers, fluvial morphodynamics, flow in vegetated channels, hydraulic structures in rivers and estuaries, and freshwater fish protection.

This multi- and interdisciplinary book will offer novel environmental history (EH) research on Dinaric Karst, one of European largest continuous karstic areas, from prehistory to contemporary history. Various methodological approaches will be applied (e.g., archival investigations, oral-history interviews, field work and laboratory analyses). Historical human adaptations to karstic environmental conditions, human interventions in environment, environmental dynamics and impacts of environmental change will be dealt with by focusing on historical uses of natural resources, their further ecological implications (e.g., fire hazard) and their change over time, on natural and social impacts of changes in weather and climate, on pollution and on intellectual EH. General characteristics and local peculiarities will be identified based on comparisons with foreign literature. Primary audience are historians, geographers, archaeologists, anthropologists, ethnologists, foresters and landscapearchitects.Chapters 1, 5, 12 and 16 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This unique, first of its kind, book offers an integrated treatment of the atomistic-continuum behaviours of single and interacting microdefects under elasto-static loading. These microdefects may take the form of nanocracks, microcracks, microvoids, inclusions, and inhomogeneities. Professor Meguid elucidates the subject matter using novel treatment that offers a fresh look at molecular and continuum mechanics, imperfections in solids, the Griffith crack, modes of failure and diagnostics at varied length scales, LEFM and multiscale modeling of interacting microdefects. Providing a range of perspectives from theory and applications, this book is ideal for college seniors, graduate students, practicing and research engineers interested in failure analysis, diagnostics and prevention.

This textbook presents the theory of continuous-time and discrete-time signals and systems and shows how it can be used to solve analytically different problems. The book is dedicated to engineering students who are interested in mathematical methods used to solve real technical problems connected with signals and systems. The book covers, both in continuous- and in discrete domains, analysis of signals in time domain; orthogonal signal representation including Fourier series; convolution and correlation of signals; analysis of signals in the frequency domain and signal sampling, including aliasing and stroboscopic effects, among others. The author also emphasizes the role of Fourier-, one-sided Laplace- and one-sided Z transformations in signals and systems. Chosen methods of analog and digital filter design and stability criteria of analog and digital filters are also described. The author presents the necessary theory in the form of a concise "lecture" accompanied with a number of solved original problems. Every chapter ends with examples of complete solutions with explanation and necessary graphical visualization (graphs, schemes etc.).

This book analyses the possible regionalization of global value chains, particularly in manufacturing. Amidst calls for an industrial renaissance in Europe and a resurgence of manufacturing jobs in the United States, the dynamics of global value chains have been reshaped by global pandemics, geopolitical tensions, and increased automation. Employing a multi-regional input-output model, the book scrutinizes the decline in offshoring afer the mid-2010s. It sheds light on regionalization as a pivotal force redefining global markets, and focuses on Europe and North America, revealing the strengthening of regional ties. Discussing future challenges, the book will appeal to scholars, students, and researchers, as well as practitioners and policy-makers interested in a better understanding of (de)globalization nuances connected to the evolving role of manufacturing in global value chains.

This interdisciplinary anthology offers both theoretical reflections and empirical data on past, present and possible future war and crisis situations. In addition, against the background of the authors' academic and practical experience in the field of international political observation and consultancy, proposals are formulated for peacekeeping in crisis regions and with regard to extreme environments. Furthermore it addresses sensory and aesthetic perceptions of war and peace. Unlike other books on the subject, this contributed volume seeks solutions for lasting peace from various fields that could help improve quality of life for people around the world - especially in heterogeneous societies, which are often shaken by religious, ethnic or political crises.

This textbook introduces graduate and upper undergraduate students to Dynamic Stochastic General Equilibrium (DSGE) models. As DSGE models become integral in advanced coursework, this book serves as an invaluable guide, explaining the complexities with a methodological red thread across its five chapters. Starting with the stochastic dynamic models of the Real Business Cycle (RBC) and progressing through the field of New Keynesian Macroeconomics (NKE), it employs DSGE models to shed light on the dynamic nature of economic systems.The book presents the Blanchard-Kahn methodology for theoretical solutions, discussing its usefulness and limitations as models evolve in complexity. The book goes on to explain the shift from analytical to numerical solutions, showcasing the DYNARE software and providing coding insights. Unique to this volume is a chapter on difference equations, equipping students with essential mathematical tools, and a concluding exploration of a medium-sized NewKeynesian Economics model.This book will equip students to navigate the theoretical complexities of the topic and to independently replicate and comprehend the presented results. It bridges the gap between classical and Keynesian paradigms, reviving the debate in today's "RBC vs NKE" landscape. It will enable students to master the essence of macroeconomic theories and methodologies, paving the way for their scholarly pursuits.

This book in Open Access is the first to provide clinicians with practical guidelines to explain the most frequently occurring neonatal brain injuries to parents and caretakers.The brains of high-risk neonates are vulnerable to often severe injury, and brain injuries are among the most serious complications in patients admitted to neonatal intensive care. In addition to basic explanations on the origin, extent, severity, consequences, and treatment options, the book provides illustrations and representative imaging examples that enable clinicians to provide parents with the necessary information in a clear and concise way, using lay language and simple drawings.Therefore, this book is a valuable resource for practitioners from various disciplines, including neonatologists, pediatricians, neurologists, (neuro- and pediatric-) radiologists, neonatal nurse specialists, and physician assistants. This is an open access book.

This book consists of selected and peer-reviewed papers of 2022 5th International Conference on Green Energy and Environment Engineering (CGEEE 2022), held in Jeju Island, Korea during July 28-30, 2022. CGEEE 2022 provides a forum for researchers and practitioners in the field of green energy and environment engineering to share ideas, designs, and experiments results. Various topics are covered in this book, such as carbon capture and storage, solar energy, biomass, biofuel, geothermal, sustainable cities, energy savings for vehicular technology, solid waste management, waste minimization, water treatment and reclamation, environmental restoration, and ecological engineering. This book will be beneficial to researchers, educators, practitioners, and policymakers working in the related fields.

In this book, Matej Kohar demonstrates how the new mechanistic account of explanation can be used to support a non-representationalist view of explanations in cognitive neuroscience, and therefore can bring new conceptual tools to the non-representationalist arsenal. Kohar focuses on the explanatory relevance of representational content in constitutive mechanistic explanations typical in cognitive neuroscience. The work significantly contributes to two areas of literature: 1) the debate between representationalism and non-representationalism, and 2) the literature on mechanistic explanation.Kohar begins with an introduction to the mechanistic theory of explanation, focusing on the analysis of mechanistic constitution as the basis of explanatory relevance in constitutive mechanistic explanation. He argues that any viable analysis of representational contents implies that content is not constitutively relevant to cognitive phenomena. The author also addresses objections against his argument and concludes with an examination of the consequences of his account for both traditional cognitive neuroscience and non-representationalist alternatives. This book is of interest to readers in philosophy of mind, cognitive science and neuroscience.

This book introduces a comprehensive and updated analysis of the role of public policies to promote territorial cohesion processes and trends in a given territory. By being the first book taking a reflective and holistic approach on how public policies can lead to more cohesive and balanced territories, it advances theoretical avenues for academics and showcases current academic research to policymakers and practitioners by focusing on how public policies, being implemented in different territorial scales (urban, local, regional, national, and European), can actively contribute to foster territorial cohesion trends in a given territory. This reflective approach provides an opportunity for thinking about what lessons can be learned from past and ongoing experiences and how they can improve future implementation of public policies more effectively and efficiently toward territorial cohesion, since all existing analyses show that at the national level, no European country has achieved territorial cohesion trends over the past decades. As such, this book acts as a valid and useful policy manual that effectively contributes to inverting current territorial exclusion trends at the national level, by highlighting best policy practices and a comprehensive introduction to contemporary thinking about how public policies can play a decisive role in boosting territorial cohesion processes in a given territory.

This book introduces undergraduate students of engineering and science to applied mathematics essential to the study of many problems. Topics are differential equations, power series, Laplace transforms, matrices and determinants, vector analysis, partial differential equations, complex variables, and numerical methods. Approximately, 160 examples and 1000 homework problems aid students in their study. This book presents mathematical topics using derivations rather than theorems and proofs. This textbook is uniquely qualified to apply mathematics to physical applications (spring-mass systems, electrical circuits, conduction, diffusion, etc.), in a manner that is efficient and understandable. This book is written to support a mathematics course after differential equations, to permit several topics to be covered in one semester, and to make the material comprehensible to undergraduates. An Instructor Solutions Manual, and also a Student Solutions Manual that provides solutions to select problems, is available.^

This book examines the interplay between cooperation on technical barriers to trade (TBT) in free trade agreements and the multilateral framework of the World Trade Organization. In recent years, TBT, especially differences in standards, have attracted increased interest and have been addressed as part of the WTO+ negotiated agenda in trade agreements. Because of a number of political and legal constraints, the process of further cooperation at the WTO have been stalled, which made free trade agreements a central pillar in setting the agenda of international trade governance. This leads us to rethinking the interrelation between the WTO and free trade agreements and to questioning the role of both fora in the future of trade. The book examines some TBT provisions in free trade agreements and highlights their positive and problematic aspects when it comes to the WTO-consistency and the ideas of open and inclusive trade. It also suggests that a more optimal way forward would be toincrease parallel work on TBT cooperation at the WTO, a more inclusive forum that could address issues of global significance, such as environmental protection and regulation of digital goods. The book explores the potential for trade agreements to advance the WTO agenda, but notes that the organization would need to adapt its institutional structure and governance in order to do so.Drawing on the example of the EU and US so-called "new generation" trade agreements, the book provides a detailed analysis of the various methods used to navigate TBT cooperation, and offers insight into how these agreements can serve as inspiration for future multilateral disciplines. This book is a valuable resource for trade law academics, policymakers, and anyone interested in the intersection of technical barriers to trade, regional trade agreements, and the WTO.

The proceedings of the 2022 edition of the International Symposium of Robotics Research (ISRR) offer a series of peer-reviewed chapters that report on the most recent research results in robotics, in a variety of domains of robotics including robot design, control, robot vision, robot learning, planning, and integrated robot systems. The proceedings entail also invited contributions that offer provocative new ideas, open-ended themes, and new directions for robotics, written by some of the most renown international researchers in robotics. As one of the pioneering symposia in robotics, ISRR has established some of the most fundamental and lasting contributions in the field since 1983. ISRR promotes the development and dissemination of ground-breaking research and technological innovation in robotics useful to society by providing a lively, intimate, forward-looking forum for discussion and debate about the status and future trends of robotics, with emphasis on its potential role to benefit humans.

This book presents solutions to problems that are total and based on thinking about how and why humans have organized themselves. It discusses how to avoid the now well-documented Holocene Extinction, propelled by climate change, wars, resource depletion, desertification, degrading knowledge quality, famine, and deterioration of societies overall. It explains why we cannot respond effectively with hedonistic, incompetent, corrupt, and anarchistic "liberal democracy" and why neither personality cult regimes can suffice. The book offers a model of an organic social structure embodying a collective consciousness of communitarianism and Platonic-style ethos. Putting an emphasis on the re-establishment of Classical Greek virtue, it offers solutions to resolve identity politics, alienation, and meritocracy. While doing so, the author opposes the "everyone is equal" ideology to govern the section of policymakers, instead circumscribing "rights" in terms ofresponsibilities, prioritizing education and training to carry forth the ethos of valuing truth above materialism, and developing Durkheim's social brain via a new discipline, "sociointelligence". The book goes on to explain how underpinning these elements is a comprehensive elucidation of often misunderstood words like "liberty", "freedom", "authoritarianism", and "democracy". All of these areas are arranged and combined in uniquely describing the organic society the author deems necessary to avoid human extinction. As a result, the book presents a "new organicity", where the emerging transhumanism seeks to transcend hydrocarbon-based life with humanly-constructed life.This book will appeal to students, researchers, and scholars of political science, philosophy, and the social sciences interested in a better understanding of complexity, democratic theory, Holocene Extinction, organic thinking, and meritocratic societies.

This book provides novel perspectives on ethical justifiability of assisted dying in the revised edition of New Directions in the Ethics of Assisted Suicide and Euthanasia. Going significantly beyond traditional debates about the value of human life, the ethical significance of individual autonomy, the compatibility of assisted dying with the ethical obligations of medical professionals, and questions surrounding intention and causation, this book promises to shift the terrain of the ethical debates about assisted dying. The novel themes discussed in the revised edition include the role of markets, disability, gender, artificial intelligence, medical futility, race, and transhumanism. Ideal for advanced courses in bioethics and healthcare ethics, the book illustrates how social and technological developments will shape debates about assisted dying in the years to come.

This book frames a series of protests occurred in Brazil from 2013 to 2016 as exemplary cases of global trends in contentious politics to analyze the tension between two forms of collective action: the militant (militante) and the prefigurative activist (ativista). Building on sociology, political science, and psychology, it explores the relationship between protestors' activities and conceptions of political participation with their subjectivity and agency. The protest cycle triggered by the June 2013 events in Brazil gave strength and popularity to repertoires and strategies of collective action uncommon and innovative. Those praxes defied political parties' conventions, highlighted the limitations of militant unionist tradition, and brought prefigurative activism to the Brazilian left-wing agenda. In this book, Andre Luis Leite de Figueirêdo Sales combines theoretical tools and traditions from South and North America to build an interdisciplinary approach to Political Psychology and answer the question: what psycho-political differences lie behind the disparate forms of political action adopted by militantes (militants) and ativistas (prefigurative activists) in Brazil? Inspired by books of short stories, the chapters discuss different aspects of the distinction between militancy and prefigurative activism. On them, the author deals with problems such as: how are the ongoing changes in Brazilian protest culture connected with the rising popularity of autonomist movements across the globe? What differences does it make rooting protest strategies in principles like resistance or refusal? How does the culture informing militants and prefigurative activists' conduct affect their political goals and horizons? How does militant and prefigurative activist culture relate to militants and prefigurative activists' forms of political consciousness? A Political Psychology Approach to Militancy and Prefigurative Activism: The Case of Brazil will be a valuable tool for social movement researchers from different disciplines interested in understanding how can subjectivity be, at the same time, a determiner of activities performed in collective action, and determined by these same transformative deeds.

This book addresses the importance of language in matters of sustainability and incorporating such concerns in implementing the UN's Sustainable Development Goals (SDGs). Sustainable language policy must aim to include all groups, including language minorities and marginalized populations, such as refugees and aid recipients, in conditions that allow for their inclusion in making and implementing policy. The book brings together nine studies covering such topics as language and digital resources, sustainable and inclusive multilingual education, national language policy, and language in peacekeeping operations. A final chapter addresses the crucial intersection between sociolinguistics and economics, and the implications of this for development and the SDGs.

This book explains the basic elements that readers need to know about amorphous silicon material and a-Si: H TFTs. It includes the main principles of the transistors operation, modeling and applications. Fundamentals about transport mechanisms in a-Si: H TFTs and the associated electronic properties are introduced and extended to design examples and strategies to build reliable, large-area, performance optimized circuits. The book also reviews the effect of the amorphous silicon nature and how it impacts the transistors properties and their relevant applications. Fundamentals are made as simple as possible to be easily grasped as they cover everything expected to be important for an easy understanding of the introduced concepts. The author's approach is geared toward undergraduate and graduate students, but the content is also appropriate for circuit simulator developers, integrated circuit designers and manufacturers, as well as everyone engaged in work on large area integrated circuit technologies and photovoltaics.