Bøger udgivet af Springer

This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

This book explores and discusses how businesses transit from big data and business analytics to artificial intelligence (AI), by examining advanced technologies and embracing challenges such as ethical issues, governance, security, privacy, and interoperability of capabilities. This book covers a range of topics including the application of cyber accounting and strategic objectives, financial inclusion, big data analytics in telecommunication sector, digital marketing strategies and sports brand loyalty, robotic processes automation in banks, and the applications of AI for decision-making in human resources, healthcare, banking, and many more. The book provides a comprehensive reference for scholars, students, managers, entrepreneurs, and policymakers by examining frameworks and business practice implications through its discussions which embrace a wide variety of unique topics on business analytics, AI, and how it can be applied together to address the challenges of the digital era.

This book offers important insights into the intricacies of energy trading and risk management to students and professionals in the liberalized electricity and natural gas markets. In its opening chapter, the book delves into fundamental concepts, including price formation on wholesale markets. The various market places and trading products are presented, and the distinguishing characteristics of electricity and natural gas compared to other commodities are emphasised. Moving forward, the next chapter concentrates on portfolio management, offering insights into the trading process through the perspectives of various agents. It begins with proprietary traders and progresses to encompass the portfolio management activities of integrated companies responsible for both generation assets and a retail client base. The book then looks at risk management, explaining the diverse risks that impact the value of energy portfolios inthe market. It places emphasis on credit risk, price risk, quantity risk, and product liquidity risk as the most influential factors and presents effective practices for their management. Furthermore, readers will gain a comprehensive understanding of how to manage quantity risk and its interconnectedness with price risk. Additionally, the book addresses the measurement of product liquidity and its disparities across different energy market products. In summary, this book is an accessible introduction and a concise reference for students and professionals across all fields of energy.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

This book brings together a comprehensive set of chapters that cover the basic principles of fast track surgery, clinical enhancements, but also important aspects of project management and change management in Hip and Knee Arthroplasty.Although the value of care pathways and fast track surgery are probably well known by almost everyone, there are still too many differences in arthroplasty care not only around the world, but also within countries. How can it be that the fast track principles are implemented so poorly? Probably because it looks so simple, yet it's so complex that many doctors don't know where to start. This handy book, published in collaboration with Esska, provides an easy-to-consult guide that summarize the most important notions in a concise, accessible way.

This volume provides the latest developments in the field of steel and composite for engineering applications, as presented at the International Conference on Steel and Composite for Engineering Structures (ICSCES), held in Lecce, Italy on November 20-21, 2023. It covers interest topics like control and vibration, damage in composite materials, fracture and damage mechanics, construction management, damage tolerance, safety, security, and reliability, big data analytics, topology optimization and artificial intelligence, mechanical and material engineering, structural health monitoring, computer-aided design and manufacturing, crack initiation and propagation, performance and optimization, computational fracture mechanics, inverse problem, non-destructive testing, signal processing, artificial intelligence. It serves as a reference work for professionals and students in the areas of civil engineering, applied natural sciences and engineering management.

This open access book investigates from a life-course perspective the individualization process and the challenges faced by young adults in post-collectivist China, where people are enjoined to "liberate" (jiefang) their individual capacities, to "rely on themselves" (kao ziji) and to no longer "depend on the state" (kao guojia). Based on unique quantitative and qualitative data, this book provides a solid empirical portrait of Chinese youths and transformation of social policies in post-collectivist ChinaThis book will be a great resource to students, academics as well as social scientists and policy-makers who wish not only to understand how, in such a short period of time, young adults and their families have managed to navigate from a relatively egalitarian society to one of the most unequal, but also how the articulation between socialist and neoliberal ideologies is reconfiguring social and economic relations as well as women's and men's life-course.The basis of the English translation of this book from its French original manuscript was done with the help of artificial intelligence. A subsequent human revision and rewriting of the content was done by the author.

This book demystifies the topic of Artificial Intelligence for readers of varying backgrounds. The content should enable many people to discuss and follow ongoing developments in an informed way, to draw conclusions for their own life and workplace and to acquire the necessary new knowledge. The book strives to provide basic knowledge that will objectify the discussions and relieve some of the creepiness of utopian films. It must also be understood that research results are a necessary condition for progress; they are not sufficient until they can be translated into practice embedded in programs. This difficult relationship between theory and practice has been known for a long time.

This book concentrates on the famous Grothendieck inequality and the continued search for the still unknown best possible value of the real and complex Grothendieck constant (an open problem since 1953). It describes in detail the state of the art in research on this fundamental inequality, including Krivine's recent contributions, and sheds light on related questions in mathematics, physics and computer science, particularly with respect to the foundations of quantum theory and quantum information theory. Unifying the real and complex cases as much as possible, the monograph introduces the reader to a rich collection of results in functional analysis and probability. In particular, it includes a detailed, self-contained analysis of the multivariate distribution of complex Gaussian random vectors. The notion of Completely Correlation Preserving (CCP) functions plays a particularly important role in the exposition.The prerequisites are a basic knowledge of standard functional analysis, complex analysis, probability, optimisation and some number theory and combinatorics. However, readers missing some background will be able to consult the generous bibliography, which contains numerous references to useful textbooks. The book will be of interest to PhD students and researchers in functional analysis, complex analysis, probability, optimisation, number theory and combinatorics, in physics (particularly in relation to the foundations of quantum mechanics) and in computer science (quantum information and complexity theory).

This book explores toric topology, polyhedral products and related mathematics from a wide range of perspectives, collectively giving an overview of the potential of the areas while contributing original research to drive the subject forward in interesting new directions. Contributions to this volume were written in connection to the thematic program Toric Topology and Polyhedral Products held at the Fields Institute from January-June 2020. 16 original conributions were inspired or influenced by the program.Toric Topology arose as a subject in its own right about twenty-five years ago. It sits at the intersection of commutative algebra, topology, combinatorics, algebraic geometry, and symplectic and convex geometry. Polyhedral products are a functorial generalization of a construction that is at the centre of Toric Topology. They are of independent interest and unify several constructions that arise in a diverse range of areas, such as geometric group theory, homotopy theory, algebraic combinatorics and subspace arrangements.

This book offers guidance on capturing the creative forces of the faculty, staff and students at universities. Given their unique and central role in America and the world, it examines how university research, learning and service can be integrated to address the needs of society as it is both enabled and changed by technology. In turn, the book assesses the challenges and opportunities for universities to be more successful and impactful through innovation, viewing universities as integrated systems. It demonstrates how change can occur both within the "knowledge economy" and because of innovations within it. In doing so, the book provides insights into how universities can prosper and lead in a world that is constantly changed by the innovations that universities and industry jointly create. The book serves as a guide for higher education policymakers, funders, donors, board members, stakeholders and leaders (chairs, deans, provosts, presidents) through its systematic vision for university innovation and service to society. It will also benefit researchers studying innovation in organizations, illustrating how systematic approaches arising from management science and operations research can be used toward positive change. Lastly, strategic partners in industry, government and foundations seeking opportunities for partnerships and collaboration with universities will also find it useful.

Nowadays, sustainability is one of the main pillars for organizations' revamp and growth. Sustainability can be summarized as the set of actions based on the mutual respect of economic, environmental, and social interests. No action should be taken unless it simultaneously respects the interests of these three spheres.The 17 Sustainable Development Goals (SDGs) developed by the United Nations for the 2030 Agenda are moving in this direction. Among them, reducing diversity and strengthening women's empowerment are the main targets of Goal 5 "Gender Equality."This edited volume discusses three main topics: Diversity Management for Sustainable Governance of Organisation, Innovation and New Technologies for Sustainable Development of Enterprises Led by Women and Agri-food, Fashion, Luxury and Made in Italy in Sustainable Female Firms.

This book offers a thorough review of studies on climate change and urban adaptation strategies and plans. It takes the moves from the identification of three primary barriers to adaptation, including the uncertainty surrounding climate change and its evolution, the complexity of human systems, and the widespread perception that climate change impacts are improbable. From this analysis arises the idea of the need to adopt a new approach to the climate issue: the soft approach. This approach focuses on the intangible and organizational aspects of systems and is proposed as a valid alternative in contexts of high uncertainty. It complements the structural (hard) option in response to emerging risks. Furthermore, soft solutions have intrinsic characteristics of flexibility, reversibility, adaptability, scalability, and cost-effectiveness, making them often low-regret and co-benefit. Based on these principles, the book suggests that a climate-wise reorganization of urban services couldconstitute an effective soft strategy to help cities tackle the impacts of climate change and investigates the potential for Urban Facility Management services to evolve through their integration with climate information. The concept of urban Adaptation services, which integrate knowledge and practices of climate services into urban services management processes, is an innovative perspective which stems from a reading of reality through the lens of specific needs.

Since the emergence of 2022's monkeypox virus (MPXV) outbreak, it has been the heading of news and research articles that MPXV is being involving non-endemic areas after about its 80-year presence in endemic areas. Efforts are concentrated on understanding how MPXV has evolved to cause an epidemic. The book provides a comprehensive compendium of chapters on poxviruses in different domains. It concludes that the main problem we should deal with is not to address how MPXV has overcome the distance between non-endemic and endemic areas, but it is the non-cooperativity of logistics, research, and science in managing poxviruses' outbreaks.

This open access book directs attention to the safety implications of disruptive, sustainability-driven changes in sociotechnical systems resulting from climate-change considerations in high-risk industries. It addresses not only the dismantling of currently prevalent systems and structures and the achievement of a stable future state but also the management of processes for establishing new practices in a safe and reliable manner without undue interruption of important functions and services.Leading scholars from various fields of research have contributed to this brief by analyzing case studies as well as through conceptual and methodological work. They propose strategies for coping with new kinds of risk at local and organizational levels. The oil and gas and nuclear industries are two cases investigated here. They present a challenging mixture of continuity and disruption and require strategies for coping with safety and sustainability issues at the same time. Innovativemethods such as real-world experimentation and computer-based simulation are discussed as means of investigating the issues at stake. Climate Change and Safety in High-Risk Industries brings together critical appraisals of the challenges that will be faced by industry, regulatory bodies and decision-makers in coming decades. It analyzes whether safety and sustainability are accurately thought of as competing imperatives or, rather, offer possibilities for a more cooperative approach to the necessary adaptations in our modes of production and consumption.

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3-5, 2024. The 17 full papers and 8 short papers presented in this book were carefully reviewed and selected from 55 submissions. The main purpose of this conference proceedings was to bring together practitioners who are using Artificial Intelligence techniques for artistic tasks, providing the opportunity to promote, present, and discuss ongoing work in the area.

The book discusses various aspects of the technical support of underwater archaeological research in marine and freshwater areas. This book considers the relevance, specificity, and artifacts of underwater archaeological research, stating the factors of flooding of archaeological artifacts. The authors describe the basic equipment for underwater work, as well as the equipment for remote study of the bottom and underwater archaeological research. This book presents the usage of instrumentation in underwater archaeology. Case studies included in this book correspond to the flooded ancient Greek cities of Fanagoria and Patraeus in the Taman Bay of the Black Sea, flooded Neolithic settlements on Lake Sennitsa in the Pskov region of Russia, sunken ships in the north of the Black Sea and sunken liner "Titanic" in the Atlantic Ocean. The book is intended for students, graduate students and archaeologists who are interested in the specifics of underwater archaeological research and are planning to conduct it.

The book is a true knowledge-enhancing project, dealing with the forms of rationality at work in social life, which are so many, varied and complex. Published already in Spanish and Italian, it analyses the role played by rationality through the lens of social theories in order to propose a problematic interpretation of human action. Since there is nothing more practical than a good theory when seeking to understand our society, the book reflects on the theoretical approaches that provide useful categories by means of which to understand and interpret individual, organizational, and institutional action. It proposes an analysis of a wide variety of classics by eminent European and Anglo-American thinkers, such as Dahrendorf, Mannheim, Marx, Popper, Weber, Habermas, Luhmann, Machiavelli, Pareto, Ardigò, Cesareo, Parsons, Schütz, Alexander, Bauman, Beck, Sennett, Antiseri, Boudon, Sen, Simon, to shed light on the relationship between rationality, difficulties in thinking and extra-rationality. Finally, the reasons for unexpected action are investigated as well as the strategic role played by ethics, rationality and skills in postmodern societies on the basis of the contributions of Nussbaum and Piketty.

This book offers innovative ideas and solutions from tropical fruits and crops for engineering problems. It covers a wide range of topics related to science, engineering, and technologies. The topics shared in this book enable practitioners and innovators to develop subsequent novel ideas and methods for solving engineering and technological problems for organizations to sustain its operation in global challenges.

This book explores how power relationships, measured through qualitative social network analysis, impact planning participation and livelihood strategies of a marginalized group of farmers cultivating the Yamuna River floodplain in Delhi, India. Through an in-depth study of 165 farming households facing land development, this book offers insights from the ground-up into how social dynamics enable and constrain agency. A novel mixed-methods approach was used to measure social networks and access to resources based on the different types of people farmers might interact with as part of their livelihoods: hired laborers, vendors, other farmers, etc. Digging deeper into social network patterns, typologies of power are illustrated as they manifest household agency through diverse pathways. More broadly, a political ecology lens is used to link together the multiple and fragmented Yamuna farmers' stories with broader social, ecological, infrastructural, and economic contexts to suggest future directions for inquiry and policy related to localized urban food systems and sustainable development. This monograph will be of interest to academic faculty and graduate students in critical geography, cultural anthropology, food studies, landscape architecture/urban planning, and sociology.

This book describes new techniques for making decisions in situations with uncertainty and new applications of decision-making techniques. The main emphasis is on situations when it is difficult to decrease uncertainty. For example, it is very difficult to accurately predict human economic behavior, so in economics, it is very important to take this uncertainty into account when making decisions. Other areas where it is difficult to decrease uncertainty are geosciences and teaching. The book analyzes the general problem of decision making and shows how its results can be applied to economics, geosciences, and teaching. Since all these applications involve computing, the book also shows how these results can be applied to computing, including deep learning and quantum computing. The book is recommended to researchers, practitioners, and students who want to learn more about decision making under uncertainty--and who want to work on remaining challenges.

This book covers image and video color editing research advances over the last two decades. Bringing readers up to speed on digital image and video editing techniques and research, the book delves into an area that has attracted much attention from researchers due to the rapid development of computer graphics and the widespread prevalence of digital cameras and mobile phones in daily life. Readers will get a comprehensive overview of the theory and application of color transfer, emotional color transfer, colorization, decolorization, and style transfer in altering still and moving digital images. Despite the existence of professional image editing software that can complete complex image editing work, the skills required to achieve satisfactory editing results can be prohibitive, and even professional image editors need to spend a lot of time developing and maintaining aptitude in a niche tool. Instead, the book explores image and video editing techniques that are simple and effective alternatives to such editing software that professional and amateur image editors can utilize. The book focuses on color as one of the most important features of an image or video. Image and video color editing aims to dramatically alter source images suitable for a wide range of applications.

Degrowth Decolonization and Development reveals common underlying cultural roots to the multiple current crises. It shows that culture is an essential sphere to initiate fundamental changes and solutions as it brings about transformative imaginaries on a theoretical, political and practical level. The book focusses on the interplay between culture and the environment, society and the economy. It provides a critique of concepts associated with the term ¿Development¿ and reveals knowledge and theories outside the comfort zone of the mainstream Western theoretical landscape, which will certainly be instrumental in the decolonization of both development theories and practices. The book convincingly reveals the large array of domains, which, when interpreted from a decolonization and Degrowth perspective, can be managed through logics of environmental justice, social equity and equality, and generate societally more desirable outcomes. The book presents a multidisciplinary perspective on the contemporary global crises and features interdisciplinary analyses thereof through the lenses of cultural studies, critical development studies, political economy, eco-feminist political ecology, anthropology and sociology. Degrowth Decolonization and Development unveils the fundamental role of the dichotomies characterizing the Western modern development paradigm in shaping today¿s actions, and especially the dichotomies of Global North and Global South, Centre and Periphery, Developed and Developing/Underdeveloped, Man and Nature. Degrowth Decolonization and Development addresses all researchers and activists interested in sustainability transformation and decolonization processes in Development studies.Degrowth Decolonization and Development is structured as a collection of seven original case studies. These are authored by researchers who met when presenting their work in Decolonization and Degrowth panels from the ISEE-ESEE-Degrowth Conference, Manchester, July 5-8, 2021, and the 8th International Degrowth Conference in The Hague, Netherlands, August 24-28, 2021. The concluding chapter proposes a synthesis identifying key concepts and steps in cultural change for the decolonization of the Western worldview towards ¿pluriverse¿ alternatives. The book traces future imaginaries for modelling future new systemic solutions and a needed radical change.

This book presents a combination of chapters assembled in different fields of expertise. The book examines different aspects of business knowledge from a philosophical and practical standpoint. This data helps modern organizations by providing valuable insights and suggestions for future research and results. The increasing number of business disciplines studied necessitates implementing effective analytics practices within organizations. This book explores disciplinary and multidisciplinary concepts and practical techniques to help analyze the evolving field.

This book provides a comprehensive mathematical description and analysis of the delegate allocation processes in the US Democratic and Republican presidential primaries, focusing on the role of apportionment methods and the effect of thresholds--the minimum levels of support required to receive delegates. The analysis involves a variety of techniques, including theoretical arguments, simplicial geometry, Monte Carlo simulation, and examination of presidential primary data from 2004 to 2020. The book is divided into two parts: Part I defines the classical apportionment problem and explains how the implementation and goals of delegate apportionment differ from those of apportionment for state representation in the US House of Representatives and for party representation in legislatures based on proportional representation. The authors then describe how delegates are assigned to states and congressional districts and formally define the delegate apportionment methods usedin each state by the two major parties to allocate delegates to presidential candidates. Part II analyzes and compares the apportionment methods introduced in Part I based on their level of bias and adherence to various notions of proportionality. It explores how often the methods satisfy the quota condition and quantifies their biases in favor or against the strongest and weakest candidates. Because the methods are quota-based, they are susceptible to classical paradoxes like the Alabama and population paradoxes. They also suffer from other paradoxes that are more relevant in the context of delegate apportionment such as the elimination and aggregation paradoxes. The book evaluates the extent to which each method is susceptible to each paradox. Finally, it discusses the appointment of delegates based on divisor methods and notions of regressive proportionality.This book appeals to scholars and students interested in mathematical economics and political science, with an emphasis on apportionment and social choice theory.

This book covers a range of leading-edge topics. It is suitable for teaching specialists for advanced lectures in the domains of systems architecture and distributed platforms. Furthermore, it serves as a basis for undergraduates as well as an inspiration for interesting postgraduates, looking for new challenges. It addresses a holistic view of QoS, which becomes nowadays via Digital Transformations less technically and more socially driven. This includes IoT, energy efficiency, secure transactions, blockchains, and smart contracting.Under the term Emerging Networking (EmN), we cover the steadily growing diversity of smart mobile and robotic apps and unmanned scenarios (UAV). EmN supports distributed intelligence across the combined mobile, wireless, and fixed networks in the edge-to-cloud continuum. The 6G driving factors and potentials in the mid-term are examined. Operative (emergency) networking, which assists rescue troops at sites, also belongs to the above-mentionedproblems. The EmN architecture includes the components of SDN, blockchain, and AI with efficient slicing and cloud support.The design peculiarities in dynamically changing domains, such as Smart Shopping/Office/Home, Context-Sensitive Intelligent apps, are discussed. Altogether, the provided content is technically interesting while still being rather practically oriented and therefore straightforward to understand.This book originated from the close cooperation of scientists from Germany, Ukraine, Israel, Switzerland, Slovak Republic, Poland, Czech Republic, South Korea, China, Italy, North Macedonia, Azerbaijan, Kazakhstan, France, Latvia, Greece, Romania, USA, Finland, Morocco, Ireland, and the United Kingdom.We wish all readers success and lots of inspiration from this useful book!