CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Compression; Lumpability; Neural networks; Pruning
Diagnostic imaging; Information theory; Observer variation; Research design; Sensitivity and specificity
Dynamical Systems; Infinite State Systems; Invariants; K-Induction
Finite automata; Ordering languages; Regular languages; Wheeler automata
Graphs; Quantum computing; Quantum speed-up; Quantum walks
Lacticaseibacillus; WGA-LP
Specification; Verification and synthesis; Security protocols; Practical verification; Privacy; Formal methods
PNRR
Algebraic reasoning; Categorical logic; Eilenberg-Moore algebras; Equational axiomatisations; Fuzzy sets; Monads
AllDifferent; Constraint Propagation; GPU computing; Parallelism
«
»
Cite
×