The page lists 29 projects related to the topic "formulas".
# | |||
---|---|---|---|
1 | BRODISE | BROWNFIELD Decontamination In Southern Europe. Preparing PCP to R+D for efficient, cost effective and innovative solutions for brownfields decontamination | 2015 |
2 | FOREMOTIONS | Formal Frameworks for Modal Notions Conceived as Predicates | 2016 |
3 | TCN TimeAnalyzer | TimeAnalyzer in real-time networks | 2015 |
4 | FICKLEFORMS | Fickle Formulas. The Political Economy of Macroeconomic Measurement | 2015 |
5 | SYMCAR | Symbolic Computation and Automated Reasoning for Program Analysis | 2016 |
6 | QAffine | Representations of quantum affine algebras and applications | 2015 |
7 | FIDOs | Development and market launch of novel technology for production of nutritionally complete plant proteins called FIDOs - “Functional (Protein) Isolates Derived from Oilseeds”. | 2015 |
8 | SMARTHE | Smart Thermostat Évolution | 2015 |
9 | ModRed | The geometry of modular representations of reductive algebraic groups | 2016 |
10 | BOPNIE | Boundary value problems for nonlinear integrable equations | 2016 |
11 | INFL | New perspectives on inflation | 2016 |
12 | RicciBounds | Metric measure spaces and Ricci curvature — analytic, geometric, and probabilistic challenges | 2016 |
13 | CLASP | A Consolidated Library of Anglo-Saxon Poetry | 2016 |
14 | REsiliENCe | Research and development of innovative Enamels and Nanocoatings for the Cooking appliances market | 2017 |
15 | CAP-SAliPharm | Cold Atmospheric Plasma (CAP) sterilization of powdered products: optimization and validation at alimentary and pharmaceutical levels | 2018 |
16 | ReLaDe | Reusable Laundry Detergent | 2017 |
17 | DATAMINE4.0 | Advanced Data Modeling and Analysis Applied to next Generation Industry 4.0 settings and the Internet of Things | 2018 |
18 | COMBINEPIC | Elliptic Combinatorics: Solving famous models from combinatorics, probability and statistical mechanics, via a transversal approach of special functions | 2018 |
19 | roometric3D | A disruptive smartphone application to measure three-dimensional spaces to digitally evaluate and view associated surface data | 2017 |
20 | CoMoRoC | Comic Motifs in Romances of Chivalry of Spanish Golden Age | 2018 |
21 | ECHOE | An Electronic Corpus of Anonymous Homilies in Old English | 2018 |
22 | ExtComb | Extremal Combinatorics: existence, counting and typical structure | 2019 |
23 | EffectiveTG | Effective Methods in Tame Geometry and Applications in Arithmetic and Dynamics | 2018 |
24 | EllipticPDE | Regularity and singularities in elliptic PDE's: beyond monotonicity formulas | 2019 |
25 | SPARKs | Static Analysis for the VErification of Spreadsheets | 2019 |
26 | VALURED | Value Judgments and Redistribution Policies | 2019 |
27 | PSOTI | Privacy-preserving Services On The Internet | 2020 |
28 | SunSHINE | The Sun-chariot’s Journey Towards the Nordic Sky: on the (Pre-)History of Ideas on Sky, Sun, and Sunlight in Northern Europe | 2020 |
29 | RAP | Sub beati Petri et nostra protectione suscipimus: Re-framing the relations between Rome and the kingdoms of Portugal and Aragon (eleventh-thirteenth centuries) | 2020 |