Matematik til informatikfag

This book constitutes the refereed proceedings of the 22nd International TRIZ Future Conference on Automated Invention for Smart Industries, TFC 2022, which took place in Warsaw, Poland, in September 2022; the event was sponsored by IFIP WG 5.4.The 39 full papers presented were carefully reviewed and selected from 43 submissions. They are organized in the following thematic sections: New perspectives of TRIZ; AI in systematic innovation; systematic innovations supporting IT and AI; TRIZ applications; TRIZ education and ecosystem.

This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023. The 33 full papers presented in this volume were carefully reviewed and selected from a total of 116 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from graph theory can be applied to various areas in computer science, or by extracting new graph theoretic problems from applications.

This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023. The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker.

This proceedings volume gathers selected, revised papers presented at the 51st Southeastern International Conference on Combinatorics, Graph Theory and Computing (SEICCGTC 2020), held at Florida Atlantic University in Boca Raton, USA, on March 9-13, 2020. The SEICCGTC is broadly considered to be a trendsetter for other conferences around the world - many of the ideas and themes first discussed at it have subsequently been explored at other conferences and symposia.The conference has been held annually since 1970, in Baton Rouge, Louisiana and Boca Raton, Florida. Over the years, it has grown to become the major annual conference in its fields, and plays a major role in disseminating results and in fostering collaborative work.This volume is intended for the community of pure and applied mathematicians, in academia, industry and government, working in combinatorics and graph theory, as well as related areas of computer science and the interactions among these fields.

This book constitutes the refereed proceedings of the 46th German Conference on Artificial Intelligence, KI 2023, which took place in Berlin, Germany, in September 2023.The 14 full and 5 short papers presented were carefully reviewed and selected from 78 submissions. The papers deal with research on theory and applications across all methods and topic areas of AI research.

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 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 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 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 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).

The theory developed for  4-additive codes is the starting point for much generalization about codes over mixed alphabets. They have opened a new, emergent area of research.  The techniques used for  4-linear codes are being generalized and applied to more general codes.  By example, these codes have contributed to the classification of many nonlinear codes. Moreover, they can be considered as the starting point of many different generalizations given over mixed alphabets, thereby representing a useful area of research.  Since 2010, more than 30 papers have been published about the codes considered in the book, which includes important classes of binary codes (1-perfect, Hadamard, etc.) that are not linear in general. For example, much recent research has shown the application of the techniques described for the family of cyclic  4-linear codes.   Topics and Features:Examines everything from the basic definitions to very advanced results                             Provides numerous examples, succinctly and comprehensively gathering and using the relevant information                                                                                                         Includes examples using commands from a new Magma package, developed mostly by the same authors                                                                                                          Proposes algorithms, for instance to describe coding and decoding strategiesThis unique volume will be eminently suitable for researchers working on coding theory over rings, especially over mixed alphabets. Experts will find commands and algorithms that will be useful in the generalization to codes over mixed alphabets. Additionally, by outlining the basic theory of codes over mixed alphabets and providing numerous examples, the book will be useful to researchers wanting to be introduced to the topic.The authors are all affiliated with the Dept. of Information and Communications Engineering at the Universitat Autonoma de Barcelona, Spain. Joaquim Borges and Cristina Fernandez-Cordoba are Associate Professors, Jaume Pujol is a now retired Associate Professor, Josep Rifa is Professor Emeritus, and Merce Villanueva is Associate Professor.

This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023.The 13 full papers presented in this volume were carefully reviewed and selected from 19 submissions. The International Conference on Formal Concept Analysis serves as a platform for researchers from FCA and related disciplines to showcase and exchange their research findings. The papers are organized in two topical sections, first "Theory" and second "Applications and Visualization".

This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.The 18 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: image analysis and method; network model and function analysis of mobile network; system security estimation and analysis of data network; and AI-based system model and algorithm.

This book discusses Artificial Neural Networks (ANN) and their ability to predict outcomes using deep and shallow learning principles. The author first describes ANN implementation, consisting of at least three layers that must be established together with cells, one of which is input, the other is output, and the third is a hidden (intermediate) layer. For this, the author states, it is necessary to develop an architecture that will not model mathematical rules but only the action and response variables that control the event and the reactions that may occur within it. The book explains the reasons and necessity of each ANN model, considering the similarity to the previous methods and the philosophical - logical rules.

This volume constitutes the proceedings of the 9th International Conference on Variable Neighborhood Search, ICVNS 2023, held in Abu Dhabi, United Arab Emirates, in October 2022.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers describe recent advances in methods and applications of variable neighborhood search.

Im Studienalltag ist oft die Mathematik von den Inhalten der Informatik durch separate Vorlesungen abgegrenzt. Dadurch wird es schwierig einzusehen, warum im Informatik-Studium so viel Mathematik unterrichtet wird. In diesem Buch werden daher Fragestellungen der Informatik in den Mittelpunkt gestellt, für die dann die benötigte Mathematik entwickelt wird.Da das Buch als Einführung geschrieben ist, genügen elementare Schulkenntnisse in Mathematik. Bruchrechnung oder das Umstellen von Gleichungen setzen wir aber als bekannt voraus. Sie sollten auch schon ein wenig programmiert haben, um die (einfachen) Programmbeispiele unmittelbar zu verstehen. Da viele Querbezüge zur Informatik dargestellt werden, eignet sich das Buch insbesondere auch zum Auffrischen der Mathematikkenntnisse - z. B. nach einer Pause zwischen Bachelor- und Master-Studium.Bei der Stoffauswahl haben wir uns an den Kernfächern der Informatik orientiert: Logik und Rechnen mit Bits, Relationen und endlicheAutomaten, Graphen und Graphenalgorithmen, Zahlen und ihre Darstellung im Computer, Primzahlen und Verschlüsselung, Differenzial- und Integralrechnung in Verbindung mit Aufwandsabschätzungen, Lineare Algebra und Codes.Wir möchten mit dem Buch auch die Grundlage dafür legen, dass Sie sich weitere Themen der Mathematik aneignen können, wenn Sie diese bei der Anwendung der Informatik für andere Disziplinen benötigen.Die zweite Auflage ist um Lösungen der Aufgaben ergänzt und enthält weitere Inhalte wie Nullstellenberechnung und beschreibende Statistik mit Beispielen aus der Informatik.

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length.

This book constitutes the proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, held in Nice, France, during May 29¿June 1, 2023. The 26 full papers and the 6 short papers presented in this book were carefully reviewed and selected from a total of 71 submissions. The content of the papers present new techniques or new applications, and provide an opportunity for researchers in one area to learn about techniques in the others. Besides they give researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.

This book focuses on recent advances, approaches, theories, and applications related Hidden Markov Models (HMMs). In particular, the book presents recent inference frameworks and applications that consider HMMs. The authors discuss challenging problems that exist when considering HMMs for a specific task or application, such as estimation or selection, etc. The goal of this volume is to summarize the recent advances and modern approaches related to these problems. The book also reports advances on classic but difficult problems in HMMs such as inference and feature selection and describes real-world applications of HMMs from several domains. The book pertains to researchers and graduate students, who will gain a clear view of recent developments related to HMMs and their applications.

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.