Opendata, web and dolomites
H2020 projects about "arithmetic"
The page lists 48 projects related to the topic "arithmetic".
| # | |||
|---|---|---|---|
| 1 | EXTPRO | Quasi-Randomness in Extremal Combinatorics | 2015 |
| 2 | Euler systems | Euler systems and the Birch--Swinnerton-Dyer conjecture | 2015 |
| 3 | TOSSIBERG | Theory of Stein Spaces in Berkovich Geometry | 2015 |
| 4 | SYMCAR | Symbolic Computation and Automated Reasoning for Program Analysis | 2016 |
| 5 | NANOxCOMP | Synthesis and Performance Optimization of a Switching Nano-crossbar Computer | 2015 |
| 6 | OXTOP | Low-dimensional topology in Oxford | 2016 |
| 7 | IPAHOT-PVC | Integral p-adic Hodge Theory and p-adic Vanishing Cycles | 2016 |
| 8 | DAPP | Data-centric Parallel Programming | 2016 |
| 9 | MORE-or-LESS | do Maths Outcomes Reflect Expertise Linked to Effective Strategy Selection? Event related brain potentials and eye movement studies in children and adults | 2016 |
| 10 | InfGroups | Foundations for computing with infinite linear groups | 2016 |
| 11 | InfTy | Infinitary Rewriting for Type Systems | 2016 |
| 12 | K3CRYSTAL | Moduli of Crystals and K3 Surfaces | 2016 |
| 13 | HEF | Higher Epsilon-Factors for Higher Local Fields | 2016 |
| 14 | GMLP | Global Methods in the Langlands Program | 2017 |
| 15 | weDRAW | Exploiting the best sensory modality for learning arithmetic and geometrical concepts based on multisensory interactive Information and Communication Technologies and serious games | 2017 |
| 16 | AlgTateGro | Constructing line bundles on algebraic varieties -- around conjectures of Tate and Grothendieck | 2016 |
| 17 | GALOP | Galois theory of periods and applications. | 2017 |
| 18 | AGAGAP | Algebraic Group Actions in Geometry, Arithmetic, and Physics | 2017 |
| 19 | MiLC | Monotonicity in Logic and Complexity | 2017 |
| 20 | NUMELAT | Numbers in the brain: the impact of brain lateralization on numerical abilities | 2018 |
| 21 | ITHACA | An Information Theoretic Approach to Improving the Reliability of Weather and Climate Simulations | 2017 |
| 22 | ALGSTRONGCRYPTO | Algebraic Methods for Stronger Crypto | 2017 |
| 23 | MNEMOSENE | Computation-in-memory architecture based on resistive devices | 2018 |
| 24 | NewtonStrat | Newton strata - geometry and representations | 2018 |
| 25 | RMAST | Random Models in Arithmetic and Spectral Theory | 2019 |
| 26 | LOFUPRO | The Logical Function of Property Talk | 2018 |
| 27 | TropicalModuli | Foundations and applications of tropical moduli theory | 2018 |
| 28 | LowDegModCurve | Low Degree Points on Modular Curves | 2018 |
| 29 | Entrans | Energy Efficient Transprecision Techniques for Linear Solver | 2018 |
| 30 | UPDWMI | Ultra-low Power Digital circuits for Wireless Medical Implants | 2018 |
| 31 | PolyBar | A new approach to polymorphism through bar recursion | 2018 |
| 32 | ALPHA | Alpha Shape Theory Extended | 2018 |
| 33 | EFMA | Equidistribution, fractal measures and arithmetic | 2018 |
| 34 | PariTorMod | P-adic Arithmetic Geometry, Torsion Classes, and Modularity | 2019 |
| 35 | SPEC | Secure, Private, Efficient Multiparty Computation | 2019 |
| 36 | EffectiveTG | Effective Methods in Tame Geometry and Applications in Arithmetic and Dynamics | 2018 |
| 37 | HiCoShiVa | Higher coherent coholomogy of Shimura varieties | 2019 |
| 38 | DIFFOP | Nonlinear Data and Signal Analysis with Diffusion Operators | 2019 |
| 39 | LocalGlobal0Cycles | Local-global principles and zero-cycles | 2019 |
| 40 | HomDyn | Homogenous dynamics, arithmetic and equidistribution | 2019 |
| 41 | NumBraInf | The Role of Prefrontal Cortex in Functional Brain Organization of Number Processing in Infants | 2019 |
| 42 | QUADAG | Quadratic refinements in algebraic geometry | 2019 |
| 43 | Robust | Robust and Energy-Efficient Numerical Solvers Towards Reliable and Sustainable Scientific Computations | 2019 |
| 44 | MODSTABVAR | Moduli spaces of stable varieties and applications | 2020 |
| 45 | PRIMES | Structure in the Primes, with applications | 2020 |
| 46 | CohoSing | Cohomology and Singularities | 2019 |
| 47 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |
| 48 | ZETA-FM | Zeta functions and Fourier-Mukai transforms | 2020 |