Displaying 61 – 80 of 222

Showing per page

Periodicity and roots of transfinite strings

Olivier Carton, Christian Choffrut (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

This contribution extends the notions of roots and periodicity to strings of transfinite lengths. It shows that given a transfinite string, either it possesses a unique root or the set of its roots are equivalent in a strong way.

Periodicity and roots of transfinite strings

Olivier Carton, Christian Choffrut (2010)

RAIRO - Theoretical Informatics and Applications

This contribution extends the notions of roots and periodicity to strings of transfinite lengths. It shows that given a transfinite string, either it possesses a unique root or the set of its roots are equivalent in a strong way.

Periodicity problem of substitutions over ternary alphabets

Bo Tan, Zhi-Ying Wen (2008)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

In this paper, we characterize the substitutions over a three-letter alphabet which generate a ultimately periodic sequence.

Permissive strategies : from parity games to safety games

Julien Bernet, David Janin, Igor Walukiewicz (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the behaviours of all winning strategies. It is shown, however, that there always exists a permissive strategy that encompasses all the behaviours of all memoryless strategies. An algorithm for finding such a permissive strategy is presented. Its complexity matches currently known upper bounds for the simpler problem of finding...

Permissive strategies: from parity games to safety games

Julien Bernet, David Janin, Igor Walukiewicz (2010)

RAIRO - Theoretical Informatics and Applications

It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the behaviours of all winning strategies. It is shown, however, that there always exists a permissive strategy that encompasses all the behaviours of all memoryless strategies. An algorithm for finding such a permissive strategy is presented. Its complexity matches currently known upper bounds for the simpler problem...

Perona-Malik equation: properties of explicit finite volume scheme

Angela Handlovičová (2007)

Kybernetika

The Perona–Malik nonlinear parabolic problem, which is widely used in image processing, is investigated in this paper from the numerical point of view. An explicit finite volume numerical scheme for this problem is presented and consistency property is proved.

Persistency in the Traveling Salesman Problem on Halin graphs

Vladimír Lacko (2000)

Discussiones Mathematicae Graph Theory

For the Traveling Salesman Problem (TSP) on Halin graphs with three types of cost functions: sum, bottleneck and balanced and with arbitrary real edge costs we compute in polynomial time the persistency partition E A l l , E S o m e , E N o n e of the edge set E, where: E A l l = e ∈ E, e belongs to all optimum solutions, E N o n e = e ∈ E, e does not belong to any optimum solution and E S o m e = e ∈ E, e belongs to some but not to all optimum solutions.

Phenotype space and kinship assignment for the Simpson index

Bruce Litow, Dmitry Konovalov (2008)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We investigate the computational structure of the biological kinship assignment problem by abstracting away all biological details that are irrelevant to computation. The computational structure depends on phenotype space, which we formally define. We illustrate this approach by exhibiting an approximation algorithm for kinship assignment in the case of the Simpson index with a priori error bound and running time that is polynomial in the bit size of the population, but exponential in phenotype...

Phenotype space and kinship assignment for the simpson index

Bruce Litow, Dmitry Konovalov (2007)

RAIRO - Theoretical Informatics and Applications

We investigate the computational structure of the biological kinship assignment problem by abstracting away all biological details that are irrelevant to computation. The computational structure depends on phenotype space, which we formally define. We illustrate this approach by exhibiting an approximation algorithm for kinship assignment in the case of the Simpson index with a priori error bound and running time that is polynomial in the bit size of the population, but exponential in phenotype...

Phenotypic evolution with a mutation based on symmetric α-stable distributions

Andrzej Obuchowicz, Przemysław Prętki (2004)

International Journal of Applied Mathematics and Computer Science

Multidimensional Symmetric α-Stable (SαS) mutations are applied to phenotypic evolutionary algorithms. Such mutations are characterized by non-spherical symmetry for α<2 and the fact that the most probable distance of mutated points is not in a close neighborhood of the origin, but at a certain distance from it. It is the so-called surrounding effect (Obuchowicz, 2001b; 2003b). For α=2, the SαS mutation reduces to the Gaussian one, and in the case of α=1, the Cauchy mutation is obtained. The...

Picture languages in automatic radiological palm interpretation

Ryszard Tadeusiewicz, Marek Ogiela (2005)

International Journal of Applied Mathematics and Computer Science

The paper presents a new technique for cognitive analysis and recognition of pathological wrist bone lesions. This method uses AI techniques and mathematical linguistics allowing us to automatically evaluate the structure of the said bones, based on palm radiological images. Possibilities of computer interpretation of selected images, based on the methodology of automatic medical image understanding, as introduced by the authors, were created owing to the introduction of an original relational description...

Currently displaying 61 – 80 of 222