Innovating Works
SC-square: SC square Satisfiability Checking and Symbolic Computation uniting two communities to solve real... UNIVERSITY OF BATH tramitó un H2020: FETOPEN-CSA-FETEXCHANGE-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: ICT-30-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
MAGBIOMAT: Study of magnetic responsive biopolymer based materials Universit Paris DiderotParis 7 tramitó un FP7: The aim of the proposed project is to synthesize and characterize new nanostructured magneto-responsive biopolymer-based materials by the in...
Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.