Motivation: The human immune system evolved a multi-layered control mechanism to eliminate self-reactive cells. Of these so-called tolerance induction mechanisms, lymphocytes T education in the thymus gland represents the very first one. This complicated process is not fully understood and quantitative models able to help in this endeavor are lacking.

[object Object]

In this paper we propose a multiperiod optimization model based on the maximal covering location problem in order to support safety policies within urban areas. In particular, we focus on the field of car accidents control, by considering the problem of the optimal location of intersection safety cameras (ISC) on an urban traffic network to maximize road control and reduce the number and the impact of car accidents. The effectiveness of accidents prevention programs can be increased by changing periodically the position of the available ISCs on a given time horizon.

Variational models for image segmentation, e.g. Mumford-Shah variational model [47] and Chan-Vese model [21,59], generally involve a regularization term that penalizes the length of the boundaries of the segmentation. In practice often the length term is replaced by a weighted length, i.e., some portions of the set of boundaries are penalized more than other portions, thus unbalancing the geometric term of the segmentation functional. In the present paper we consider a class of variational models in the framework of ?-convergence theory.

[object Object]

We study the competition between domain coarsening in a symmetric binary mixture below critical temperature and turbulent fluctuations. We find that the coarsening process is arrested in the presence of turbulence. The physics of the process shares remarkable similarities with the behavior of diluted turbulent emulsions and the arrest length scale can be estimated with an argument similar to the one proposed by Kolmogorov and Hinze for the maximal stability diameter of droplets in turbulence.

Intermittency effects are numerically studied in turbulent bubbling Rayleigh-Benard (RB) flow and compared to the standard RB case. The vapour bubbles are modelled with a Euler-Lagrangian scheme and are two-way coupled to the flow and temperature fields, both mechanically and thermally. To quantify the degree of intermittency we use probability density functions, structure functions, extended self-similarity (ESS) and generalized extended self-similarity (GESS) for both temperature and velocity differences.

PELCR is an environment for lambda-terms reduction on parallel/distributed computing systems. The computation performed in this environment is a distributed graph rewriting and a major optimization to achieve efficient execution consists of a message aggregation technique exhibiting the potential for strong reduction of the communication overhead. In this paper we discuss the interaction between the effectiveness of aggregation and the schedule sequence of rewriting operations. Then we present a Priority Based (BP) scheduling algorithm well suited for the speci c aggregation technique.

The need for anti-HIV-1 vaccines is universally recognized. Although several potential vaccine formulations are being tested in clinical trials, the complexity of the viral system and the length of the experimentation required and its costs makes the goal of obtaining such a vaccine still elusive. We have built a mathematical model for the simulation of HIV-1 infection spreading into the body, which allows us study in silico the effect of hypothetical anti-HIV-1 vaccines having different properties.

We present a mesoscopic lattice model for non-ideal fluid flows with directional interactions, mimicking the effects of hydrogen bonds in water. The model supports a rich and complex structural dynamics of the orientational order parameter, and exhibits the formation of disordered domains whose size and shape depend on the relative strength of directional order and thermal diffusivity.