2 papers
q-bio.QM2008
Efficient seeding techniques for protein similarity search
Mihkail Roytberg, Anna Gambin, Laurent Noé +4
We apply the concept of subset seeds proposed in [1] to similarity search in protein sequences. The main question studied is the design of efficient seed alphabets to construct see…
cs.LO2005
Alternating Timed Automata
Slawomir Lasota, Igor Walukiewicz
A notion of alternating timed automata is proposed. It is shown that such automata with only one clock have decidable emptiness problem over finite words. This gives a new class of…