Computability and analysis: the legacy of Alan Turing

We discuss the legacy of Alan Turing and his impact on computability and analysis.Comment: 49 page

A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

Band stop filter with a synthetic inductor with series resistance and a real operational amplifier

This paper deals with application of simple synthetic inductor with series resistance (non-ideal gyrator). Those inductors are seldom used. However, if we use this inductor in the arm of bridge, the circuit is able to achieve high performance. In this way we can get band stop filter with good performance. In the paper we solve influence of real OPA properties. Theoretical considerations are verified by means of simulations (MicroCap) and experiments. Based on theoretical considerations, simulations and experiments are finally determined by criteria that must meet real operational amplifier to make the circuit performed well

Lempel-Ziv Parsing in External Memory

For decades, computing the LZ factorization (or LZ77 parsing) of a string has been a requisite and computationally intensive step in many diverse applications, including text indexing and data compression. Many algorithms for LZ77 parsing have been discovered over the years; however, despite the increasing need to apply LZ77 to massive data sets, no algorithm to date scales to inputs that exceed the size of internal memory. In this paper we describe the first algorithm for computing the LZ77 parsing in external memory. Our algorithm is fast in practice and will allow the next generation of text indexes to be realised for massive strings and string collections.Comment: 10 page

Modelling the Dynamics of an Aedes albopictus Population

We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314