21-03-2016
Nos dias 25 de Fevereiro e 2 de Março teve lugar mais uma edição das provas públicas de defesa de preparação de dissertação do MIEI. Durante estes dois dias, 43 alunos defenderam com sucesso os seus planos de preparação de dissertação de mestrado.
As dissertações agora aprovadas pela Comissão Científica do MIEI, abordam diversos temas na área da Engenharia Informática.
Lista de Dissertações aprovadas pela Comissão Científica do MIEI
Aluno: Alexandre Maia
Título: Plataforma para análise de Estruturas Costeiras
Orientadores: Armanda Rodrigues
Grupo de investigação NOVA LINCS: MultiModal Systems
Aluno: André Lopes
Título: Power Transformers Predictive Maintenance using VueForge: a Machine-Driven Big Data approach
Orientadores: João Moura Pires e Carlos Damásio
Grupo de investigação NOVA LINCS: Knowledge-Based Systems
Em parceria com: Altran Portugal
Aluno: André Ramos
Título: IDE baseado em Eclipse para o CxProlog
Orientador: Artur M. Dias
Grupo de investigação NOVA LINCS: Software Systems
Aluno: André Sampaio
Título: Resource Sharing and Search in Partially Decentralized Mobile Networks
Orientadores: João Leitão e Nuno Preguiça
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Bruno Palma
Título: Métricas de modularidade para MATLAB/Octave
Orientadores: Miguel Monteiro e Nuno Marques
Grupo de investigação NOVA LINCS: Software Systems & MultiModal Systems
Aluno: Carlos Bate
Título: Hierarchical UbiSOM applied to Financial Data
Orientador: Nuno Marques
Grupo de investigação NOVA LINCS: MultiModal Systems
Aluno: Carlos Manuel Teixeira Machado
Título: A Novel Workflow for User Assisted Best Photo Selection
Orientadores: João Lourenço e Fernando Birra
Grupo de investigação NOVA LINCS: Computer Systems & MultiModal Systems
Aluno: Celso Alexandre
Título: Sistema de configuração de Redes Aviónicas
Orientadores: Vasco Amaral
Grupo de investigação NOVA LINCS: Software Systems
Em parceria com: GMVIS Skysoft
Aluno: Cláudio Vasconcelos
Título: Behavioral type inference for concurrent object-oriented languages
Orientador: António Ravara
Grupo de investigação NOVA LINCS: Software Systems
Aluno: David Duarte
Título: A Model-Driven Approach for Mobile Business Intelligence
Orientadores: Vasco Amaral
Grupo de investigação NOVA LINCS: Software Systems
Em parceria com: Novabase
Aluno: David Sieberger
Título: Bloqueio de ataques DDoS ao nível rede
Orientadores: José Legatheaux Martins e Henrique João Domingos
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Diogo Cardoso
Título: Gisplay: A High-Level Client-Side API for Interactive Thematic Maps using WebGL
Orientador: João Moura Pires
Grupo de investigação NOVA LINCS: Knowledge-Based Systems
Aluno: Eduardo Beja Martins
Título: Object-based filesystems as support for virtual machines
Orientador: Paulo Lopes
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Fernando Ventura
Título: Joining Production Rules to Ramex-Forum
Orientadores: Nuno Marques e Cármen Morgado
Grupo de investigação NOVA LINCS: MultiModal Systems & Computer Systems
Aluno: Filipe Correia
Título: Privacy-Enhanced Query Processing in a Cloud-Based Encrypted DBaaS
Orientador: Henrique João Domingos
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Francisco Pinheiro
Título: Context-Based Access-Control Enforcement for Trusted Mobile Applications
Orientador: Henrique João Domingos
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Francisco Pinto
Título: Aplicação móvel para acompanhamento da cultura do brócolo
Orientador: Carlos Damásio
Grupo de investigação NOVA LINCS: Knowledge-Based Systems
Aluno: Gonçalo Dias Da Silva
Título: Sistema Web para Programa Nacional de Telemedicina
Orientador: Nuno Correia
Grupo de investigação NOVA LINCS: MultiModal Systems
Aluno: Guilherme Rito
Título: Scheduling computations
Orientador: Hervé Paulino
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Henrique Henriques
Título: Domain Specific Language Evaluation: OutSystems’ Business Process Technology
Orientadores: Vasco Amaral, Miguel Goulão
Grupo de investigação NOVA LINCS: Software Systems
Em parceria com: Outsystems
Aluno: Joana Pereira
Título: Plataforma integrada para análise de edifícios históricos
Orientador: Armanda Rodrigues
Grupo de investigação NOVA LINCS: MultiModal Systems
Aluno: João Campinhos
Título: Using variational types to evolve web APIs
Orientadores: Jácome Cunha e João Costa Seco
Grupo de investigação NOVA LINCS: Software Systems
Aluno: João Libório
Título: Dependable and Searchable Multi Modal Cloud Middleware System
Orientador: Henrique João Domingos
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Katia Duarte
Título: Limitations of modularity in MATLAB®/GNU Octave systems: a survey-based empirical study
Orientadores: Miguel Pessoa Monteiro e Fernando Brito e Abreu
Grupo de investigação NOVA LINCS: Software Systems
Aluno: Luís Carvalho
Título: The View Update Problem in the OutSystems Aggregate Language
Orientadores: João Costa Seco
Grupo de investigação NOVA LINCS: Software Systems
Em parceria com: Outsystems
Aluno: Mafalda Santos
Título: Avaliação de Usabilidade de Modelos de Requisitos
Orientadores: Miguel Goulão e João Araújo
Grupo de investigação NOVA LINCS: Software Systems
Aluno: Marta Lopes
Título: Exercícios de Voz com Dificuldade Adaptativa para Terapia da Fala
Orientadores: Sofia Cavaco e João Magalhães
Grupo de investigação NOVA LINCS: MultiModal Systems
Aluno: Nuno Alves
Título: Linked clones baseados em funcionalidades de snapshot do sistema de ficheiros
Orientador: Paulo Lopes
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Nuno Martins
Título: Unifying Client-Side Web Technologies in a Single Programming Language
Orientador: João Costa Seco
Grupo de investigação NOVA LINCS: Software Systems
Aluno: Paulo Ferrão
Título: High-Level Programming of the Xeon Phi Architecture
Orientador: Hervé Paulino
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Pedro Capela Rodrigues
Título: Técnicas de mapeamento de esquemas para o ecossistema Hadoop
Orientadores: Carlos Damásio, João Moura Pires e José Júlio Alferes
Grupo de investigação NOVA LINCS: Knowledge-Based Systems
Em parceria com: Deloitte
Aluno: Pedro Dias
Título: Impacto do Code Ownership na qualidade do código
Orientador: Miguel Goulão
Grupo de investigação NOVA LINCS: Software Systems
Aluno: Pedro Durães
Título: Integration of browser-to-browser architectures with third party legacy cloud storage
Orientadores: Nuno Preguiça e João Leitão
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Pedro Maroco
Título: A Model-Driven Approach for Specifying, Analyzing, Integrating Mobile Apps and Location Sensors as part of Cyber-Physical Systems in the Classroom Environment
Orientador: Vasco Amaral
Grupo de investigação NOVA LINCS: Software Systems
Aluno: Rafael Nunes
Título: Crop Detection with Sentinel imagery
Orientadores: Carlos Damásio e Susana Nascimento
Grupo de investigação NOVA LINCS: Knowledge-Based Systems
Aluno: Ricardo Moreira
Título: A Spreadsheet Version Control System for End Users
Orientador: Jácome Cunha
Grupo de investigação NOVA LINCS: Software Systems
Aluno: Ricardo Pinto
Título: Summarization of Social-Media Content about Real-World Events
Orientador: João Magalhães
Grupo de investigação NOVA LINCS: MultiModal Systems
Aluno: Ricardo Teixeira
Título: Controlled Specification and Generation of Spreadsheets
Orientadores: Jácome Cunha e Vasco Amaral
Grupo de investigação NOVA LINCS: Software Systems
Aluno: Rui Queirós
Título: An online 4K/UHD crowd-video service for collaborative event recording
Orientadores: João Magalhães e Nuno Correia
Grupo de investigação NOVA LINCS: MultiModal Systems
Aluno: Tiago Costa
Título: Access Control in Weakly Consistent Distributed Systems
Orientadores: João Leitão e Nuno Preguiça
Grupo de investigação NOVA LINCS: Computer Systems
Aluno: Tiago Fernandes
Título: Interactive data browser for a billion stars
Orientadores: João Moura Pires e Fernando Birra
Grupo de investigação NOVA LINCS: Knowledge-Based Systems & MultiModal Systems
Aluno: Tiago Santos
Título: RISK - a Real Indicator Simulation Kit for Guiding Clients in Investment Selection
Orientadores: Cármen Morgado e Nuno Marques
Grupo de investigação NOVA LINCS: Computer Systems & MultiModal Systems
Aluno: Vitor Mexia
Título: An infrastructure for storing models: Measuring the distance between models
Orientador: Vasco Amaral
Grupo de investigação NOVA LINCS: Software Systems