Opendata, web and dolomites
H2020 projects about "smt"
The page lists 11 projects related to the topic "smt".
| # | |||
|---|---|---|---|
| 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 |