Cellular Automata and Groups

Author: Tullio Ceccherini-Silberstein,Michel Coornaert

Publisher: Springer Science & Business Media

ISBN: 9783642140341

Category: Computers

Page: 440

View: 4814

DOWNLOAD NOW »
Cellular automata were introduced in the first half of the last century by John von Neumann who used them as theoretical models for self-reproducing machines. The authors present a self-contained exposition of the theory of cellular automata on groups and explore its deep connections with recent developments in geometric group theory, symbolic dynamics, and other branches of mathematics and theoretical computer science. The topics treated include in particular the Garden of Eden theorem for amenable groups, and the Gromov-Weiss surjunctivity theorem as well as the solution of the Kaplansky conjecture on the stable finiteness of group rings for sofic groups. The volume is entirely self-contained, with 10 appendices and more than 300 exercises, and appeals to a large audience including specialists as well as newcomers in the field. It provides a comprehensive account of recent progress in the theory of cellular automata based on the interplay between amenability, geometric and combinatorial group theory, symbolic dynamics and the algebraic theory of group rings which are treated here for the first time in book form.

Cellular Automata and Discrete Complex Systems

23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

Author: Alberto Dennunzio,Enrico Formenti,Luca Manzoni,Antonio E. Porreca

Publisher: Springer

ISBN: 3319586319

Category: Computers

Page: 201

View: 1490

DOWNLOAD NOW »
This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017. The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature research on correlated models of automata. The topics include aspects and features of such models: dynamics; topological, ergodic, and algebraic aspects; algorithmic and complexity issues; emergent properties; formal languages; symbolic dynamics; tilings; models of parallelism and distributed systems; timing schemes; synchronous versus asynchronous models; phenomenological descriptions; scientific modelling; practical applications.

Cellular Automata and Discrete Complex Systems

22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Author: Matthew Cook,Turlough Neary

Publisher: Springer

ISBN: 3319393006

Category: Computers

Page: 199

View: 9291

DOWNLOAD NOW »
This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5International Workshop on Cellular Automata and Discrete ComplexSystems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016. This volume contains 3 invited talks in full-paper length and 12 regularpapers, which were carefully reviewed and selected from a total of 23submissions. The papers feature research on all fundamental aspects of cellular automata and related discrete complex systems and deal with the following topics: dynamical, topological, ergodic and algebraic aspects; algorithmic and complexity issues; emergent properties; formal language processing; symbolic dynamics; models of parallelism and distributed systems; timing schemes; phenomenological descriptions; scientific modeling; and practical applications.

Cellular Automata and Discrete Complex Systems

21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

Author: Jarkko Kari

Publisher: Springer

ISBN: 366247221X

Category: Computers

Page: 263

View: 5497

DOWNLOAD NOW »
This volume constitutes the thoroughly refereed proceedings of the 21st International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2015, held in Turku, Finland, in June 2015. This volume contains 4 invited talks in full-paper length and 15 regular papers, which were carefully reviewed and selected from a total of 33 submissions. Topics of interest include, the following aspects and features of such systems: dynamical, topological, ergodic and algebraic aspects; algorithmic and complexity issues; emergent properties; formal language processing aspects; symbolic dynamics; models of parallelism and distributed systems; timing schemes; phenomenological descriptions; scientific modeling; and practical applications.

Trends in Harmonic Analysis

Author: Massimo A. Picardello

Publisher: Springer Science & Business Media

ISBN: 8847028531

Category: Mathematics

Page: 448

View: 3547

DOWNLOAD NOW »
This book illustrates the wide range of research subjects developed by the Italian research group in harmonic analysis, originally started by Alessandro Figà-Talamanca, to whom it is dedicated in the occasion of his retirement. In particular, it outlines some of the impressive ramifications of the mathematical developments that began when Figà-Talamanca brought the study of harmonic analysis to Italy; the research group that he nurtured has now expanded to cover many areas. Therefore the book is addressed not only to experts in harmonic analysis, summability of Fourier series and singular integrals, but also in potential theory, symmetric spaces, analysis and partial differential equations on Riemannian manifolds, analysis on graphs, trees, buildings and discrete groups, Lie groups and Lie algebras, and even in far-reaching applications as for instance cellular automata and signal processing (low-discrepancy sampling, Gaussian noise).

Cellular Automata: Analysis and Applications

Author: Karl-Peter Hadeler,Johannes Müller

Publisher: Springer

ISBN: 3319530437

Category: Mathematics

Page: 467

View: 8420

DOWNLOAD NOW »
This book focuses on a coherent representation of the main approaches to analyze the dynamics of cellular automata. Cellular automata are an inevitable tool in mathematical modeling. In contrast to classical modeling approaches as partial differential equations, cellular automata are straightforward to simulate but hard to analyze. In this book we present a review of approaches and theories that allow the reader to understand the behavior of cellular automata beyond simulations. The first part consists of an introduction of cellular automata on Cayley graphs, and their characterization via the fundamental Cutis-Hedlund-Lyndon theorems in the context of different topological concepts (Cantor, Besicovitch and Weyl topology). The second part focuses on classification results: What classification follows from topological concepts (Hurley classification), Lyapunov stability (Gilman classification), and the theory of formal languages and grammars (Kůrka classification). These classifications suggest to cluster cellular automata, similar to the classification of partial differential equations in hyperbolic, parabolic and elliptic equations. This part of the book culminates in the question, whether properties of cellular automata are decidable. Surjectivity, and injectivity are examined, and the seminal Garden of Eden theorems are discussed. The third part focuses on the analysis of cellular automata that inherit distinct properties, often based on mathematical modeling of biological, physical or chemical systems. Linearity is a concept that allows to define self-similar limit sets. Models for particle motion show how to bridge the gap between cellular automata and partial differential equations (HPP model and ultradiscrete limit). Pattern formation is related to linear cellular automata, to the Bar-Yam model for Turing pattern, and Greenberg-Hastings automata for excitable media. Also models for sandpiles, the dynamics of infectious diseases and evolution of predator-prey systems are discussed. Mathematicians find an overview about theory and tools for the analysis of cellular automata. The book contains an appendix introducing basic mathematical techniques and notations, such that also physicists, chemists and biologists interested in cellular automata beyond pure simulations will benefit.

Formal Languages, Automata and Numeration Systems 1

Introduction to Combinatorics on Words

Author: Michel Rigo

Publisher: John Wiley & Sons

ISBN: 1119008220

Category: Computers

Page: 338

View: 1218

DOWNLOAD NOW »
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory). Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory.

Verkehrsdynamik und -simulation

Daten, Modelle und Anwendungen der Verkehrsflussdynamik

Author: Martin Treiber,Arne Kesting

Publisher: Springer-Verlag

ISBN: 9783642052286

Category: Science

Page: 368

View: 7616

DOWNLOAD NOW »
Das Lehrbuch liefert eine umfassende Darstellung der Modellierung und Dynamik des Straßenverkehrs. Es erschließt Studierenden ein Gebiet, das bisher nur in der englischsprachigen Originalliteratur dargestellt wurde. Aktuelle Anwendungen in Bereichen wie Verkehrsmanagement, Fahrer-Assistenzsysteme oder Verkehrstelematik stellen den Praxisbezug her, zahlreiche Abbildungen und Übungsaufgaben vertiefen das Verständnis. Das Buch richtet sich an Physik- und Verkehrsingenieurstudenten sowie Studierende der Informatik, Mathematik und technischer Richtungen.

Computational Social Network Analysis

Trends, Tools and Research Advances

Author: Kai Subel,Michel Schultz

Publisher: GRIN Verlag

ISBN: 3640733061

Category: Computers

Page: 21

View: 5912

DOWNLOAD NOW »
Studienarbeit aus dem Jahr 2010 im Fachbereich Informatik - Internet, neue Technologien, Universität Hamburg, Sprache: Deutsch, Abstract: Diese Ausarbeitung befasst sich mit dem Thema Computational Soical Network Analysis. Ziel ist es, dem Leser einen Einblick in diese Thematik zu verschaffen. Dabei werden Hintergründe, anwendbare Methoden und Tools vorgestellt, die hierbei Verwendung finden. Zunächst wird dabei näher auf den Hintergrund, also warum dieses Gebiet als Forschungsgegenstand so interessant ist, eingegangen. Anschließend werden verschiedene Aspekte, die man im Rahmen der Analyse sozialer Netzwerke untersuchen kann benannt. In diesem Zusammenhang werden auch zwei verschiedene Kategorien zur formalen Analyse benannt. Zur Verdeutlichung wird die Verwendung dieser am Ende des Kapitels auch noch einmal anhand eines Praxisbeispiels gezeigt. Das nächste Kapitel befasst sich mit der Fragstellung, wie Schlüsselfiguren in Netzwerken ermittelt werden können und was für Rollen diese spielen. Dabei werden auch die verschiedenen Arten von Schlüsselfiguren benannt. Eine weitere zentrale Rolle in der Analyse sozialer Netzwerke nehmen Gruppen ein. Die Bedeutung von Gruppen und wie man sie ermitteln kann wird im nächsten Kapitel erläutert. Aufbauend auf den Gruppen sollen Interaktionen innerhalb von Netzwerken untersucht werden. Hierfür werden zunächst die nötigen Werkzeuge, wie die SCAN oder DISSECT Methode vorgestellt und anschließend die Einsatzgebiete anhand von Beispielen verdeutlicht. Im 7. Kapitel wird eine eLearning Plattform näher betrachtet. Hierbei werden zunächst die Eigenschaften und Besonderheiten von eLearning Plattformen beschrieben und anschießend anhand eines Praxisbeispiels verschiedene Methoden zur Analyse sozialer Netzwerke angewendet.

Wahrscheinlichkeitstheorie und Stochastische Prozesse

Author: Michael Mürmann

Publisher: Springer-Verlag

ISBN: 364238160X

Category: Mathematics

Page: 428

View: 2151

DOWNLOAD NOW »
Dieses Lehrbuch beschäftigt sich mit den zentralen Gebieten einer maßtheoretisch orientierten Wahrscheinlichkeitstheorie im Umfang einer zweisemestrigen Vorlesung. Nach den Grundlagen werden Grenzwertsätze und schwache Konvergenz behandelt. Es folgt die Darstellung und Betrachtung der stochastischen Abhängigkeit durch die bedingte Erwartung, die mit der Radon-Nikodym-Ableitung realisiert wird. Sie wird angewandt auf die Theorie der stochastischen Prozesse, die nach der allgemeinen Konstruktion aus der Untersuchung von Martingalen und Markov-Prozessen besteht. Neu in einem Lehrbuch über allgemeine Wahrscheinlichkeitstheorie ist eine Einführung in die stochastische Analysis von Semimartingalen auf der Grundlage einer geeigneten Stetigkeitsbedingung mit Anwendungen auf die Theorie der Finanzmärkte. Das Buch enthält zahlreiche Übungen, teilweise mit Lösungen. Neben der Theorie vertiefen Anmerkungen, besonders zu mathematischen Modellen für Phänomene der Realität, das Verständnis.​

Direct Methods for Solving the Boltzmann Equation and Study of Nonequilibrium Flows

Author: V.V. Aristov

Publisher: Springer Science & Business Media

ISBN: 9780792368311

Category: Science

Page: 302

View: 4371

DOWNLOAD NOW »
This book is concerned with the methods of solving the nonlinear Boltz mann equation and of investigating its possibilities for describing some aerodynamic and physical problems. This monograph is a sequel to the book 'Numerical direct solutions of the kinetic Boltzmann equation' (in Russian) which was written with F. G. Tcheremissine and published by the Computing Center of the Russian Academy of Sciences some years ago. The main purposes of these two books are almost similar, namely, the study of nonequilibrium gas flows on the basis of direct integration of the kinetic equations. Nevertheless, there are some new aspects in the way this topic is treated in the present monograph. In particular, attention is paid to the advantages of the Boltzmann equation as a tool for considering nonequi librium, nonlinear processes. New fields of application of the Boltzmann equation are also described. Solutions of some problems are obtained with higher accuracy. Numerical procedures, such as parallel computing, are in vestigated for the first time. The structure and the contents of the present book have some com mon features with the monograph mentioned above, although there are new issues concerning the mathematical apparatus developed so that the Boltzmann equation can be applied for new physical problems. Because of this some chapters have been rewritten and checked again and some new chapters have been added.

Berechenbarkeit der Welt?

Philosophie und Wissenschaft im Zeitalter von Big Data

Author: Wolfgang Pietsch,Jörg Wernecke,Maximilian Ott

Publisher: Springer-Verlag

ISBN: 365812153X

Category: Philosophy

Page: 562

View: 7892

DOWNLOAD NOW »
Der Sammelband untersucht Entwicklungen in der Wissenschaft, die in den letzten Jahren durch moderne Informationstechnologien und die zunehmende Verfügbarkeit von Daten angestoßen wurden. Aufgrund dieser neuen Ansätze werden eine Reihe von Phänomenen zum Beispiel aus den Sozial- oder den Lebenswissenschaften berechenbar, die zuvor als zu komplex für eine wissenschaftliche Analyse galten. Der Band versammelt Texte aus einer Vielzahl unterschiedlicher Perspektiven, von der Physik über die Sozial- und Kulturwissenschaften bis hin zur Informatik. Neben Beiträgen, die die aktuellen Entwicklungen direkt thematisieren, untersuchen andere Aufsätze zentrale Begriffe in unmittelbarem Zusammenhang wie Komplexität oder Information.

Action Theory and Social Science

Some Formal Models

Author: I. Pörn

Publisher: Springer Science & Business Media

ISBN: 9401012687

Category: Philosophy

Page: 138

View: 4405

DOWNLOAD NOW »
This book is intended as a contribution to the foundations of the sciences of man, especially the social sciences. It has been argued with increasing frequency in recent years that the vocabulary of social science is to a large extent an action vocabulary and that any attempt to systematize concepts and establish bases for understanding in the field cannot, therefore, succeed unless it is firmly built on action theory. I think that these claims are sub stantially correct, but at the same time it seems to me that action theory, as it is relevant to social science, still awaits vital contributions from logic and philosophy. For example, it has often been said, rightly I believe, that situa tions in which two or more agents interact constitute the subject-matter of social science. But have we got an action theory which is rich enough or com prehensive enough to allow us to characterize the interaction situation? I think not. Once we have such a theory, however, we should be able to give an accurate account of central social phenomena and to articulate our concep tions about the nature of social reality. The conceptual scheme advanced in this book consists, in the first instance, of solutions to a number of characterization problems, i. e. problems which may be expressed by questions of the form "What is the nature of . . .

DCDS-A

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Mathematics

Page: N.A

View: 1028

DOWNLOAD NOW »