CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Theory and Models
03D45; 11U05; Ackermann's numbering; Encodings; MS Classification 2020; multisets; transcendental numbers
ADPKD; drug repositioning; metabolism; systems biology; systems medicine; therapeutics
Aggregation techniques; Bisimilarity; CTMCs; Lumpability; Process algebra
Algorithms; Lumpability; Markov chains
Automatic monitoring; Machine learning; Mechanical ventilator; Respiratory asynchrony
Autonomic computing; Bisimulations; ECA rules; Formal methods; Verification
Belief update; Epistemic planning; Knowledge representation; Multi-agent
Categorical logic; Closure operators; Spatial logic; Topological semantics
Constraint Programming
«
»
Cite
×