List of publications

4.722 results found

Search by title or abstract

Search by author

Select year

Filter by type

 
2013 Articolo in rivista metadata only access

A linear viscoelasticity problem with a singular me mory kernel: an uniqueness and existence result

Carillo S ; Valente V ; Vergara Caffarelli G
2013 Abstract in Atti di convegno metadata only access

Product Over the Square of Weakly Singular Double Integrals

Maria Rosaria Capobianco ; Giuliana Criscuolo
2013 Curatela di monografia / trattato scientifico metadata only access

Mario G. Salvadori e Mauro Picone, un sodalizio che attraversa scienza cultura e società del Novecento

Volume di 368 pagine, stampato nell'ambito delle pubblicazioni edite per i 90 anni del CNR. Contiene il carteggio intercorso tra Mario G. Salvadori e Mauro Picone e una serie di documenti utili a ricostruire la figura di Salvadori e i suoi rapporti con l'IAC. Il carteggio è preceduto da una presentazione di Luigi Nicolais e da un ampio saggio (pagg. 11-74) scritto dai tre curatori.

2013 Contributo in Atti di convegno metadata only access

Mauro Picone e i primi progetti per un calcolatore italiano

Storia dei maggiori progetti sviluppati da Mauro Picone per costruire in Italia un calcolatore elettronico prima della CEP. A questi progetti segue la collaborazione allo sviluppo della CEP tramite la realizzazione di un simulatore della calcolatrice pisana sulla Ferranti Mark 1* dell'INAC (FINAC). Invine, si accenna alla collaborazione con Olivetti per realizzare la serie ELEA 9004.

Storia della scienza storia dell'informatica storia della matematica storia dell'industria
2013 Contributo in volume (Capitolo o Saggio) metadata only access

Le macchine per moltiplicare

Storia delle soluzioni meccaniche inventate dal Seicento alla prima metà del Novecento per eseguire moltiplicazioni e divisioni. Ci si sofferma in particolare su alcune macchine che risolvono direttamente il problema e non ricorrono ad algoritmi di addizione o sottrazione ripetuta.

calcolo meccanico storia della matematica storia dell'informatica
2013 Schede di catalogo metadata only access

Catalogo delle macchine esposte - Atto primo: le calcolatrici

Andrea Celli ; Giovanni A Cignoni ; Fabio Gadducci

Schede tecniche e storiche delle calcolatrici meccaniche esposte nel nuovo allestimento del Museo degli Strumenti di Calcolo della Fondazione Galileo Galilei a Pisa

Calcolatrice addizionatrice aritmomestro storia della scienza storia dell'informatica storia della matematica storia dell'industria
2013 Rapporto di ricerca / Relazione scientifica metadata only access

Study on space-time constrained Parameter Estimation from Geostationary data, Final Report

G Masiello ; C Serio PI ; M Amoroso ; S Venafra ; I De Feis
2013 Articolo in rivista metadata only access

Spatio-temporal constraints for emissivity and surface temperature retrieval: Preliminary results and comparisons for SEVIRI and IASI observation

Marilena Amoroso ; Italia De Feis ; Guido Masiello ; Carmine Serio ; Sara Venafra ; Philip Watts
2013 Articolo in rivista metadata only access

On the use of temporal series of L- and X-band SAR data for soil moisture retrieval. Capitanata plain case study

This paper investigates the use of time series of ALOS/PALSAR-1 and COSMO-SkyMed data for the soil moisture retrieval (mv) by means of the SMOSAR algorithm. The application context is the exploitation of mv maps at a moderate spatial and temporal resolution for improving flood/drought monitoring at regional scale. The SAR data were acquired over the Capitanata plain in Southern Italy, over which ground campaigns were carried out in 2007, 2010 and 2011. The analysis shows that the mv retrieval accuracy is 5%-7% m^3/m^3 at L- and X band, although the latter is restricted to a use over nearly bare soil only.

SAR soil moisture retrieval COSMO-SkyMed X-band ALOS L-band
2013 Contributo in Atti di convegno metadata only access

Update of Ray-Tracing algorithm

2013 Articolo in rivista metadata only access

Ten years of MIPAS measurements with ESA Level 2 processor V6-Part 1: Retrieval algorithm and diagnostics of the products

P Raspollini ; B Carli ; M Carlotti ; S Ceccherini ; A Dehn ; B M Dinelli ; A Dudhia ; JM Flaud ; M LópezPuertas ; F Niro ; J J Remedios ; M Ridolfi ; H Sembhi ; L Sgheri ; T von Clarmann

The MIPAS (Michelson Interferometer for Passive Atmospheric Sounding) instrument on the Envisat (Environmental satellite) satellite has provided vertical profiles of the atmospheric composition on a global scale for almost ten years. The MIPAS mission is divided in two phases: the full resolution phase, from 2002 to 2004, and the optimized resolution phase, from 2005 to 2012, which is characterized by a finer vertical and horizontal sampling attained through a reduction of the spectral resolution. While the description and characterization of the products of the ESA processor for the full resolution phase has been already described in previous papers, in this paper we focus on the performances of the latest version of the ESA (European Space Agency) processor, named ML2PP V6 (MIPAS Level 2 Prototype Processor), which has been used for reprocessing the entire mission. The ESA processor had to perform the operational near real time analysis of the observations and its products needed to be available for data assimilation. Therefore, it has been designed for fast, continuous and automated analysis of observations made in quite different atmospheric conditions and for a minimum use of external constraints in order to avoid biases in the products. The dense vertical sampling of the measurements adopted in the second phase of the MIPAS mission resulted in sampling intervals finer than the instantaneous field of view of the instrument. Together with the choice of a retrieval grid aligned with the vertical sampling of the measurements, this made ill-conditioned the retrieval problem of the MIPAS operational processor. This problem has been handled with minimal changes to the original retrieval approach but with significant improvements nonetheless. The Levenberg-Marquardt method, already present in the retrieval scheme for its capability to provide fast convergence for nonlinear problems, is now also exploited for the reduction of the ill-conditioning of the inversion. An expression specifically designed for the regularizing Levenberg-Marquardt method has been implemented for the computation of the covariance matrices and averaging kernels of the retrieved products. The regularization of the Levenberg-Marquardt method is controlled by the convergence criteria and is deliberately kept weak. The resulting oscillations of the retrieved profile are a posteriori damped by an innovative self-adapting Tikhonov regularization. The convergence criteria and the weakness of the self-adapting regularization ensure that minimum constraints are used and the best vertical resolution obtainable from the measurements is achieved in all atmospheric conditions. Random and systematic errors, as well as vertical and horizontal resolution are compared in the two phases of the mission for all products, namely: temperature, H2O, O-3, HNO3, CH4, N2O, NO2, CFC-11, CFC-12, N2O5 and ClONO2. The use in the two phases of the mission of different optimized sets of spectral intervals ensures that, despite the different spectral resolutions, comparable performances are obtained in the whole MIPAS mission in terms of random and systematic errors, while the vertical resolution and the horizontal resolution are significantly better in the case of the optimized resolution measurements.

2013 Rapporto di ricerca / Relazione scientifica metadata only access

1st Progress report 2013 (Financial and activity report) - project T.He.T.A. "Technological tools for the Promotion of Transadriatic Archaeological Heritages"

2013 Articolo in rivista metadata only access

A black box method for solving the complex exponentials approximation problem

A common problem, arising in many different applied contexts, consists in estimating the number of exponentially damped sinusoids whose weighted sum best fits a finite set of noisy data and in estimating their parameters. Many different methods exist to this purpose. The best of them are based on approximate Maximum Likelihood estimators, assuming to know the number of damped sinusoids, which can then be estimated by an order selection procedure. As the problem can be severely ill posed, a stochastic perturbation method is proposed which provides better results than Maximum Likelihood based methods when the signal-to-noise ratio is low. The method depends on some hyperparameters which turn out to be essentially independent of the application. Therefore they can be fixed once and for all, giving rise to a black box method.

Modal analysis Complex moments problem Random Hankel pencils Stochastic perturbations
2013 Articolo in rivista metadata only access

On the universality of the distribution of the generalized eigenvalues of a pencil of Hankel random matrices

Universality properties of the distribution of the generalized eigenvalues of a pencil of random Hankel matrices, arising in the solution of the exponential interpolation problem of a complex discrete stationary process, are proved under the assumption that every finite set of random variables of the process have a multivariate spherical distribution. An integral representation of the condensed density of the generalized eigenvalues is also derived. The asymptotic behavior of this function turns out to depend only on stationarity and not on the specific distribution of the process.

Complex moments; Pad ́e approximants; random polynomials
2013 Articolo in rivista metadata only access

On the condensed density of the zeros of the Cauchy transform of a complex atomic random measure with Gaussian moments

An atomic random complex measure defined on the unit disk with normally distributed moments is considered. An approximation to the distribution of the zeros of its Cauchy transform is computed. Implications of this result for solving several moment problems are discussed.

Random determinants Complex exponentials Complex moments problem Logarithmic potentials
2013 Articolo in rivista metadata only access

Unified framework for a side-by-side comparison of different multicomponent algorithms: Lattice Boltzmann vs. phase field model

Scarbolo ; Luca ; Molin ; Dafne ; Perlekar ; Prasad ; Sbragaglia ; Mauro ; Soldati ; Alfredo ; Toschi ; Federico

Lattice Boltzmann models (LBM) and phase field models (PFM) are two of the most widespread approaches for the numerical study of multicomponent fluid systems. Both methods have been successfully employed by several authors but, despite their popularity, still remains unclear how to properly compare them and how they perform on the same problem. Here we present a unified framework for the direct (one-to-one) comparison of the multicomponent LBM against the PFM. We provide analytical guidelines on how to compare the Shan-Chen (SC) lattice Boltzmann model for non-ideal multicomponent fluids with a corresponding free energy (FE) lattice Boltzmann model. Then, in order to properly compare the LBM vs. the PFM, we propose a new formulation for the free energy of the Cahn-Hilliard/Navier-Stokes equations. Finally, the LBM model is numerically compared with the corresponding phase field model solved by means of a pseudo-spectral algorithm. This work constitute a first attempt to set the basis for a quantitative comparison between different algorithms for multicomponent fluids. We limit our scope to the few of the most common variants of the two most widespread methodologies, namely the lattice Boltzmann model (SC and FE variants) and the phase field model. (C) 2012 Elsevier Inc. All rights reserved.

Phase field model Lattice Boltzmann Navier-Stokes Cahn-Hilliard Comparison Drop Leakage Spurious currents SPINODAL DECOMPOSITION KINETIC-THEORY GAS MIXTURES NONUNIFORM SYSTEM NONIDEAL FLUIDS BINARY-MIXTURES SURFACE-TENSION EQUATION MODEL FREE ENERGY FLOWS
2013 Articolo in rivista metadata only access

Growth, competition and cooperation in spatial population genetics

Pigolotti S ; Benzi R ; Perlekar P ; Jensen ; M H ; Toschi F ; Nelson ; D R

We study an individual based model describing competition in space between two different alleles. Although the model is similar in spirit to classic models of spatial population genetics such as the stepping stone model, here however space is continuous and the total density of competing individuals fluctuates due to demographic stochasticity. By means of analytics and numerical simulations, we study the behavior of fixation probabilities, fixation times, and heterozygosity, in a neutral setting and in cases where the two species can compete or cooperate. By concluding with examples in which individuals are transported by fluid flows, we argue that this model is a natural choice to describe competition in marine environments. (C) 2013 Elsevier Inc. All rights reserved.

Stochastic model Neutral theory Stepping stone model Fixation individual based DISTANCE SYSTEMS FLOWS
2013 Articolo in rivista metadata only access

Cumulative compressibility effects on slow reactive dynamics in turbulent flows

Perlekar ; Prasad ; Benzi ; Roberto ; Nelson ; David R ; Toschi ; Federico

Reactions in turbulent flows, chemical reactions or combustion, are common. Typically reaction time scales are much shorter than turbulence timescales. In biological applications, as it is the case for bacterial and plankton populations living under the influence of currents in oceans and lakes, the typical lifetime can be long and thus can fall well within the inertial range of turbulence time scales. Under these conditions, turbulent transport interacts in a very complex way with the dynamics of growth and death of the individuals in the population. In the present paper, we quantitatively investigate the effect of the flow compressibility on the dynamics of populations. Small effective compressibility can be induced by several physical mechanisms, such as, e.g., by the density mismatch, by a small but finite size of microorganisms, and by gyrotaxis (an interaction between swimming and shear). We report, for the first time, how even a tiny effective compressibility can produce a dramatically large effect on global quantities like the carrying capacity of the ecosystem. We interpret our findings by means of a cumulative effect made possible by the long replication times of the organisms with respect to turbulence time scales. A statistical quantification of the fluctuations of population concentration is presented.

turbulent biological flows reacting turbulent flows homogeneous turbulence POPULATION-DYNAMICS PARTICLES
2013 Articolo in rivista metadata only access

A Study of Fluid Interfaces and Moving Contact Lines Using the Lattice Boltzmann Method

Srivastava S ; Perlekar P ; Biferale L ; Sbragaglia M ; Boonkkamp ; J H M ten Thije ; Toschi ; F

We study the static and dynamical behavior of the contact line between two fluids and a solid plate by means of the Lattice Boltzmann method (LBM). The different fluid phases and their contact with the plate are simulated by means of standard Shan-Chen models. We investigate different regimes and compare the multicomponent vs. the multiphase LBM models near the contact line. A static interface profile is attained with the multiphase model just by balancing the hydrostatic pressure (due to gravity) with a pressure jump at the bottom. In order to study the same problem with the multicomponent case we propose and validate an idea of a body force acting only on one of the two fluid components. In order to reproduce results matching an infinite bath, boundary conditions at the bath side play a key role. We quantitatively compare open and wall boundary conditions and study their influence on the shape of the meniscus against static and lubrication theory solution.

Lattice-Boltzmann multiphase flow multicomponent flow plunging plate problem Landau-Levich DYNAMICS LIQUID MODEL EQUATION PLATE FLOWS
2013 Articolo in rivista metadata only access

Simulations of Boiling Systems Using a Lattice Boltzmann Method

Biferale L ; Perlekar P ; Sbragaglia M ; Toschi ; F

We report about a numerical algorithm based on the lattice Boltzmann method and its applications for simulations of turbulent convection in multi-phase flows. We discuss the issue of `latent heat' definition using a thermodynamically consistent pseudo-potential on the lattice. We present results of numerical simulations in 3D with and without boiling, showing the distribution of pressure, density and temperature fluctuations inside a convective cell.

Lattice Boltzmann equation boiling thermal convection RAYLEIGH-BENARD CONVECTION HEAT-TRANSFER