Background. The three terms "panic", "irrationality", and "herding" are ubiquitous in the crowd dynamics literature and have a strong influence on both modelling and management practices. The terms are also commonly shared between the scientific and nonscientific domains. The pervasiveness of the use of these terms is to the point where their underlying assumptions have often been treated as common knowledge by both experts and lay persons. Yet, at the same time, the literature on crowd dynamics presents ample debate, contradiction, and inconsistency on these topics. Method.

Presentazione delle attività di ricerca su computational immunology e network medicine al workshop "Hot Topics in Systems" all'interno della conferenza PLACE2019

Sex dimorphism in cell response to stress has previously been investigated by different research groups. This dimorphism could be at least in part accounted for by sex-biased expression of regulatory elements such as microRNAs (miRs). In order to spot previously unknown miR expression differences we took advantage of prior knowledge on specialized databases to identify X chromosome-encoded miRs potentially escaping X chromosome inactivation (XCI).

In transportation networks with limited capacities and travel times on the arcs, a class of problems attracting a growing scientific interest is represented by the optimal routing and scheduling of given amounts of flow to be transshipped from the origin points to the specific destinations in minimum time. Such problems are of particular concern to emergency transportation where evacuation plans seek to minimize the time evacuees need to clear the affected area and reach the safe zones.

Tor hidden services allow offering and accessing various Internet resources while guaranteeing a high degree of provider and user anonymity. So far, most research work on the Tor network aimed at discovering protocol vulnerabilities to de-anonymize users and services. Other work aimed at estimating the number of available hidden services and classifying them. Something that still remains largely unknown is the structure of the graph defined by the network of Tor services.

Background. Type 2 diabetes (T2D) is a chronic metabolic disease potentially leading to serious widespread tissue damage. Human organism develops T2D when the glucose-insulin control is broken for reasons that are not fully understood but have been demonstrated to be linked to the emergence of a chronic inflammation. Indeed such low-level chronic inflammation affects the pancreatic production of insulin and triggers the development of insulin resistance, eventually leading to an impaired control of the blood glucose concentration.

In this paper we present a new multi-scale method for reproducing traffic flow which couples a first-order macroscopic model with a second-order microscopic model, avoiding any interface or boundary conditions between them. The multi-scale model is characterized by the fact that microscopic and macroscopic descriptions are not spatially separated. On the contrary, the macro-scale is always active while the micro-scale is activated only if needed by the traffic conditions.

Investigation about the mechanisms involved in the onset of type 2 diabetes in absence of familiarity is the focus of a research project which has led to the development of a computational model that recapitulates the aetiology of the disease.

In the context of network medicine, disease genes, i.e. genes that have been experimentally associated to the onset or progression of a pathology, show a complex set of features that are not easily reduced to, and grasped by a simple network approach (e.g., studying centrality measures or clustering characteristics of the gene network).

Reputation systems are nowadays widely used to support decision making in networked systems. Parties in such systems rate each other and use shared ratings to compute reputation scores that drive their interactions. The existence of reputation systems with remarkable differences calls for formal approaches to their analysis. We present a verification methodology for reputation systems that is based on the use of the coordination language Klaim and related analysis tools.