CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
ASP; Big Data Analysis; Bioinformatics
Backtraking; Cyber-physical systems; Hybrid Automata; Optimal Parameter Synthesis; Reachability
Bernstein expansion
Cohen’s kappa statistic; Diagnostic agreement; Information measures; Inter-reader agreement; Multivalue ordered-categorical ratings
Complexity; Computability; Teaching Computer Science; Turing Machines
Epistemic Reasoning; Multi-Agent; Multi-Shot ASP; Planning; Possibilities
Neural Net Control Systems
Neural Network
Action language; Epistemic reasonings; Multi agent; Non-well-founded sets; Possibilities
ASP solving; Distributed computation; Logic programming
«
»
Cite
×