Login

Projects

BestSupplier

BestSupplier Concluded

01/09/2011 - 01/03/2013

Team

Nuno C Marques, Joaquim Ferreira da Silva, António Paulo Santos,

Clip-art Retrieval using Sketches

CRUSH Concluded

01/03/2010 - 28/02/2013

Team

Nuno Correia, Rui Jesus,

Dialogical Foundations of Semantics

DiFoS Concluded

01/03/2009 - 28/02/2013

Team

Peter Schroeder-Heister, Reinhard Kahle, Reinhard Kahle, João Leite, Luís Moniz Pereira, Francisco Azevedo, Jesse Alama, Gregory Wheeler, Isabel Oitavem ,

Improving Phrase-Based Statistical Machine TRanslation through supervisION

ISTRION Concluded

01/03/2011 - 28/02/2013

Team

Joaquim Ferreira da Silva, Gabriel Pereira Lopes, José Aires, Luís Gomes, Kavitha Mahesh, Jorge Costa, Vitor Rocio,

Problem Solving Environment for Materials Structural Characterization via Tomography

Tomo-GPU Concluded

15/02/2010 - 14/02/2013

Team

Pedro Medeiros, Fernando Birra, Nuno Oliveira, Adriano Lopes,

A Transmedia Knowledge Base for contemporary dance

TKB Concluded

01/02/2010 - 31/01/2013

Team

Nuno Correia,

The Philosophy of Science in a European perspective – ESF networking Programme

PSE Concluded

01/01/2008 - 01/01/2013

Team

Gregory Wheeler, **EMPTY**, Stephan Hartmann, Franz Huber,

Thread-Safety by Typing for Mainstream Concurrent Object-Oriented Programming

StreamLine Concluded

01/01/2010 - 31/12/2012

Team

Luis Caires, João Costa Seco, Carla Ferreira, Hugo Torres Vieira,

Assertion Types for Object-Oriented Programming

ASSERTION Concluded

01/01/2010 - 31/12/2012

Team

Luis Caires, João Costa Seco,

Replicated Components for Improved Performance or Reliability in Multicore Systems

RepComp Concluded

01/01/2010 - 31/12/2012

Team

João Lourenço, Nuno Preguiça, Ricardo Dias, João Soares,