CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Constraint Programming; Bioinformatics; Protein structure prediction
differential flux analysis; flux balance analysis; hepatocyte metabolism; inborn errors of metabolism; mathematical modeling
Encodings; Hereditarily finite sets; Hypersets
Hybrid Automata; Symbolic Computation; Approximation
Logic Programming; co-induction
Protein structure prediction; Constraint Programming; CUDA; Parallelism
Acyclic graphs; Efficient simulation; Memory requirements
Critical problems
Filtering technique
Fragment assembly
«
»
Cite
×