Innovating Works
SC-square: SC square Satisfiability Checking and Symbolic Computation uniting two communities to solve real... UNIVERSITY OF BATH tramitó un H2020: H2020-FETOPEN-2014-2015 The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic Computat...
2016-05-04 - 2018-08-31 | Financiado
symbIoTe: Symbiosis of smart objects across IoT environments INTRACOM SINGLE MEMBER SA TELECOM SOLUTIONS tramitó un H2020: H2020-ICT-2015 Connected smart objects have invaded our everyday life across multiple domains, e.g. home withautomation solutions, assisted living with sen...
2015-10-26 - 2018-12-31 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.