N | Theme | Advisor | Institution |
---|
1 | A Parallel simulator of musculo-skeletal systems | António Pina / J.L. Alves | CCTC / CT2M |
2 | A scalable HPC FE solver for structural analysis | António Pina / J.L. Alves | CCTC / CT2M |
3 | Architectural reconfiguration of interacting services | Luis Soares Barbosa | HASLAB-CCTC |
4 | Project Drive-in | Susana Sargento | IT |
5 | Project FCT User-centered mobility management (UMM) | Susana Sargento | IT |
6 | Automating Test Generation from UML Interaction Diagrams | João Pascoal faria | INESC Porto |
7 | Declarative model-transformation engine | João Pascoal faria | INESC Porto |
8 | Automatic Detection of Software Errors | Rui Maranhão | Software Engineering Lab. - FEUP |
9 | Using virtual reality in a ambient assisted living approach to better monitor, study and control Alzheimer's disease | Elizabeth S. Carvalho / Adriana Sampaio | Algoritmi / Psicology School UM |
10 | Using Information Visualization Analytics to evaluate Contemporaneous data from different countries | Elizabeth S. Carvalho / Pedro Branco | Algoritmi / DSI |
11 | Feature Selection for Enhanced Extraction of Information | José Luís Oliveira / Sérgio Matos | IEETA UA |
12 | Feature Based Repositories For Medical Imaging Content Based Retrieval | Augusto Silva / Carlos Costa | IEETA UA |
13 | Medical Imaging Services over Cloud | Carlos Costa | IEETA UA |
14 | Virtual Representation and Visualization Methods for Architectural and Contextual Information in Archaeological Sites | Joaquim Madeira / Manuela Martins | DETI-IEETA UA / DHIST-ICS UM |
15 | Composable Ethernet Communication Architecture for Complex RealTime Applications | Paulo Bacelar Reis Pedreiras / Luis Miguel Pinho de Almeida | DETI-IT UA / FEUP |
16 | e-Science tools for brain imaging | João Paulo Silva Cunha | IEETA UA |
17 | Strong security notions for Public Key Cryptographic Primitives | Manuel Bernardo Barbosa | CCTC UM |
18 | Mandibular Reconstruction Prostheses Adaptation | Nuno F. Rodrigues / João L. Vilaça | CCTC UM |
19 | Geometric and Mechanical Resistance Simulation of Scoliosis Correction Prostheses | Nuno F. Rodrigues / João L. Vilaça | CCTC UM |
20 | Real-time Auralisation and audio-visual Synchronisation for Virtual Reality applications | Guilherme Campos / Paulo Dias | IEETA UA |
21 | Efficient Multi-Objective Data Mining Optimization | Paulo Cortez | DSI Algoritmi UM |
22 | TV Recommendation Systems | Paula Viana | INESC Porto |
23 | Reliability Analysis of Safety Critical Interactive Computing Systems | José Creissac Campos CCTC UM | |
24 | User Interface Migration and Adaptation | José Creissac Campos CCTC UM | |
25 | OTK – Ontology ToolKit | José João Antunes Guimarães Dias de Almeida | CCTC UM |
26 | Personalized Information Access to virtual museum Repositories annotated with semantic descriptions | Pedro Rangel Henriques / Alda Lopes Gançarski | CCTC UM |
27 | Problem Domain Concept location for Program Comprehension | Pedro Rangel Henriques / Maria João Varanda | CCTC UM |
28 | Inference of Component Annotations for Safety Reuse and Testing | Pedro Rangel Henriques | CCTC UM |
29 | Quality assessment from an Attribute Grammar | Pedro Rangel Henriques | CCTC UM |
30 | PROCESSING AND VISUALIZATION OF MASSIVE VOXELIZED DATA | António Pina / J.L. Alves | CCTC / CT2M |
31 | Internet Traffic Forecasting using Data Mining Techniques | Paulo Cortez / Pedro Sousa | DSI Algoritmi UM / CCTC UM |
32 | Enhancing Internet Routing Optimization Techniques using Evolutionary Computation | Miguel P. Rocha / Pedro Sousa | CCTC UM |
33 | Development of a good cost-effective strategy for conducting experiments / tests while exploiting previous knowledge using metalearning | P.Brazdil / R.Leite | |
34 | Análise e síntese de sistemas de gestão de processos de negócio baseados em conhecimento intensivo: aplicação aos processos de gestão da inovação | José António Faria / Gil Gonçalves | FEUP |
35 | Abordagem integrada à gestão da informação em sistemas de trabalho baseados em conhecimento intensivo: aplicação à gestão da inovação | José António Faria / Gil Gonçalves | FEUP |
36 | Realtime Interactive High Quality Graphics | António Ramires Fernandes | CCTC UM |
37 | Verificação Dedutiva de Programas Concorrentes | Jorge Sousa Pinto | CCTC UM |
38 | Exploring new services using data obtained from sensors embedded in vests | João Mendes Moreira / João Paiva Cardoso | LIAAD-INESC Porto |
39 | Tool Support for Security Proofs | José Bacelar Almeida | CCTC UM |
40 | On the Characterization and Comparison of Complex Networks | Fernando Silva | CRACS - INESC-Porto LA - FCUP |
41 | A relational approach to bidirectional transformations | Alcino Cunha | CCTC UM |
42 | MultiObjective Particle Swarm optimization | A. Ismael F. Vaz | DPS UM |
43 | Programação Social | Rui Mendes | CCTC UM |
44 | On the application od Artificial Immune Systems for Anomaly detection | Manuel Eduardo Correia / Mário Antunes | CRACS-INESC LA |
45 | Dependable Decentralized Storage Management for Cloud Computing | José Orlando Pereira | CCTC UM |
46 | Vital Signs Mobile Services for First Responder’s Life Support | João Paulo Silva Cunha | IEETA |
47 | ZIPPERS-BASED EMBEDDING OF ATTRIBUTE GRAMMARS | João Saraiva / João Paulo Fernandes | CCTC UM |
48 | Alignment between Rule-Enriched Ontologies | Paulo Novais / Nuno Silva | CCTC UM / GECAD IPP |
49 | All Over the Place Location System (PLASYS) | Paulo Novais / Lino Figueiredo / Ana Figueiredo | CCTC UM / GECAD IPP |
50 | A Highly Scalable Transactional Query Engine for Cloud Computing | Rui Oliveira | CCTC UM |
51 | Declarative Cloud Computing | Rui Oliveira | CCTC UM |
52 | Multimodal Personal Health Assistant | António Teixeira / Miguel Silva | IEETA UA |
53 | Silent Speech for Human-Computer Interface in European Portuguese | António Teixeira / Miguel Dias | IEETA UA |
54 | Cancelamento de broadcasts em redes multi-hop | Carlos Baquero | CCTC UM |
55 | Body signal analysis for monitoring fatigue in first responders | Miguel Tavares Coimbra | IT - DCC - FCUP |