Matematisk datateori

This book introduces a simplified approach to web application development using the open-source ASP .Net Core MVC framework. Readers will learn to implement web applications using the following languages and frameworks: HTML, JavaScript, CSS, Bootstrap, C#, ASP .Net, and Entity Framework Core. In addition, this book addresses how to build a web application to create user accounts, store data in a database, manipulate data, and how to allow controlled access to certain parts of the application functionality. The author also covers both client-side and server-side development and the use of an object relational mapper to work with persistent data (using a database). Topics include: models, views, controllers, routing, entity framework core, identity, layouts, dependency injection and services, model binder, among others. This book: Introduces the development of web applications using the open-source ASP .Net Core MVC frameworkImplements web applications including HTML, JavaScript, CSS, Bootstrap, C#, ASP .Net, and Entity Framework CoreFeatures client-side development, server-side development, and object relational mapper software

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.

Machine Learning (ML) and Artificial Intelligence (AI) are two of the most popular and rapidly evolving fields in the technology industry. From self-driving cars and personalized recommendation systems to speech recognition and medical diagnosis, ML and AI are transforming the way we live and work.In this book, you'll learn about the fundamental concepts and practical applications of ML and AI. You'll discover how to build, train, and deploy intelligent systems using popular programming languages and frameworks such as Python, TensorFlow, and PyTorch.Here are some of the topics covered in the book:The basics of ML and AI, including supervised and unsupervised learning, deep learning, and neural networksData preprocessing, feature selection, and dimensionality reduction techniquesModel selection, evaluation, and optimizationComputer vision and image recognitionNatural language processing (NLP) and text analysisReinforcement learning and game theoryEthical considerations and potential biases in AI\And Much More!...Whether you're a beginner or an experienced programmer, this book will provide you with the knowledge and skills you need to start building intelligent systems with confidence.So, dive into the exciting world of ML and AI and unlock the potential of these cutting-edge technologies!

This book involves ideas/results from the topics of mathematical, information, and data sciences, in connection with the main research interests of Professor Pardo that can be summarized as Information Theory with Applications to Statistical Inference. This book is a tribute to Professor Leandro Pardo, who has chaired the Department of Statistics and OR of the Complutense University in Madrid, and he has been also President of the Spanish Society of Statistics and Operations Research.  In this way, the contributions have been structured into three parts, which often overlap to a greater or lesser extent, namely Trends in Mathematical Sciences (Part I) Trends in Information Sciences (Part II) Trends in Data Sciences (Part III) The contributions gathered in this book have offered either new developments from a theoretical and/or computational and/or applied point of view, or reviews of recent literature of outstanding developments. They have been applied through nice examples in climatology, chemistry, economics, engineering, geology, health sciences, physics, pandemics, and socioeconomic indicators. Consequently, the intended audience of this book is mainly statisticians, mathematicians, computer scientists, and so on, but users of these disciplines as well as experts in the involved applications may certainly find this book a very interesting read.

¿Dieses kompakte essential vermittelt die mathematischen Grundlagen des RSA-Verfahrens. Es stellt dafür ¿ bewusst beispielorientiert statt beweisvollständig ¿ zunächst die algebraischen Grundlagen sowie den (erweiterten) euklidischen Algorithmus und schließlich natürlich das RSA-Verfahren selbst dar. Außerdem wird eine kurze Einordnung des Verfahrens in die Welt der Kryptographie gegeben und seine Risiken dargestellt.

"Saubere Software Architektur" ist ein umfassendes und praxisorientiertes Buch, das Ihnen das fundierte Wissen und die praktischen Fähigkeiten vermittelt, um hochwertige und gut strukturierte Softwarearchitekturen zu entwerfen. In der heutigen digitalen Landschaft ist die Softwarearchitektur von entscheidender Bedeutung für den Erfolg von Projekten. Eine solide Architektur ermöglicht es, komplexe Anwendungen zu entwickeln, die flexibel, erweiterbar und einfach zu warten sind. Dieses Buch führt Sie durch alle Aspekte der Softwarearchitektur, von den grundlegenden Konzepten bis hin zu fortgeschrittenen Themen.Das Buch beginnt mit einer Einführung in die Grundlagen der Softwarearchitektur, in der Sie die wichtigsten Begriffe und Prinzipien kennenlernen. Sie erfahren, wie Sie die Anforderungen analysieren und eine geeignete Architekturstruktur entwerfen. Sie lernen verschiedene Architekturstile und -muster kennen, die Ihnen helfen, die Komplexität zu beherrschen und robuste Architekturen zu schaffen. Sie werden mit bewährten Designprinzipien vertraut gemacht, die Ihnen dabei helfen, die Wartbarkeit, Skalierbarkeit und Sicherheit Ihrer Anwendungen zu verbessern.Ein wichtiger Teil des Buches behandelt die Integration moderner Technologien und Trends wie das Internet der Dinge, Cloud Computing und mobile Anwendungen. Sie lernen, wie Sie diese Technologien in Ihre Architektur einbinden und die Herausforderungen der Skalierbarkeit, Verfügbarkeit und Sicherheit meistern.Darüber hinaus werden Ihnen bewährte Praktiken wie Testen, Continuous Integration und Deployment (CI/CD) sowie DevOps vorgestellt. Sie erfahren, wie Sie die Qualität Ihrer Software mit automatisierten Tests und effizienten Entwicklungsprozessen sicherstellen können.Das Buch legt besonderen Wert auf eine praxisnahe Herangehensweise. Neben theoretischen Konzepten finden Sie Best Practices und Tipps aus der realen Welt, um das Gelernte direkt umzusetzen. Außerdem werden Werkzeuge und Frameworks vorgestellt, die Ihnen bei der Umsetzung Ihrer Architektur unterstützen."Saubere Software Architektur" richtet sich sowohl an angehende Softwarearchitekten als auch an erfahrene Entwicklerinnen und Entwickler, die ihr Architekturwissen erweitern und ihre Fähigkeiten verbessern möchten. Es ist ein unverzichtbarer Leitfaden für alle, die hochwertige und nachhaltige Softwarelösungen entwickeln möchten.

An objective, dynamic and physically justified concept of information is elaborated starting from Shannon's concept of entropy and applied to information technology, artificial intelligence (consciousness) and thermodynamics. The justification of an information conservation theorem acquires practical significance in information technology, especially as it moves into the quantum realm (photonics/quantum computing). The unconditional dynamics of information and its objectivity are critically examined and are the foundations of the considerations.We live in the information age, but the concept of information is still not defined objectively and physically. This book defines a dynamic concept of information that results in a conservation of information principle. Just as the principle of conservation of energy is essential to understanding energy, the principle of conservation of information leads to a deeper understanding of information.Information is strongly related to entropy, always in motion, cannot disappear, and is independent of subjects.

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer¿s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future.After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language¿s range.

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.

Machine learning heavily relies on optimization algorithms to solve its learning models. Constrained problems constitute a major type of optimization problem, and the alternating direction method of multipliers (ADMM) is a commonly used algorithm to solve constrained problems, especially linearly constrained ones. Written by experts in machine learning and optimization, this is the first book providing a state-of-the-art review on ADMM under various scenarios, including deterministic and convex optimization, nonconvex optimization, stochastic optimization, and distributed optimization. Offering a rich blend of ideas, theories and proofs, the book is up-to-date and self-contained. It is an excellent reference book for users who are seeking a relatively universal algorithm for constrained problems. Graduate students or researchers can read it to grasp the frontiers of ADMM in machine learning in a short period of time.

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

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.

A broad range of phenomena in science and technology can be described by non-linear partial differential equations characterized by systems of conservation laws with source terms. Well known examples are hyperbolic systems with source terms, kinetic equations, and convection-reaction-diffusion equations. This book collects research advances in numerical methods for hyperbolic balance laws and kinetic equations together with related modelling aspects. All the contributions are based on the talks of the speakers of the Young Researchers¿ Conference ¿Numerical Aspects of Hyperbolic Balance Laws and Related Problems¿, hosted at the University of Verona, Italy, in December 2021.

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.

Dieses Buch bietet dem Leser einen einfachen Einstieg in das Quantencomputing sowie in den Entwurf entsprechender Geräte. Die Autoren behandeln verschiedene Entwurfsaufgaben, die für das Quantencomputing wichtig sind, und stellen entsprechende Lösungen vor. Eine Besonderheit des Buches ist, dass diese Aufgaben und Lösungen explizit aus der Perspektive der Entwurfsautomatisierung diskutiert werden, d.h. unter Verwendung von cleveren Algorithmen und Datenstrukturen, die von der Entwurfsautomatisierungs-Community für konventionelle Logik (d.h. für elektronische Geräte und Systeme) entwickelt worden sind und nun für diese neue Technologie angewendet werden. Auf diese Weise können relevante Entwurfsaufgaben wesentlich effizienter als bisher durchgeführt werden, was zu Verbesserungen um mehrere Größenordnungen führt (in Bezug auf die Laufzeit und andere Entwurfsziele). Beschreibt den aktuellen Stand der Technik für den Entwurf von Quantenschaltungen, für deren Simulation und für deren Abbildung auf reale Hardware; Bietet eine erste umfassende Einführung in die Entwurfsautomatisierung für Quantencomputer, die sich mit praxisrelevanten Aufgabenstellungen befasst; Es richtet sich sowohl an die Quantencomputer-Gemeinschaft als auch an die Gemeinschaft der Entwurfsautomatisierung und zeigt, welche beeindruckenden Verbesserungen möglich sind, wenn man das Wissen beider Gemeinschaften kombiniert.

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 explains the evolution of techniques and strategies in quantum computing, discussing the digital transition towards the quantum computing application in various sectors. The book provides a comprehensive insight into the quantum mechanics and quantum computing techniques and tools and how they have evolved and the impacted in supporting and flourishing business during the quantum computing era. This book includes chapters that discuss the most primitive quantum schemes to the most recent use of Internet, finance and radar technology, thus leveraging greater use of new technologies like security and Internet and others. The content is relevant for an audience that is involved in the research and development of advanced quantum systems. It gives the industry, researchers, and students interested in learning the various quantum computing sectors with the necessary information and tools that can be used to research, design and develop advanced quantum computing systems and techniques.

This book constitutes the refereed proceedings of the International Conference on Computers and Games, CG 2022, held virtually, during November 22¿24, 2022.The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: ¿classic games, multi-player and multi-action games, solving games, measuring games, decision making in games and puzzles.

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 constitutes the refereed proceedings of the 6th International Conference on Optimization and Learning, OLA 2023, held in Malaga, Spain, during May 3¿5, 2023. The 32 full papers included in this book were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: advanced optimization; learning; learning methods to enhance optimization tools; optimization applied to learning methods; and real-world applications.

This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.The 6 full papers included in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Cloud-Based Urban Mobility Services; New Results in Priority-Based Bin Packing; More Sparking Soundex-based Privacy-Preserving Record Linkage and Privacy Preserving Queries of Shortest Path Distances.

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.