CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
High Degree of Freedom
Hybrid Automata; Model Checking
Hybrid Automata; Symbolic Computation; Systems Biology
Modeling problems
Multi Body Systems
ngs; short reads; Alignment
Np-completeness
Protein conformation
Protein domains; SCOP classification; BLOSUM spectrum
Relative positions
«
»
Cite
×