CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Set Theory
Theoretical Computer Science; Computer Science (all)
2D object reconstruction; Answer set programming; Geometric reasoning
Algebraic logic; Automated equational reasoning; Modal translation methods; Pairing; Relation algebras; Set-theoretic deduction
Behavioural equivalences; Product-forms stochastic models; Quantitative analysis; Stochastic automata; Theoretical Computer Science; Information Systems; Computer Science Applications; Computer Vision and Pattern Recognition; Computational Theory and Mathematics
Bisimilarity; Modal logic characterizations; Reactive probabilistic systems; Theoretical Computer Science; Computer Science (all)
Brain-computer interface; EEG; P300; event-related potential; predictive speller
Cataloguing System
Formal semantics; Labelled systems; Labelled variables; Logic programming; Metainterpretation; Situated intelligence; Theoretical Computer Science; Algebra and Number Theory; Information Systems; Computational Theory and Mathematics
Non-theatrical Cinema
«
»
Cite
×