Matematisk datateori

This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Politécnica de Madrid (UPM).He has published more than 300 scientific publications, given numerous keynotes and invited talks at major conferences, coordinated many national and international projects, and served the community in major conference roles, on journal boards, and on funding, scientific, and research committees. Among his awards are the Julio Rey Pastor prize in Mathematics and Information Science and Technologyand the Aritmel prize in Computer Science; he is an elected member of the Academia Europaea; and in 2022 he was elected a Fellow of the ACM for contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute.Throughout his career, Manuel has been at the forefront of the fields of logic programming, constraint programming, parallel programming, program analysis, program transformation, and programming environment design. The contributions in this volume reflect the quality and the scope of his personal and collaborative successes.

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Computers are essential for the functioning of our society. Despite the incredible power of existing computers, computing technology is progressing beyond today's conventional models. Quantum Computing (QC) is surfacing as a promising disruptive technology. QC is built on the principles of quantum mechanics. QC can run algorithms that are not trivial to run on digital computers. QC systems are being developed for the discovery of new materials and drugs and improved methods for encoding information for secure communication over the Internet. Unprecedented new uses for this technology are bound to emerge from ongoing research.The development of conventional digital computing technology for the arts and humanities has been progressing in tandem with the evolution of computers since the 1950s. Today, computers are absolutely essential for the arts and humanities. Therefore, future developments in QC are most likely to impact on the way in which artists will create and perform, and how research in the humanities will be conducted.This book presents a comprehensive collection of chapters by pioneers of emerging interdisciplinary research at the crossroads of quantum computing, and the arts and humanities, from philosophy and social sciences to visual arts and music.Prof. Eduardo Reck Miranda is a composer and a professor in Computer Music at Plymouth University, UK, where he is a director of the Interdisciplinary Centre for Computer Music Research (ICCMR). His previous publications include the Springer titles Handbook of Artificial Intelligence for Music, Guide to Unconventional Computing for Music, Guide to Brain-Computer Music Interfacing and Guide to Computing for Expressive Music Performance.

This book features a unique selection of works presented at the 2019 annual international conference of the International Association for Computing and Philosophy (IACAP). Every contribution has been peer-reviewed, revised, and extended. The included chapters are thematically diverse; topics include epistemology, dynamic epistemic logic, topology, philosophy of science and computation, game theory and abductive inferences, automated reasoning and mathematical proofs, computer simulations, scientific modelling, applied ethics, pedagogy, human-robot interactions, and big data, algorithms, and artificial intelligence.The volume is a testament to the value of interdisciplinary approaches to the computational and informational turn. We live in a time of tremendous development, which requires rigorous reflection on the philosophical nature of these technologies and how they are changing the world. How can we understand these technologies? How do these technologies change our understanding of the world? And how do these technologies affect our place as humans in the world? These questions, and more, are addressed in this volume which is of interest to philosophers, engineers, and computer scientists alike.

This book constitutes the proceedings of the 9th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2023, which took place in Santa Margherita di Pula, Italy, in May 2023. The 57 papers presented in this volume were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: Inverse Problems in Imaging; Machine and Deep Learning in Imaging; Optimization for Imaging: Theory and Methods; Scale Space, PDEs, Flow, Motion and Registration.

This book constitutes the refereed proceedings of the 25th International Conference on Distributed Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 2022.The 27 full papers and 2 short papers included in this book were carefully reviewed and selected from 130 submissions. They were organized in topical sections as follows: Distributed Systems Applications, Computer and Communication Networks, Analytical Modeling of Distributed Systems.

This book constitutes the refereed proceedings of the 16th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2022, held in Gaeta, Italy, during September 14¿16, 2022. The 21 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: answer set programming; networks and complex systems, metaheuristics, robotics, and machine learningChapters 7, 8, and 9 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Ihr Unternehmen hat sich für KI entschieden. Glückwunsch, was nun? Dieses praktische Buch bietet einen ganzheitlichen Plan für die Implementierung von KI aus der Perspektive der IT und des IT-Betriebs im Unternehmen. Sie erfahren etwas über die Fähigkeiten, das Potenzial, die Grenzen und die Herausforderungen von KI. In diesem Buch erfahren Sie, welche Rolle KI im Kontext etablierter Bereiche wie Design Thinking und DevOps, Governance und Change Management, Blockchain und Quantum Computing spielt, und diskutieren die Konvergenz von KI in diesen Schlüsselbereichen des Unternehmens.Deploying AI in the Enterprise bietet Anleitungen und Methoden zur effektiven Bereitstellung und Operationalisierung nachhaltiger KI-Lösungen. Sie lernen die Herausforderungen bei der Implementierung kennen, wie z. B. Probleme bei der KI-Operationalisierung und Hindernisse bei der Umsetzung von Erkenntnissen in umsetzbare Prognosen. Sie werden auch lernen, wie Sie die Schlüsselkomponenten der KI-Informationsarchitektur erkennen und welche Rolle sie für eine erfolgreiche und nachhaltige KI-Implementierung spielt. Und Sie werden verstehen, wie Sie KI effektiv einsetzen können, um die Nutzung von Kerninformationen in Master Data Management (MDM)-Lösungen zu verbessern.Was Sie lernen werdenVerstehen der wichtigsten KI-Konzepte, einschließlich maschinelles Lernen und Deep LearningBefolgen von Best Practices und Methoden zur erfolgreichen Bereitstellung und Operationalisierung von KI-LösungenErkennen der kritischen Komponenten der KI-Informationsarchitektur und der Bedeutung eines PlansIntegration von KI in bestehende Initiativen innerhalb einer OrganisationErkennen der aktuellen Grenzen von KI und wie sich dies auf Ihr Unternehmen auswirken könnteBewusstsein für wichtige und aktuelle KI-Forschung schaffenIhre Denkweise anpassen, um KI von einem ganzheitlichen Standpunkt aus zu betrachtenMachen Sie sich mit den Möglichkeiten von KI in verschiedenen Branchen vertraut.Für wen ist dieses Buch gedacht?IT-Profis, Datenwissenschaftler und Architekten, die sich mit den Herausforderungen bei der Implementierung und dem Betrieb von KI auseinandersetzen müssen und einen umfassenden Überblick darüber benötigen, wie sich KI auf andere geschäftskritische Bereiche auswirkt. Es ist keine Einführung, sondern richtet sich an Leser, die nach Beispielen für die Nutzung von Daten suchen, um daraus verwertbare Erkenntnisse und Vorhersagen abzuleiten, und die die aktuellen Risiken und Grenzen von KI verstehen und berücksichtigen müssen und wissen wollen, was dies in einem branchenrelevanten Kontext bedeutet.

This book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23¿26, 2023.The 12 Papers presented in this volume were carefully reviewed and selected from 21 submissions. The aim of the workshop was understanding of graphs that arise from the Web and various user activities on the Web, and stimulate the development of high-performance algorithms and applications that exploit these graphs.

This book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13¿16, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.

Große Datenmengen lassen sich ohne den Einsatz von einschlägigen Softwareprodukten kaum bearbeiten. Mit den bereitgestellten Algorithmen können Daten statistisch ausgewertet und Optimierungsaufgaben oder kombinatorische Problemstellungen gelöst werden. Auch wenn dies zumeist im ¿Black Box¿-Verfahren geschieht, ist es doch hilfreich, etwa bei der Auswahl der Algorithmen oder bei der Einschätzung der erforderlichen Zeit-Ressourcen, die hinter den Algorithmen steckenden mathematischen Ideen zu kennen.Das Buch lädt Biologen und Mediziner ein, sich mit den mathematischen Grundlagen von ausgewählten Algorithmen der Bioinformatik vertraut zu machen. Es ist eine Einführung mit vielen durchgerechneten Beispielen und zahlreichen Aufgaben mit ausführlichen Lösungen zum Einüben der mathematischen Inhalte. Inhaltliche Schwerpunkte sind Matrizen, lineare Gleichungssysteme, Rekursionen, Abzähltechniken, diskrete dynamische Optimierung, Markov-Ketten, Hidden Markov-Modelle und distanzbasierte Klassifikationsverfahren.

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This book discusses multi-agent technologies (MATs) and machine learning (ML). These tools can be integrated and applied in industry, commerce, energy, medicine, psychology, and other areas. This volume consists of six chapters in three sections that discuss the integration, applications, and advanced results of MATs and ML.

This book discusses the recent research work on designing efficient fault-tolerant synchronization mechanisms for concurrent processes using the relatively new persistent memory technology that combines the low latency benefits of DRAM with the persistence of magnetic disks. The authors include all of the major contributions published to date, and also convey some perspective regarding how the problem itself is evolving. The results are described at a high level to enable readers to gain a quick and thorough understanding of the RME problem and its nuances, as well as various solutions that have been designed to solve the problem under a variety of important conditions and how they compare to each other.

This book analyzes the generation of the arrow-categories of a given category, which is a foundational and distinguishable Category Theory phenomena, in analogy to the foundational role of sets in the traditional set-based Mathematics, for defi nition of natural numbers as well. This inductive transformation of a category into the infinite hierarchy of the arrowcategories is extended to the functors and natural transformations. The author considers invariant categorial properties (the symmetries) under such inductive transformations. The book focuses in particular on Global symmetry (invariance of adjunctions) and Internal symmetries between arrows and objects in a category (in analogy to Field Theories like Quantum Mechanics and General Relativity). The second part of the book is dedicated to more advanced applications of Internal symmetry to Computer Science: for Intuitionistic Logic, Untyped Lambda Calculus with Fixpoint Operators, Labeled Transition Systems in Process Algebras and Modal logics as well as Data Integration Theory.

This book is intended for a first-semester course in calculus, which begins by posing a question: how do we model an epidemic mathematically? The authors use this question as a natural motivation for the study of calculus and as a context through which central calculus notions can be understood intuitively. The book¿s approach to calculus is contextual and based on the principle that calculus is motivated and elucidated by its relevance to the modeling of various natural phenomena. The authors also approach calculus from a computational perspective, explaining that many natural phenomena require analysis through computer methods. As such, the book also explores some basic programming notions and skills.

Dieses Lehrbuch bietet eine kompakte Einführung in die Grundlagen der Graphentheorie und die Methoden der Netzwerkanalyse. Zahlreiche praktische Beispiele und Übungsaufgaben mit Lösungsvorschlägen helfen Leser:innen dabei, die theoretischen Konzepte besser zu verstehen und anzuwenden. Dabei werden unterschiedliche Technologien und Programmiersprachen verwendet, um ein breites Spektrum an Anwendungen abzudecken. Darüber hinaus beleuchten spezielle Kapitel die Methodik mit Blick auf die Planung und Durchführung eigener Netzwerkanalyseprojekte sowie ethische und datenschutzrechtliche Aspekte. So liefert das Buch nicht nur einen theoretischen Überblick, sondern auch praktische Tipps und Anleitungen für die Untersuchung eigener netzwerkanalytischer Fragestellungen. Dieses Buch eignet sich nicht nur als Nachschlagewerk für Studierende und Dozierende vielfältiger Fachdisziplinen mit curricularem Bezug zum Thema, sondern auch als Ergänzung des Repertoires von Praktiker:innen im Bereich Data Science mit Interesse an der Untersuchung von Netzwerken. Ob als theoretischer Einstieg oder als praktischer Ratgeber - dieses Buch leistet einen Beitrag für die Untersuchung und Analyse von Netzwerken und bietet eine Grundlage für weiterführende Studien und Projekte.

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a ¿mathematical model checker¿ by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.

This book constitutes the refereed proceedings of the 25th International Conference on Applications of Evolutionary Computation, EvoApplications 2023, held as part of Evo*2023, in April 2023, co-located with the Evo*2023 events EuroGP, EvoCOP, and EvoMUSART. The EuroGP focused on the technique of genetic programming, EvoCOP targeted evolutionary computation in combinatorial optimization, and EvoMUSART was dedicated to evolved and bio-inspired music, sound, art, and design.The EvoApplications 2023 presents papers on the different areas: Analysis of Evolutionary Computation Methods: Theory, Empirics, and Real-World Applications, Applications of Bio-inspired Techniques on Social Networks, Evolutionary Computation in Edge, Fog, and Cloud Computing, Evolutionary Computation in Image Analysis, Signal Processing, and Pattern Recognition and others.

This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2022, which took place in Sendai, Japan, during December 7-9, 2022.The 24 full papers and 16 short papers included in this volume were carefully reviewed and selected from 95 submissions. The papers are categorized into the following topical sub-headings: Heterogeneous System (1; HPC & AI; Embedded systems & Communication; Blockchain; Deep Learning; Quantum Computing & Programming Language; Best Papers; Heterogeneous System (2); Equivalence Checking & Model checking; Interconnect; Optimization (1); Optimization (2); Privacy; and Workflow.

This book presents a selection of peer-reviewed contributions on the latest developments in time series analysis and forecasting, presented at the 7th International Conference on Time Series and Forecasting, ITISE 2021, held in Gran Canaria, Spain, July 19-21, 2021. It is divided into four parts. The first part addresses general modern methods and theoretical aspects of time series analysis and forecasting, while the remaining three parts focus on forecasting methods in econometrics, time series forecasting and prediction, and numerous other real-world applications. Covering a broad range of topics, the book will give readers a modern perspective on the subject.The ITISE conference series provides a forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the foundations, theory, models and applications of time series analysis and forecasting. It focuses on interdisciplinary research encompassing computer science, mathematics,statistics and econometrics.

The adoption of multilayer analysis techniques is rapidly expanding across all areas of knowledge, from social sciences (the first facing the complexity of such structures, decades ago) to computer science, from biology to engineering. However, until now, no book has dealt exclusively with the analysis and visualization of multilayer networks. Multilayer Networks: Analysis and Visualization provides a guided introduction to one of the most complete computational frameworks, named muxViz, with introductory information about the underlying theoretical aspects and a focus on the analytical side. Dozens of analytical scripts and examples to use the muxViz library in practice, by means of the Graphical User Interface or by means of the R scripting language, are provided. In addition to researchers in the field of network science, as well as practitioners interested in network visualization and analysis, this book will appeal to researchers without strong technical or computer science background who want to learn how to use muxViz software, such as researchers from humanities, social science and biology: audiences which are targeted by case studies included in the book. Other interdisciplinary audiences include computer science, physics, neuroscience, genetics, urban transport and engineering, digital humanities, social and computational social science.Readers will learn how to use, in a very practical way (i.e., without focusing on theoretical aspects), the algorithms developed by the community and implemented in the free and open-source software muxViz. The data used in the book is available on a dedicated (open and free) site.

This book constitutes the refereed proceedings of the 12th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2023, held as part of Evo* 2023, in April 2023, co-located with the Evo* 2023 events, EvoCOP, EvoApplications, and EuroGP.The 20 full papers and 7 short papers presented in this book were carefully reviewed and selected from 55 submissions. They cover a wide range of topics and application areas of artificial intelligence, including generative approaches to music and visual art, deep learning, and architecture.