Tags

academic

bioinformatics

PNRR

Algebraic reasoning; Categorical logic; Eilenberg-Moore algebras; Equational axiomatisations; Fuzzy sets; Monads

Bernstein coefficients; Neural network verification; Parametric dynamical systems; Signal temporal logic

Bigraphs; Graph rewriting systems; Integer linear programming; Weighted bigraphs

Edge-failure; Graphs; Quantum walks

Environmental surveillance; Legionella; Machine learning; Spatio-temporal data mining

Markov Processes

Modeling