Opendata, web and dolomites
H2020 projects about "expressivity"
The page lists 13 projects related to the topic "expressivity".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | HORIP | Higher-Order Rewriting for Intensional Properties of Programs and Circuits | 2015 |
| 3 | ProLeMAS | ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems | 2015 |
| 4 | Allelic Regulation | Revealing Allele-level Regulation and Dynamics using Single-cell Gene Expression Analyses | 2015 |
| 5 | Con Espressione | Getting at the Heart of Things: Towards Expressivity-aware Computer Systems in Music | 2016 |
| 6 | NLPRO | Natural Language Programming: Turning Text into Executable Code | 2016 |
| 7 | DeciGUT | A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation | 2018 |
| 8 | EScORIAL | Emerging Simplex ORigins In ALS | 2018 |
| 9 | PhenomeNal | Inheritance, expressivity and epistasis hidden behindthe phenotypic landscape of natural populations | 2018 |
| 10 | AutoTADes | Automating Timed Automata Design | 2018 |
| 11 | EMPORIGIN | What are the origins of empathy? A comparative developmental investigation | 2019 |
| 12 | FORCE-UI | Force-responsive Deformable User Interfaces | 2020 |
| 13 | FACEDIFF | Individual differences in facial expressivity: Social function, facial anatomy and evolutionary origins | 2020 |