Eventos
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.
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.
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
Abstract:
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.
Bio
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.
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.
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
Hora: 10:00h
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
Hora: 10:00h
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