Skip nav

R&D Projects

Call for Proposals for Scientific Research and Technological Development Projects in all Scientific Domains - 2010

Painel de Avaliação da área de Engenharia Informática - 2010

Coordination

José Luiz Fiadeiro
University of Leicester, United Kingdom

Evaluation

Avi Kak
Purdue University, United States
Dusko Pavlovic
Royal Holloway, University of London, United Kingdom
Effie Law
University of Leicester, United Kingdom
José Fortes
Universidade da Florida, United States
Juan Antonio Rodriguez
The Artificial Intelligence Research Institute, Spain
Juan de Lara
Universidad Autónoma de Madrid, Spain
Monique Calisti
Martel GmbH. Gümligen, CH, Switzerland
Thomas Erlebach
University of Leicester, United Kingdom
Yves Demazeau
Centre National de la Recherche Scientifique, France

Projects assigned

PTDC/EIA-EIA/116587/2010

Electronic Health Patient Information System for Radiation Therapy Support and Radiobiological Research
Brígida Costa Ferreira
Universidade de Aveiro (UA)

PTDC/EIA-EIA/116720/2010

MOBINET - Proposal and Study of Network Mobility Paradigms
Fernando Pedro Lopes Boavida Fernandes
Universidade de Coimbra (UC)

PTDC/EIA-EIA/116799/2010

Multi-Agent Negotiation for Ontology Mapping -- NegOntMap
Maria João Monteiro Ferreira Viamonte
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/116801/2010

BAM - Business Alignment Methodology
Paula Cristina Negrão Ventura Martins
Universidade do Algarve (UAlg)

PTDC/EIA-EIA/116979/2010

Virtual Physical Therapy
Nuno Miguel Feixa Rodrigues
Instituto Politécnico do Cávado e do Ave (IPCA)

PTDC/EIA-EIA/117022/2010

Materials for Industrial Application Information System (SIMAI)
Fernando Miguel Rocha de Oliveira
Universidade de Aveiro (UA)

PTDC/EIA-EIA/117056/2010

SaBER - SemAntic Biomedical knowledge Exploration and Retrieval
Sérgio Matos
Universidade de Aveiro (UA)

PTDC/EIA-EIA/117058/2010

Simulated Task Enviroment for Collaborative Systems Evaluation
Pedro Antunes
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/117071/2010

FLOR - Folksonomies for Learning Objects Repositories
CARLOS CARVALHO
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/117133/2010

CROWN: Cooperative Resource Optimization in Wireless Networks
Helena Rute Esteves Carvalho Sofia
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)

PTDC/EIA-EIA/117339/2010

iCGH - interactive Computer Generated Holography
Luis Paulo Peixoto dos Santos
Universidade do Minho (UM)

PTDC/EIA-EIA/117485/2010

ContACT - Context-Aware Conversation Tool for Persons with Special Needs
João Paulo Mestre Pinheiro Ramos e Barros
Instituto Politécnico de Beja (IPBeja)

PTDC/EIA-EIA/117570/2010

mtDNAPhyloAnalyzer: a user-friendly tool for construction, management and analysis of phylogenetic trees for mitochondrial DNA genomes with application to clinical evaluation of cases versus controls
RUI CARLOS CAMACHO DE SOUSA FERREIRA DA SILVA
Faculdade de Engenharia da Universidade do Porto (FE/UP)

PTDC/EIA-EIA/117685/2010

MEDEA: High Assurance Model Driven Engineering with Alloy
Manuel Alcino Pereira da Cunha
Universidade do Minho (UM)

PTDC/EIA-EIA/117721/2010

ACE - Space Aware Cooperative Environments
MARIA ARMANDA SIMENTA RODRIGUES GRUEAU
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/117830/2010

Humanistic approach to the representation of business processes
Pedro Antunes
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/117913/2010

AutoICare: Automatic Image-based system for teleCare
João Miguel Fernandes Rodrigues
Centro de Investigação Tecnológica do Algarve (CINTAL/UAlg)

PTDC/EIA-EIA/117998/2010

iCoReSol - Improving Conflict Resolution in Mediation and Negotiation Environments
Paulo Novais
Universidade do Minho (UM)

PTDC/EIA-EIA/118276/2010

PlayMob6 - Internet-enabled 6LoWPAN Mobile Sensor Networks
Joel José Puga Coelho Rodrigues
Universidade da Beira Interior (UBI)

PTDC/EIA-EIA/118278/2010

SoS T: NeverLost - Searches of similar trajectories for the “NeverLost“ Application
Fernanda Maria Barquinha Tavares Vieira Barbosa
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/118284/2010

iLow - an online VR system to treat depressive mood
pedro gamito
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)

PTDC/EIA-EIA/118348/2010

BioSAGA - Intelligent Support System for Biological Samples Management in the Diagnosis of Metabolic Diseases
Jose Antonio dos Reis Tavares
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/118399/2010

VORN: Visual Object Recognition Network
Luís Filipe Barbosa de Almeida Alexandre
Instituto de Telecomunicações (IT)

PTDC/EIA-EIA/118400/2010

CAFo - Contextually Augmented Folders
Daniel Jorge Viegas Gonçalves
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/118495/2010

EAL.PT - Encorajamento de Estilos de Vida Activos através de Tecnologias Persuasivas
António Eduardo Cardoso Pinto Baptista Dias
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/118616/2010

Reuse - Facilitate Reusing Web Services using Semantic Mechanisms
Catarina Ferreira da Silva
Instituto Pedro Nunes (IPN)

PTDC/EIA-EIA/118699/2010

Services4SME
António Jorge Silva Cardoso
Instituto Pedro Nunes (IPN)

PTDC/EIA-EIA/118710/2010

Building a fair online collaborative system
Pietro Speroni di Fenizio
Universidade de Coimbra (UC)

PTDC/EIA-EIA/118733/2010

Humanitas - Network of Researchers in Social Sciences and Humanities
António Manuel Andrêa Lencastre Godinho
Centro de Estudos da População, Economia e Sociedade (CEPESE/UP)

PTDC/EIA-EIA/118744/2010

ROSECAST: Robust and Secure Coding for Peer-to-Peer Media Streaming
Maria Manuela Areias da Costa Pereira de Sousa
Universidade da Beira Interior (UBI)

PTDC/EIA-EIA/118747/2010

Measuring and affecting social inclusion in primary schools through wearable sensor technology and persuasive games
Evangelos Karapanos
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)

PTDC/EIA-EIA/118750/2010

Controlo de débito e congestão baseado em QoE para transmissão de vídeo 3D multivista na internet
Pedro António Amado de Assunção
Instituto de Telecomunicações (IT)

PTDC/EIA-EIA/118944/2010

Exp4CIOpe - Expert System for CIO´ potential evaluation
João Varajão
Universidade de Trás-os-Montes e Alto Douro (UTAD)

PTDC/EIA-EIA/119044/2010

CROSS-Fire 2: A SDI/GRID based Decision Support System for fire management in Portugal
António Manuel Silva Pina
Universidade do Minho (UM)

PTDC/EIA-EIA/119055/2010

Distributed cooperation in a network of nomadic devices: collective multimedia installation
Luis Miguel Pina Coelho Teixeira Botelho
Instituto de Telecomunicações (IT)

PTDC/EIA-EIA/119119/2010

SOMER: Semantic Ontology Matching using External Resources
Francisco Couto
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/119124/2010

Processpedia: an ecological environment for BPM stakeholders collaboration
António Manuel Ferreira Rito da Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/119146/2010

iCast - Improved broadcast for wireless mobile networks
HUGO ALEXANDRE TAVARES MIRANDA
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/119349/2010

META - MetagEnomic Algorithmic Techniques
Luís Manuel Silveira Russo
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/119425/2010

Analysis of DNA sequences using inter symbolic distances
Carlos Alberto da Costa Bastos
Universidade de Aveiro (UA)

PTDC/EIA-EIA/119653/2010

Organizational Information Systems in Health Units: maturity, metrics, storage, and resources´ qualifications
Alberto Armando Capelas da Conceicao Carneiro
C.E.U. - Cooperativa de Ensino Universitário, C.R.L. (CEU)

PTDC/EIA-EIA/119686/2010

Decision support system for coronary Stent specification
SUSANA MARGARIDA DA SILVA VIEIRA
Instituto de Engenharia Mecânica (IDMEC)

PTDC/EIA-EIA/119757/2010

PREDICTS: Self-Stimulation for Failure Prediction
Marco Vieira
Universidade de Coimbra (UC)

PTDC/EIA-EIA/119941/2010

BONE-ID Bone image analysis and classification for interspecies differentiation
Luís Miguel de Mendonça Rato
Universidade de Évora (UE)

PTDC/EIA-EIA/119999/2010

DEP-WSN: DEpendable Perception in Wireless Sensor Networks
António Casimiro Ferreira da Costa
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/120203/2010

GCSTM - garbage collection for software transactional memory
Paulo Jorge Pires Ferreira
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/120213/2010

SPRING - Services for Concurrent and PaRallel ComputING
Hervé Miguel Cordeiro Paulino
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/120216/2010

Protected Application Execution
ANDRÉ VENTURA DA CRUZ MARNÔTO ZÚQUETE
Universidade de Aveiro (UA)

PTDC/EIA-EIA/120255/2010

MULTIFUSION: Fusion of Multi-Biometrics Data in Non-Cooperative Environments
Hugo Pedro Proença
Universidade da Beira Interior (UBI)

PTDC/EIA-EIA/120272/2010

co.Ignition - A community portal for conceptual representations, reasoning and negotiation
António Lucas Soares
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/120322/2010

AQUILES - Assuring the QUality of Interfaces to Leverage E-gov through Semantics
Alexandre Julio Teixeira Santos
Universidade do Minho (UM)

PTDC/EIA-EIA/120365/2010

Finding repetitions of unknown patterns in images
Armando J Pinho
Universidade de Aveiro (UA)

PTDC/EIA-EIA/120386/2010

SwiftCloud - Building Fast and Transactional Clouds with CRDTs
Nuno Manuel Ribeiro Preguiça
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/120437/2010

Configurable Dynamism in Real-Time Warehousing
Pedro Furtado
Universidade de Coimbra (UC)

PTDC/EIA-EIA/120481/2010

SPRWINT - Spread Web Intelligence
Alípio Mário Guedes Jorge
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/120569/2010

BuildingDSL: Fast development of Building Automation Systems
Vasco Miguel Moreira do Amaral
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/120599/2010

TRIX - Techniques for the Removal of Redundant Information in XML Data
Pável Pereira Calado
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/120616/2010

CRITICAL DOMAINS - Towards a Dependable Platform For Civil Protection Applications
António Manuel Silva Pina
Universidade do Minho (UM)

PTDC/EIA-EIA/120734/2010

MIRTIL: Multimedia Information Retrieval for Text Illustration on Large-scale Collections
Maria Cristina de Carvalho Alves Ribeiro
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/120736/2010

P2SHOCS, Performance Portability on Scalable HeterOgeneous Computing Systems: a Unified Development Framework
Alberto José Gonçalves de Carvalho Proença
Universidade do Minho (UM)

PTDC/EIA-EIA/120743/2010

SData4All- Scientific data curation in a multi-disciplinary environment
Maria Cristina de Carvalho Alves Ribeiro
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/120826/2010

OntoloGEE -- Ontologies for veterinary Guideline Execution Engine
Teresa Cristina de Freitas Gonçalves
Universidade de Évora (UE)

PTDC/EIA-EIA/120848/2010

Accessible multiplayer games for people with motor and speech disabilities
Fernando Miguel Pais da Graça Lobo
Universidade do Algarve (UAlg)

PTDC/EIA-EIA/120878/2010

CODSS - Conversation oriented decision support system
Paulo José Guimarães Garrido
Universidade do Minho (UM)

PTDC/EIA-EIA/120885/2010

Social-RE: A Collaborative Framework for Requirements Engineering based on Social Computing Approach
Alberto Manuel Rodrigues Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/120920/2010

Advanced Traffic Engineering Approaches in P2P Environments
Pedro Nuno Miranda de Sousa
Universidade do Minho (UM)

PTDC/EIA-EIA/120945/2010

OptimumCloud: Self-Optimizing Elastic Transactional Data Platform for the Cloud
Paolo Romano
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/120995/2010

DICE - Dynamic Imbalanced Classification Ensembles
Catarina Helena Branco Simões da Silva
Universidade de Coimbra (UC)

PTDC/EIA-EIA/121006/2010

MISTIC Food - Mobile Integration of Semantics for Text Inductive Classification of Food
Catarina Helena Branco Simões da Silva
Universidade de Coimbra (UC)

PTDC/EIA-EIA/121017/2010

PMEsimula - Implementation of HPC and Cloud Computing techniques on CAE software to be freely used by the Portuguese PME manufacturing companies
José Luis de Carvalho Martins Alves
Universidade do Minho (UM)

PTDC/EIA-EIA/121049/2010

AGDSyS - Adaptative Group Decision System that considers Affective Aspects
Goreti Marreiros
Instituto Politécnico do Porto (IPP)

PTDC/EIA-EIA/121054/2010

Middleware and Context Inference Techniques from Data-Streams for the Development of Context-Aware Services using Mobile Devices
João Cardoso
Faculdade de Engenharia da Universidade do Porto (FE/UP)

PTDC/EIA-EIA/121104/2010

Telemedicine Network Services
CARLOS MANUEL AZEVEDO COSTA
Universidade de Aveiro (UA)

PTDC/EIA-EIA/121128/2010

ViHumansLab- Virtual Humans Lab
Ana Paula Boler Cláudio
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/121182/2010

Model Driven Software Development for Requirements Analysis and Architecture Design (Early MDD)
João Baptista da Silva Araujo Junior
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/121189/2010

Lossless compression of biomedical images
António José Ribeiro Neves
Universidade de Aveiro (UA)

PTDC/EIA-EIA/121283/2010

PIDIDO - Pervasive and Intelligent Decision Support System for Inpatient and Discharge Optimization
Manuel Filipe Santos
Universidade do Minho (UM)

PTDC/EIA-EIA/121343/2010

Tag4U.TV - Integrating User Generated Metadata and Multicriteria Recommendation systems in the Television Domain
Paula Viana
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/121415/2010

CloudSim - Communities for Overlay Network and Grid Computing Research
Luís Manuel Antunes Veiga
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/121437/2010

Intelligent algorithm for intraoperative cerebral monitoring (iALICE)
CÉSAR ALEXANDRE DOMINGUES TEIXEIRA
Universidade de Coimbra (UC)

PTDC/EIA-EIA/121519/2010

NEGEMI - New Generation of Linux Meta-installers
Paulo Ricardo Pacheco Rodrigues Trezentos
ISCTE - Instituto Universitário de Lisboa (ISCTE-IUL)

PTDC/EIA-EIA/121560/2010

CMSLang - A Multi-Language Framework for Developing CMS-based Web-Applications
Alberto Manuel Rodrigues Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/121585/2010

ReGeReM: Developing a computational platform for the reconstruction of genome-scale regulatory models
Rui Manuel Ribeiro Castro Mendes
Universidade do Minho (UM)

PTDC/EIA-EIA/121603/2010

COAST - Complex Ontology Alignment through STrategies
Nuno Alexandre Pinto da Silva
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/121646/2010

FALLCOM - Detection and avoidance of Elderly falls, based on movement profile using Wireless Sensor Networks
António Manuel de Jesus Pereira
Instituto Politécnico de Leiria (IPLeiria)

PTDC/EIA-EIA/121773/2010

mVoto - A mobile end-to-end verifiable and coercion-free voting system
CARLOS NUNO DA CRUZ RIBEIRO
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/121864/2010

Application-Level Time Correctness Pattern and API for Heterogeneous Sensor Networks
Pedro Furtado
Universidade de Coimbra (UC)

PTDC/EIA-EIA/121899/2010

Agreed Services
Fernando Brito e Abreu
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/121907/2010

Development of scoring algorithms for high-accuracy proteomics
António Eduardo Ferreira
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/121981/2010

SHOT: Seamless HOtspot Tracking
Helena Rute Esteves Carvalho Sofia
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)

PTDC/EIA-EIA/122044/2010

InteractIS - Rethinking Negotiation and Auditing of Internet Services
Paulo Manuel Martins de Carvalho
Universidade do Minho (UM)

PTDC/EIA-EIA/122083/2010

PetriTransformED - Petri net Based Model Transformations for Embedded Systems Design
Luis Filipe dos Santos Gomes
Instituto de Desenvolvimento de Novas Tecnologias (UNINOVA/FCTUNL/UNL)

PTDC/EIA-EIA/122096/2010

EMDSCAN - Electricity Markets Dynamic Coalitions Support with Argumentation based Negotiations
Isabel Praça
Instituto Politécnico do Porto (IPP)

PTDC/EIA-EIA/122167/2010

Development of a Serious Game for Physiotherapy and Tracking of Patients with Friedreich´s Ataxia Using Image Processing Techniques
Vitor Hugo Mendes da Costa Carvalho
Universidade do Minho (UM)

PTDC/EIA-EIA/122179/2010

ARO - Automating the Reuse of Ontologies
Eurico Manuel Elias Morais Carrapatoso
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/122235/2010

SAiL - Student Assistance in Learning considering aspects like emotion and personality
Ricardo Jorge da Silva Santos
Instituto Politécnico do Porto (IPP)

PTDC/EIA-EIA/122236/2010

DECIMA - Detecting Extraneous Cases of Inexplicable Machine Anomalies
Manuel Eduardo Carvalho Duarte Correia
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/122277/2010

MetricVault - Secure resilient cloud storage for mobile applications
Sergio Marco Duarte
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/122292/2010

iSchedP: Intelligent Management Scheduling for Health Care Professionals
Maria Clara dos Santos Pinto Silveira
Instituto Politécnico da Guarda (IPG)

PTDC/EIA-EIA/122301/2010

Multi-Core Multi-Objective Evolutionary Algorithms in Uncertain Environments
Paulo André Pais Fazendeiro
Universidade da Beira Interior (UBI)

PTDC/EIA-EIA/122323/2010

PROLEA - Adaptative platform to support PROgramming LEArning
António José Nunes Mendes
Universidade de Coimbra (UC)

PTDC/EIA-EIA/122345/2010

Gestão Autónoma de Recursos em Sistemas Embebidos com Qualidade de Serviço
Luís Miguel Pinho Nogueira
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/122413/2010

Motions - Monitoring and sTimulation in Multiple Sclerosis
Nuno Manuel Carvalho Ferreira Guimarães
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/122429/2010

Fragrant Code
Fernando Brito e Abreu
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-EIA/122441/2010

HuRoboT - Cooperation within Teams of Humanoids and Humans
Nuno Lau
Universidade de Aveiro (UA)

PTDC/EIA-EIA/122445/2010

SITBAL - Soccer Intelligent Tactical Behavioral Analysis and Learning
PEDRO MANUEL HENRIQUES DA CUNHA ABREU
Faculdade de Engenharia da Universidade do Porto (FE/UP)

PTDC/EIA-EIA/122466/2010

HiPAS - Highly Parallel Accelerated Speech Processing
Hugo Daniel dos Santos Meinedo
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/122480/2010

PSyCO: Precondition Synthesis for Compiler Optimizations
José Carlos Alves Pereira Monteiro
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/122481/2010

SEMAFORM: Semantic context to agile data insertion on handwriting recognition based forms
José Saias
Universidade de Évora (UE)

PTDC/EIA-EIA/122500/2010

IDEALISM - Information Diffusion, Evolution And Linking In Social Media
Fabien Gouyon
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/122534/2010

CAMP - Computational Analysis of MicroRNAs in Plants
Ana Teresa Correia de Freitas
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/122720/2010

InfluTrend-Influence and Tends in Social Network Systems
HSofia Pinto
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/122726/2010

SYMSET - intelligent SYstem for iMpaired Speech Evaluation and Therapy
Ovidiu Grigore
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/122746/2010

MobileCare: Home Biofeedback for Musculoskeletal Disorder Rehabilitation
Ian Oakley
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)

PTDC/EIA-EIA/122752/2010

ParProf: Parallelisation and Profiling Tools to Reengineer Legacy Codes for Multicores
João Luís Ferreira Sobral
Universidade do Minho (UM)

PTDC/EIA-EIA/122768/2010

A Model for Visual and Collaborative Design of Learning Design
CARLOS CARVALHO
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/122773/2010

CitySense: Large-scale opportunistic sensing in urban scenarios
Paulo Jorge Milheiro Mendes
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)

PTDC/EIA-EIA/122774/2010

EPIC - Efficient Pattern-matching Image Compression on many-core systems
NUNO MIGUEL MORAIS RODRIGUES
Instituto de Telecomunicações (IT)

PTDC/EIA-EIA/122782/2010

Fountain File System
João Pedro Faria Mendonça Barreto
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/122785/2010

specSTM: Software Transactional Memoty with Thread-Level Speculation Support
João Pedro Faria Mendonça Barreto
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/122805/2010

QoM - Quality of Service in Mobile Wireless Sensor Networks
Jorge Sá Silva
Universidade de Coimbra (UC)

PTDC/EIA-EIA/122825/2010

iQIS - Intelligent Quality Information System
LUIS DA COSTA LIMA
Instituto Politécnico do Porto (IPP)

PTDC/EIA-EIA/122832/2010

SURVEILL: Large-Scale Surveillance of Internet Applications
Luis Alexandre Serras Moura Silva
Universidade de Coimbra (UC)

PTDC/EIA-EIA/122874/2010

PEGASUS - Platform for Scheduling Automatic Generation
Frederico Paulo Moreira Pereira Dias de Magalhães
Centro de Estudos da População, Economia e Sociedade (CEPESE/UP)

PTDC/EIA-EIA/122919/2010

AWARE: Automated Web Accessibility Repair and Evaluation
Luis Manuel Carriço
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-EIA/122989/2010

Thermal flying identification, clustering and information retrieval
Sandra Cristina de Faria Ramos
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/123016/2010

IRON Made - Dependability in Wireless Sensor Networks
Jorge Sá Silva
Universidade de Coimbra (UC)

PTDC/EIA-EIA/123018/2010

ComSeGPro - Complex Serious Games for real-time collaborative management in complex production scenarios
Goran Putnik
Universidade do Minho (UM)

PTDC/EIA-EIA/123050/2010

Augmented Literacy
Nuno Miguel Feixa Rodrigues
Instituto Politécnico do Cávado e do Ave (IPCA)

PTDC/EIA-EIA/123069/2010

COMODISSE?- COntext-aware MObile DIalogue SyStEms
Irene Pimenta Rodrigues
Universidade de Évora (UE)

PTDC/EIA-EIA/123071/2010

Combine - Ontology alignment negotiation through concession and persuasion
Nuno Alexandre Pinto da Silva
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/123080/2010

CleOnto - Interoperability of Data Cleaning Operations in Different Databases through Ontologies
Paulo Jorge Machado Oliveira
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-EIA/123099/2010

Sistema Distribuído de Suporte a Decisão para a Smart Grid
Pedro Furtado
Universidade de Coimbra (UC)

PTDC/EIA-EIA/123113/2010

S-CASE: Smart Client for Augmented Service Environments
Paulo Jorge Milheiro Mendes
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)

PTDC/EIA-EIA/123166/2010

AutoBAM - Automatic Business Activity Monitoring of Critical Systems
Pedro Gustavo Santos Rodrigues Bizarro
Universidade de Coimbra (UC)

PTDC/EIA-EIA/123168/2010

Encounter - Workload Sharing among CPUs and GPUs for HPC
João Manuel dos Santos Lourenço
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-CCO/116713/2010

MODyP - Engenharia de Algoritmos de Programação Dinâmica Multi-objectivo
Luís Paquete
Universidade de Coimbra (UC)

PTDC/EIA-CCO/116724/2010

Digital and biological epidemiology: modelling and controlling the spread of pervasive computing malware and human disease
Vassilis Kostakos
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)

PTDC/EIA-CCO/116907/2010

Intelligent Attacks Detection Tool in AmI (IADT)
Hoon Ko
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-CCO/117152/2010

Secure Remote Monitor / Control System in Smart Gird
Hoon Ko
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-CCO/117168/2010

CaLiCo - Linear Calculi and Complexity
Sandra Maria Mendes Alves
Faculdade de Ciências da Universidade do Porto (FCUP/UP)

PTDC/EIA-CCO/117176/2010

Rights Access Control to Research and Educational Content
Carlos José Corredoura Serrão
ISCTE - Instituto Universitário de Lisboa (ISCTE-IUL)

PTDC/EIA-CCO/117513/2010

Liveness, statically
António Ravara
NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT/FCTUNL/UNL)

PTDC/EIA-CCO/117807/2010

FABIONET: Formal verification Approaches supporting BIOlogical NETwork modelling - application to multidrug resistance in yeast
Claudine Chaouiya
Fundação Calouste Gulbenkian (FCG)

PTDC/EIA-CCO/117852/2010

Synthesizing Control Systems for Autonomous Robots using a Combination of Engineering and Artificial Evolution
Anders Lyhne Christensen
Instituto de Telecomunicações (IT)

PTDC/EIA-CCO/118114/2010

VTL: Virtual Traffic Lights
Michel Celestino Paiva Ferreira
Instituto de Telecomunicações (IT)

PTDC/EIA-CCO/118214/2010

OPAS - OPtimisation of Anti-SPAM Systems
Vitor Manuel Basto Fernandes
Instituto Politécnico de Leiria (IPLeiria)

PTDC/EIA-CCO/118533/2010

NetDyn: Understanding real large networks, from structure to dynamics
ALEXANDRE PAULO LOURENÇO FRANCISCO
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-CCO/118836/2010

Computer Assisted Proofs. Foundations and Applications
Reinhard Kahle
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-CCO/118843/2010

Music Related Rights Management Automation
Carlos José Corredoura Serrão
ISCTE - Instituto Universitário de Lisboa (ISCTE-IUL)

PTDC/EIA-CCO/118874/2010

SocialArg - Social Abstract Argumentation
João Alexandre Carvalho Pinheiro Leite
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-CCO/118966/2010

COnVEM - Creating Ontology-based Virtual Learning Spaces from Multiple Data Sources
Pedro Manuel Rangel Santos Henriques
Universidade do Minho (UM)

PTDC/EIA-CCO/119002/2010

PROCURE - Probabilistic Constraints for Uncertainty Reasoning in Science and Engineering Applications
Jorge Carlos Ferreira Rodrigues da Cruz
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-CCO/119112/2010

ADAM - Alzheimer`s Disease Advanced Monitoring
Adriana da Conceição Soares Sampaio
Universidade do Minho (UM)

PTDC/EIA-CCO/119226/2010

MORPHIN: A GPU-based Shape Kernel for Molecular and Medical Bioinformatics
Abel João Padrão Gomes
Universidade da Beira Interior (UBI)

PTDC/EIA-CCO/119461/2010

Leakage Resilient Cryptography in Software Security
Manuel Barbosa
Universidade do Minho (UM)

PTDC/EIA-CCO/119722/2010

HEIDI (HEIGH Dimensional Indexing) or how to index on billion of vectors
Andreas Miroslaus Wichert
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-CCO/120401/2010

Geometry Web Adaptative Laboratory (WebGeometryLab)
PEDRO HENRIQUE E FIGUEIREDO QUARESMA DE ALMEIDA
Universidade de Coimbra (UC)

PTDC/EIA-CCO/120502/2010

BoolCluster - Modularity Clustering Algorithms using Boolean Optimization
Vasco Miguel Gomes Nunes Manquinho
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-CCO/120722/2010

Extending reward-functions with generic objectives in reinforcement learning tasks
Luís Miguel Martins Nunes
Instituto de Telecomunicações (IT)

PTDC/EIA-CCO/121097/2010

Self-Ant Systems for Optimization problems
Jorge Alexandre Silva Tavares
Universidade de Coimbra (UC)

PTDC/EIA-CCO/121476/2010

SAKE - Support in Linux Kernel for Energy Efficiency
Paulo Ricardo Pacheco Rodrigues Trezentos
ISCTE - Instituto Universitário de Lisboa (ISCTE-IUL)

PTDC/EIA-CCO/121513/2010

Semantic representation techniques for improved identification of disease-associated genes
Joel Arrais
Universidade de Aveiro (UA)

PTDC/EIA-CCO/121531/2010

PATTERN - Programming AbsTracTions for wireless sEnsoR Networks
Nuno Alexandre Magalhaes Pereira
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-CCO/121568/2010

Search and Optimization with Adaptive Selection of Estimation of Distribution Algorithms
Fernando Miguel Pais da Graça Lobo
Universidade do Algarve (UAlg)

PTDC/EIA-CCO/121578/2010

LaBWebS - Language Based Web Security
Ana Gualdina Almeida Matos
Instituto de Telecomunicações (IT)

PTDC/EIA-CCO/121761/2010

COCODYN: COmmunication and COmputation in DYnamic Networks
Luis Eduardo Teixeira Rodrigues
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-CCO/121823/2010

ERRO - Efficient Reasoning with Rules and Ontologies
João Alexandre Carvalho Pinheiro Leite
NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT/FCTUNL/UNL)

PTDC/EIA-CCO/121928/2010

PrivacyMonitor - Monitoring and Tuned Noise Injection for Privacy Preservation in Online Social Networks
Joaquim Melo Henriques de Macedo
Universidade do Minho (UM)

PTDC/EIA-CCO/122138/2010

Dynamic Decision MAking in uncertain Spatial-Temporal Environments (2D-MASTE)
Maria Rita Almeida Ribeiro
Instituto de Desenvolvimento de Novas Tecnologias (UNINOVA/FCTUNL/UNL)

PTDC/EIA-CCO/122266/2010

MUltimode real-time scheduling on MultiCores (MU-MC)
Vincent Michel Philippe Nelis
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-CCO/122542/2010

SUSPECT - SecUre SPEeCh Technologies
Isabel Maria Martins Trancoso
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-CCO/122547/2010

Advanced Type Systems for Multicore Programming
Vasco Manuel Thudichum de Serpa Vasconcelos
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)

PTDC/EIA-CCO/122583/2010

Risk and regulation: A simulation platform in the framework of Solvency II
Rui Vilela Mendes
INOV INESC Inovação - Instituto de Novas Tecnologias (INOV/INESC/IST/ULisboa)

PTDC/EIA-CCO/122597/2010

BUILDER - BimanUal Interaction for proceduraL moDeling in mixEd Reality
Joaquim Jorge
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-CCO/122722/2010

B2Jml: A Baker´s Recipe Inspired Tool to Translate B Machines to JML Specifications
Nestor Catano Collazos
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)

PTDC/EIA-CCO/122776/2010

SCAN: Scalable Comparative Analysis of Networks
Fernando Manuel Augusto da Silva
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-CCO/122864/2010

Co-evolution of cognition and collective action
Francisco João Duarte Cordeiro Correia dos Santos
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)

PTDC/EIA-CCO/123051/2010

POLARIS: POLynomial hierARchy algorIthms and applicationS
João Paulo Marques da Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)

PTDC/EIA-EIA/119004/2010

Reusable Deep Neural Networks: applications to Biomedical Data.
Luis Miguel Almeida da Silva
Instituto Nacional de Engenharia Biomédica - INEB Univ. Porto (INEB Porto)

PTDC/EIA-EIA/119479/2010

Pattern-Based GUI Testing
Ana Cristina Ramada Paiva
Faculdade de Engenharia da Universidade do Porto (FE/UP)

PTDC/EIA-EIA/121686/2010

ADE - Adverse Drug Effects Detection
Vítor Manuel de Morais Santos Costa
Instituto de Engenharia de Sistemas e Computadores do Porto - INESC TEC (INESC Porto/FE/UP)

PTDC/EIA-EIA/122454/2010

Calibration and 3D Reconstruction in Non-Central Vision Systems—Application to Colonoscopy/Endoscopy
Helder Araújo
Instituto de Sistemas e Robótica (ISR)

PTDC/EIA-CCO/116796/2010

AutoSeer: Automated Test Oracles for Software Error Detection
Rui Abreu
Faculdade de Engenharia da Universidade do Porto (FE/UP)

PTDC/EIA-CCO/117590/2010

Analysis and Verification of Critical Concurrent Programs
JORGE MIGUEL DE MATOS SOUSA PINTO
Universidade do Minho (UM)

PTDC/EIA-CCO/118080/2010

Real-time scheduling on general purpose graphics processor units
Konstantinos Bletsas
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-CCO/120838/2010

FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
Manuel Alcino Pereira da Cunha
Universidade do Minho (UM)

PTDC/EIA-CCO/121450/2010

Computer Aided Beam Angle Optimization in Intensity Modulated Radiotherapy
Joana Maria Pina Cabral Matos Dias
Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra)

PTDC/EIA-CCO/121904/2010

Slack Management in Hierarchical Real-Time Systems (SMARTS)
Stefan M. Petters
Instituto Superior de Engenharia do Porto (ISEP/IPP)

PTDC/EIA-CCO/122240/2010

Qais: Quantitative analysis of interacting systems: foundations and algorithms
Alexandra Martins da Silva
Universidade do Minho (UM)