Opendata, web and dolomites
H2020 projects about "theoretic"
The page lists 101 projects related to the topic "theoretic".
| # | |||
|---|---|---|---|
| 1 | RGGC | Random Graph Geometry and Convergence | 2015 |
| 2 | InfoInt | An Information Theory of Simple Interaction | 2015 |
| 3 | socSMCs | Socialising Sensori-Motor Contingencies | 2015 |
| 4 | UQMSI | Uncertainty Quantification and Modern Statistical Inference | 2015 |
| 5 | InvGroGra | Asymptotic invariants of discrete groups, sparse graphs and locally symmetric spaces | 2015 |
| 6 | GRENHAS | Green and Smart Communications with Energy Harvesting: A Signal Processing Approach | 2015 |
| 7 | DaRe | Data Reliability in Networks and Storage Memories | 2015 |
| 8 | MODFIN | Model theory of finite and pseudofinite structures | 2016 |
| 9 | Space-Time from Info | Space-Time from Information Flow | 2015 |
| 10 | PAnaMoL | Proof-theoretic Analysis of Modal Logics | 2015 |
| 11 | ReaDoubt | Reasonable Doubt: An epistemological and psychological approach | 2015 |
| 12 | SpTheoryGraphLim | Spectral Theory of Graph Limits | 2015 |
| 13 | OPERACQC | Operational characterization of quantum correlations | 2015 |
| 14 | SENet | Social and ecological networks supporting biodiversity and food security | 2016 |
| 15 | TOSSIBERG | Theory of Stein Spaces in Berkovich Geometry | 2015 |
| 16 | CoPS | Coevolutionary Policy Search | 2015 |
| 17 | EUTHORITY | Conflict and Cooperation in the EU Heterarchical Legal System | 2015 |
| 18 | FET_TRACES | Tracing impacts of the FET programme | 2015 |
| 19 | DuaLL | Duality in Formal Languages and Logic - a unifying approach to complexity and semantics | 2015 |
| 20 | AlmaCrypt | Algorithmic and Mathematical Cryptology | 2016 |
| 21 | TheoryDL | Practically Relevant Theory of Deep Learning | 2016 |
| 22 | MULTISCALE | Precision Multi-Scale Predictions for the LHC: Higgs, Jets and Supersymmetry | 2016 |
| 23 | OXTOP | Low-dimensional topology in Oxford | 2016 |
| 24 | SYSMICS | Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. | 2016 |
| 25 | ATOM | Advancing the state of the art of MIMO: the key to the successful evolution of wireless networks | 2016 |
| 26 | HetScaleNet | Analysis and control of large scale heterogeneous networks: scalability, robustness and fundamental limits | 2016 |
| 27 | POLICIES_FOR_PEACE | The economics of lasting peace: The role of policies and institutions | 2016 |
| 28 | CONSERVATION | The Economics and Politics of Conservation | 2016 |
| 29 | CAR | Context-Active Resilience in Cyber Physical Systems | 2016 |
| 30 | THE VERBAL APE | The primate precursors of human consonants and vowels | 2017 |
| 31 | Degrees of Belief | The Nature of Degrees of Belief | 2017 |
| 32 | LoGIcInMAS | Logics and Games for Imperfect Information in Multi-Agent Systems | 2016 |
| 33 | MID | Molecular Information Dynamics | 2016 |
| 34 | ESTIA | Exponential sums, translation invariance, and applications | 2016 |
| 35 | LUMINOUS | Studying, Measuring and Altering Consciousness through information theory in the electrical brain | 2016 |
| 36 | EVNSMAS | An evolutionary approach to automated norm synthesis for multi agent systems | 2016 |
| 37 | CloudRadioNet | Cloud Wireless Networks: An Information Theoretic Framework | 2016 |
| 38 | HEF | Higher Epsilon-Factors for Higher Local Fields | 2016 |
| 39 | TREPISTEME | Formal Truth in Epistemology | 2016 |
| 40 | CONSTAMIS | Connecting Statistical Mechanics and Conformal Field Theory: an Ising Model Perspective | 2017 |
| 41 | PaPaAlg | Pareto-Optimal Parameterized Algorithms | 2017 |
| 42 | DisDyn | Distributed and Dynamic Graph Algorithms and Complexity | 2017 |
| 43 | AlgTateGro | Constructing line bundles on algebraic varieties -- around conjectures of Tate and Grothendieck | 2016 |
| 44 | MSMA | Moduli Spaces, Manifolds and Arithmetic | 2016 |
| 45 | STRUCTURALISM | The Roots of Mathematical Structuralism | 2017 |
| 46 | ThReDS | A Theory of Reference for Distributional Semantics | 2017 |
| 47 | BH-STRING-HOLO | Black Holes in String Theory and Holography | 2017 |
| 48 | DeciTrustNET | Trust based Decision Support Systems for Social Networks with Uncertain Knowledge | 2017 |
| 49 | Philosophy Forcing | Forcing in Contemporary Philosophy of Set Theory | 2017 |
| 50 | MiLC | Monotonicity in Logic and Complexity | 2017 |
| 51 | PROXNET | Modelling Complex Networks Through Graph Editing Problems | 2018 |
| 52 | STAR-ProBio | Sustainability Transition Assessment and Research of Bio-based Products | 2017 |
| 53 | DEFENDER | Defending the European Energy Infrastructures | 2017 |
| 54 | ITHACA | An Information Theoretic Approach to Improving the Reliability of Weather and Climate Simulations | 2017 |
| 55 | MDDS | Mechanism Design for Data Science | 2017 |
| 56 | ALGSTRONGCRYPTO | Algebraic Methods for Stronger Crypto | 2017 |
| 57 | CSG | C° symplectic geometry | 2017 |
| 58 | SUBLINEAR | Sublinear Algorithms for Modern Data Analysis | 2018 |
| 59 | ANADEL | Analysis of Geometrical Effects on Dispersive Equations | 2018 |
| 60 | SCCD | Structure and classification of C*-dynamics | 2018 |
| 61 | INFLUENCE | Influence-based Decision-making in Uncertain Environments | 2018 |
| 62 | BirNonArchGeom | Birational and non-archimedean geometries | 2018 |
| 63 | NewtonStrat | Newton strata - geometry and representations | 2018 |
| 64 | CoCoSym | Symmetry in Computational Complexity | 2018 |
| 65 | CogLit | Literature as a Cognitive Object; Cognitive infrastructure and human cultural transmission | 2018 |
| 66 | DeciGUT | A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation | 2018 |
| 67 | NISIHealth | Digital Nudges, Incentives and Social Influence in Habit Formation of a Global Health Behaviour | 2019 |
| 68 | CARENET | Content-Aware Wireless Networks: Fundamental Limits, Algorithms, and Architectures | 2018 |
| 69 | SINGREP | Linking singularity theory and representation theory with homological methods | 2018 |
| 70 | INTENSS | INformation-Theoretic analysis of Embodied and Situated Systems | 2018 |
| 71 | SEMSUBSET | The Grammar of Inclusion: Exploring the Boundaries of Linguistic Competence | 2019 |
| 72 | FunSilting | Functorial techniques in silting theory | 2018 |
| 73 | STRUDEL | Information Theory beyond Communications: Distributed Representations and Deep Learning | 2018 |
| 74 | Topics in Behavioral | Topics in Behavioral-Economics Theory | 2018 |
| 75 | COSMOS | Game theoretic Control for Complex Systems of Systems | 2019 |
| 76 | COMNFT | Communication Using the Nonlinear Fourier Transform | 2019 |
| 77 | BeyondA1 | Set theory beyond the first uncountable cardinal | 2018 |
| 78 | MesuR | Metric-measure inequalities in sub-Riemannian manifolds | 2019 |
| 79 | VERICOMP | Foundations of Verifiable Computing | 2019 |
| 80 | APOLLO | Advanced Signal Processing Technologies for Wireless Powered Communications | 2019 |
| 81 | IGOC | Interactions between Groups, Orbits, and Cartans | 2019 |
| 82 | SUExp | Strategic Uncertainty: An Experimental Investigation | 2018 |
| 83 | QuNeS | Quantum Networks in Space-Time | 2020 |
| 84 | NeuCoDe | Neural & Computational Principles of Multisensory Integration during Active Sensing and Decision-Making | 2019 |
| 85 | LiquidEff | LiquidEff: Algebraic Foundations for Liquid Effects | 2019 |
| 86 | D-FINED | Duality for Finite Models: Relating Structure and Power | 2020 |
| 87 | COMBGEOREP | Combinatorial and geometric methods in representation theory | 2019 |
| 88 | X-SUGRA | eXceptional Solutions and U-folds in quantum GRAvity | 2020 |
| 89 | SAIFIA | Strong Axioms of Infinity: Frameworks, Interactions and Applications | 2020 |
| 90 | RELEVANT REALISM | Relevant Realism - Truth, Power, and Action for 21st Century Societies | 2019 |
| 91 | HOTHSPOH | Homotopy theory of spaces of homomorphisms | 2019 |
| 92 | DEFGROUP | Definable and pseudofinite groups | 2020 |
| 93 | HMS | Homological mirror symmetry, Hodge theory, and symplectic topology | 2020 |
| 94 | SYSAGING | A platform for rapidly mapping the molecular and systemic dynamics of aging | 2020 |
| 95 | SWING | Signals, Waves, and Learning: A Data-Driven Paradigm for Wave-Based Inverse Problems | 2020 |
| 96 | EDUC8 | Early Stage Researchers EDUCational Program on Factor VIII Immunogenicity | 2020 |
| 97 | InfoNet | Informational properties of networks under communication constraints | 2020 |
| 98 | ForM-SMArt | Formal Methods for Stochastic Models: Algorithms and Applications | 2020 |
| 99 | LEAFHOUND | Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications | 2020 |
| 100 | MCT | Metacomputational Complexity Theory | 2020 |
| 101 | MotivicCircleMethod | A motivic circle method | 2020 |