14 research outputs found
A Simple Optimum-Time FSSP Algorithm for Multi-Dimensional Cellular Automata
The firing squad synchronization problem (FSSP) on cellular automata has been
studied extensively for more than forty years, and a rich variety of
synchronization algorithms have been proposed for not only one-dimensional
arrays but two-dimensional arrays. In the present paper, we propose a simple
recursive-halving based optimum-time synchronization algorithm that can
synchronize any rectangle arrays of size m*n with a general at one corner in
m+n+max(m, n)-3 steps. The algorithm is a natural expansion of the well-known
FSSP algorithm proposed by Balzer [1967], Gerken [1987], and Waksman [1966] and
it can be easily expanded to three-dimensional arrays, even to
multi-dimensional arrays with a general at any position of the array.Comment: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.249
Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation
In this paper, we come back on the notion of local simulation allowing to
transform a cellular automaton into a closely related one with different local
encoding of information. This notion is used to explore solutions of the Firing
Squad Synchronization Problem that are minimal both in time (2n -- 2 for n
cells) and, up to current knowledge, also in states (6 states). While only one
such solution was proposed by Mazoyer since 1987, 718 new solutions have been
generated by Clergue, Verel and Formenti in 2018 with a cluster of machines. We
show here that, starting from existing solutions, it is possible to generate
millions of such solutions using local simulations using a single common
personal computer
MFCS\u2798 Satellite Workshop on Cellular Automata
For the 1998 conference on Mathematical Foundations of Computer
Science (MFCS\u2798) four papers on Cellular Automata were accepted as
regular MFCS\u2798 contributions. Furthermore an MFCS\u2798 satellite
workshop on Cellular Automata was organized with ten additional talks.
The embedding of the workshop into the conference with its
participants coming from a broad spectrum of fields of work lead to
interesting discussions and a fruitful exchange of ideas.
The contributions which had been accepted for MFCS\u2798 itself may be
found in the conference proceedings, edited by L. Brim, J. Gruska and
J. Zlatuska, Springer LNCS 1450. All other (invited and regular)
papers of the workshop are contained in this technical report. (One
paper, for which no postscript file of the full paper is available, is
only included in the printed version of the report).
Contents:
F. Blanchard, E. Formenti, P. Kurka: Cellular automata in the Cantor,
Besicovitch and Weyl Spaces
K. Kobayashi: On Time Optimal Solutions of the Two-Dimensional Firing
Squad Synchronization Problem
L. Margara: Topological Mixing and Denseness of Periodic Orbits for
Linear Cellular Automata over Z_m
B. Martin: A Geometrical Hierarchy of Graph via Cellular Automata
K. Morita, K. Imai: Number-Conserving Reversible Cellular Automata and
Their Computation-Universality
C. Nichitiu, E. Remila: Simulations of graph automata
K. Svozil: Is the world a machine?
H. Umeo: Cellular Algorithms with 1-bit Inter-Cell Communications
F. Reischle, Th. Worsch: Simulations between alternating CA,
alternating TM and circuit families
K. Sutner: Computation Theory of Cellular Automat
Parallel turing machines with one-head control units and cellular automata
Parallel Turing machines (PTM) can be viewed as a generalization of
cellular automata (CA) where an additional measure called processor
complexity can be defined which indicates the ``amount of
parallelism\u27\u27 used. In this paper PTM are investigated with respect to
their power as recognizers of formal languages. A combinatorial
approach as well as diagonalization are used to obtain hierarchies of
complexity classes for PTM and CA. In some cases it is possible to
keep the space complexity of PTM fixed. Thus for the first time it is
possible to find hierarchies of complexity classes (though not CA
classes) which are completely contained in the class of languages
recognizable by CA with space complexity n and in polynomial time. A
possible collapse of the time hierarchy for these CA would therefore
also imply some unexpected properties of PTM
Neural avalanches at the edge-of-chaos?
Does the brain operate at criticality, to optimize neural computation? Literature uses different fingerprints of criticality in neural networks, leaving the relationship between them mostly unclear. Here, we compare two specific signatures of criticality, and ask whether they refer to observables at the same critical point, or to two differing phase transitions. Using a recurrent spiking neural network, we demonstrate that avalanche criticality does not necessarily lie at edge-of-chaos
Protein structure prediction: improving and automating knowledge-based approaches
This work presents a computational approach to improve the automatic prediction of protein structures from sequence. Its main focus was twofold. An automated method for guiding the modeling process was first developed. This was tested and found to be state of the art in the CASP4 structure prediction contest in 2000. The second focus was the development of a novel divide and conquer algorithm for modeling flexible loops in proteins. Implementation of the search procedure and subsequent ranking is presented. The results are again compared with state of the art methods
Recommended from our members
Environmental Sciences Division: Summaries of research in FY 1996
This document describes the Fiscal Year 1996 activities and products of the Environmental Sciences Division, Office of Biological and Environmental Research, Office of Energy Research. The report is organized into four main sections. The introduction identifies the basic program structure, describes the programs of the Environmental Sciences Division, and provides the level of effort for each program area. The research areas and project descriptions section gives program contact information, and provides descriptions of individual research projects including: three-year funding history, research objective and approach used in each project, and results to date. Appendixes provide postal and e-mail addresses for principal investigators and define acronyms used in the text. The indexes provide indexes of principal investigators, research institutions, and keywords for easy reference. Research projects are related to climatic change and remedial action
CACIC 2015 : XXI Congreso Argentino de Ciencias de la Computación. Libro de actas
Actas del XXI Congreso Argentino de Ciencias de la Computación (CACIC 2015), realizado en Sede UNNOBA JunÃn, del 5 al 9 de octubre de 2015.Red de Universidades con Carreras en Informática (RedUNCI