Pattern Discovery in Colored Strings

Publisher Copyright: © 2020 Association for Computing Machiner.In this article, we consider the problem of identifying patterns of interest in colored strings. A colored string is a string where each position is assigned one of a finite set of colors. Our task is to find substrings of the colored string that always occur followed by the same color at the same distance. The problem is motivated by applications in embedded systems verification, in particular, assertion mining. The goal there is to auto matically find properties of the embedded system from the analysis of its simulation traces. We show that, in our setting, the number of patterns of interest is upper-bounded by O(n2), where n is the length of the string. We introduce a baseline algorithm, running in O(n2) time, which identifies all patterns of interest satisfying certain minimality conditions for all colors in the string. For the case where one is interested in patterns related to one color only, we also provide a second algorithm that runs in O(n2 logn) time in the worst case but is faster than the baseline algorithm in practice. Both solutions use suffix trees, and the second algorithm also uses an appropriately defined priority queue, which allows us to reduce the number of computations. We performed an experimental evaluation of the proposed approaches over both synthetic and real-world datasets, and found that the second algorithm outperforms the first algorithm on all simulated data, while on the real-world data, the performance varies between a slight slowdown (on half of the datasets) and a speedup by a factor of up to 11.Peer reviewe

Liquid-based cervical cytology in the United Kingdom and South Africa : Carcinoma of the cervix is a common disease among South African women and is globally important

No abstract available.http://www.cmej.org.za/index.php/cme

Gross primary productivity and respiration in the experimental wetland basins, 1996-98

The University Archives has determined that this item is of continuing value to OSU's history

A total dissolved solids budget for the experimental wetland basins, 1996-98

The University Archives has determined that this item is of continuing value to OSU's history

Calcite in the metaphyton and sediments of the experimental wetland basins, 1999

The University Archives has determined that this item is of continuing value to OSU's history

Experimental study of three-nucleon dynamics in proton-deuteron breakup reaction

Proton–deuteron breakup reaction can serve as a tool to test stateof- the-art descriptions of nuclear interactions. At intermediate energies, below the threshold for pion production, comparison of the data with exact theoretical calculations is possible and subtle effects of the dynamics beyond the pairwise nucleon–nucleon interaction, namely the three-nucleon force (3NF), are significant. Beside 3NF, Coulomb interaction or relativistic effects are also important to precisely describe the differential cross section of the breakup reaction. The data analysis and preliminary results of the measurement of proton-induced deuteron breakup at the Cyclotron Center Bronowice, Institute of Nuclear Physics, Polish Academy of Sciences in Kraków are presented