CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Bigraphs; Graph rewriting systems; Integer linear programming; Weighted bigraphs
Branching Heuristics; GPU parallelism; SAT Solving
Breath representation; ICU monitoring; Mechanical ventilator; Respiratory asynchronies
Concurrency theory; Distributed Systems; Process algebra
Diagnostic information; Diagnostic test performance; Informational diagnostic channels; Inter-rater agreement; Quality measures; Shannon information theory
distributed systems
ECA rules
edge computing
Environmental surveillance; Legionella; Machine learning; Spatio-temporal data mining
Events; Hybrid automata; Systems biology; Time; Uncertainty
«
»
Cite
×