CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Bioinformatics; Cnv; Copy number variation; Ngs; Paired-end method; Structural variation; Agricultural and Biological Sciences (all)
Biological systems; Parameter synthesis; Reachability; STL; Computer Science (all); Theoretical Computer Science
Bisimulation; Logic programming modeling; Computer Science (all)
BWT
BWT; Compression; Lempel-Ziv; Computer Science (all); Theoretical Computer Science
CNF-satisfiability; Davis-Putnam-Logemann-Loveland procedure; general purpose GPU computing; parallel SAT-solving; Software; Artificial Intelligence; Theoretical Computer Science
Coinduction; Denotational Semantics; Foundations of Logic Programming; Information Systems; Computational Theory and Mathematics; Theoretical Computer Science; Algebra and Number Theory
compressed space
Computer Science (all); Theoretical Computer Science
Computer Science Applications1707 Computer Vision and Pattern Recognition; Mathematics (miscellaneous)
«
»
Cite
×