The topological structure of adherences of regular languages
The topologies of sofic subshifts have computable Pierce invariants
The topology of continuous partially-additive monoids
The Uniform Minimum-Ones 2SAT Problem and its Application to Haplotype Classification
Analyzing genomic data for finding those gene variations which are responsible for hereditary diseases is one of the great challenges in modern bioinformatics. In many living beings (including the human), every gene is present in two copies, inherited from the two parents, the so-called haplotypes. In this paper, we propose a simple combinatorial model for classifying the set of haplotypes in a population according to their responsibility for a certain genetic disease. This model is based...
The Union of Balls and Its Dual Shape.
The unsolvability of the emptiness problem of the two deterministic finite transducer mappings
The Upper Envelope of Piecewise Linear Functions: Algorithms and Applications.
The Upper Envelope of Piecewise Linear Functions: Tight Bounds on the Number of Faces.
The varieties of languages corresponding to the varieties of finite band monoids.
The variety generated by finite nilpotent monoids.
The -calculus alternation-depth hierarchy is strict on binary trees
The μ-calculus alternation-depth hierarchy is strict on binary trees
In this paper we give a simple proof that the alternation-depth hierarchy of the μ-calculus for binary trees is strict. The witnesses for this strictness are the automata that determine whether there is a winning strategy for the parity game played on a tree.
Theorem proving through depth-first test
Théorie des magmoïdes
Théorie des magmoïdes (I)
Theory of classification : a survey of some recent advances
The last few years have witnessed important new developments in the theory and practice of pattern classification. We intend to survey some of the main new ideas that have led to these recent results.
Theory of Classification: a Survey of Some Recent Advances
The last few years have witnessed important new developments in the theory and practice of pattern classification. We intend to survey some of the main new ideas that have led to these recent results.
Theory of computing systems
There are ternary circular square-free words of length for 18.
There is no complete axiom system for shuffle expressions