Opendata, web and dolomites

H2020 projects about "smt"

The page lists 11 projects related to the topic "smt".

# achronym  title  year 
1 PAMPA Plastic Components for Advanced Microwave Equipment of New Generation SatCom PAyloads 2015
2 DASMT Domain Adaptation for Statistical Machine Translation 2015
3 MultiMT Multi-modal Context Modelling for Machine Translation 2016
4 InDeal Innovative Technology for District Heating and Cooling 2016
5 SC-square SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems 2016
6 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017
7 ADDPRIME Multifunctional smart inhibitors for anti-corrosive coatings, enabling a significant reduction of maintenance costs on metallic surfaces 2018
8 FastCode The Next 100 Optimizing Compilers 2019
9 SELECTOR Smt compatible ELECTroMechanical relay for cOmpact redundancy Ring 2019
10 GRACE GaN mm-wave Radar Components Embedded 2018
11 ARiAT Advanced Reasoning in Arithmetic Theories 2020