Bücher veröffentlicht von Springer Nature Switzerland

This book constitutes the refereed proceedings of the 29th International Conference on Cooperative Information Systems, CoopIS 2023, held in Groningen, The Netherlands, during October 30¿November 3, 2023. The 21 regular papers and 10 work-in-progress papers included in this book were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Knowledge Engineering; Deployment and Migration in CISs; Security and Privacy in CISs; Process Modeling; Process Analytics; Human Aspects and Social Interaction in CISs; and Work in Progress.

This book constitutes the refereed proceedings of the 9th International Conference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13¿16, 2023. The 20 full papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Machine Learning; Natural Language Processing and Semantic Web; Computer vision; and Knowledge-based systems.

This book provides comprehensive studies from Middle East, African countries and Asia including Afghanistan, Algeria, Egypt, India, Iraq, Kyrgyzstan, Tunisia and Turkey on groundwater management, modelling and monitoring. A broad approach such as modelling, artificial intelligence, machine learning, and statistical models was applied in arid and semi-arid areas for management of the groundwater. These new approaches are currently in high demand. The book delves into the applications of these methods and will be a potential asset to the researchers worldwide. The book is a timely publication containing chapters based on primary data or/and extensive review chapters comprising new emerging techniques. Current high-demand research on management through the application of modelling, artificial intelligence and machine learning is the main selling point of this book.

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 5th International Conference on Advances in Quantitative Ethnography, ICQE 2023, held in Melbourne, VIC, Australia, during October 8¿12, 2023.The 33 full papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: understanding learners and learning; society, culture, identity, and justice; and advances in QE methodologies.

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Security Protocols, held in Cambridge, UK, during March 27¿28, 2023.Thirteen papers out of 23 submissions were selected for publication in this book, presented together with the respective transcripts of discussions. The theme of this year's workshop was ¿Humans in security protocols ¿ are we learning from mistakes?¿The topics covered are securing the human endpoint and proving humans correct.

This book constitutes the post-conference proceedings of the satellite events held at the 20th Extended Semantic Web Conference, ESWC 2023, held in Hersonissos, Greece, during May 28¿June 1, 2023.The 50 full papers included in this book were carefully reviewed and selected from 109 submissions. They were organized in sections as follows: Posters and Demos, Industry, and PhD Symposium.

This research presents a rigorous investigation of US companies' financial resilience within the S&P 500 index from the year 2000 onward. The book focuses on the process of a company's bounce back to pre-crisis levels after a disturbance, exploring resilience measured through recovery duration and various financial performance indicators. The study analyzes three significant crises faced by the US during this period - the dotcom crisis, the global financial crisis, and the pandemic crisis. Through applied cox hazard regression and panel regression, the book reveals valuable empirical insights on factors impacting corporate financial resilience, sector-specific crisis effects, and essential considerations when interpreting the results. Investors, corporations, and researchers alike will find this data-driven resource a paramount asset in navigating the complexities of financial markets and fortifying corporate financial resilience for a prosperous future.

This book constitutes the refereed proceedings of the 27th International Conference on Enterprise Design, Operations, and Computing, EDOC 2023, held in Groningen, The Netherlands, during October 30¿November 3, 2023.The 12 full papers included in this book were carefully reviewed and selected from 36submissions. They were organized in topical sections as follows: Enterprise Modeling, Enterprise Architecture & Engineering, Model-Based Software Engineering, Enterprise Analysis with Process Mining, Process Improvement & Engineering, and Modeling in an Enterprise Context.

This volume is composed of selected papers from two conferences held in Warsaw, Poland on October 13-15, 2022: the BOS/SOR¿2022 - National Conference on Operational and Systems Research, one of premiere conferences in the field of operational and systems research, and the Twentith International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, IWIFSGN-2022, one of premiere conferences on fuzzy logic, notably on extensions of the traditional fuzzy sets, also comprising a considerable part on the Generalized Nets (GNs). A joint publication of selected papers from the two conferences follows a long tradition of such a joint organization, and ¿ from a substantial point of view ¿ combines systems modeling, systems analysis, broadly perceived operational research, notably optimization, decision making and decision support, with various aspects of uncertain and imprecise information and their related tools and techniques.

The book is addressed to scholars and students in sociology and in phenomenological philosophy. It presents the work of Durkheim in a new light and discusses the prevailing interpretations in the collective intentionality approach. It also provides a fresh conception of collective consciousness which illuminates features unattended by the traditions initiated by John Searle, Dan Zahavi and the Center for Subjectivity Research, and the Nordic Society of Phenomenology. This lucidly written book is of interest to students and scholars researching Durkheim's, Husserl¿s and Schutz¿s works.

This book focuses on secondary trauma as distinct from other forms of psychological trauma and PTSD. While PTSD has garnered considerable attention in the literature, secondary trauma afflicts a far greater number of people. Secondary trauma refers to the spread of negative emotional and cognitive states from those who are traumatized to those who have close contact with these individuals. While PTSD and other forms of primary trauma can negatively alter one¿s self-perception and result in a fearful distrust of one¿s environment, secondary trauma taxes and drains one emotionally but often does not cause a weary distrust of the environment and negative self-view. The book delineates how, when, and where secondary trauma occurs and provides the latest information on treatments. it is noted that unlike primary trauma and PTSD which respond to traditional treatments such as cognitive-behavioral therapy and exposure therapy, secondary traumatization is best addressed with interventions such as targeted social support, various exercise interventions, mindfulness, yoga, animal assisted therapy, and immersion in natural environments. Secondary trauma is a common and commonly ignored stressor whose impact is wide ranging. This volume accessibly brings this problem to the fore and is a resource for all of those who deal with "silent sufferers" and paves the way for further, necessary study.

This book reviews the development of cell-free production platforms and offers an authoritative perspective of the latest advances and methodologies in cell-free production systems. Readers will discover the biomanufacturing potential of in vitro biotransformation (ivBT) employing purified cascade multi-enzymes, the development of hydrogel-based multi-enzymatic systems for biosynthesis, and novel insights into the optimization of biocatalytic processes. Additionally, the book explores the cell-free production and regeneration of cofactors, shedding light on strategies to enhance the efficiency and sustainability of cellular processes.In this book, particular attention is given to the progress of cell-free in vitro evolution techniques for optimizing enzyme performance, and the book also presents the integration of rapid and finely-tuned expression systems for deployable sensing applications, revolutionizing the field of biosensing. The synthesis and electrophysiological analysis of multipass voltage-gated ion channels tethered in microsomal membranes are explored, providing a deep understanding of cellular function at the molecular level. Lastly, the book covers compartmentalized cell-free expression systems for building synthetic cells, showcasing the potential for constructing artificial cellular systems with unique functionalities.Given its breadth, this book appeals to academics, researchers, and professionals interested in the forefront of biotechnology, and together with the companion volume ¿Cell-free Macromolecular Synthesis¿, both books highlight the research progresses on the basic and applied research of cell-free production systems in the last few years, being invaluable resources in the field.Chapter ¿Cell-free synthesis and electrophysiological analysis of multipass voltage-gated ion channels tethered in microsomal membranes¿ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book looks at the analogic application of standard corporate valuation approaches to trendy digital tokens, expressed by cryptocurrencies, and validated through blockchain systems. Whereas traditional firm appraisal follows institutional guidelines and best practices, frontier research still must define the boundaries of these trendy issues, linking a strong theoretical background to practical advances that still need fine-tuning. This book, written by an academic and a senior consultant, combines theoretical rigor with practical insights, providing an innovative framework for evaluators, managers, and practitioners, and academics of corporate valuation and financial technology.

This book presents cutting-edge research and developments in the field of biomedical engineering, with a special emphasis on results achieved in Vietnam and neighboring low- and middle-income countries. Covering both fundamental and applied research, and focusing on the theme of ¿Translational Healthcare Technology from Advanced to Low and Middle Income Countries in the Era of Covid and Digital Transformation¿, it reports on the design, fabrication, and application of low-cost and portable medical devices, biosensors, and microfluidic devices, on improved methods for biological data acquisition and analysis, on nanoparticles for biological applications, and on new achievements in biomechanics, tissue engineering, and regeneration. It describes the developments of molecular and cellular biology techniques, neuroengineering techniques, and statistical and computational methods, including artificial intelligence, for biomedical applications. It also discusses strategies to addresssome relevant issues in biomedical education and entrepreneurship. Gathering the proceedings of the 9th International Conference on The Development of Biomedical Engineering in Vietnam, BME 9, held on December 27-29, 2022, in Ho Chi Minh, Vietnam, the book offers important answers to current challenges in the field and a source of inspiration for scientists, engineers, and researchers with various backgrounds working in different research institutes, companies, and countries.

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Computer networks, cloud computing, smartphones, embedded devices and the Internet of Things have expanded the role of digital forensics beyond traditional computer crime investigations. Practically every crime now involves some aspect of digital evidence; digital forensics provides the techniques and tools to articulate this evidence in legal proceedings. Digital forensics also has myriad intelligence applications; furthermore, it has a vital role in cyber security ¿ investigations of security breaches yield valuable information that can be used to design more secure and resilient systems. This book, Advances in Digital Forensics XIX, is the nineteenth volume in the annual series produced by the IFIP Working Group 11.9 on Digital Forensics, an international community of scientists, engineers and practitioners dedicated to advancing the state of the art of research and practice in digital forensics. The book presents original research results and innovative applications in digital forensics. Also, it highlights some of the major technical and legal issues related to digital evidence and electronic crime investigations. This volume contains fourteen revised and edited chapters based on papers presented at the Nineteenth IFIP WG 11.9 International Conference on Digital Forensics held at SRI International in Arlington, Virginia, USA on January 30-31, 2023. A total of 24 full-length papers were submitted for presentation at the conference.

This book constitutes the refereed proceedings of the 11th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2022, Cordoba, Spain, November 17¿18, 2022. The 9 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Content Creation and Interaction, Audiovisual Consumption, e-inclusion, Digital Infrastructure.

This book showcases the latest trends and innovations in the field of Green Building, covering topics from research and design to innovative practices and challenges. It is a compilation of communication papers presented at the 2023 International Conference on Green Building (ICoGB 2023), a leading annual event that focuses on sharing and discussing developments in this field. Green Building principles constitute key aspects to achieve the sustainable development goals. This conference is dedicated to providing a platform for researchers, scientists, engineers, and scholars to exchange and share their experiences, new ideas, and research and to discuss the challenges encountered as well as the solutions adopted. ICoGB 2023 was organized in Malmo, Sweden, during May 19¿21, 2023. The target audience are all professionals in the building design and construction fields, such as architects, engineers, scholars, researchers, builders, promoters, among others.

This book constitutes the referred proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022, Virtual Event, February 6¿8, 2022. The 15 full papers included in this book were carefully reviewed and selected from 392 submissions. The purpose of VISIGRAPP is to bring together researchers and practitioners interested in both theoretical advances and applications of computer vision, computer graphics and information visualization. VISIGRAPP is composed of four co-located conferences, each specialized in at least one of the aforementioned main knowledge areas, namely GRAPP, IVAPP, HUCAPP and VISAPP.

This volume constitutes selected papers presented during the First International Conference on New Media Pedagogy: Research Trends, Methodological Challenges and Successful Implementations, NMP 2022, held in Kraków, Poland, in October 2022. The 20 papers presented were thoroughly reviewed and selected from the 55 qualified submissions. They present recent research in the areas of teacher education in the information society, digitally-enhanced didactics, pedagogical innovations using ICT, e-learning, blended learning, crisis e-learning, digital inclusion and exclusion, identity of media pedagogy, and more.

This thesis presents the first realization of non-reciprocal energy transfer between two cantilevers by quantum vacuum fluctuations. According to quantum mechanics, vacuum is not empty but full of fluctuations due to zero-point energy. Such quantum vacuum fluctuations can lead to an attractive force between two neutral plates in vacuum ¿ the so-called Casimir effect ¿ which has attracted great attention as macroscopic evidence of quantum electromagnetic fluctuations, and can dominate the interaction between neutral surfaces at small separations. The first experimental demonstration of diode-like energy transport in vacuum reported in this thesis is a breakthrough in Casimir-based devices. It represents an efficient and robust way of regulating phonon transport along one preferable direction in vacuum. In addition, the three-body Casimir effects investigated in this thesis were used to realize a transistor-like three-terminal device with quantum vacuum fluctuations. These two breakthroughs pave the way for exploring and developing advanced Casimir-based devices with potential applications in quantum information science. This thesis also includes a study of the non-contact Casimir friction, which will enrich the understanding of quantum vacuum fluctuations.

This book examines in detail how a semiconductor device is designed and fabricated to satisfy best the requirements of the target application. The author presents and explains both basic and state-of-art semiconductor industry standards used in large/small signal equivalent circuit models for semiconductor devices that electronics engineers routinely use in their design calculations. The presentation includes detailed, step-by-step information on how a semiconductor device is fabricated, and the very sophisticated supporting technologies used in the process flow. The author also explains how standard laboratory equipment can be used to extract useful performance metrics of a semiconductor device.

This book provides cutting-edge research on networked learning, focusing on issues of sustainability in design for learning, data use, and networked learning connections. It contributes novel theoretical perspectives on networked learning, its role in society and potential for sustainable learning design. It further contributes a set of exemplary empirical cases - exemplary in terms of their innovative learning designs, pedagogical use of technology in connecting learners, and/or critical reflections on implications of utilizing different technologies to support learning. The book is organized into four main sections: 1) Data and datafication, 2) Sustainable learning design, 3) Sociological perspectives on Networked Learning, and 4) Networked learning in times of lockdown. Concluding the book is a final chapter which points to emerging issues within the field of networked learning, based on discussion of perspectives from the chaptersThe book's focus on the nature of learning and technology-mediated interactions makes it of prime significance to researchers and practitioners in the field of technology-supported teaching and learning.

This SpringerBrief is a computational study of significant concerns and their role in forming long-term relationships between intelligent entities. Significant concerns include attitudes, preferences, affinities, and values that are held to be highly valued and meaningful: The means through which a person may find deeply held identity, purpose, and transformation. Significant concerns always engage the emotions and senses in a way that simply holding an opinion may or may not. For example, experiencing a significant concern may provoke deep feelings of awe and wonder in a way that deciding what to have for lunch probably does not, even if the lunch decision involves a rich array of preferences and values. Significant concerns also include what Emmons has called ultimate concerns.The author builds upon this base by considering the hypothetical case of intelligence in androids. An android is defined as a human-like robot that humans would accept as equal to humans in how theyperform and behave in society. An android as defined in this book is not considered to be imitating a human, nor is its purpose to deceive humans into believing that it is a human. Instead, the appropriately programmed android self-identifies as a non-human with its own integrity as a person. Therefore, a computational understanding of personhood and how persons ¿ whether human or android ¿ participate in relationships is essential to this perspective on artificial intelligence.Computational Modelling of Robot Personhood and Relationality describes in technical detail an implementation of a computational model called Affinity that takes the form of a simulation of a population of entities that form, maintain, and break relationships with each other depending upon a rich range of values, motivations, attitudes, and beliefs. Future experimentation and improvements of this model may be used not only to gain a wider understanding of human persons but may also form a preliminary cognitive model of the reasoning process of an android.

This book aims to strengthen programming skills and foster creative thinking by presenting and solving 90 challenging problems. The book is intended for individuals with elementary, intermediate, and advanced Python programming skills who aspire to take their abilities to the next level. Additionally, the book is valuable for individuals interested in enhancing their creative thinking and logical reasoning skills. It is a self-instructional book meant to provide readers with the ability to solve challenging problems independently. The presented challenges are lucidly and succinctly expressed, facilitating readers to follow along and comprehend the problem-solving process. The challenges cover various fields, making it suitable for a wide range of individuals. The book is divided into eight chapters, beginning with an introduction in chapter one. The second chapter presents essential Python basics for programming challenging problems, while the subsequent chapters focuson specific types of challenges. These include math-based challenges in chapter three, number-based challenges in chapter four, string-based challenges in chapter five, game-based challenges in chapter six, count-based challenges in chapter seven, and miscellaneous challenges in chapter eight. Each chapter comprises a set of challenges with examples, hints, algorithms, and Python code solutions. The target audience of the book includes computer science and engineering students, teachers, software developers, and participants in programming competitions.