Search results for "Automaton"
showing 7 items of 257 documents
Varieties Generated by Certain Models of Reversible Finite Automata
2006
Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of Kondacs-Watrous quantum finite automata. In this paper we consider some of the algebraic properties of RFA, namely the varieties these automata generate. Consequently, we obtain a characterization of the boolean closure of the classes of languages recognized by these models.
Recurrence time distribution and temporal clustering properties of a cellular automaton modelling landslide events
2018
Abstract. Reasonable prediction of landslide occurrences in a given area requires the choice of an appropriate probability distribution of recurrence time intervals. Although landslides are widespread and frequent in many parts of the world, complete databases of landslide occurrences over large periods are missing and often such natural disasters are treated as processes uncorrelated in time and, therefore, Poisson distributed. In this paper, we examine the recurrence time statistics of landslide events simulated by a cellular automaton model that reproduces well the actual frequency-size statistics of landslide catalogues. The complex time series are analysed by varying both the threshold…
Neuro-radiosurgery treatments: MRI brain tumor seeded image segmentation based on a cellular automata model
2016
Gross Tumor Volume (GTV) segmentation on medical images is an open issue in neuro-radiosurgery. Magnetic Resonance Imaging (MRI) is the most promi-nent modality in radiation therapy for soft-tissue anatomical districts. Gamma Knife stereotactic neuro-radiosurgery is a mini-invasive technique used to deal with inaccessible or insufficiently treated tumors. During the planning phase, the GTV is usually contoured by radiation oncologists using a manual segmentation procedure on MR images. This methodology is certainly time-consuming and op-erator-dependent. Delineation result repeatability, in terms of both intra- and inter-operator reliability, is only obtained by using computer-assisted appr…
Simplified Electrophysiology Modeling Framework to Assess Ventricular Arrhythmia Risk in Infarcted Patients
2021
Patients that have suffered a myocardial infarction are at lifetime high risk for sudden cardiac death (SCD). Personalized 3D computational modeling and simulation can help to find non-invasively arrhythmogenic features of patients’ infarcts, and to provide additional information for stratification and planning of radiofrequency ablation (RFA). Currently, multiscale biophysical models require high computational resources and long simulations times, which make them impractical for clinical environments. In this paper, we develop a phenomenological solver based on cellular automata to simulate cardiac electrophysiology, with results comparable to those of biophysical models. The solver can ru…
ON-LINE CONSTRUCTION OF A SMALL AUTOMATON FOR A FINITE SET OF WORDS
2012
In this paper we describe a "light" algorithm for the on-line construction of a small automaton recognising a finite set of words. The algorithm runs in linear time. We carried out good experimental results on real dictionaries, on biological sequences and on the sets of suffixes (resp. factors) of a set of words that shows how our automaton is near to the minimal one. For the suffixes of a text, we propose a modified construction that leads to an even smaller automaton. We moreover construct linear algorithms for the insertion and deletion of a word in a finite set, directly from the constructed automaton.
Einstein Versus Neutrinos
2013
This article focuses on the news coverage given to the CERN (European Organization for Nuclear Research) announcement that neutrinos might exceed the speed of light, flying in the face of Albert Einstein’s theory. By studying 140 cartoons about the news item published between the CERN’s announcement at the end of September 2011 up until its refutation in February 2012, we selected 33 devoted to Albert Einstein. We study the iconographic use of Einstein’s figure, and how the suggestion he might have been wrong stirred up greater interest among the cartoonists than when it was proven his ideas are still fully in force.
On the Amount of Nonconstructivity in Learning Recursive Functions
2011
Nonconstructive proofs are a powerful mechanism in mathematics. Furthermore, nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton [17] and Freivalds [11]. They allow to regard more complicated algorithms from the viewpoint of much more primitive computational devices. The amount of nonconstructivity is a quantitative characterization of the distance between types of computational devices with respect to solving a specific problem. In the present paper, the amount of nonconstructivity in learning of recursive functions is studied. Different learning types are compared with respect to the amount of nonconstructivity needed to lea…