Matematisk datateori

This book constitutes the refereed proceedings of the 17th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2023), consisting of the 17th International Conference on Frontier of Algorithmic Wisdom (FAW) and the 4th International Joint Conference on Theoretical Computer Science (IJTCS), held in Macau, China, during August 14¿18, 2023.FAW started as the Frontiers of Algorithmic Workshop in 2007 at Lanzhou, China, and was held annually from 2007 to 2021 and published archival proceedings. IJTCS, the International joint theoretical Computer Science Conference, started in 2020, aimed to bring in presentations covering active topics in selected tracks in theoretical computer science. To accommodate the diversified new research directions in theoretical computer science, FAW and IJTCS joined their forces together to organize an event for information exchange of new findings and work of enduring value in the field. The 21 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: algorithmic game theory; algorithms and data structures; combinatorial optimization; and computational economics.

This textbook provides readers a comprehensive introduction to numerical methods, using MATLAB®. The authors discuss the theory and application of the most often used numerical methods, using MATLAB as a computational tool. The book is designed to be accessible to readers of varying backgrounds, so the presentation focuses more on the description, implementation, and application of the methods and less on the mathematical details. This book not only covers the most important methods and techniques of scientific computation, but also contains a great amount of code and implementations, facilitating the process of learning and application.

This book constitutes the proceedings of the 23rd International TRIZ Future Conference on Towards AI-Aided Invention and Innovation, TFC 2023, which was held in Offenburg, Germany, during September 12¿14, 2023. The event was sponsored by IFIP WG 5.4.The 43 full papers presented in this book were carefully reviewed and selected from 80 submissions. The papers are divided into the following topical sections: AI and TRIZ; sustainable development; general vision of TRIZ; TRIZ impact in society; and TRIZ case studies.

This volume LNCS-IFIP constitutes the refereed proceedings of the 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023 in Benevento, Italy, during August 28 ¿ September 1, 2023. The 18 full papers presented together were carefully reviewed and selected from 30 submissions. The conference focuses on integrative machine learning approach, considering the importance of data science and visualization for the algorithmic pipeline with a strong emphasis on privacy, data protection, safety and security.

Embark on an exhilarating journey into the realm of modern technological marvels with this comprehensive guide. Unveil the power of algorithms that can discern patterns in vast troves of data, opening doors to innovation and insight. Whether you're a tech enthusiast, a curious mind, or a seasoned programmer, "A Course in Machine Learning" invites you to demystify the enigmatic world of AI and data science.Within these pages, you'll unravel the intricacies of machine learning, guided by a seasoned expert who brings theory to life with real-world examples. Explore the algorithms that lie at the heart of self-driving cars, virtual assistants, and predictive analytics. Through hands-on exercises, sharpen your skills in creating intelligent systems that adapt and learn from experience.Dive into the realm of neural networks and deep learning, where layers of interconnected neurons mimic the human brain's astonishing capabilities. Grasp the art of feature engineering and data preprocessing to distill meaningful insights from noisy data. With step-by-step tutorials, you'll seamlessly transition from theory to practice, developing models that can decipher handwritten text, identify objects in images, and even predict future trends.Unlock the potential of unsupervised learning and reinforcement learning, letting algorithms uncover hidden patterns and optimize decision-making processes. From healthcare to finance, from entertainment to agriculture, the applications of machine learning are limitless. Gain the confidence to tackle real-world challenges and harness the power of data to transform industries and shape the future.Join the ranks of innovators who are reshaping our world through machine learning's unprecedented possibilities. Whether you're a student, a professional, or simply an inquisitive mind, "A Course in Machine Learning" equips you with the tools to unravel the complexities of AI and build a future that's driven by intelligence and imagination. Experience the thrill of discovery as you journey through these pages, guided by the wisdom of a true trailblazer in the field.

Nachdem der Autor sich in seinen Abschlussarbeiten mit Themen der Analysis befasst hatte, arbeitete er danach beruflich ausschließlich im Bereich der diskreten Mathematik: forschend im Bereich der Spezifikation und Testgenerierung für kommunizierende diskrete Systeme und lehrend in den Bereichen Petri-Netze, Logik und Theoretischer Informatik. Das bewog ihn letztlich, eine breit angelegte Übersicht über wichtige Bereiche der diskreten Mathematik zu verfassen. Es sollte ein Lehrbuch werden, wie er es sich im Studium gewünscht hätte - und hier liegt es vor. Gegenstand des Buches sind Grundlagenfächer wie Mengen, Relationen, Funktionen, Logik und Algebra, sowie diskrete Anwendungen wie Zahlen, Anzahlen, Graphen und diskrete Wahrscheinlichkeit. Damit werden etliche Grundvorlesungen für Studierende der Mathematik bzw. Informatik abgedeckt. Reizvoll sind die gelegentlich eingeflochten Hinweise auf die Grenzen des formal-mathematischen Vorgehens. Anhand von etwa 250 Übungsaufgaben werden die Leser animiert, das Gelesene aktiv umzusetzen und ihre eigenen Lösungen mit den online einsehbaren Beispiellösungen zu vergleichen. So wird das Buch zu einem wertvollen Begleiter in den ersten Semestern des Mathematik- und Informatikstudiums. Die komplett überarbeitete 2. Auflage enthält zusätzliche Definitionen und ist noch klarer strukturiert.

This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11¿13, 2023.The 9 full papers, 5 short papers and 4 Posters are included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Complexity and Database Theory, Formal Concept Analysis: Theoretical Advances, Formal Concept Analysis: Applications, Modelling and Explanation, Semantic Web and Graphs, Posters.

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests,and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.

This book constitutes the refereed post proceedings of the 16th Research Conference onMetadata and Semantic Research, MTSR 2022, held in London, UK, during November 7¿11, 2022.The 21 full papers and 4 short papers included in this book were carefully reviewed andselected from 79 submissions. They were organized in topical sections as follows: metadata, linked data, semantics and ontologies - general session, and track on Knowledge IT Artifacts (KITA), Track on digital humanities and digital curation, and track on cultural collections and applications, track on digital libraries, information retrieval, big, linked, social & open data, and metadata, linked data, semantics and ontologies - general session, track on agriculture, food & environment, and metadata, linked Data, semantics and ontologies - general, track on open repositories, research information systems & data infrastructures, and metadata, linked data, semantics andontologies - general, metadata, linked data, semantics and ontologies - general session, and track on european and national projects.

This book collects selected contributions presented at the INdAM Workshop "e;Geometric Challenges in Isogeometric Analysis"e;, held in Rome, Italy on January 27-31, 2020. It gives an overview of the forefront research on splines and their efficient use in isogeometric methods for the discretization of differential problems over complex and trimmed geometries. A variety of research topics in this context are covered, including (i) high-quality spline surfaces on complex and trimmed geometries, (ii) construction and analysis of smooth spline spaces on unstructured meshes, (iii) numerical aspects and benchmarking of isogeometric discretizations on unstructured meshes, meshing strategies and software. Given its scope, the book will be of interest to both researchers and graduate students working in the areas of approximation theory, geometric design and numerical simulation.Chapter 10 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences.The first paper in the volume provides an overview of Jifeng¿s research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng¿s recent roadmap for UTP.

This practical new book offers the distributed-computing fundamental knowledge for individuals to connect with one another in a more secure and efficient way than with traditional blockchains. These new forms of secure, scalable blockchains promise to replace centralized institutions to connect individuals without the risks of user manipulations or data extortions.The techniques taught herein consist of enhancing blockchain security and making blockchain scalable by relying on the observation that no blockchain can exist without solving the consensus problem. First, the state-of-the-art of consensus protocols are analyzed, hence motivating the need for a new family of consensus protocols offering strong (deterministic) guarantees. Second, a didactic series of classic blockchain vulnerabilities is presented to illustrate the importance of novel designs better suited for the adversarial environment of open networks.These cutting-edge solutions are illustrated through the Redbelly blockchain design, which solves a different problem from the classic Byzantine consensus problem of 1982 and which delivers-in the modern blockchain context-high performance at large scale.Topics and features:Covers the combination of security and distributed computing to devise the new generation of blockchainsShows how blockchain has shed new light on decades of research in distributed systemsProvides instruction on the security needed by the industry to use blockchains in productionExplains didactically the necessary ingredients to make blockchain efficient at large scaleHelps fill the gap of knowledge in the highly demanded blockchain sectorThis unique volume contains the building blocks to design secure and scalable blockchains. As such, it is dedicated to developers, application designers, and computer scientists and requires only a minimal undergraduate level in mathematics and computer science.Vincent Gramoli is an Australian Research Council Future Fellow at the University of Sydney and the Chief Technology Officer of Redbelly Network. He teaches the Blockchain Scalability course on Coursera.

This proceedings volume presents a selection of peer-reviewed contributions from the Second Non-Associative Algebras and Related Topics (NAART II) conference, which was held at the University of Coimbra, Portugal, from July 18¿22, 2022. The conference was held in honor of mathematician Alberto Elduque, who has made significant contributions to the study of non-associative structures such as Lie, Jordan, and Leibniz algebras. The papers in this volume are organized into four parts: Lie algebras, superalgebras, and groups; Leibniz algebras; associative and Jordan algebras; and other non-associative structures. They cover a variety of topics, including classification problems, special maps (automorphisms, derivations, etc.), constructions that relate different structures, and representation theory.One of the unique features of NAART is that it is open to all topics related to non-associative algebras, including octonion algebras, composite algebras, Banach algebras, connections with geometry, applications in coding theory, combinatorial problems, and more. This diversity allows researchers from a range of fields to find the conference subjects interesting and discover connections with their own areas, even if they are not traditionally considered non-associative algebraists. Since its inception in 2011, NAART has been committed to fostering cross-disciplinary connections in the study of non-associative structures.

This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Data Structures, WADS 2023, held during July 31-August 2, 2023. The 47 regular papers, presented in this book, were carefully reviewed and selected from a total of 92 submissions. They present original research on the theory, design and application of algorithms and data structures.

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, the subject offers beautiful results as well as significant foundational insights.This text provides a modern treatment of reverse mathematics that combines computability theoretic reductions and proofs in formal arithmetic to measure the complexity of theorems and problems from all areas of mathematics. It includes detailed introductions to techniques from computable mathematics, Weihrauch style analysis, and other parts of computability that have become integral to research in the field. Topics and features:Provides a complete introduction to reverse mathematics, including necessary background from computability theory, second order arithmetic, forcing, induction, and model constructionOffers a comprehensive treatment of the reverse mathematics of combinatorics, including Ramsey's theorem, Hindman's theorem, and many other resultsProvides central results and methods from the past two decades, appearing in book form for the first time and including preservation techniques and applications of probabilistic argumentsIncludes a large number of exercises of varying levels of difficulty, supplementing each chapterThe text will be accessible to students with a standard first year course in mathematical logic. It will also be a useful reference for researchers in reverse mathematics, computability theory, proof theory, and related areas.Damir D. Dzhafarov is an Associate Professor of Mathematics at the University of Connecticut, CT, USA. Carl Mummert is a Professor of Computer and Information Technology at Marshall University, WV, USA.

This book presents a systematic review of multidimensional normalization methods and addresses problems frequently encountered when using various methods and ways to eliminate them. The invariant properties of the linear normalization methods presented here can be used to eliminate simple problems and avoid obvious errors when choosing a normalization method. The book introduces valuable, novel techniques for the multistep normalization of multidimensional data. One of these methods involves inverting the normalized values of cost attributes into profit attributes based on the reverse sorting algorithm (ReS algorithm). Another approach presented is the IZ method, which addresses the issue of shift in normalized attribute values. Additionally, a new method for normalizing the decision matrix is proposed, called the MS method, which ensures the equalization of average values and variances of attributes.Featuring numerous illustrative examples throughout, the book helps readers to understand what difficulties can arise in multidimensional normalization, what to expect from such problems, and how to solve them. It is intended for academics and professionals in various areas of data science, computing in mathematics, and statistics, as well as decision-making and operations.

This book teaches the fundamentals and mathematical formulas of reversible transformations (or transforms) that are used in many source coding and signal processing systems. These mathematical transforms are often necessary or crucial toward reduction of data storage and transmission rate requirements. The author emphasizes the wavelet transform as it is the preferred transform for practical application in many coding and signal processing systems. The book also covers the tap (coefficient) values for some of those filters that satisfy the perfect reconstruction property. Examples of the use of filter-based and matrix-based transforms are also provided. This self-contained work contains insight gained through research and practice, which makes it a valuable reference and tutorial for readers interested in the subject of mathematical transforms.This book:Teaches the fundamentals and mathematical formulas of reversible transformations, as well as theirapplicationsHighlights the wavelet transformation, which is the preferred transform for many practical applicationsContains insight gained through research and practice, making it a valuable resource those interested in the topic

Lattice rules are a powerful and popular form of quasi-Monte Carlo rules based on multidimensional integration lattices. This book provides a comprehensive treatment of the subject with detailed explanations of the basic concepts and the current methods used in research. This comprises, for example, error analysis in reproducing kernel Hilbert spaces, fast component-by-component constructions, the curse of dimensionality and tractability, weighted integration and approximation problems, and applications of lattice rules.

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

This volume comprises the thoroughly reviewed and revised papers of the First International Conference on New Trends in Applied Mathematics, ICNTAM 2022, which took place in Béni Mellal, Morocco, 19-21 May 2022.The papers deal with the following topics: Inverse Problems, Partial Differential Equations, Mathematical Control, Numerical Analysis and Computer Science. The main interest is in recent trends on Inverse Problems analysis and real applications in Computer Science. The latter is viewed as a dynamic branch on the interface of mathematics and related fields, that has been growing rapidly over the past several decades. However, its mathematical analysis and interpretation still not well-detailed and needs much more clarifications. The main contribution of this book is to give some sufficient mathematical content with expressive results and accurate applications. As a growing field, it is gaining a lot of attention both in media as well as in the industry world,which will attract the interest of readers from different scientist discipline.

This book constitutes the refereed proceedings of the 20th Annual RECOMB Satellite Workshop on Comparative Genomics, RECOMB-CG 2023 which took place in Istanbul, Turkey, in April 2023. The 15 full papers included in this book were carefully reviewed and selected from 25 submissions. The papers present cutting edge research in comparative genomics, with an emphasis on computational approaches and novel experimental results.Chapters "Inferring Clusters of Orthologous and Paralogous Transcripts" and "Gene Order Phylogeny via Ancestral Genome Reconstruction under Dollo" are published Open Access under Creative Commons Attribution license (CC BY 4.0).