CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Computer Science - Logic in Computer Science; Computer Science - Logic in Computer Science; F.1.2; F.3.2
Constraint Programming; GPU parallelism
Hereditarily finite sets; Hypersets; Bisimulation; Membership graphs
Hybrid Automata; Unwinding
next-generation sequencing; Parallel algorithm; Alignment
ε-Semantics; Hybrid systems; Reachability problem
Action languages; Constraint logic programming; Multi-agent systems
Answer set programming; Logic Programming; CUDA; Parallelism
Biological oscillator; Computational modeling; Discrete dynamics; Membrane computing; Metabolic p systems (mp systems); Systems biology markup language (sbml)
Computational complexity; Conceptual modeling; Entity-relationship model; Graph theory; XML schema
«
»
Cite
×