Zobrazeno 1 - 10
of 1 243
pro vyhledávání: '"Sič A"'
Autor:
Chocholatý, David, Fiedor, Tomáš, Havlena, Vojtěch, Holík, Lukáš, Hruška, Martin, Lengál, Ondřej, Síč, Juraj
Mata is a well-engineered automata library written in C++ that offers a unique combination of speed and simplicity. It is meant to serve in applications such as string constraint solving and reasoning about regular expressions, and as a~reference imp
Externí odkaz:
http://arxiv.org/abs/2310.10136
Z3-Noodler is a fork of Z3 that replaces its string theory solver with a custom solver implementing the recently introduced stabilization-based algorithm for solving word equations with regular constraints. An extensive experimental evaluation shows
Externí odkaz:
http://arxiv.org/abs/2310.08327
Several new algorithms for deciding emptiness of Boolean combinations of regular languages and of languages of alternating automata (AFA) have been proposed recently, especially in the context of analysing regular expressions and in string constraint
Externí odkaz:
http://arxiv.org/abs/2304.05064
Fast matching of regular expressions with bounded repetition, aka counting, such as (ab){50,100}, i.e., matching linear in the length of the text and independent of the repetition bounds, has been an open problem for at least two decades. We show tha
Externí odkaz:
http://arxiv.org/abs/2301.12851
Autor:
Blahoudek, František, Chen, Yu-Fang, Chocholatý, David, Havlena, Vojtěch, Holík, Lukáš, Lengál, Ondřej, Síč, Juraj
When eating spaghetti, one should have the sauce and noodles mixed instead of eating them separately. We argue that also in string solving, word equations and regular constraints are better mixed together than approached separately as in most current
Externí odkaz:
http://arxiv.org/abs/2212.02317
Autor:
del Rocío Rodríguez-Laguna, María, Garcia, Rafael H.L., Yoo, Tae-Sic, Anderson, Scott T., Horne, Gregory P., Gakhar, Ruchi
Publikováno v:
In Journal of Molecular Liquids 15 January 2025 418
Publikováno v:
In Computers in Biology and Medicine December 2024 183
Autor:
Kim, Kwanghwi, Lim, Hyunji, Kim, Jieun, Jeong, Gicheol, Kang, Jo Hong, Park, Hyun Sic, Park, Jinwon, Verma, Sweety, Song, Hojun
Publikováno v:
In Journal of the Taiwan Institute of Chemical Engineers November 2024 164
Autor:
Lim, Hyunji, Kim, Kwanghwi, Kim, Jieun, Park, Hyun Sic, Kang, Jo Hong, Park, Jinwon, Song, Hojun
Publikováno v:
In Journal of Environmental Chemical Engineering October 2024 12(5)