CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Bisulfite; BWT; DNA methylation; NGS; Succinct hashing; CpG Islands; DNA; Data Compression; Genome
Burrows-Wheeler transform
Computer Science - Logic in Computer Science; Computer Science - Logic in Computer Science; F.1.2; F.3.1; D.3.1
DNA; Sulfites; DNA Methylation; Epigenomics; Software; Applied Mathematics; Structural Biology; Biochemistry; Molecular Biology; Computer Science Applications1707 Computer Vision and Pattern Recognition
Dynamical System; Parallelotope Bundle; Polytope; Reachability; Computer Networks and Communications; Computer Science Applications1707 Computer Vision and Pattern Recognition; Control and Systems Engineering
Foundations of infinitesimal calculus; Nonstandard analysis; Proof checking; Proof engineering
Hereditarily finite sets; Hyper-extensionality; Non-well-foundedness; Set theory; Theoretical Computer Science; Computer Science
Human; Genomics; High-Throughput Nucleotide Sequencing; Humans; Sequence Analysis
indexing
LZ77
«
»
Cite
×