Search results

A guide to using Mathematica so as to explore cellular automata within natural phenomena, such as insect colonies, bird flight paths and even DNA sequencing. Designed for physicists, life scientists, and engineers - in fact, everyone dealing with fractals - the book first introduces Mathematica before going on to provide the valuable information needed to properly motivate the code and run the simulations presented in the book. All these simulations have been tested both inside and outside the c...

This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland. The symposium, organized alternately in the Czech Republic, Slovakia, and Poland, focuses on theoretical aspects and mathematical foundations of computer science. The scientific program of the symposium consists of five invited talks given by Martin Dyer, Dexter Kozen, Giovanni Manzini, Sergio Raj...

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems...

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic proceduralism. The core of this view is the idea that, in virtue of their indispensable, regulative...

Challenges arise when the size of a group of cooperating agents is scaled to hundreds or thousands of members. In domains such as space exploration, military and disaster response, groups of this size (or larger) are required to achieve extremely complex, distributed goals. To effectively and efficiently achieve their goals, members of a group need to cohesively follow a joint course of action while remaining flexible to unforeseen developments in the environment. Coordination of Large-Scale Mul...

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.

This book analyses an inconsistency within epistemic contextualism known as the factivity problem. It also provides key insights into epistemic contextualism, an important innovation in contemporary epistemology, enabling readers to gain a better understanding of the various solutions to the factivity problem. As the authors demonstrate, each explanation is based on a different interpretation of the problem. Divided into seven chapters, the book offers comprehensive coverage of this topic, wh...

This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems. The book contains the first textbook presentation of Matijasevic's result. The central notions are provability and computability; the emphasis of the presen...

Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be r...

This book constitutes the refereed proceedings of the 10th International Conference on Principles and Practice of Constraint Programming, CP 2004, held in Toronto, Canada, in September 2004.The 46 revised full papers and 16 revised short papers presented together with extended abstracts of 4 invited talks and 31 abstracts of contributions to the doctoral students program were carefully reviewed and selected from 158 submissions. A wealth of recent research results on computing with constraints i...

Band VII der Hausdorff Edition widmet sich dem philosophischen Werk F. Hausdorffs. Der Band enthalt den Aphorismenband "Sant' Ilario. Gedanken aus der Landschaft Zarathustras", das erkenntniskritische Buch "Das Chaos in kosmischer Auslese" sowie drei bemerkenswerte Essays uber Nietzsches Werke - alle unter dem Pseudonym Paul Mongre veroeffentlicht. Die beiden Bucher werden sehr eingehend kommentiert. In einer historischen Einfuhrung des Herausgebers wird Hausdorffs philosophisches Werk in die G...

This is the most comprehensive survey of the mathematical life of the legendary Paul Erdos, one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erdos' research are covered in a single project. Because of overwhelming response from the mathematical community, the project now occupies over 900 pages, arranged into two volumes. These volumes contain both high level research articles as well as "key" articles which survey some of the cornersto...

Methods from Fuzzy Logic since the end of the 80th were the sources for remarkable applications of computer modelling in fields which before looked essentially inaccessible. The main tool for that, the fuzzy controllers - a method of rule based rough modelling using fuzzy information - is presented in this book and investigated from a mathematical point of view. The basic notions from fuzzy set theory and many-valued logic are explained in detail, and a theory of fuzzy equations and systems of t...