Of the ~1,700 proteins predicted to contain LARKS, many contain disease-related mutations in the LARKS sequence. In this study, we analyze only the 400 top-ranked LARKS (as scored by the structural threading algorithm), leaving many more to be screened and characterized6. We also focus ...
A simple translation of a parity automaton to an equivalent Büchi automaton is quadratic: a parity automaton with n states, m transitions, and index k may result in a Büchi automaton of size O (( n + m ) k ). The best known algorithm for the nonemptiness problem of parity automata ...