Articolo in rivista

Short-Lived Lattice Quasiparticles for Strongly Interacting Fluids

It is shown that lattice kinetic theory based on short-lived quasiparticles proves very effective in simulating the complex dynamics of strongly interacting fluids (SIF). In particular, it is pointed out that the shear viscosity of lattice fluids is the sum of two contributions, one due to the…

An Alternate Proof of a Result of Johnstone and Silverman concern¬ing wavelet threshold estimators for data with correlated noise

Time Optimal Swing-Up of the Planar Pendulum

Estimage: A webserver hub for the computation of methylation age

Methylage is an epigenetic marker of biological age that exploits the correlation between the methylation state of specific CG dinucleotides (CpGs) and chronological age (in years), gestational age (in weeks), cellular age (in cell cycles or as telomere length, in kilobases). Using DNA methylation…

On a pseudoparabolic regularization of a forward-backward-forward equation

We consider an initial-boundary value problem for a degenerate pseudoparabolic regularization of a nonlinear forward-backward-forward parabolic equation, with a bounded nonlinearity which is increasing at infinity. We prove existence of suitably defined nonnegative solutions of the problem in a…

A WELL-BALANCED NUMERICAL SCHEME FOR A ONE DIMENSIONAL QUASILINEAR HYPERBOLIC MODEL OF CHEMOTAXIS

We introduce a numerical scheme to approximate a quasilinear hyperbolic system which models the movement of cells under the influence of chemotaxis. Since we expect to find solutions which contain vacuum parts, we propose an upwinding scheme which properly handles the presence of vacuum and which…

PELCR: Parallel environment for optimal lambda-calculus reduction

: In this article we present the implementation of an environment supporting Levy's optimal reduction for the X-calculus on parallel (or distributed) computing systems. In a similar approach to Lamping's, we base our work on a graph reduction technique, known as directed virtual reduction, which is…

Saliency-based segmentation of dermoscopic images using colour information

Skin lesion segmentation is one of the crucial steps for an efficient non-invasive computer-aided early diagnosis of melanoma. This paper investigates how to use colour information, besides saliency, for determining the pigmented lesion region automatically. Unlike most existing segmentation…

An improvement of dimension-free Sobolev imbeddings in r.i. spaces

We prove a dimension-invariant imbedding estimate for Sobolev spaces of first order into a small Lebesgue space, and we establish the optimality of its fundamental function. Namely, for any 1 < p < ?, the inequality with a constant c_p, related to the imbedding of W_0^{1,p}(B_n) into Y_p(0,1…

An easy-to-use algorithm for simulating traffic flow on networks: Theoretical study

In this paper we study a model for traffic flow on networks based on a hyperbolic system of conservation laws with discontinuous flux. Each equation describes the density evolution of vehicles having a common path along the network. In this formulation the junctions disappear since each path is…