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.

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.

Cardiovascular disease is the leading cause of mortality worldwide. Atherosclerosis, one of the most common forms of the disease, is characterized by a gradual formation of atherosclerotic plaque, hardening, and narrowing of the arteries. Nanomaterials can serve as powerful delivery platforms for atherosclerosis treatment. However, their therapeutic efficacy is substantially limited in vivo due to nonspecific clearance by the mononuclear phagocytic system.

Molecular dynamics (MD) has become one of the most powerful tools of investigation in soft matter. Despite such success, simulations of large molecular environments are mostly run using the approximation of closed systems without the possibility of exchange of matter. Due to the molecular complexity of soft matter systems, an optimal simulation strategy would require the application of concurrent multiscale resolution approaches such that each part of a large system can be considered as an open subsystem at a high resolution embedded in a large coarser reservoir of energy and particles.

In this paper we describe how to swap two 2 × 2 blocks in a real Schur form and a generalized real Schur form. We pay special attention to the numerical stability of the method. We also illustrate the stability of our approach by a series of numerical tests.

Cell motility is crucial to biological functions ranging from wound healing to immune response. The physics of cell crawling on a substrate is by now well understood, whilst cell motion in bulk (cell swimming) is far from being completely characterized. We present here a minimal model for pattern formation within a compressible actomyosin gel, in both 2D and 3D, which shows that contractility leads to the emergence of an actomyosin droplet within a low density background. This droplet then becomes self-motile for sufficiently large motor contractility.

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

We explore the impact of geometrical corrugations on the near-wall flow properties of a soft material driven in a confined rough microchannel. By means of numerical simulations, we perform a quantitative analysis of the relation between the flow rate ? and the wall stress ?w for a number of setups, by changing both the roughness values as well as the roughness shape. Roughness suppresses the flow, with the existence of a characteristic value of ?w at which flow sets in. Just above the onset of flow, we quantitatively analyze the relation between ? and ?w.

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.

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.