You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
A certain category of infinite strings of letters on a finite alphabet is presented here, chosen among the 'simplest' possible one may build, both because they are very deterministic and because they are built by simple rules (a letter is replaced by a word, a sequence is produced by iteration). These substitutive sequences have a surprisingly rich structure. The authors describe the concepts of quantity of natural interactions, with combinatorics on words, ergodic theory, linear algebra, spectral theory, geometry of tilings, theoretical computer science, diophantine approximation, trancendence, graph theory. This volume fulfils the need for a reference on the basic definitions and theorems, as well as for a state-of-the-art survey of the more difficult and unsolved problems.
contents: vol 1 : Algorithms; Computational Complexity; Distributed Computing; Natural Computing.
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000OCo2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, OC Algorithms and ComplexityOCO and OC Formal Models and SemanticsOCO, reflecting the traditional division of the field. The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science. Contents: Vol 1: Algorithms; Computational Complexity; Distributed Computing; Natural Computing; Vol 2: Formal Specification; Logic in Computer Science; Concurrency; Formal Language Theory. Readership: Upper level undergraduates, graduate students and researchers in theoretical computer science and biocomputing."
Penalising a process is to modify its distribution with a limiting procedure, thus defining a new process whose properties differ somewhat from those of the original one. We are presenting a number of examples of such penalisations in the Brownian and Bessel processes framework. The Martingale theory plays a crucial role. A general principle for penalisation emerges from these examples. In particular, it is shown in the Brownian framework that a positive sigma-finite measure takes a large class of penalisations into account.
This book could have been entitled “Analysis and Geometry.” The authors are addressing the following issue: Is it possible to perform some harmonic analysis on a set? Harmonic analysis on groups has a long tradition. Here we are given a metric set X with a (positive) Borel measure ? and we would like to construct some algorithms which in the classical setting rely on the Fourier transformation. Needless to say, the Fourier transformation does not exist on an arbitrary metric set. This endeavor is not a revolution. It is a continuation of a line of research whichwasinitiated,acenturyago,withtwofundamentalpapersthatIwould like to discuss brie?y. The ?rst paper is the doctoral dissertation of Alfred Haar, which was submitted at to University of Gottingen ̈ in July 1907. At that time it was known that the Fourier series expansion of a continuous function may diverge at a given point. Haar wanted to know if this phenomenon happens for every 2 orthonormal basis of L [0,1]. He answered this question by constructing an orthonormal basis (today known as the Haar basis) with the property that the expansion (in this basis) of any continuous function uniformly converges to that function.
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, “Algorithms and Complexity” and “Formal Models and Semantics”, reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science.
"This book presents a collection of articles that cover areas of mathematics related to dynamical systems. The authors are well-known experts who use geometric and probabilistic methods to study interesting problems in the theory of dynamical systems and its applications. Some of the articles are surveys while others are original contributions. The topics covered include: Riemannian geometry, models in mathematical physics and mathematical biology, symbolic dynamics, random and stochastic dynamics. This book can be used by graduate students and researchers in dynamical systems and its applications."--BOOK JACKET.
These lectures emphasize the relation between the problem of enumerating complicated graphs and the related large deviations questions. Such questions are closely related with the asymptotic distribution of matrices.
Integration theory deals with extended real-valued, vector-valued, or operator-valued measures and functions, but different approaches are used for each case. This book develops a general theory of integration that simultaneously deals with all three cases.
The notion of an operad supplies both a conceptual and effective device to handle a variety of algebraic structures in various situations. Operads were introduced 40 years ago in algebraic topology in order to model the structure of iterated loop spaces. Since then, operads have been used fruitfully in many fields of mathematics and physics. This monograph begins with a review of the basis of operad theory. The main purpose is to study structures of modules over operads as a new device to model functors between categories of algebras as effectively as operads model categories of algebras.