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