Login

Projects

Reasoning with Dynamic Inconsistent Knowledge

ReDIK Concluded

01/04/2011 - 01/03/2013

Team

João Leite, Matthias Knorr, Martin Slota, Alfredo Gabaldon

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

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

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

General-purpose Aspect-Oriented framework for heterogeneous multicore Parallel systems

GAsPar Concluded

01/01/2010 - 31/12/2012

Team

Miguel Monteiro

Ambient-assisted Reading Interfaces for the Ageing society

ARIA Concluded

01/01/2010 - 31/12/2012

Team

Nuno Correia, Teresa Romão

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