N |
Title |
Supervisor |
Institution |
1
|
Virtual Reality in Data Visualization: Interaction methods and devices
|
Paulo Dias, Beatriz Sousa Santos
|
IEETA (Aveiro)
|
2
|
Domain-specific Program Verification Infrastructures
|
José Bacelar Almeida, Jorge Sousa Pinto
|
CCTC (Minho)
|
3
|
Methods and Techniques to Analyze (source, intermediate, or target) Code,
to extract and handle Application Component
|
Pedro Rangel Henriques, Jorge Sousa Pinto
|
CCTC (Minho)
|
4
|
Realtime Interactive High Quality Graphics
|
António Ramires Fernandes
|
CCTC (Minho)
|
5
|
Architectures for integration of hybrid simulation tools for wireless networks
|
Atílio Gameiro, Ramiro Robles
|
DETI, Univ. Aveiro, IT-Polo de Aveiro
|
6
|
Machine Learning Architectures and Algorithms for Cognitive Radio Networks
|
Atílio Gameiro, Paulo Marques
|
DETI, Univ. Aveiro, IT-Polo de Aveiro
|
7
|
Robust Distributed Data Aggregation
|
Carlos Baquero, Paulo Sérgio Almeida
|
CCTC (Minho)
|
8
|
Inception of Software Validation and Verification Practices
within CMMI Level 2: An IEEE/ISO 29119 Roadmap
|
Ricardo J. Machado
|
Algoritmi (Minho)
|
9
|
Multi-staged Domain Specific Modeling for Software Product Lines: An Insurance
Ontology Analysis
|
Ricardo J. Machado
|
Algoritmi (Minho)
|
10
|
Markerless facial motion capture using low cost hardware
|
Verónica Orvalho ans
Miguel Coimbra
|
IT-Porto (Porto)
|
11
|
Learning and Planning for Exception Handling in Robotics
|
Luís Seabra Lopes
|
IEETA (Aveiro)
|
12
|
Flexible, scalable and robust integration in large real-time safety critical systems
|
Luis Almeida (UA), Rui Cordeiro (CSW), Julian Porenza (Univ Balearic Islands, Spain)
|
IEETA (Aveiro)
|
13
|
Real-time services in Wireless Mesh Networks
|
Susana Sargento
|
IT (Aveiro)
|
14
|
Real-time multicast/broadcast communications over heterogeneous networks
|
Susana Sargento
|
IT (Aveiro)
|
15
|
New network architectures
|
Susana Sargento
|
IT (Aveiro)
|
16
|
On Applying Tabling to Answer Set Programming
|
Ricardo Rocha
|
FCUP (Porto)
|
17
|
XML based programming environments
|
José Paulo Leal
|
CRACS (Porto)
|
18
|
Widening the scope of application of the Spiral parallel code generation system
|
José N. Oliveira (CCTC), Markus Puschel (ESE, CMU)
|
CCTC (Minho)
|
19
|
Semantic Digital Libraries
|
Álvaro Reis Figueira
|
CRACS (Porto)
|
20
|
Evolving complex networks for population
topologies in evolutionary computation
|
Rui Mendes
|
CCTC (Minho)
|
21
|
Modeling of Control Mechanisms in Flight
Stability and Locomotion (with Recurrent Neural Networks and Embodied Agents)
|
J. Simão
|
FCUP (Porto)
|
22
|
Control of Visual Attention and Posture in
Quadrupeds with Recurrent Neural Networks ---
Simulation with Embodied Agents and Implementation in the AIBO robot
|
J. Simão
|
FCUP (Porto)
|
23
|
Architectures for Split Execution of Copyright-Protected Applications
|
André Zúquete
|
IEETA (Aveiro)
|
24
|
Architectures for Sharing Internet Accesses
|
André Zúquete
|
IEETA (Aveiro)
|
25
|
Performance analysis of swarm intelligent algorithms on the traveling
salesman problem supervisors
|
Ana Maria Alves Coutinho da Rocha, Edite Manuela Graça Pinto Fernandes
|
Algoritmi (Minho)
|
26
|
Cryptographic Protocol Security Analysis Based on Algorithmic Information Theory
|
Luís Filipe Antunes, Armando B. Matos
|
FCUP (Porto)
|
27
|
Interplay between Information-Theoretic and
Computational Security in Wireless Channels
|
Manuel Barbosa, João Barros
|
CCTC (Minho) and IT-Porto (Porto)
|
28
|
Language Based Security
For Cryptographic Software
|
Manuel Bernardo Barbosa, Manuel Alcino Cunha
|
CCTC (Minho)
|
29
|
Cosmetic Evaluation of Breast Intervention
|
Jaime S. Cardoso, M. J. Cardoso
|
INESC (Porto)
|
30
|
Networking mechanisms for new networks
|
Rui L. Aguiar
|
IT (Aveiro)
|
31
|
Identity-aware mobility architectures
|
Rui L. Aguiar
|
IT (Aveiro)
|
32
|
Network benchmarking
|
Rui L. Aguiar
|
IT (Aveiro)
|
33
|
Electronic Health Records for Mobile Citizens
|
José Luis Oliveira, Rui P. Lopes
|
IEETA (Aveiro)
|
34
|
Time Series analysis in Telecommunication Data
|
Paulo Azevedo
|
CCTC (Minho)
|
35
|
Parallel computing in semi-infinite programming
|
Ana Isabel Pinheiro Nunes Pereira, Edite Manuela G.P. Fernandes
|
Algoritmi (Minho)
|
36
|
Relational Databases Digital Preservation
|
José Carlos Ramalho
|
CCTC (Minho)
|
37
|
Evolutionary Computation based Internet Routing as a platform to Traffic
Engineering
|
Miguel P. Rocha, Pedro N. Sousa
|
CCTC (Minho)
|
38
|
Development of methods for in silico optimization of metabolic networks
|
Miguel P. Rocha, Isabel P. Rocha
|
CCTC (Minho) and CEB-IBB (Minho)
|
39
|
Mobile code security based on Kleene algebras and temporal logics
|
Nelma Moreira and Simão Sousa
|
LIACC (Porto)
|
40
|
Decision-Making Software System for Wastewater Treatment Plant Design
|
Isabel Alexandra C.P. Espírito Santo, Edite Manuela G.P. Fernandes
|
Algoritmi (Minho)
|
41
|
Digital Footprints for Situated Systems
|
Rui José
|
Algoritmi (Minho)
|
42
|
Spam Telescope Miner: worldwide unsolicited email detection using data mining techniques
|
Paulo Cortez
|
Algoritmi (Minho)
|
43
|
Civil Protection applications in a Grid supported environment
|
António Pina
|
CCTC (Minho)
|
44
|
Large-Scale Decentralized Object Store
|
Rui Oliveira
|
CCTC (Minho)
|
45
|
Self-Managing Service Platform
|
José Orlando Pereira
|
CCTC (Minho)
|
46
|
Probabilistically-Structured Overlay Networks
|
José Orlando Pereira
|
CCTC (Minho)
|
47
|
Persistent and Replicated Software Transactional Memory
|
António Sousa
|
CCTC (Minho)
|
48
|
Fault Tolerant Service Integration
|
José Orlando Pereira
|
CCTC (Minho)
|
49
|
Property verification patterns for automated production systems
|
José Creissac Campos, José Machado
|
CCTC (Minho) and DEM/CT2M (Minho)
|
50
|
Data Warehouses in the Path from Databases to Archives
|
Gabriel David, Cristina Ribeiro
|
INESC (Porto)
|
51
|
Computational tools for semi-infinite programming
|
A. Ismael Vaz
|
Algoritmi (Minho)
|
52
|
Time, the Fourth Dimension
|
António Ramires Fernandes, José Nuno Oliveira
|
CCTC (Minho)
|
53
|
Text Mining System for Predicting Market Response to News
|
José João Almeida, Luis Torgo
|
CCTC (Minho) LIAC (Porto)
|
54
|
A Common Monitoring System for Network and Application Services in the Internet
|
Bruno Dias
|
CCTC (Minho)
|
55
|
A Common Configuration Language for Network and Application Services in the Internet
|
Bruno Dias
|
CCTC (Minho)
|
56
|
A Common Database Replication and Backup System for
Network and Application Services in the Internet
|
Bruno Dias
|
CCTC (Minho)
|
57
|
Association Mining in a Grid Environment
|
Orlando Belo
|
CCTC (Minho)
|
58
|
Low-Cost Data Warehousing Using Data Grid Technologies
|
Orlando Belo
|
CCTC (Minho)
|
59
|
Coordination and cooperation among robots based on biological concepts
|
Cristina Manuela Peixoto dos Santos and Auke Ijspeert
|
Algoritmi (Minho)
|
60
|
Flexible Quadruped Locomotion in Irregular Terrain: a Biological Approach
|
Cristina Manuela Peixoto dos Santos and Auke Ijspeert
|
Algoritmi (Minho)
|
61
|
Cooperative control of heterogeneous autonomous vehicles
|
Fernando Manuel Ferreira Lobo Pereira and João Tasso de Figueiredo Borges de Sousa
|
ISR FEUP (Porto)
|
62
|
Augmented/Virtual Reality applied to the control and supervision of heterogeneous
robotic vehicles in cooperative missions
|
Fernando Manuel Ferreira Lobo Pereira and Dirk Berndt and Gil Manuel Gonçalves
|
ISR FEUP (Porto)
|
63
|
Rehabilitation Robot: a Biological Approach
|
Cristina Manuela Peixoto dos Santos and Auke Ijspeert
|
Algoritmi (Minho)
|
64
|
Parallel Programming by Transforming "sequential like" Codes
|
J. L. Sobral
|
CCTC (Minho)
|
65
|
Develop Portable Applications for Multiple Target Architectures using Skeletons
|
António Esteves and J. L. Sobral
|
CCTC (Minho)
|
66
|
Multimodal Affect Sensing in Human-Computer Interaction
|
Pedro Branco
|
Algoritmi (Minho)
|
67
|
Network Coding Protocols for Peer-to-Peer Networks
|
João Barros and Rui Prior
|
IT-Porto (Porto)
|
68
|
Robust Programming for Large-Scale Sensor Networks
|
João Barros and Luis Lopes
|
IT-Porto (Porto)
|
69
|
Automatic event detection for endoscopic capsule exams
|
Miguel Coimbra and João Cunha
|
IT-Porto (Porto)
|