Minho Aveiro Porto
  • Thesis Proposals
Universidades:
Universidade do Minho
Universidade de Aveiro
Universidade do Porto
 
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)