CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
constraint programming; CUDA; general-purpose graphical processing units; multi-agent systems; protein structure prediction; Software; Artificial Intelligence; Theoretical Computer Science
Discrete modeling; Gene regulatory networks; Hybrid system; Quasi-steady state approximation; Stochastic noise; Biochemistry; Structural Biology; Organic Chemistry; Computational Mathematics
DNA; Algorithms; Genome; hash; BWT
dynamic bitvector
Inborn errors of metabolism; Flux balance analysis; Model checking; Genome-scale metabolic network reconstruction; Spin; Promela; Systems biology
Logic Programming; Declarative Programming; Planning
Process calculi; Coalgebraic semantics; Weak behavioural equivalences; Saturation semantics
Sequence Analysis
Simulation preorder; Simulation quotient; directed acyclic graphs; rank; Simulation algorithms
Bisimulation; Logic Programming
«
»
Cite
×