Matematisk datateori

This book constitutes the refereed proceedings of the 23rd European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2023, held as part of Evo*2023, in Brno, Czech Republic in April 2023, co-located with the Evo*2023 events: EvoMUSART, EvoApplications, and EuroGP.The 15 revised full papers presented in this book were carefully reviewed and selected from 32 submissions. They present recent theoretical and experimental advances in combinatorial optimization, evolutionary algorithms, and related research fields.

These are the proceedings of Eurocrypt 2010, the 29th in the series of Eu- pean conferences on the Theory and Application of Cryptographic Techniques. The conference was sponsored by the International Association for Cryptologic Research and held on the French Riviera, May 30¿June 3, 2010. A total of 191 papers were received of which 188 were retained as valid submissions. These were each assigned to at least three Program Committee members and a total of 606 review reports were produced. The printed record of the reviews and extensive online discussions that followed would be almost as voluminous as these proceedings. In the end 35 submissions were accepted with twosubmissionpairsbeingmergedtogive33paperspresentedattheconference. The ?nal papers in these proceedings were not subject to a second review before publication and the authors are responsible for their contents. The ProgramCommittee, listed on the next page, deservesparticular thanks for all their hard work, their outstanding expertise, and their constant c- mitment to all aspects of the evaluation process. These thanks are of course extended to the very many external reviewers who took the time to help out during the evaluation process.It was also a greatpleasure to honor and welcome Moti Yung who gave the 2010 IACR Distinguished Lecture.

in die Statistik 5., durchgesehene Auflage Bibliografische Information Der Deutschen Bibliothek Die Deutsche Bibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet uber abrufbar. Prof. Dr. rer. nat. Jurgen Lehn Geboren 1941 in Karlsruhe. Studium der Mathematik an den Universitaten Karlsruhe und Regensburg. 1968 Diplom in Karlsruhe, 1972 Promotion in Regensburg, 1978 Habilitation in Karlsruhe. 1978 Professor an der Technischen Hochschule Darmstadt. Prof. Dr. rer. nat. Helmut Wegmann Geboren 1938 in Worms. Studium der Mathematik und Physik an den Universitaten Mainz und Tubingen. Wiss. Assistent an den Universitaten Mainz und Stuttgart. 1962 Staats- amen in Mainz, 1964 Promotion in Mainz, 1969 Habilitation in Stuttgart. 1970 Professor fur Mathematik an der Technischen Hochschule Darmstadt. 1. Auflage 1985 2. Auflage 1992 3. Auflage 2000 4. Auflage 2004 5., durchgesehene Auflage Juni 2006 Alle Rechte vorbehalten (c) B.G.Teubner Verlag / GWV Fachverlage GmbH, Wiesbaden 2006 Lektorat: Ulrich Sandten / Kerstin Hoffmann Der B. G. Teubner Verlag ist ein Unternehmen von Springer Science+Business Media. www.teubner.de Das Werk einschlielich aller seiner Teile ist urheberrechtlich geschutzt. Jede Verwertung auerhalb der engen Grenzen des Urheberrech- gesetzes ist ohne Zustimmung des Verlags unzulassig und strafbar. Das gilt insbesondere fur Vervielfaltigungen, Ubersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen.

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.

This book tackles issues associated with inconsistency in pairwise comparisons from both theoretical and practical perspectives. Human judgments are seldom absolutely consistent, or absolutely precise, therefore problems of measuring and handling inconsistency belong among hot topics of the current research, especially in the theoretical framework of multiple criteria decision aiding (MCDA). The book presents and discusses the state-of-the-art of this field including both cardinal and ordinal inconsistency, the problems of different scales for comparisons and inconsistency reduction, and the alternative approaches to inconsistency detection and measurement. This book is a unique one-stop guide for readers who are interested in inconsistency in pairwise comparisons. Researchers and practitioners in the area of multiple-criteria decision-making (MCDM) and the analytic hierarchy process (AHP) will find this informative book particularly valuable.

Your government warns that 10% of your neighbors have a deadly contagious virus. The producer of a diagnostic test advertises that 90% of its tests are correct for any population. The test indicates that you have the virus. This book's author claims your test has a 50% chance of being false, given your test's result. Who do you believe? This book gives you insights necessary to interpret metrics that make a difference in life's decisions.This book gives methods and software that are essential to analyze change and error. Change describes a phenomenon across time points. Error compares diagnoses with the truth. Other texts give insufficient attention to these topics. This book's novel ideas dispel popular misconceptions and replace previous methods. The author uses carefully designed graphics and high school mathematics to communicate easily with college students and advanced scientists. Applications include but are not limited to Remote Sensing, Land Change Science, and Geographic Information Science."e;A wide range of tools to aid understanding of land cover and its change has been used but scientific progress has sometimes been limited through misuse and misunderstanding. Professor Pontius seeks to rectify this situation by providing a book to accompany the researcher's toolbox. Metrics That Make a Difference addresses basic issues of relevance to a broad community in a mathematically friendly way and should greatly enhance the ability to elicit correct information. I wish this book existed while I was a grad student."e; - Giles Foody, Professor of Geographical Information Science, The University of Nottingham"e;Metrics That Make a Difference provides a comprehensive synthesis of over two decades of work during which Dr. Pontius researched, developed, and applied these metrics. The book meticulously and successfully guides the reader through the conceptual basis, computations, and proper interpretation of the many metrics derived for different types of variables. The book is not just a mathematical treatise but includes practical guidance to good data analysis and good science. Data scientists from many fields of endeavor will benefit substantially from Dr. Pontius' articulate review of traditionally used metrics and his presentation of the innovative and novel metrics he has developed. While reading this book, I had multiple 'aha' moments about metrics that I shouldn't be using and metrics that I should be using instead."e; - Stephen Stehman, Distinguished Teaching Professor, State University of New York

This book constitutes the refereed proceedings of the 4th International Conference on Distributed Artificial Intelligence, DAI 2022, held in Tianjin, China, in December 2022. The 5 full papers presented in this book were carefully reviewed and selected from 12 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent systems, distributed learning, computational game theory, etc., to provide a single, high-profile, internationally renowned forum for research in the theory and practice of distributed AI.

This book examines the latest developments in AI-based metaheuristics algorithms with applications in information security for digital media. It highlights the importance of several security parameters, their analysis, and validations for different practical applications.

This proceedings, ICAST 2022, constitutes the refereed post-conference proceedings of the 10th International Conference on Advancement of Science and Technology, ICAST 2022, which took place in Bahir Dar, Ethiopia, in November 2022. The 17 revised full papers and one short paper were carefully reviewed and selected from 174 submissions. The papers present economic and technologic developments in modern societies related to important issues such digitization, energy transformation, impact on national economy, and its recent advancements.

This volume constitutes selected papers presented at the First International Conference on Artificial Intelligence: Theories and Applications, ICAITA 2022, held in Mascara, Algeria, in November 2022. The 23 papers were thoroughly reviewed and selected from the 66 qualified submissions. They are organized in topical sections on ¿artificial vision; and articial intelligence in big data and natural language processing.

This book provides an introduction to information theory, focussing on Shannon¿s three foundational theorems of 1948¿1949. Shannon¿s first two theorems, based on the notion of entropy in probability theory, specify the extent to which a message can be compressed for fast transmission and how to erase errors associated with poor transmission. The third theorem, using Fourier theory, ensures that a signal can be reconstructed from a sufficiently fine sampling of it. These three theorems constitute the roadmap of the book. The first chapter studies the entropy of a discrete random variable and related notions. The second chapter, on compression and error correcting, introduces the concept of coding, proves the existence of optimal codes and good codes (Shannon's first theorem), and shows how information can be transmitted in the presence of noise (Shannon's second theorem). The third chapter proves the sampling theorem (Shannon's third theorem) and looks at its connections with other results, such as the Poisson summation formula. Finally, there is a discussion of the uncertainty principle in information theory.Featuring a good supply of exercises (with solutions), and an introductory chapter covering the prerequisites, this text stems out lectures given to mathematics/computer science students at the beginning graduate level.

This textbook aims to point out the most important principles of data analysis from the mathematical point of view. Specifically, it selected these questions for exploring: Which are the principles necessary to understand the implications of an application, and which are necessary to understand the conditions for the success of methods used? Theory is presented only to the degree necessary to apply it properly, striving for the balance between excessive complexity and oversimplification. Its primary focus is on principles crucial for application success. Topics and features:Focuses on approaches supported by mathematical arguments, rather than sole computing experiencesInvestigates conditions under which numerical algorithms used in data science operate, and what performance can be expected from themConsiders key data science problems: problem formulation including optimality measure; learning and generalization in relationships to training set size and number of free parameters; and convergence of numerical algorithmsExamines original mathematical disciplines (statistics, numerical mathematics, system theory) as they are specifically relevant to a given problemAddresses the trade-off between model size and volume of data available for its identification and its consequences for model parametrizationInvestigates the mathematical principles involves with natural language processing and computer visionKeeps subject coverage intentionally compact, focusing on key issues of each topic to encourage full comprehension of the entire bookAlthough this core textbook aims directly at students of computer science and/or data science, it will be of real appeal, too, to researchers in the field who want to gain a proper understanding of the mathematical foundations ¿beyond¿ the sole computing experience.

The once esoteric idea of embedding scientific computing into a probabilistic framework, mostly along the lines of the Bayesian paradigm, has recently enjoyed wide popularity and found its way into numerous applications. This book provides an insider¿s view of how to combine two mature fields, scientific computing and Bayesian inference, into a powerful language leveraging the capabilities of both components for computational efficiency, high resolution power and uncertainty quantification ability. The impact of Bayesian scientific computing has been particularly significant in the area of computational inverse problems where the data are often scarce or of low quality, but some characteristics of the unknown solution may be available a priori. The ability to combine the flexibility of the Bayesian probabilistic framework with efficient numerical methods has contributed to the popularity of Bayesian inversion, with the prior distribution being the counterpart of classical regularization. However, the interplay between Bayesian inference and numerical analysis is much richer than providing an alternative way to regularize inverse problems, as demonstrated by the discussion of time dependent problems, iterative methods, and sparsity promoting priors in this book. The quantification of uncertainty in computed solutions and model predictions is another area where Bayesian scientific computing plays a critical role. This book demonstrates that Bayesian inference and scientific computing have much more in common than what one may expect, and gradually builds a natural interface between these two areas.

¿This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 ¿ Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28¿December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: Hybrid Approaches; Graphs and Networks; Multiagent Systems; Automated Planning and Scheduling; AI Applications; Miscellany; Natural Language Processing; and Keynote talk.

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3¿6, 2023.The 17 papers presented in this book were carefully reviewed and selected from 26 submissions.They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers.

Facilitate coding in generating geometric motives with a special focus on analyzing their geometric formulations. This book aims to teach analytical coding skills by combining arts and mathematics. Geometric patterns are quintessentially important for understanding today¿s media arts and their relationship with mathematics. With the main emphasis on this, author Selçuk Artut proposes a certain workflow to mathematically analyze a geometric pattern and use creative coding skills to render it on a computer screen. When done, you'll understand the basics of coding and expand the provided structure to cover issues of creative coding in particular. This book will also present a workflow to geometrically analyze and build patterns with detailed examples.What You Will LearnGain insight into the field of geometric patterns and its cultural valueReview dialectic creativity thattakes place between humans and computersUse code as a creative tool to use human-computer interaction to develop one's creative skillsWho This Book Is ForAny person who has an interest in using coding as a creative tool. University students from Arts, Design, Architecture, and Computer Science departments. Artists and designers who are eager to implement creative coding in their artistic production.

A converter with a single input and multiple outputs is known as a multi-output converter. The converter could be isolated or non-isolated. A non-isolated converter which uses a single common inductor for all the outputs is termed single-inductor multi-output converter. In a multi-output converter, a part of the converter circuit is common for all the outputs and a part of the circuit is exclusive to each output. This brings in cost advantages and improved power density. Fewer components also result in reduced losses. Multi-output converters have become very popular recently and many low power and portable applications widely use such converters. Since a part of the converter is common for all the outputs, achange in the load of one output affects the other outputs also. This is known as cross-regulation and the converters have to handle this apart from line and load regulation. This is what makes the topic complex and interesting and provides scope for further investigation, despite the large volume of research work already existing in this area. This thesis attempts to identify new topologies and control approaches for configuring such multi-output converters in all spheres, isolated or non-isolated, converters operating in discontinuous conduction mode or in continuous conduction mode and with uni-polar or bi-polar outputs.

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.

This book constitutes the refereed proceedings of the 8th International Conference on Modelling and Development of Intelligent Systems, MDIS 2022, held in Sibiu, Romania, during October 28¿30, 2022.The 21 papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in the following topical sections as follows: intelligent systems for decision support; machine learning; mathematical models for development of intelligent systems; and modelling and optimization of dynamic systems.