PROJECTS
- SITAN - Services for Intrusion Tolerant AdHoc and Sensor Networks
- 1 May 2011 - 30 Apr 2014
- Henrique Domingos, Vítor Duarte, Maria Cecília Gomes, Sérgio Duarte
- MDD-RT - Model-Driven Development of Configurable Aspectual Black Box Components for Embedded and Real-Time Systems
- 1 May 2011 - 1 Jul 2013
- Ana Moreira, João Araújo, Miguel Goulão, Vasco Amaral, Jorge Barreiros, Mauricio Alférez, Bruno Barroca
- ReDIK - Reasoning with Dynamic Inconsistent Knowledge
- 1 Apr 2011 - 1 Mar 2013
- João Leite, Ján Šefránek, Matthias Knorr, Martin Slota, Alfredo Gabaldon
- CREMA - Constrained Refining of Multiple Alignments to identify correlations between mutations
- 1 Apr 2011 - 1 Apr 2013
- Ludwig Krippahl
- ASPEN - Answer Set Programming with BoolEaN Satisfiability
- 1 Mar 2011 - 1 Feb 2014
- João Leite, Inês Lynce, José Júlio Alferes, Martin Slota, João Paulo Marques Silva
- ISTRION - Improving Phrase-Based Statistical Machine TRanslation through supervisION
- 1 Mar 2011 - 28 Feb 2013
- Joaquim Ferreira da Silva, Gabriel Pereira Lopes, José Aires, Luís Gomes, Kavitha Mahesh, Jorge Costa, Vitor Rocio, Luís Russo
- CS4SE - Compressed sensing for media search engines
- 1 Feb 2011 - 30 Sep 2014
- João Magalhães
- LSMC 2010-2011 - 2010-2011 Large-scale parallel Monte Carlo simulations for Ocean Colour applications
- 1 Nov 2010 - 31 Oct 2011
- José Cardoso e Cunha, Tamito Kajiyama
- ATTEST - AlgoriThms and Tools for reasoning about dEpendable SysTems
- 1 Oct 2010 - 1 Sep 2012
- Pedro Barahona, João Paulo Marques Silva, Francisco Azevedo, Marco Correia, Inês Lynce
- ImTV - On-demand Immersive TV
- 1 Sep 2010 - 28 Feb 2014
- Nuno Correia, Teresa Romão, João Magalhães
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded
Concluded