Prova de CAT

5 Abril 2018, 12:46 - Fátima Sampaio

Candidate: Andreia Sofia Monteiro Teixeira N.º 58600

Title: Models and large-scale analysis of dynamics in complex networks: from biological to social systems

Date: 12/04/2018

Time: 15h00

Location: Room 0.19, Pavilhão de Informática II, Alameda

Advisors: Professor Alexandre Paulo Lourenço Francisco / Professor Francisco João Duarte Cordeiro Correia dos Santos 

Abstract:  The rise of the Internet and of large social networks, as well as large volumes of data being collected everyday from many other different complex systems, made it possible and necessary to process and analyze network data on an unprecedented scale. Moreover, while conceptually simple, networks often underlie complex dynamics. The evolution of species are shaped by complex interaction patterns, and human choices, epidemic states, and strategic behaviors are influenced by individuals' social ties. The study of real complex networks and their dynamics has attracted an enormous amount of interest in the last years, giving new insights on the relation between the structure and function of complex systems. With the explosive growth of real networks and structured data sets, a new class of graphs came to light with some prevailing features shared by many different networks exposing the limits of traditional techniques and intriguing the research community. This proposal aims to take a step forward in network science providing new metrics, models and computational tools towards a better understanding of networked evolution and self-organization. We resort to stochastic modeling and simulation to describe the evolution of traits -- that can represent pathogens, choices or social profiles -- and their evolution over host-contact networks and social networks.

Prova de CAT

4 Abril 2018, 11:16 - Fátima Sampaio

Candidate: Rita Andreia da Conceição Marques N.º 69369

Title: Using Gamification for Improving the Adoption of IT Management Frameworks

Date: 11/04/2018

Time: 11h30

Location: Room 0.17, Pavilhão de Informática II, Alameda

Advisor: Professor Miguel Leitão Bignolas Mira da Silva 

Abstract: New tools and methods are being recently adopted to manage Information Technology (IT), whose importance has been growing in software development organizations. Due to this exponential rising of IT, Information Technology Service Management (ITSM) strategies have been adopted to bring closer traditional technology and business needs. Despite proven benefits delivered when specific frameworks support IT management, which includes software development and ITSM, IT workers are still resistant and lack motivation to adopt best practices.This thesis proposes the usage of gamification, i.e. using game elements in non-gaming contexts, to increase adoption of IT frameworks that translate best practices for professionals working in software development and ITSM fields, which cover the IT management tasks.A Design Science Research Methodology (DSRM) is being used to guide this work. A generic proposal was partially built from outputs from semi-structured interviews with managers and a survey disseminated to practitioners. That solution was then adapted to Scrum, the most widely adopted agile methodology, and ITIL, the most accepted ITSM framework, and implemented as Jira Software and Jira Service Desk apps, respectively.For each framework, two iterations will be conducted on design and development, demonstration, and evaluation activities. Field studies will be conducted in real environments, and end-users are being involved during the whole process. Behaviour will be assessed based on data extracted from Jira Software and Jira Service Desk, which will allow to calculate relevant metrics. Feedback will be gathered through interviews with end-users. These activities were selected while designing the evaluation process, based on a DSRM evaluation framework.

[Talk] Basic Measurements in IP-Based Networks Jan Jerabek

3 Abril 2018, 10:17 - Elisabete Maria Santos Madeira Ribeiro da Fonseca

Title: Basic Measurements in IP-Based Networks

Speaker: Jan Jerabek - Brno University of Technology, Czech Republic

Date: April 09 th 2018

Time: 17:00

Location: IST Anfiteatro Abreu Faro, Complexo Interdisciplinar


Access speed became the most commonly published metric for characterizing the quality of broadband offerings by Internet Service Providers. Obviously, this applies for both wired and wireless access technologies. However, measurements of speed for the same service can vary significantly, not mentioning frequent difference between download and upload direction given by the design of the technology. Moreover, we should care about many other parameters, starting from round-trip time, type of interconnection with other networks, unaltered Domain Name System communication, possibility to use any kind of application and not omitting sophisticated Quality of Service tests. Currently, not only in Europe, there is significant attention to so-called network neutrality issues and regulations that in wider meaning also address these topics. This talk is meant to introduce ideas, standards and tools covering measurement of basic parameters of IP networks in European context and to present possible approaches how to measure these parameters in IP-based networks.


Jan Jerabek was born in 1982 in the Czech Republic. He obtained the Bachelor (2005), Master (2007) and Ph.D. degrees (2011) at Brno University of Technology. In 2016, he was promoted to Associate Professor and senior researcher of the SIX research centre (Sensor, Information and Communication Systems). He is currently a member of the EU COST Action CA 15225 management committee. He is an author or co-author of 105 papers, 6 text books for students (in Czech language); his h-index is 14. He is an associate member and consultant for local groups focusing their research on mobile communications, computer networks and information security, and he lectures on TCP/IP models, internet routing and related topics. He is core member of local Cisco networking academy and is responsible for Cisco networking courses of professional level. He has supervised 50 bachelor, master and Ph.D. theses. He is an evaluator of project proposals for several authorities and grant agencies in the Czech Republic. He is an external consultant and evaluator for the Czech Telecommunication Office (the authority and regulator for telecommunications in the Czech Republic), especially focused on methodologies for TCP/IP-based measurements in computer networks.

Prova de CAT

27 Março 2018, 17:25 - Fátima Sampaio

Candidate: João Filipe Rosado Gouveia N.º 63543

Title: Inference and revision in Biological regulatory networks

Date: 02/04/2018

Time: 16h30

Location: Room 0.20, Pavilhão de Informática II, Alameda

Advisors: Prof. Pedro Tiago Gonçalves Monteiro / Prof.ª Maria Inês Camarate de Campos Lynce de Faria 

Abstract: Cellular processes are governed by complex regulatory networks consisting of genes, proteins, and their interactions. Modelling such processes is a crucial step towards the formal understanding of the interaction between cell components. These models can be quantitative or qualitative models. However, for many biological processes, there is no detailed quantitative information. Qualitative models have proven to be well adapted for the modelling of systems where quantitative information is generally incomplete or noisy. Qualitative models consider a small set of possible values for each component, e.g., active/inactive. There are several works over biological networks using different qualitative formalisms. Some of the areas of work are reasoning over biological networks, checking the consistency between a model and a set of experimental data, and finding attractors of a network and their reachability. Nevertheless, constructing biological models is still mainly a manual task performed by a modeller, typically an expert in the domain. As new data is acquired, a model needs to be revised or updated. The new data may not be consistent with the current model. Approaches to model revision relying on the Sign Consistency Model (SCM) have been implemented using logic-based tools. However, the SCM lacks in expressiveness for regulatory functions. The logical formalism, which has more expressiveness regarding regulatory functions, has been successfully used and implemented using logic basedtools, such as Answer Set Programming, and Boolean satisfiability. The goal of the proposed work is to extend the current approaches of model revision using SCM to the logical formalism. The first phase will focus on consistency-checking, implementing the technique over different logic-based tools in order to compare different approaches. Then, in case of inconsistency, the goal is to provide explanations for the inconsistency and, if necessary, rank them in a biological meaningful way, to be presented to a modeller. Finally, considering the most plausible cause for inconsistency, a revision process must be defined, as a combination of atomic operations. In the end, the work should result in a procedure and correspondent tool capable of semi-automatically building a consistent model iteratively as new data is acquired.

Prova de Dissertação MEIC-A

27 Março 2018, 16:39 - Elisabete Maria Santos Madeira Ribeiro da Fonseca

Semana de 02 a 06 de Abril de 2018


Candidato: Alessio Ciavarella (89000)

Título da Dissertação: Implementation and evaluation of a simulation platform for C-ITS applications

Data: 02 de abril de 2018


Local: Sala de Reuniões 0.19, Pavilhão de Informática II, IST - Alameda

Orientação:  Prof. Alberto Manuel Ramos da Cunha


Candidato: Jorge Simão Madeira Cordeiro de Aragão Goulart (73882)

Título da Dissertação: Sistema de Gestão de Informação do IPFN: Gestão de Recursos Humanos e Suporte Informático

Data: 04 de abril de 2018


Local: Sala 1.38, IST - TagusPark

Orientação:  Profª. Helena Isabel De Jesus Galhardas/Prof. João Carlos Serrenho Dias Pereira/Dr. Alberto Manuel Martinho Vale