Population ageing, longevity and migration: an overlapping generations approach

The silent demographic revolution characterizing the main industrialized countries is an unavoidable factor which has major economic, social, cultural and psychological implications. This thesis studies the main consequences of population ageing and the connections with the phenomenon of migration, The theoretical analysis is developed using Overlapping Generations Models (OLG). The thesis is divided in the following four chapters: 1) “A Model for Determining Consumption and Social Assistance Demand in Uncertainty Conditions”, focuses on the relation between demographic impact and social insurance and proposes the institution of a non selfsufficiency fund for the elderly. 2) "Population Ageing, Longevity and Health", analyzes the effects of health investment on intertemporal individual behaviour and capital accumulation. 3) "Population Ageing and the Nursing Flow", studies the consequences of migration in the nursing sector. 4) "Quality of Multiculturalism and Minorities' Assimilation", focuses on the problem of assimilation and integration of minorities.

Coordination and Control of Autonomous Mobile Robots Swarms by using Particle Swarm Optimization Algorithm and Consensus Theory

This thesis presents some different techniques designed to drive a swarm of robots in an a-priori unknown environment in order to move the group from a starting area to a final one avoiding obstacles. The presented techniques are based on two different theories used alone or in combination: Swarm Intelligence (SI) and Graph Theory. Both theories are based on the study of interactions between different entities (also called agents or units) in Multi- Agent Systems (MAS). The first one belongs to the Artificial Intelligence context and the second one to the Distributed Systems context. These theories, each one from its own point of view, exploit the emergent behaviour that comes from the interactive work of the entities, in order to achieve a common goal. The features of flexibility and adaptability of the swarm have been exploited with the aim to overcome and to minimize difficulties and problems that can affect one or more units of the group, having minimal impact to the whole group and to the common main target. Another aim of this work is to show the importance of the information shared between the units of the group, such as the communication topology, because it helps to maintain the environmental information, detected by each single agent, updated among the swarm. Swarm Intelligence has been applied to the presented technique, through the Particle Swarm Optimization algorithm (PSO), taking advantage of its features as a navigation system. The Graph Theory has been applied by exploiting Consensus and the application of the agreement protocol with the aim to maintain the units in a desired and controlled formation. This approach has been followed in order to conserve the power of PSO and to control part of its random behaviour with a distributed control algorithm like Consensus.

A formal analysis of blockchain consensus

In this thesis, we analyse these protocols using PRISM+, our extension of the probabilistic model checker PRISM with blockchain types and operations upon them. This allows us to model the behaviour of key participants in the protocols and describe the protocols as a parallel composition of PRISM+ processes. Through our analysis of the Bitcoin model, we are able to understand how forks (where different nodes have different versions of the blockchain) occur and how they depend on specific parameters of the protocol, such as the difficulty of the cryptopuzzle and network communication delays. Our results corroborate the statement that considering confirmed the transactions in blocks at depth larger than 5 is reasonable because the majority of miners have consistent blockchains up-to that depth with probability of almost 1. We also study the behaviour of the Bitcoin network with churn miners (nodes that leave and rejoin the network) and with different topologies (linear topology, ring topology, tree topology and fully connected topology). PRISM+ is therefore used to analyse the resilience of Hybrid Casper when changing various basic parameters of the protocol, such as block creation rates and penalty determination strategies. We also study the robustness of Hybrid Casper against two known attacks: the Eclipse attack (where an attacker controls a significant portion of the network's nodes and can prevent other nodes from receiving new transactions) and the majority attack (where an attacker controls a majority of the network's nodes and can manipulate the blockchain to their advantage).

Studio pancreatic cystic follow-up, an international collaboration (PACYFIC study). Valutazione prospettica della sorveglianza delle cisti pancreatiche basato sulla consensus Europea sui tumori cistici del pancreas.

Introduzione Nel 2014 è stato proposto un protocollo di studio riguardante la sorveglianza delle lesioni cistiche del pancreas (intese come IPMN) e denominato PACYFIC Study. Obiettivi Obiettivo primario era di stabilire l’impatto di un programma di sorveglianza in termini di pazienti arruolati e pazienti con indicazione chirurgica. Obiettivi secondari erano: 1) stabilire l’impatto dei fattori demografici, clinici, radiologici e della strategia di sorveglianza sull’indicazione chirurgica, sulla capacità individuare le lesioni maligne, sulla sopravvivenza. Materiali e Metodi Lo studio su cui si è basata la raccolta dei dati è uno studio di tipo prospettico, di coorte, multicentrico, internazionale. Lo studio ha incluso gli individui con una IPMN, di nuova o pregressa diagnosi, che giustifichi una sorveglianza o il trattamento chirurgico. I dati clinici, demografici, radiologici e chirurgici sono stati raccolti in un database prospettico. Le variabili discrete sono state espresse come frequenza e percentuale. Le continue come medie e deviazioni standard o mediane e range interquartile (IQR). Per l’analisi statistica sono stati utilizzati il test di Fischer, il test del Chi quadro, il test di Spearman, il test di Student. L’analisi multivariata è stata eseguita utilizzando la regressione logistica espressa come Odds Ratio e intervallo di confidenza al 95 %. Per la sopravvivenza è stato utilizzato il metodo di Kaplan-Meier. L’analisi multivariata sulle sopravvivenze è stata eseguita mediante la regressione di Cox. Risultati Il protocollo di sorveglianza ha permesso l'arruolamento di 516 pazienti. 53 pazienti hanno raggiunto l'indicazione chirurgica. La sopravvivenza globale della coorte è stata di 326.8± 9.1 mesi. I fattori predittivi la sopravvivenza sono risultati età (OR 1.07, P-value<0.001), sesso (OR 1.82, P-value=0.006), ittero, noduli murali (OR 4.84, P-value=0.018 e OR 2.19, P-value=0.016), chirurgia (OR 0.46, P-value 0.038). Conclusioni L'introduzione del protocollo di sorveglianza ha portato ad un aumento di identificazione di lesioni e ha avuto impatto sulla sopravvivenza