Opendata, web and dolomites
H2020 projects about "algorithmic"
The page lists 151 projects related to the topic "algorithmic".
| # | |||
|---|---|---|---|
| 1 | CONT-ACT | Control of contact interactions for robots acting in the world | 2015 |
| 2 | ResiBots | Robots with animal-like resilience | 2015 |
| 3 | COMPUTED | Computational User Interface Design | 2015 |
| 4 | SYNTECH | Synthesis Technologies for Reactive Systems Software Engineers | 2015 |
| 5 | PHySIS | Sparse Signal Processing Technologies for HyperSpectral Imaging Systems | 2015 |
| 6 | DOLFINS | Distributed Global Financial Systems for Society | 2015 |
| 7 | SAFEcrypto | Secure Architectures of Future Emerging Cryptography | 2015 |
| 8 | VITAL | VIrtualized hybrid satellite-TerrestriAl systems for resilient and fLexible future networks | 2015 |
| 9 | SoMa | Soft-bodied intelligence for Manipulation | 2015 |
| 10 | TUNNELCHEM | Atom-Tunneling in Chemistry | 2015 |
| 11 | SSBD | Small Summaries for Big Data | 2015 |
| 12 | CC | Combinatorial Construction | 2016 |
| 13 | DBA | Distributed Biological Algorithms | 2015 |
| 14 | LaDIST | Large Discrete Structures | 2015 |
| 15 | DISTRUCT | Structure Theory for Directed Graphs | 2015 |
| 16 | ExplicitDarmonProg | Explicit Methods for the Darmon Programme | 2015 |
| 17 | ALGOVIS | Algorithmic Approaches to Spatially-Informed Information Visualization | 2015 |
| 18 | PAnaMoL | Proof-theoretic Analysis of Modal Logics | 2015 |
| 19 | AUTAR | A Unified Theory of Algorithmic Relaxations | 2015 |
| 20 | CONC-VIA-RIEMANN | High-Dimensional Convexity, Isoperimetry and Concentration via a Riemannian Vantage Point | 2015 |
| 21 | ATOM | Attention to Marketing (ATOM): Application of eye-tracking to the online market for advertising | 2015 |
| 22 | ENCOMOLE-2i | Endoscopic Comprehensive Optical Multimodal Molecular Intelligent Imaging | 2016 |
| 23 | AVS-ISS | Analysis, Verification, and Synthesis for Infinite-State Systems | 2015 |
| 24 | ExaFLOW | Enabling Exascale Fluid Dynamics Simulations | 2015 |
| 25 | NLAFET | Parallel Numerical Linear Algebra for Future Extreme-Scale Systems | 2015 |
| 26 | ESCAPE | Energy-efficient SCalable Algorithms for weather Prediction at Exascale | 2015 |
| 27 | CoCoBondsValuation | New System for Credit Rating of Hybrid Securities | 2015 |
| 28 | OCLOC | From Open to Closed Loop Optimal Control of PDEs | 2016 |
| 29 | CAxMan | Computer Aided Technologies for Additive Manufacturing | 2015 |
| 30 | GRANT | Groups, Representations and Analysis in Number Theory | 2015 |
| 31 | GRACE | Resource Bounded Graph Query Answering | 2015 |
| 32 | SBSI | Structure-based subwavelength imaging | 2015 |
| 33 | AlmaCrypt | Algorithmic and Mathematical Cryptology | 2016 |
| 34 | COMPROP | Computational Propaganda:Investigating the Impact of Algorithms and Bots on Political Discourse in Europe | 2016 |
| 35 | NeMeCo | Near Memory Computing | 2016 |
| 36 | PAAL-POC | Practical Approximation Algorithms - Proof of Concept | 2015 |
| 37 | INTEL-1 | Intelligent investment analysis of early-stage companies | 2016 |
| 38 | SMAC | Smart Markets via Computation | 2016 |
| 39 | TOTAL | Technology transfer between modern algorithmic paradigms | 2016 |
| 40 | FORT2 | Forward Trigger for the CMS phase-2 | 2016 |
| 41 | InfGroups | Foundations for computing with infinite linear groups | 2016 |
| 42 | CHAMELEON | Intuitive editing of visual appearance from real-world datasets | 2016 |
| 43 | APEG | Algorithmic Performance Guarantees: Foundations and Applications | 2016 |
| 44 | CLIM | Computational Light fields IMaging | 2016 |
| 45 | LUMINOUS | Studying, Measuring and Altering Consciousness through information theory in the electrical brain | 2016 |
| 46 | SC-square | SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems | 2016 |
| 47 | CombiCompGeom | Combinatorial Aspects of Computational Geometry | 2016 |
| 48 | HawkEye | Vision-based Guidance and Control in Birds, with Applications to Autonomous Unmanned Aircraft | 2016 |
| 49 | ECGGFS | Energy Consumption Gamified - Greenely Feasibility Study | 2016 |
| 50 | PaPaAlg | Pareto-Optimal Parameterized Algorithms | 2017 |
| 51 | Extreme | An Exascale aware and Un-crashable Space-Time-Adaptive Discontinuous Spectral Element Solver for Non-Linear Conservation Laws | 2017 |
| 52 | FAFC | Foundations and Applications of Functional Cryptography | 2017 |
| 53 | DisDyn | Distributed and Dynamic Graph Algorithms and Complexity | 2017 |
| 54 | EoC | Ethics of Coding: A Report on the Algorithmic Condition | 2017 |
| 55 | LAMBDA | Learning and Analysing Massive / Big complex Data | 2017 |
| 56 | CONNECT | Combinatorics of Networks and Computation | 2017 |
| 57 | SYSCID | A Systems medicine approach to chronic inflammatory disease | 2017 |
| 58 | CRYOMATH | Cryo-electron microscopy: mathematical foundations and algorithms | 2017 |
| 59 | MPM | Modern Pattern Matching | 2017 |
| 60 | VideoPlus | A platform for augmented video content | 2017 |
| 61 | CUTACOMBS | Cuts and decompositions: algorithms and combinatorial properties | 2017 |
| 62 | SYSTEMATICGRAPH | Systematic mapping of the complexity landscape of hard algorithmic graph problems | 2017 |
| 63 | NORIA | Numerical Optimal tRansport for ImAging | 2017 |
| 64 | TRANSCALE | Reconciling Scales in Global Seimology | 2017 |
| 65 | MAGNET | Models and Algorithms for Graph centrality grounded on Nonlinear Eigenvalues Techniques | 2017 |
| 66 | HPA4CF | Collectiveware: Highly-parallel algorithms for collective intelligence | 2017 |
| 67 | AlgoFinance | Algorithmic Finance: Inquiring into the Reshaping of Financial Markets | 2017 |
| 68 | FOGHORN | FOG-aided wireless networks for communication, cacHing and cOmputing: theoRetical and algorithmic fouNdations | 2017 |
| 69 | BigFastData | Charting a New Horizon of Big and Fast Data Analysis through Integrated Algorithm Design | 2017 |
| 70 | EnergySequence | Building data scientist to help us dive deep into the very large amount structured time series data pertaining to building energy use | 2017 |
| 71 | AlgoRNN | Recurrent Neural Networks and Related Machines That Learn Algorithms | 2017 |
| 72 | COPAC | Coherent Optical Parallel Computing | 2017 |
| 73 | MINOA | Mixed-Integer Non-Linear Optimisation Applications | 2018 |
| 74 | SUBLINEAR | Sublinear Algorithms for Modern Data Analysis | 2018 |
| 75 | ALGOCom | Novel Algorithmic Techniques through the Lens of Combinatorics | 2018 |
| 76 | CGinsideNP | Complexity Inside NP - A Computational Geometry Perspective | 2018 |
| 77 | VARIAMOLS | VAriable ResolutIon Algorithms for macroMOLecular Simulation | 2018 |
| 78 | HERMES | High Efficiency Real-Time Multithreading Engine for Space applications | 2017 |
| 79 | EEC | Economic Engineering of Cooperation in Modern Markets | 2018 |
| 80 | DATAJUSTICE | Data Justice: Understanding datafication in relation to social justice | 2018 |
| 81 | MNEMOSENE | Computation-in-memory architecture based on resistive devices | 2018 |
| 82 | LiftMatch | Lifting Methods for Global Matching Problems | 2018 |
| 83 | QSIMCORR | Quantum Simulation of Strongly-Correlated Systems | 2018 |
| 84 | IMIC | Inner models and infinite computations | 2018 |
| 85 | DOPANF | Dopaminergic midbrain modulations by (adaptive) neurofeedback | 2018 |
| 86 | GODELIANA | The Gödel Enigma: Unveiling a Hidden Logical Heritage | 2018 |
| 87 | LikelyStructures | Accounting for correlated errors with maximum likelihood in crystallography and cryo-EM | 2018 |
| 88 | INTENSS | INformation-Theoretic analysis of Embodied and Situated Systems | 2018 |
| 89 | ESCAPE-2 | Energy-efficient SCalable Algorithms for weather and climate Prediction at Exascale | 2018 |
| 90 | TROMPA | Towards Richer Online Music Public-domain Archives | 2018 |
| 91 | ACCOPT | ACelerated COnvex OPTimization | 2018 |
| 92 | AMDROMA | Algorithmic and Mechanism Design Research in Online MArkets | 2018 |
| 93 | CyCAT | Cyprus Center for Algorithmic Transparency | 2018 |
| 94 | TUgbOAT | Towards Unification of Algorithmic Tools | 2018 |
| 95 | ReduceSearch | Rigorous Search Space Reduction | 2019 |
| 96 | Active-DNA | Computationally Active DNA Nanostructures | 2018 |
| 97 | EuroPLEx | European network for Particle physics, Lattice field theory and Extreme computing | 2019 |
| 98 | GoodNews | Fake news detection in social networks using geometric deep learning | 2018 |
| 99 | QualiChain | Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation | 2019 |
| 100 | ALEX | ALgorithms EXposed. Investigating Automated Personalization and Filtering for Research and Activism | 2018 |
| 101 | CoSP | Combinatorial Structures and Processes | 2019 |
| 102 | Bergamot | Browser-based Multilingual Translation | 2019 |
| 103 | VERICOMP | Foundations of Verifiable Computing | 2019 |
| 104 | LOPRE | Lossy Preprocessing | 2019 |
| 105 | ENGAGES | Next generation algorithms for grabbing and exploiting symmetry | 2019 |
| 106 | UTOPEST | Unified Theory of Efficient Optimization and Estimation | 2019 |
| 107 | ACEPOL | Agent-based Computational Economics for Policy Analysis | 2019 |
| 108 | FTHPC | Fault Tolerant High Performance Computing | 2019 |
| 109 | KETJU | Post-Newtonian modelling of the dynamics of supermassive black holes in galactic-scale hydrodynamical simulations (KETJU) | 2019 |
| 110 | ICOPT | Fundamental Problems at the Interface of Combinatorial Optimization with Integer Programming and Online Optimization | 2019 |
| 111 | Geowox COMP | Quick, cost-effective and accurate residential property valuations for the European mortgage lender market. | 2018 |
| 112 | DigitalComp | Algorithms, Digital Platforms and Competition | 2019 |
| 113 | QAFA | Quantum Algorithms from Foundations to Applications | 2019 |
| 114 | AURORAX | Advancing cancer detection through metabolism-based diagnostics | 2019 |
| 115 | Cosmoglobe | Cosmoglobe -- mapping the universe from the Milky Way to the Big Bang | 2019 |
| 116 | SLING | Efficient algorithms for sustainable machine learning | 2019 |
| 117 | FORSEES | Perspective of a real-time structural analysis tool assistant based on Computer Vision and Human Intuition | 2019 |
| 118 | PCPABF | Challenging Computational Infeasibility: PCP and Boolean functions | 2019 |
| 119 | STRATOS | SOCP-Tailored Real-time Algorithm for Trajectory Onboard Synthesis | 2020 |
| 120 | CAOS | Containment, Avalanches and Optimisation in Spreading-processes | 2019 |
| 121 | CutGrow | A CutFEM Paradigm for Surgical Guided Growth of Bone Joints | 2020 |
| 122 | CoCoNat | Coordination in constrained and natural distributed systems | 2019 |
| 123 | STARGATE | reSilienT fARminG by Adaptive microclimaTe managEment | 2019 |
| 124 | SubNano | Computational Photochemistry in the Long Timescale: Sub-ns Photoprocesses in DNA | 2019 |
| 125 | ALGOCERT | Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems | 2019 |
| 126 | multiQCD | time-like observables from multi-level lattice QCD | 2019 |
| 127 | DendritesInVivo | Prediction and validation of in vivo dendritic processing | 2020 |
| 128 | Robust | Robust and Energy-Efficient Numerical Solvers Towards Reliable and Sustainable Scientific Computations | 2019 |
| 129 | e-DNA BotStop | e-DNA BotStop | 2019 |
| 130 | PREDICT | The Future of Prediction: The Social Consequences of Algorithmic Forecast in Insurance, Medicine and Policing | 2020 |
| 131 | REScala | A Programming Platform for Reactive Data-intensive Applications | 2019 |
| 132 | SpectraHow | SpectraHow. Smart Raman sensor to speed up biopharma manufacture | 2019 |
| 133 | SEMANTIC | end-to-end Slicing and data-drivEn autoMAtion of Next generation cellular neTworks with mobIle edge Clouds | 2020 |
| 134 | CRACKNP | Finding Cracks in the Wall of NP-completeness | 2020 |
| 135 | PHAROS | Physical Architecture Optimization System | 2019 |
| 136 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |
| 137 | SUBMODULAR | The Power of Randomness and Continuity in Submodular Optimization | 2019 |
| 138 | AlgoQIP | Beyond Shannon: Algorithms for optimal information processing | 2020 |
| 139 | HECAT | Disruptive Technologies Supporting Labour Market Decision Making | 2020 |
| 140 | CodeAll | The development of an innovative toolkit for learning programming with the use of the Internet of Things sensors and actuators | 2019 |
| 141 | REBOUND | An algorithmic framework for reducing bias and polarization in online media | 2020 |
| 142 | OPTIMIST | OPTIMised video content delivery chains leveraging data analysis over joint multI-accesS edge computing and 5G radio network infrasTructures | 2020 |
| 143 | RandomMultiScales | Computational Random Multiscale Problems | 2020 |
| 144 | RAGT | Robust Algorithmic Game Theory | 2020 |
| 145 | ForM-SMArt | Formal Methods for Stochastic Models: Algorithms and Applications | 2020 |
| 146 | BayesianGDPR | Bayesian Models and Algorithms for Fairness and Transparency | 2020 |
| 147 | 3DPBio | Computational Models of Motion for Fabrication-aware Design of Bioinspired Systems | 2020 |
| 148 | IMACTIS | Fostering Critical Identities Through Social Media Archival Images | 2020 |
| 149 | PropRT | Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems | 2020 |
| 150 | DeFacto | Design Automation for Smart Factories | 2020 |
| 151 | MM-CAHF | Combinatorial aspects of Heegaard Floer homology for knots and links | 2021 |