Thesis

2014-10-02 13:49:26
N Theme Advisor Institution
1A Parallel simulator of musculo-skeletal systemsAntónio Pina / J.L. AlvesCCTC / CT2M
2A scalable HPC FE solver for structural analysisAntónio Pina / J.L. AlvesCCTC / CT2M
3Architectural reconfiguration of interacting services Luis Soares BarbosaHASLAB-CCTC
4Project Drive-in Susana SargentoIT
5Project FCT User-centered mobility management (UMM)Susana SargentoIT
6Automating Test Generation from UML Interaction DiagramsJoão Pascoal fariaINESC Porto
7Declarative model-transformation engineJoão Pascoal fariaINESC Porto
8Automatic Detection of Software ErrorsRui MaranhãoSoftware Engineering Lab. - FEUP
9Using virtual reality in a ambient assisted living approach to better monitor, study and control Alzheimer's diseaseElizabeth S. Carvalho / Adriana SampaioAlgoritmi / Psicology School UM
10Using Information Visualization Analytics to evaluate Contemporaneous data from different countriesElizabeth S. Carvalho / Pedro BrancoAlgoritmi / DSI
11Feature Selection for Enhanced Extraction of Information José Luís Oliveira / Sérgio MatosIEETA UA
12Feature Based Repositories For Medical Imaging Content Based RetrievalAugusto Silva / Carlos CostaIEETA UA
13Medical Imaging Services over Cloud Carlos CostaIEETA UA
14Virtual Representation and Visualization Methods for Architectural and Contextual Information in Archaeological SitesJoaquim Madeira / Manuela MartinsDETI-IEETA UA / DHIST-ICS UM
15Composable Ethernet Communication Architecture for Complex Real­Time Applications Paulo Bacelar Reis Pedreiras / Luis Miguel Pinho de AlmeidaDETI-IT UA / FEUP
16e-Science tools for brain imaging João Paulo Silva CunhaIEETA UA
17Strong security notions for Public Key Cryptographic Primitives Manuel Bernardo BarbosaCCTC UM
18Mandibular Reconstruction Prostheses Adaptation Nuno F. Rodrigues / João L. VilaçaCCTC UM
19Geometric and Mechanical Resistance Simulation of Scoliosis Correction ProsthesesNuno F. Rodrigues / João L. VilaçaCCTC UM
20Real-time Auralisation and audio-visual Synchronisation for Virtual Reality applications Guilherme Campos / Paulo DiasIEETA UA
21Efficient Multi-Objective Data Mining OptimizationPaulo CortezDSI Algoritmi UM
22TV Recommendation Systems Paula VianaINESC Porto
23Reliability Analysis of Safety Critical Interactive Computing SystemsJosé Creissac Campos CCTC UM 
24User Interface Migration and AdaptationJosé Creissac Campos CCTC UM 
25OTK – Ontology ToolKitJosé João Antunes Guimarães Dias de AlmeidaCCTC UM
26Personalized Information Access to virtual museum Repositories annotated with semantic descriptions Pedro Rangel Henriques / Alda Lopes GançarskiCCTC UM
27Problem Domain Concept location for Program Comprehension Pedro Rangel Henriques / Maria João VarandaCCTC UM
28Inference of Component Annotations for Safety Reuse and Testing Pedro Rangel HenriquesCCTC UM
29Quality assessment from an Attribute Grammar Pedro Rangel HenriquesCCTC UM
30PROCESSING AND VISUALIZATION OF MASSIVE VOXELIZED DATAAntónio Pina / J.L. AlvesCCTC / CT2M
31Internet Traffic Forecasting using Data Mining Techniques Paulo Cortez / Pedro SousaDSI Algoritmi UM / CCTC UM
32Enhancing Internet Routing Optimization Techniques using Evolutionary Computation Miguel P. Rocha / Pedro SousaCCTC UM
33Development of a good cost-effective strategy for conducting experiments / tests while exploiting previous knowledge using metalearning P.Brazdil / R.Leite 
34Aná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çalvesFEUP
35Abordagem 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çalvesFEUP
36Realtime Interactive High Quality GraphicsAntónio Ramires FernandesCCTC UM
37Verificação Dedutiva de Programas ConcorrentesJorge Sousa PintoCCTC UM
38Exploring new services using data obtained from sensors embedded in vestsJoão Mendes Moreira / João Paiva CardosoLIAAD-INESC Porto
39Tool Support for Security ProofsJosé Bacelar AlmeidaCCTC UM
40On the Characterization and Comparison of Complex Networks Fernando SilvaCRACS - INESC-Porto LA - FCUP
41A relational approach to bidirectional transformationsAlcino CunhaCCTC UM
42MultiObjective Particle Swarm optimizationA. Ismael F. VazDPS UM
43Programação Social Rui MendesCCTC UM
44On the application od Artificial Immune Systems for Anomaly detection Manuel Eduardo Correia / Mário AntunesCRACS-INESC LA
45Dependable Decentralized Storage Management for Cloud Computing José Orlando PereiraCCTC UM
46Vital Signs Mobile Services for First Responder’s Life Support João Paulo Silva CunhaIEETA
47ZIPPERS-BASED EMBEDDING OF ATTRIBUTE GRAMMARSJoão Saraiva / João Paulo FernandesCCTC UM
48Alignment between Rule-Enriched OntologiesPaulo Novais / Nuno SilvaCCTC UM / GECAD IPP
49All Over the Place Location System (PLASYS) Paulo Novais / Lino Figueiredo / Ana FigueiredoCCTC UM / GECAD IPP
50A Highly Scalable Transactional Query Engine for Cloud ComputingRui OliveiraCCTC UM
51Declarative Cloud ComputingRui OliveiraCCTC UM
52Multimodal Personal Health AssistantAntónio Teixeira / Miguel SilvaIEETA UA
53Silent Speech for Human-Computer Interface in European PortugueseAntónio Teixeira / Miguel DiasIEETA UA
54Cancelamento de broadcasts em redes multi-hopCarlos BaqueroCCTC UM
55Body signal analysis for monitoring fatigue in first respondersMiguel Tavares CoimbraIT - DCC - FCUP