Matematik til informatikfag

This book constitutes the proceedings of the 14th International Workshop, CDMRI 2023, held in conjunction with MICCAI 2023, the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention. The conference took place in Vancouver, BC, Canada, on October 8, 2023.The 17regular papers presented in this book were carefully reviewed and selected from 19 submissions. These contributions cover various aspects, including preprocessing, signal modeling, tractography, bundle segmentation, and clinical applications. Many of these studies employ novel machine learning implementations, highlighting the evolving landscape of techniques beyond the more traditional physics-based algorithms.

This book constitutes the refereed proceedings of the 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, held in Kanazawa, Japan, during March 18¿20, 2024. The 28 full papers presented in this book, together with two extended abstracts of invited talks, were carefully reviewed and selected from 80 submissions. They cover diverse areas of algorithms and computation, that is, approximation algorithms, algorithmic graph theory and combinatorics, combinatorial algorithms, combinatorial optimization, computational biology, combinatorial reconfiguration, computational complexity, computational geometry, discrete geometry, data structures, experimental algorithm methodologies, graph algorithms, graph drawing, parallel and distributed algorithms, parameterized algorithms, parameterized complexity, network optimization, online algorithms, randomized algorithms, and string algorithms.

¿This book constitutes the proceedings of the 14th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2023, as well as the Cardiac MRI Reconstruction Challenge, CMRxRecon Challenge. There was a total of 53 submissions to the workshop. The 24 regular workshop papers included in this volume were carefully reviewed and selected from 29 paper submissions. They deal with cardiac segmentation, modelling, strain quantification, registration, statistical shape analysis, and quality control. In addition, 21 papers from the CMRxRecon challenge are included in this volume. They focus on fast CMR image reconstruction and provide a benchmark dataset that enables the broader research community to promote advances in this area of research.

This book constitutes the refereed proceedings of the 10th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2024, held in Bhilai, India during February 15¿17, 2024.The 22 full papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Algorithms and Complexity; Computational Geometry; Discrete Applied Mathematics; Graph Algorithms; Graph Theory.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19¿20, 2023.The 21 full papers included in this book were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections as follows: Hardware for High-Performance Computing and Signal Processing; Information Technologies and Computer Simulation of Physical Phenomena; Computing Technologies in Data Analysis and Decision Making; Information and Computing Technologies in Automation and Control Science; Computing Technologies in Information Security Applications.

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction. This comprehensive textbook/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place/transition nets. The presentation is fortified by means of many examples and worked exercises. Among topics addressed: ¿ In which order may actions may be generated and scheduled? ¿ What states and configurations may be reached in a concurrent system? ¿ Which interesting classes of systems can be analysed relatively efficiently? ¿ Is it possible to synthesise a system of some class from its behaviour? ¿ How can systems be represented algebraically, compositionally, and concisely? This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoretical¿as well as in practical¿aspects of Petri nets and related system models. Eike Best has been a full professor (now retired) affiliated to Carl von Ossietzky Universität Oldenburg, Germany. Raymond Devillers has been a full professor (now retired) affiliated to Université Libre de Bruxelles, Belgium. The authors have a long record as collaborators in the fields of Petri nets and the semantics of concurrency.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

Uncover the secrets of cutting-edge research in ¿Infrared Small Target Detection,¿ a crucial resource that delves into the dynamic world of infrared imaging and detection algorithms. This comprehensive book is an indispensable gem for the research community, offering a profound introduction to the theory, methods, and algorithms underlying infrared small object detection. As an invaluable guide, this book explores diverse models and categories of infrared small object detection algorithms, providing meticulous descriptions and comparisons of their strengths and limitations. Perfectly tailored for researchers, practitioners, and students with a passion for infrared imaging and detection, this book equips readers with the necessary knowledge to embark on groundbreaking investigations in this field.Readers can particularly be drawn to the book's methods, results, and topics, encompassing diverse categories of infrared small object detection algorithms and their corresponding advantages and disadvantages. The book also imparts foundational knowledge in mathematical morphology, tensor decomposition, and deep learning, enabling readers to grasp the underlying principles of these advanced algorithms. Experience the key benefits of ¿Infrared Small Target Detection¿ as readers gain a profound understanding of theory, methods, and algorithms tailored to infrared small object detection. The comprehensive descriptions and comparisons of various algorithm categories empower readers to select the perfect algorithms for their specific applications.Unlock the potential of this groundbreaking resource with a basic understanding of mathematics, statistics, and image processing. Some familiarity with infrared imaging and detection proves advantageous in fully immersing oneself in the wealth of knowledge presented within these pages.

This book presents an up-to-date perspective on randomized response techniques (RRT). It discusses the most appropriate and efficient procedures of RRT for analysing data from queries dealing with sensitive and confidential issues, including the treatment of infinite and finite population setups. The book aims to spark a renewed interest among sampling experts who may have overlooked RRT. By addressing the missing topics and incorporating a wide range of contributors' works, it seeks to foster an appreciative academic environment and inspire a reformed and amended view of RRT. As the book unfolds, readers will gain valuable insights into the evolving landscape of RRT and its applications, positioning them at the forefront of this engaging field of study.On RRT, the literature has grown immensely since its inception in 1965 by S.L. Warner. Despite several books published on the subject, there are still two crucial topics missing from the existing RRT literature. This book aimsto address these gaps and provide valuable insights to curious readers in the field. The book is mandatory reading for statisticians and biostatisticians, market researchers, operations researchers, pollsters, sociologists, political scientists, economists and advanced undergraduate and graduate students in these areas.

This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7¿8, 2023The 16 full papers included in this book are carefully reviewed and selected from 43 submissions. The topics of WAOA 2023 were algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational finance, cuts and connectivity, FPT-approximation algorithms, geometric problems, graph algorithms, inapproximability results, mechanism design, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, resource augmentation, and scheduling problems

This book includes extended and revised versions of selected papers from the 11th and 12th editions of the International Conference on Operations Research and Enterprise Systems (ICORES 2022 and ICORES 2023). ICORES 2022 was held as a virtual event in February 2022, and ICORES 2023 was held in Lisbon, Portugal, in February 2023. The 5 full papers included in this book were carefully reviewed and selected from the 55 submissions for ICORES 2022, and 8 full papers were reviewed and selected from the 55 submissions for ICORES 2023. The papers are focused on operations research and enterprise systems.

* Contains computer algebra worksheets or "recipes" designed using MAPLE (System 10); no prior knowledge of MAPLE is assumed* Effective computational science text for first- and second-year undergraduates in mathematics, physics, engineering, chemistry, economics, biology, and pre-medicine* Examples and problems provide basis for both self-study and on-line course

This book constitutes the proceedings of the 21st Australasian Conference on Data Science and Machine Learning, AusDM 2023, held in Auckland, New Zealand, during December 11¿13, 2023.The 20 full papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are organized in the following topical sections: research track and application track. They deal with topics around data science and machine learning in everyday life.

This book gives an intuitive and hands-on introduction to Topological Data Analysis (TDA). Covering a wide range of topics at levels of sophistication varying from elementary (matrix algebra) to esoteric (Grothendieck spectral sequence), it offers a mirror of data science aimed at a general mathematical audience. The required algebraic background is developed in detail. The first third of the book reviews several core areas of mathematics, beginning with basic linear algebra and applications to data fitting and web search algorithms, followed by quick primers on algebra and topology. The middle third introduces algebraic topology, along with applications to sensor networks and voter ranking. The last third covers key contemporary tools in TDA: persistent and multiparameter persistent homology. Also included is a user's guide to derived functors and spectral sequences (useful but somewhat technical tools which have recently found applications in TDA), and an appendix illustrating a number of software packages used in the field.  Based on a course given as part of a masters degree in statistics, the book is appropriate for graduate students.