Opendata, web and dolomites

H2020 projects about "algorithmic"

The page lists 151 projects related to the topic "algorithmic".

# achronym  title  year 
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