Tags

Protein folding

PRID

Artificial Intelligence; Computer Science Applications1707 Computer Vision and Pattern Recognition

Bernstein coefficients; Polynomial dynamical systems; Reachability; Theoretical Computer Science; Software; Hardware and Architecture

Burrows-Wheeler transform; Compressed computation; Lempel-Ziv; Repetitive text collections; Software

Computer science

Cyber-physical systems; Falsification; Gaussian processes; Model-based testing; Robustness; Theoretical Computer Science; Computer Science (all)

Domain modeling; Logic programming; Planning; Tabling; Software

Human-Computer Interaction; Type Theory; Theoretical Computer Science; Logical Frameworks

Lempel–Ziv factorization; Repetition-aware data structures; Repetitive text collections; Run-length encoded BWT; Computer Science (all); Computer Science Applications1707 Computer Vision and Pattern Recognition; Applied Mathematics