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.

The statistical properties of velocity and acceleration fields along the trajectories of fluid particles transported by a fully developed turbulent flow are investigated by means of high resolution direct numerical simulations. We present results for Lagrangian velocity structure functions, the acceleration probability density function, and the acceleration variance conditioned on the instantaneous velocity. These are compared with predictions of the multifractal formalism, and its merits and limitations are discussed.

Precise knowledge of X-ray diffraction profile shape is crucial in the investigation of the properties of matter in crystals powder. Line-broadening analysis is the fourth pre-processing step in most of the full powder pattern fitting softwares. The final result of line-broadening analysis strongly depends on three further steps: noise filtering, removal of background signal, and peak fitting. In this work a new model independent procedure for two of the aforementioned steps (background suppression and peak fitting) is presented.

Sharp constants are exhibited in exponential inequalities corresponding to the limiting case of the Sobolev inequalities in Lorentz-Sobolev spaces of arbitrary order.

Cloud detection from geostationary satellite multispectral images through statistical methodologies is investigated. Discriminant analysis methods are considered to this purpose, endowed with a nonparametric density estimation and a linear transform into principal and independent components. The whole methodology is applied to the MSG-SEVIRI sensor through a set of test images covering the central and southern part of Europe.

This paper is devoted to a numerical simulation of the classical WKB system arising in geometric optics expansions. It contains the nonlinear eikonal equation and a linear conservation law whose coefficient can be discontinuous. We address the problem of treating it in such a way superimposed signals can be reproduced by means of the kinetic formulation of ``multibranch solutions'' originally due to Brenier and Corrias. Some existence and uniqueness results are given together with computational test-cases of increasing difficulty displaying up to five multivaluations.

We propose here a well-balanced numerical scheme for the one-dimensional Goldstein-Taylor system which is endowed with all the stability properties inherent to the continuous problem and works in both rarefied and diffusive regimes.

The problem of the interplay between normal and anomalous scaling in turbulent systems stirred by a random forcing with a power-law spectrum is addressed. We consider both linear and nonlinear systems. As for the linear case, we study passive scalars advected by a 2d velocity field in the inverse cascade regime. For the nonlinear case, we review a recent investigation of 3d Navier–Stokes turbulence, and we present new quantitative results for shell models of turbulence.