ONE DIMENSIONAL CELLULAR AUTOMATA(CA). By Bertrand Rurangwa

Size: px
Start display at page:

Download "ONE DIMENSIONAL CELLULAR AUTOMATA(CA). By Bertrand Rurangwa"

Transcription

1 ONE DIMENSIONAL CELLULAR AUTOMATA(CA). By Bertrand Rurangwa bertrand LUT, 21May2010

2 Cellula automata(ca) OUTLINE - Introduction. -Short history. -Complex system. -Why to study CA. -One dimensional CA. bertrand LUT, 14Mary2010

3 Complex Systems - From the turbulence in fluids, to global weather patterns, to beautifully intricate galactic structures, to the complexity of living organisms.

4 Historical examples of ornamental art. bertrand LUT, 14Mary2010

5 Five generic characteristics(ca) : Discrete lattice of cells: the system substrate consists of a one, two or three-dimensional lattice of cells. Homogeneity: all cells are equivalent. Discrete states: each cell takes on one of a finite number of possible discrete states.

6 Local interactions: each cell interacts only with cells that are in its local neighborhood. Discrete dynamics: at each discrete unit time, each cell updates its current state according to a transition rule taking into account the states of cells in its neighborhood.

7 Why Study CA? Four partially overlapping motivations for studying CA : As powerful computation engines. As discrete dynamical system simulators. As conceptual vehicles for studying pattern formation and complexity. As original models of fundamental.

8 As powerful computation engines. - С A allow very efficient parallel computational implementations to be made of lattice models in physics and thus for a detailed analysis of many concurrent dynamical processes in nature.

9 As discrete dynamical system simulators - CA allow systematic investigation of complex phenomena by embodying any number of desirable physical properties. CA can be used as laboratories for studying the relationship between microscopic rules and macroscopic behavior- exact computability ensuring that the memory of the initial state is retained exactly for arbitrarily long periods of time.

10 As conceptual vehicles for studying pattern formation and complexity - CA can be treated as abstract discrete dynamical systems embodying intrinsically interesting, and potentially novel, behavioral features.

11 As original models of fundamental - CA allow studies of radically new discrete dynamical approaches to microscopic physics, exploring the possibility that nature locally and digitally processes its own future states.

12 One-dimensional cellular automata - One-dimensional cellular automata consist of a number of uniform cells arranged like beads on a string. If not stated otherwise arrays with finite number of cells and periodic boundary conditions will be investigated, i.e. the beads form a necklace.

13 -The state of cell i at time t is referred to as () t ai k. The finite number of possible states are labelled by non-negative integers from 0 to k -1. The state of each cell develops in time by iteration of the map ( t) ( t1), ( t1),... ( t1),... ( t1) i ( ir) ( ir1) ( i) ( ir) a F a a a a F is called the automata rule.

14 The state of the ith cell at the new time level t depends only on the state of the ith cell and the r (range) neighbors to the left and right at the previous time level t- 1. jr ( t) ( t1) ai f ja( i j) jr

15 where the j are integer constants and thus f the function has a single integer as argument. Number of automata rules Consider a CA with K possible states per cell and a range r the different combinations are 2r 1. K

16 Cellular automata as a discretization of partial differential equations Lattice-gas cellular automata - a special type of cellular automata are relatively new numerical schemes to solve physical problems ruled by partial differential equations. C t k 2 C 2 x

17 The discretization forward in time and symmetric in space reads tk. C C C 2C C ( x) ( t) ( t1) ( t1) ( t1) ( t1) i i 2 i1 i i1 j1 j1 C ( t1) j i j j1 ( t 1) f jci j j1

18 Fundamental differences: -The coefficients j in general are real numbers and not integers. -The number C j of states of is infinite.

19 C t C 2 x Footer

20 MURAKOZE

Characterization of Fixed Points in Sequential Dynamical Systems

Characterization of Fixed Points in Sequential Dynamical Systems Characterization of Fixed Points in Sequential Dynamical Systems James M. W. Duvall Virginia Polytechnic Institute and State University Department of Mathematics Abstract Graph dynamical systems are central

More information

Cellular Automata CS 591 Complex Adaptive Systems Spring Professor: Melanie Moses 2/02/09

Cellular Automata CS 591 Complex Adaptive Systems Spring Professor: Melanie Moses 2/02/09 Cellular Automata CS 591 Complex Adaptive Systems Spring 2009 Professor: Melanie Moses 2/02/09 Introduction to Cellular Automata (CA) Invented by John von Neumann (circa~1950). A cellular automata consists

More information

Mitchell Chapter 10. Living systems are open systems that exchange energy, materials & information

Mitchell Chapter 10. Living systems are open systems that exchange energy, materials & information Living systems compute Mitchell Chapter 10 Living systems are open systems that exchange energy, materials & information E.g. Erwin Shrodinger (1944) & Lynn Margulis (2000) books: What is Life? discuss

More information

Introduction to Scientific Modeling CS 365, Fall 2011 Cellular Automata

Introduction to Scientific Modeling CS 365, Fall 2011 Cellular Automata Introduction to Scientific Modeling CS 365, Fall 2011 Cellular Automata Stephanie Forrest ME 214 http://cs.unm.edu/~forrest/cs365/ forrest@cs.unm.edu 505-277-7104 Reading Assignment! Mitchell Ch. 10" Wolfram

More information

Stream Ciphers. Çetin Kaya Koç Winter / 20

Stream Ciphers. Çetin Kaya Koç   Winter / 20 Çetin Kaya Koç http://koclab.cs.ucsb.edu Winter 2016 1 / 20 Linear Congruential Generators A linear congruential generator produces a sequence of integers x i for i = 1,2,... starting with the given initial

More information

Modelling with cellular automata

Modelling with cellular automata Modelling with cellular automata Shan He School for Computational Science University of Birmingham Module 06-23836: Computational Modelling with MATLAB Outline Outline of Topics Concepts about cellular

More information

BINARY MORPHOLOGY AND CELLULAR AUTOMATA

BINARY MORPHOLOGY AND CELLULAR AUTOMATA BINARY MORPHOLOGY AND CELLULAR AUTOMATA I can't leave this subject without mentioning cellular automata (CAs). Conway's "Game of Life" is an example of a cellular automaton (CA). In each generation (or

More information

II. Cellular Automata 8/27/03 1

II. Cellular Automata 8/27/03 1 II. Cellular Automata 8/27/03 1 Cellular Automata (CAs) Invented by von Neumann in 1940s to study reproduction He succeeded in constructing a self-reproducing CA Have been used as: massively parallel computer

More information

Renormalization Group for the Two-Dimensional Ising Model

Renormalization Group for the Two-Dimensional Ising Model Chapter 8 Renormalization Group for the Two-Dimensional Ising Model The two-dimensional (2D) Ising model is arguably the most important in statistical physics. This special status is due to Lars Onsager

More information

Note that numerically, with white corresponding to 0 and black to 1, the rule can be written:

Note that numerically, with white corresponding to 0 and black to 1, the rule can be written: Cellular automata We discuss cellular automata as a simple application of MATLAB programming and as an accessible scientific topic of recent interest. You can find a lot of information on the internet.

More information

The Effects of Coarse-Graining on One- Dimensional Cellular Automata Alec Boyd UC Davis Physics Deparment

The Effects of Coarse-Graining on One- Dimensional Cellular Automata Alec Boyd UC Davis Physics Deparment The Effects of Coarse-Graining on One- Dimensional Cellular Automata Alec Boyd UC Davis Physics Deparment alecboy@gmail.com Abstract: Measurement devices that we use to examine systems often do not communicate

More information

Dynamics and Chaos. Melanie Mitchell. Santa Fe Institute and Portland State University

Dynamics and Chaos. Melanie Mitchell. Santa Fe Institute and Portland State University Dynamics and Chaos Melanie Mitchell Santa Fe Institute and Portland State University Dynamical Systems Theory: The general study of how systems change over time Calculus Differential equations Discrete

More information

Continuous Spatial Automata

Continuous Spatial Automata Continuous Spatial Automata B. J. MacLennan Department of Computer Science University of Tennessee Knoxville, TN 37996-1301 maclennan@cs.utk.edu CS-90-121 November 26, 1990 Abstract A continuous spatial

More information

Complex Systems Theory

Complex Systems Theory Complex Systems Theory 1988 Some approaches to the study of complex systems are outlined. They are encompassed by an emerging field of science concerned with the general analysis of complexity. Throughout

More information

The Fixed String of Elementary Cellular Automata

The Fixed String of Elementary Cellular Automata The Fixed String of Elementary Cellular Automata Jiang Zhisong Department of Mathematics East China University of Science and Technology Shanghai 200237, China zsjiang@ecust.edu.cn Qin Dakang School of

More information

Traffic Flow Simulation using Cellular automata under Non-equilibrium Environment

Traffic Flow Simulation using Cellular automata under Non-equilibrium Environment Traffic Flow Simulation using Cellular automata under Non-equilibrium Environment Hideki Kozuka, Yohsuke Matsui, Hitoshi Kanoh Institute of Information Sciences and Electronics, University of Tsukuba,

More information

P The Entropy Trajectory: A Perspective to Classify Complex Systems. Tomoaki SUZUDO Japan Atomic Energy Research Institute, JAERI

P The Entropy Trajectory: A Perspective to Classify Complex Systems. Tomoaki SUZUDO Japan Atomic Energy Research Institute, JAERI P 0 0 8 The Entropy Trajectory: A Perspective to Classify Complex Systems Tomoaki SUZUDO Japan Atomic Energy Research Institute, JAERI What are complex systems? Having macroscopic properties which are

More information

Coding Metamaterials, Digital Metamaterials and Programmable Metamaterials

Coding Metamaterials, Digital Metamaterials and Programmable Metamaterials Forum for Electromagnetic Research Methods and Application Technologies (FERMAT) Coding Metamaterials, Digital Metamaterials and Programmable Metamaterials by: Tie Jun Cui, Qiang Cheng, Xiang Wan (Email:

More information

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability

Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Harvard CS 121 and CSCI E-207 Lecture 6: Regular Languages and Countability Salil Vadhan September 20, 2012 Reading: Sipser, 1.3 and The Diagonalization Method, pages 174 178 (from just before Definition

More information

The Viterbi Algorithm EECS 869: Error Control Coding Fall 2009

The Viterbi Algorithm EECS 869: Error Control Coding Fall 2009 1 Bacground Material 1.1 Organization of the Trellis The Viterbi Algorithm EECS 869: Error Control Coding Fall 2009 The Viterbi algorithm (VA) processes the (noisy) output sequence from a state machine

More information

Motivation. Evolution has rediscovered several times multicellularity as a way to build complex living systems

Motivation. Evolution has rediscovered several times multicellularity as a way to build complex living systems Cellular Systems 1 Motivation Evolution has rediscovered several times multicellularity as a way to build complex living systems Multicellular systems are composed by many copies of a unique fundamental

More information

II. Spatial Systems A. Cellular Automata 8/24/08 1

II. Spatial Systems A. Cellular Automata 8/24/08 1 II. Spatial Systems A. Cellular Automata 8/24/08 1 Cellular Automata (CAs) Invented by von Neumann in 1940s to study reproduction He succeeded in constructing a self-reproducing CA Have been used as: massively

More information

Estimating Transient Surface Heating using a Cellular Automaton Energy-transport Model

Estimating Transient Surface Heating using a Cellular Automaton Energy-transport Model Estimating Transient Surface Heating using a Cellular Automaton Energy-transport Model Vallorie J. Peridier College of Engineering, Temple University, 1947 North Twelfth Street, Philadelphia, PA 19122

More information

5. Simulated Annealing 5.1 Basic Concepts. Fall 2010 Instructor: Dr. Masoud Yaghini

5. Simulated Annealing 5.1 Basic Concepts. Fall 2010 Instructor: Dr. Masoud Yaghini 5. Simulated Annealing 5.1 Basic Concepts Fall 2010 Instructor: Dr. Masoud Yaghini Outline Introduction Real Annealing and Simulated Annealing Metropolis Algorithm Template of SA A Simple Example References

More information

CELLULAR AUTOMATA SIMULATION OF TRAFFIC LIGHT STRATEGIES IN OPTIMIZING THE TRAFFIC FLOW

CELLULAR AUTOMATA SIMULATION OF TRAFFIC LIGHT STRATEGIES IN OPTIMIZING THE TRAFFIC FLOW CELLULAR AUTOMATA SIMULATION OF TRAFFIC LIGHT STRATEGIES IN OPTIMIZING THE TRAFFIC FLOW ENDAR H. NUGRAHANI, RISWAN RAMDHANI Department of Mathematics, Faculty of Mathematics and Natural Sciences, Bogor

More information

Finite State Machines 2

Finite State Machines 2 Finite State Machines 2 Joseph Spring School of Computer Science 1COM0044 Foundations of Computation 1 Discussion Points In the last lecture we looked at: 1. Abstract Machines 2. Finite State Machines

More information

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence Section 2.4 1 Section Summary Sequences. Examples: Geometric Progression, Arithmetic Progression Recurrence Relations Example: Fibonacci Sequence Summations 2 Introduction Sequences are ordered lists of

More information

Lecture 6: Sequential Dynamical Systems

Lecture 6: Sequential Dynamical Systems Math 137B Professor: Padraic Bartlett Lecture 6: Sequential Dynamical Systems Weeks 8-9 UCSB 2014 (Relevant source material: the first four chapters of Mortveit and Reidys s An Introduction to Sequential

More information

Elementary Cellular Automata with

Elementary Cellular Automata with letourneau_pdf.nb 1 Elementary Cellular Automata with Memory Paul-Jean Letourneau Department of Physics, University of Calgary Elementary Cellular Automata (ECA) In order to explain how an Elementary Cellular

More information

II. Spatial Systems. A. Cellular Automata. Structure. Cellular Automata (CAs) Example: Conway s Game of Life. State Transition Rule

II. Spatial Systems. A. Cellular Automata. Structure. Cellular Automata (CAs) Example: Conway s Game of Life. State Transition Rule II. Spatial Systems A. Cellular Automata B. Pattern Formation C. Slime Mold D. Excitable Media A. Cellular Automata 1/18/17 1 1/18/17 2 Cellular Automata (CAs) Invented by von Neumann in 1940s to study

More information

10 Cellular Automata and Lattice Gases

10 Cellular Automata and Lattice Gases 10 Cellular Automata and Lattice Gases We started our discussion of partial differential equations by considering how they arise as continuum approximations to discrete systems(such as cars on a highway,

More information

Cellular Automaton Supercomputing

Cellular Automaton Supercomputing Cellular Automaton Supercomputing 1988 Many of the models now used in science and engineering are over a century old. Most of them can be implemented on modem digital computers only with considerable difficulty.

More information

Cellular Automata. Jason Frank Mathematical Institute

Cellular Automata. Jason Frank Mathematical Institute Cellular Automata Jason Frank Mathematical Institute WISM484 Introduction to Complex Systems, Utrecht University, 2015 Cellular Automata Game of Life: Simulator: http://www.bitstorm.org/gameoflife/ Hawking:

More information

Chapter 2 Simplicity in the Universe of Cellular Automata

Chapter 2 Simplicity in the Universe of Cellular Automata Chapter 2 Simplicity in the Universe of Cellular Automata Because of their simplicity, rules of cellular automata can easily be understood. In a very simple version, we consider two-state one-dimensional

More information

Sorting Network Development Using Cellular Automata

Sorting Network Development Using Cellular Automata Sorting Network Development Using Cellular Automata Michal Bidlo, Zdenek Vasicek, and Karel Slany Brno University of Technology, Faculty of Information Technology Božetěchova 2, 61266 Brno, Czech republic

More information

Fluctuation theorems. Proseminar in theoretical physics Vincent Beaud ETH Zürich May 11th 2009

Fluctuation theorems. Proseminar in theoretical physics Vincent Beaud ETH Zürich May 11th 2009 Fluctuation theorems Proseminar in theoretical physics Vincent Beaud ETH Zürich May 11th 2009 Outline Introduction Equilibrium systems Theoretical background Non-equilibrium systems Fluctuations and small

More information

On-line multiplication and division in real and complex bases

On-line multiplication and division in real and complex bases 1 / 14 On-line multiplication and division in real and complex bases Marta Brzicová, Christiane Frougny, Edita Pelantová, Milena Svobodová FNSPE, CTU Prague, Czech Republic IRIF, UMR 8243 CNRS & Université

More information

6.730 Physics for Solid State Applications

6.730 Physics for Solid State Applications 6.730 Physics for Solid State Applications Lecture 8: Lattice Waves in 1D Monatomic Crystals Outline Overview of Lattice Vibrations so far Models for Vibrations in Discrete 1-D Lattice Example of Nearest

More information

A Probability-Based Model of Traffic Flow

A Probability-Based Model of Traffic Flow A Probability-Based Model of Traffic Flow Richard Yi, Harker School Mentored by Gabriele La Nave, University of Illinois, Urbana-Champaign January 23, 2016 Abstract Describing the behavior of traffic via

More information

CBSSS 6/25/02. Physics becomes the. Computing Beyond Silicon Summer School. computer. Norm Margolus

CBSSS 6/25/02. Physics becomes the. Computing Beyond Silicon Summer School. computer. Norm Margolus Computing Beyond Silicon Summer School Physics becomes the computer Norm Margolus Physics becomes the computer 0/1 Emulating Physics» Finite-state, locality, invertibility, and conservation laws Physical

More information

Perfect numbers among polynomial values

Perfect numbers among polynomial values Perfect numbers among polynomial values Oleksiy Klurman Université de Montréal June 8, 2015 Outline Classical results Radical of perfect number and the ABC-conjecture Idea of the proof Let σ(n) = d n d.

More information

A Simple Left-to-Right Algorithm for Minimal Weight Signed Radix-r Representations

A Simple Left-to-Right Algorithm for Minimal Weight Signed Radix-r Representations A Simple Left-to-Right Algorithm for Minimal Weight Signed Radix-r Representations James A. Muir School of Computer Science Carleton University, Ottawa, Canada http://www.scs.carleton.ca/ jamuir 23 October

More information

Web Appendices: Hierarchical and Joint Site-Edge Methods for Medicare Hospice Service Region Boundary Analysis

Web Appendices: Hierarchical and Joint Site-Edge Methods for Medicare Hospice Service Region Boundary Analysis Web Appendices: Hierarchical and Joint Site-Edge Methods for Medicare Hospice Service Region Boundary Analysis Haijun Ma, Bradley P. Carlin and Sudipto Banerjee December 8, 2008 Web Appendix A: Selecting

More information

Section 9.2: Matrices. Definition: A matrix A consists of a rectangular array of numbers, or elements, arranged in m rows and n columns.

Section 9.2: Matrices. Definition: A matrix A consists of a rectangular array of numbers, or elements, arranged in m rows and n columns. Section 9.2: Matrices Definition: A matrix A consists of a rectangular array of numbers, or elements, arranged in m rows and n columns. That is, a 11 a 12 a 1n a 21 a 22 a 2n A =...... a m1 a m2 a mn A

More information

CBSSS 6/24/02. Physics becomes the. Computing Beyond Silicon Summer School. computer. Norm Margolus

CBSSS 6/24/02. Physics becomes the. Computing Beyond Silicon Summer School. computer. Norm Margolus Computing Beyond Silicon Summer School Physics becomes the computer Norm Margolus Physics becomes the computer 0/1 Emulating Physics» Finite-state, locality, invertibility, and conservation laws Physical

More information

Leakage Squeezing using Cellular. SandipKarmakarand DipanwitaRoy Chowdhury, Indian Insituteof Technology, Kharagpur, WB, India

Leakage Squeezing using Cellular. SandipKarmakarand DipanwitaRoy Chowdhury, Indian Insituteof Technology, Kharagpur, WB, India Leakage Squeezing using Cellular Automata SandipKarmakarand DipanwitaRoy Chowdhury, Indian Insituteof Technology, Kharagpur, WB, India Outline Introduction Background CA Leakage Squeezing Leakage Squeezing

More information

A Continuous Model for Two-Lane Traffic Flow

A Continuous Model for Two-Lane Traffic Flow A Continuous Model for Two-Lane Traffic Flow Richard Yi, Harker School Prof. Gabriele La Nave, University of Illinois, Urbana-Champaign PRIMES Conference May 16, 2015 Two Ways of Approaching Traffic Flow

More information

Deterministic chaos, fractals and diffusion: From simple models towards experiments

Deterministic chaos, fractals and diffusion: From simple models towards experiments Deterministic chaos, fractals and diffusion: From simple models towards experiments Rainer Klages Queen Mary University of London, School of Mathematical Sciences Université Pierre et Marie Curie Paris,

More information

EGMO 2016, Day 1 Solutions. Problem 1. Let n be an odd positive integer, and let x1, x2,..., xn be non-negative real numbers.

EGMO 2016, Day 1 Solutions. Problem 1. Let n be an odd positive integer, and let x1, x2,..., xn be non-negative real numbers. EGMO 2016, Day 1 Solutions Problem 1. Let n be an odd positive integer, and let x1, x2,..., xn be non-negative real numbers. Show that min (x2i + x2i+1 ) max (2xj xj+1 ), j=1,...,n i=1,...,n where xn+1

More information

Multivalued functions in digital topology

Multivalued functions in digital topology Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 37 (2017) no. 2, 61 76. doi:10.1285/i15900932v37n2p61 Multivalued functions in digital topology Laurence Boxer Department of Computer and Information

More information

Numerical Solution of Laplace's Equation

Numerical Solution of Laplace's Equation Syracuse University SURFACE Electrical Engineering and Computer Science Technical Reports College of Engineering and Computer Science 9-1992 Numerical Solution of Laplace's Equation Per Brinch Hansen Syracuse

More information

Cellular Automata. History. 1-Dimensional CA. 1-Dimensional CA. Ozalp Babaoglu

Cellular Automata. History. 1-Dimensional CA. 1-Dimensional CA. Ozalp Babaoglu History Cellular Automata Ozalp Babaoglu Developed by John von Neumann as a formal tool to study mechanical self replication Studied extensively by Stephen Wolfram ALMA MATER STUDIORUM UNIVERSITA DI BOLOGNA

More information

SP-CNN: A Scalable and Programmable CNN-based Accelerator. Dilan Manatunga Dr. Hyesoon Kim Dr. Saibal Mukhopadhyay

SP-CNN: A Scalable and Programmable CNN-based Accelerator. Dilan Manatunga Dr. Hyesoon Kim Dr. Saibal Mukhopadhyay SP-CNN: A Scalable and Programmable CNN-based Accelerator Dilan Manatunga Dr. Hyesoon Kim Dr. Saibal Mukhopadhyay Motivation Power is a first-order design constraint, especially for embedded devices. Certain

More information

An improved CA model with anticipation for one-lane traffic flow

An improved CA model with anticipation for one-lane traffic flow An improved CA model with anticipation for one-lane traffic flow MARÍA ELENA. LÁRRAGA JESÚS ANTONIO DEL RÍ0 Facultad de Ciencias, Computer Science Dept. Universidad Autónoma del Estado de Morelos Av. Universidad

More information

Countable and uncountable sets. Matrices.

Countable and uncountable sets. Matrices. CS 441 Discrete Mathematics for CS Lecture 11 Countable and uncountable sets. Matrices. Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Arithmetic series Definition: The sum of the terms of the

More information

07-PS4-2. Develop and use a model to describe that waves are reflected, absorbed, or transmitted through various materials.

07-PS4-2. Develop and use a model to describe that waves are reflected, absorbed, or transmitted through various materials. Boone County 7 th Grade Science Curriculum Map Unit 1: Electromagnetic and Mechanical Waves How can we describe a wave using both quantitative and qualitative ideas? How can we model the ways in which

More information

Cognitive Robotics. Outline

Cognitive Robotics. Outline Cognitive Robotics Jeff Krichmar Lecture 7 Outline Pfiefer & Bongard Chapter 12 How the Body Shapes the Way We Think. NXC Programming Multiple tasks & Mutex. Integer math Arrays Vehicles 1 Steps Toward

More information

Putnam Greedy Algorithms Cody Johnson. Greedy Algorithms. May 30, 2016 Cody Johnson.

Putnam Greedy Algorithms Cody Johnson. Greedy Algorithms. May 30, 2016 Cody Johnson. 1 Introduction Greedy Algorithms May 0, 2016 Cody Johnson ctj@math.cmu.edu A greedy algorithm is an algorithm that chooses the optimal choice in the short run. 2 Examples 1. Prove that every nonnegative

More information

Spatiotemporal Computational Mechanics. Paul Riechers

Spatiotemporal Computational Mechanics. Paul Riechers Spatiotemporal Computational Mechanics Paul Riechers Outline How do Information-theoretic and CompMech-theoretic quantities generalize in spatially extended systems? An overview of the strictly-spatial

More information

On Elementary and Algebraic Cellular Automata

On Elementary and Algebraic Cellular Automata Chapter On Elementary and Algebraic Cellular Automata Yuriy Gulak Center for Structures in Extreme Environments, Mechanical and Aerospace Engineering, Rutgers University, New Jersey ygulak@jove.rutgers.edu

More information

Part I: Definitions and Properties

Part I: Definitions and Properties Turing Machines Part I: Definitions and Properties Finite State Automata Deterministic Automata (DFSA) M = {Q, Σ, δ, q 0, F} -- Σ = Symbols -- Q = States -- q 0 = Initial State -- F = Accepting States

More information

Cellular Automata. and beyond. The World of Simple Programs. Christian Jacob

Cellular Automata. and beyond. The World of Simple Programs. Christian Jacob Cellular Automata and beyond The World of Simple Programs Christian Jacob Department of Computer Science Department of Biochemistry & Molecular Biology University of Calgary CPSC / MDSC 605 Fall 2003 Cellular

More information

Project 1: Edge of Chaos in 1D Cellular Automata

Project 1: Edge of Chaos in 1D Cellular Automata CS 420/527: Biologically-Inspired Computation Project 1: Edge of Chaos in 1D Cellular Automata Due: Friday, Feb. 3, Midnight Introduction In this project you will explore Edge of Chaos phenomena (Wolfram

More information

Cellular Automaton Growth on # : Theorems, Examples, and Problems

Cellular Automaton Growth on # : Theorems, Examples, and Problems Cellular Automaton Growth on : Theorems, Examples, and Problems (Excerpt from Advances in Applied Mathematics) Exactly 1 Solidification We will study the evolution starting from a single occupied cell

More information

high thresholds in two dimensions

high thresholds in two dimensions Fault-tolerant quantum computation - high thresholds in two dimensions Robert Raussendorf, University of British Columbia QEC11, University of Southern California December 5, 2011 Outline Motivation Topological

More information

Exact results for deterministic cellular automata traffic models

Exact results for deterministic cellular automata traffic models June 28, 2017 arxiv:comp-gas/9902001v2 2 Nov 1999 Exact results for deterministic cellular automata traffic models Henryk Fukś The Fields Institute for Research in Mathematical Sciences Toronto, Ontario

More information

Calculations of the Partition Function Zeros for the Ising Ferromagnet on 6 x 6 Square Lattice with Periodic Boundary Conditions

Calculations of the Partition Function Zeros for the Ising Ferromagnet on 6 x 6 Square Lattice with Periodic Boundary Conditions Calculations of the Partition Function Zeros for the Ising Ferromagnet on 6 x 6 Square Lattice with Periodic Boundary Conditions Seung-Yeon Kim School of Liberal Arts and Sciences, Korea National University

More information

Introduction. Chapter 1. The Study of Chemistry. The scientific method is a systematic approach to research

Introduction. Chapter 1. The Study of Chemistry. The scientific method is a systematic approach to research 1 Introduction Chapter 1 Copyright The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 2 Macroscopic The Study of Chemistry Microscopic 2 3 The scientific method is a systematic

More information

Roots, Ratios and Ramanujan

Roots, Ratios and Ramanujan Roots, Ratios and Ramanujan 2 + 2 + 2 +, 1 + 1+ 1 1 1+ 1 1+ 1+ 1 and Jon McCammond (U.C. Santa Barbara) 1 Outline I. Iteration II. Fractions III. Radicals IV. Fractals V. Conclusion 2 I. Iteration Bill

More information

TDDD65 Introduction to the Theory of Computation

TDDD65 Introduction to the Theory of Computation TDDD65 Introduction to the Theory of Computation Lecture 2 Gustav Nordh, IDA gustav.nordh@liu.se 2012-08-31 Outline - Lecture 2 Closure properties of regular languages Regular expressions Equivalence of

More information

Generative urban design with Cellular Automata and Agent Based Modelling

Generative urban design with Cellular Automata and Agent Based Modelling Generative urban design with Cellular Automata and Agent Based Modelling Nikolay Popov Unitec Institute of Technology, Auckland, New Zealand ABSTRACT: This paper reports on initial findings of a bigger

More information

Propp-Wilson Algorithm (and sampling the Ising model)

Propp-Wilson Algorithm (and sampling the Ising model) Propp-Wilson Algorithm (and sampling the Ising model) Danny Leshem, Nov 2009 References: Haggstrom, O. (2002) Finite Markov Chains and Algorithmic Applications, ch. 10-11 Propp, J. & Wilson, D. (1996)

More information

Homework 9: Protein Folding & Simulated Annealing : Programming for Scientists Due: Thursday, April 14, 2016 at 11:59 PM

Homework 9: Protein Folding & Simulated Annealing : Programming for Scientists Due: Thursday, April 14, 2016 at 11:59 PM Homework 9: Protein Folding & Simulated Annealing 02-201: Programming for Scientists Due: Thursday, April 14, 2016 at 11:59 PM 1. Set up We re back to Go for this assignment. 1. Inside of your src directory,

More information

Symmetric Network Computation

Symmetric Network Computation Symmetric Network Computation and the Finite-State Symmetric Graph Automaton (FSSGA) Model David Pritchard, with Santosh Vempala Theory of Distributed Systems Group at MIT, July 7 2006 David Pritchard

More information

Uncorrelated Multilinear Principal Component Analysis through Successive Variance Maximization

Uncorrelated Multilinear Principal Component Analysis through Successive Variance Maximization Uncorrelated Multilinear Principal Component Analysis through Successive Variance Maximization Haiping Lu 1 K. N. Plataniotis 1 A. N. Venetsanopoulos 1,2 1 Department of Electrical & Computer Engineering,

More information

Dynamical Behavior of Cellular Automata

Dynamical Behavior of Cellular Automata Dynamical Behavior of Cellular Automata Miles Kenyon and Matthew Driscoll December 4, 2009 1 Introduction Cellular Automata are simple computational models which can be leveraged to model a wide variety

More information

CS 420/594: Complex Systems & Self-Organization Project 1: Edge of Chaos in 1D Cellular Automata Due: Sept. 20

CS 420/594: Complex Systems & Self-Organization Project 1: Edge of Chaos in 1D Cellular Automata Due: Sept. 20 CS 420/594: Complex Systems & Self-Organization Project 1: Edge of Chaos in 1D Cellular Automata Due: Sept. 20 Introduction In this project you will explore Edge of Chaos phenomena (Wolfram class IV behavior)

More information

COMPARATIVE ANALYSIS ON TURING MACHINE AND QUANTUM TURING MACHINE

COMPARATIVE ANALYSIS ON TURING MACHINE AND QUANTUM TURING MACHINE Volume 3, No. 5, May 2012 Journal of Global Research in Computer Science REVIEW ARTICLE Available Online at www.jgrcs.info COMPARATIVE ANALYSIS ON TURING MACHINE AND QUANTUM TURING MACHINE Tirtharaj Dash

More information

Katholieke Universiteit Leuven Department of Computer Science

Katholieke Universiteit Leuven Department of Computer Science On the maximal cycle and transient lengths of circular cellular automata Kim Weyns, Bart Demoen Report CW 375, December 2003 Katholieke Universiteit Leuven Department of Computer Science Celestijnenlaan

More information

A Colorful Introduction to Cellular Automata

A Colorful Introduction to Cellular Automata A Colorful Introduction to Cellular Automata Silvio Capobianco February 5, 2011 Revised: February 10, 2011 Silvio Capobianco () February 5, 2011 1 / 37 Overview Cellular automata (ca) are local presentations

More information

biologically-inspired computing lecture 6 Informatics luis rocha 2015 INDIANA UNIVERSITY biologically Inspired computing

biologically-inspired computing lecture 6 Informatics luis rocha 2015 INDIANA UNIVERSITY biologically Inspired computing lecture 6 -inspired Sections I485/H400 course outlook Assignments: 35% Students will complete 4/5 assignments based on algorithms presented in class Lab meets in I1 (West) 109 on Lab Wednesdays Lab 0 :

More information

The algorithmic analysis of hybrid system

The algorithmic analysis of hybrid system The algorithmic analysis of hybrid system Authors: R.Alur, C. Courcoubetis etc. Course teacher: Prof. Ugo Buy Xin Li, Huiyong Xiao Nov. 13, 2002 Summary What s a hybrid system? Definition of Hybrid Automaton

More information

Introduction to Matrices and Linear Systems Ch. 3

Introduction to Matrices and Linear Systems Ch. 3 Introduction to Matrices and Linear Systems Ch. 3 Doreen De Leon Department of Mathematics, California State University, Fresno June, 5 Basic Matrix Concepts and Operations Section 3.4. Basic Matrix Concepts

More information

Introduction - Motivation. Many phenomena (physical, chemical, biological, etc.) are model by differential equations. f f(x + h) f(x) (x) = lim

Introduction - Motivation. Many phenomena (physical, chemical, biological, etc.) are model by differential equations. f f(x + h) f(x) (x) = lim Introduction - Motivation Many phenomena (physical, chemical, biological, etc.) are model by differential equations. Recall the definition of the derivative of f(x) f f(x + h) f(x) (x) = lim. h 0 h Its

More information

0.1 Non-enumerable Sets

0.1 Non-enumerable Sets 01 NON-ENUMERABLE SETS 1 01 Non-enumerable Sets Some sets, such as the set N of natural numbers, are infinite So far we ve seen examples of infinite sets which were all enumerable However, there are also

More information

Finite-State Machines (Automata) lecture 12

Finite-State Machines (Automata) lecture 12 Finite-State Machines (Automata) lecture 12 cl a simple form of computation used widely one way to find patterns 1 A current D B A B C D B C D A C next 2 Application Fields Industry real-time control,

More information

Performance Analysis of a List-Based Lattice-Boltzmann Kernel

Performance Analysis of a List-Based Lattice-Boltzmann Kernel Performance Analysis of a List-Based Lattice-Boltzmann Kernel First Talk MuCoSim, 29. June 2016 Michael Hußnätter RRZE HPC Group Friedrich-Alexander University of Erlangen-Nuremberg Outline Lattice Boltzmann

More information

Chapter 5. Effects of Photonic Crystal Band Gap on Rotation and Deformation of Hollow Te Rods in Triangular Lattice

Chapter 5. Effects of Photonic Crystal Band Gap on Rotation and Deformation of Hollow Te Rods in Triangular Lattice Chapter 5 Effects of Photonic Crystal Band Gap on Rotation and Deformation of Hollow Te Rods in Triangular Lattice In chapter 3 and 4, we have demonstrated that the deformed rods, rotational rods and perturbation

More information

HAMMING DISTANCE FROM IRREDUCIBLE POLYNOMIALS OVER F Introduction and Motivation

HAMMING DISTANCE FROM IRREDUCIBLE POLYNOMIALS OVER F Introduction and Motivation HAMMING DISTANCE FROM IRREDUCIBLE POLYNOMIALS OVER F 2 GILBERT LEE, FRANK RUSKEY, AND AARON WILLIAMS Abstract. We study the Hamming distance from polynomials to classes of polynomials that share certain

More information

The Mertens conjecture revisited

The Mertens conjecture revisited The Mertens conjecture revisited Herman te Riele, CWI, Amsterdam (joint work with Tadej Kotnik, Univ. of Ljubljana, Slovenia) 7th Algorithmic Number Theory Symposium Technische Universität Berlin, 23 28

More information

Lecture: Computational Systems Biology Universität des Saarlandes, SS Introduction. Dr. Jürgen Pahle

Lecture: Computational Systems Biology Universität des Saarlandes, SS Introduction. Dr. Jürgen Pahle Lecture: Computational Systems Biology Universität des Saarlandes, SS 2012 01 Introduction Dr. Jürgen Pahle 24.4.2012 Who am I? Dr. Jürgen Pahle 2009-2012 Manchester Interdisciplinary Biocentre, The University

More information

Run-length & Entropy Coding. Redundancy Removal. Sampling. Quantization. Perform inverse operations at the receiver EEE

Run-length & Entropy Coding. Redundancy Removal. Sampling. Quantization. Perform inverse operations at the receiver EEE General e Image Coder Structure Motion Video x(s 1,s 2,t) or x(s 1,s 2 ) Natural Image Sampling A form of data compression; usually lossless, but can be lossy Redundancy Removal Lossless compression: predictive

More information

By Nadha CHAOS THEORY

By Nadha CHAOS THEORY By Nadha CHAOS THEORY What is Chaos Theory? It is a field of study within applied mathematics It studies the behavior of dynamical systems that are highly sensitive to initial conditions It deals with

More information

Various Tendencies of Non-Poissonian Distributions Along Subsequences of Certain Transcendental Numbers

Various Tendencies of Non-Poissonian Distributions Along Subsequences of Certain Transcendental Numbers Various Tendencies of Non-Poissonian Distributions Along Subsequences of Certain Transcendental Numbers Nathan Miller 1 Mathematics Department Princeton University Princeton, NJ 08544 February 2, 2003

More information

Chaos, Complexity, and Inference (36-462)

Chaos, Complexity, and Inference (36-462) Chaos, Complexity, and Inference (36-462) Lecture 10 Cosma Shalizi 14 February 2008 Some things you can read: [1] is what got me interested in the subject; [2] is the best introduction to CA modeling code

More information

Lattice Boltzmann model for the Elder problem

Lattice Boltzmann model for the Elder problem 1549 Lattice Boltzmann model for the Elder problem D.T. Thorne a and M.C. Sukop a a Department of Earth Sciences, Florida International University, PC 344, University Park, 11200 SW 8th Street, Miami,

More information

Ergodicity and Non-Ergodicity in Economics

Ergodicity and Non-Ergodicity in Economics Abstract An stochastic system is called ergodic if it tends in probability to a limiting form that is independent of the initial conditions. Breakdown of ergodicity gives rise to path dependence. We illustrate

More information

Johns Hopkins Math Tournament Proof Round: Automata

Johns Hopkins Math Tournament Proof Round: Automata Johns Hopkins Math Tournament 2018 Proof Round: Automata February 9, 2019 Problem Points Score 1 10 2 5 3 10 4 20 5 20 6 15 7 20 Total 100 Instructions The exam is worth 100 points; each part s point value

More information

PROJECT C: ELECTRONIC BAND STRUCTURE IN A MODEL SEMICONDUCTOR

PROJECT C: ELECTRONIC BAND STRUCTURE IN A MODEL SEMICONDUCTOR PROJECT C: ELECTRONIC BAND STRUCTURE IN A MODEL SEMICONDUCTOR The aim of this project is to present the student with a perspective on the notion of electronic energy band structures and energy band gaps

More information

2.1 general items of cellular automata (1)definition of cellular automata. Cellular automata

2.1 general items of cellular automata (1)definition of cellular automata. Cellular automata 2.Cellular Automata automata: golem automatic machine, sequential machine [John von Neuman] Autonomously replicating automata: self-propagating program with local neighborhood rule, discrete system Cellular

More information