output
20022011
most citedPLUTO: a Numerical Code for Computational Astrophysics

1.6k citations

Showing 2009Show all

35 papers · 1 filter

cs.LO20096 cited

A Type System for Required/Excluded Elements in CLS

Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina

The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline…

math.CA2009

Uniqueness in Law for Stochastic Boundary Value Problems

Anna Capietto, Enrico Priola

We study existence and uniqueness of solutions for second order ordinary stochastic differential equations with Dirichlet boundary conditions on a given interval. In the first part…

nlin.AO2009

Dynamics of Unperturbed and Noisy Generalized Boolean Networks

Christian Darabos, Marco Tomassini, Mario Giacobini

For years, we have been building models of gene regulatory networks, where recent advances in molecular biology shed some light on new structural and dynamical properties of such h…

cs.DC200920 cited

FastFlow: Efficient Parallel Streaming Applications on Multi-core

Marco Aldinucci, Massimo Torquati, Massimiliano Meneghin

Shared memory multiprocessors come back to popularity thanks to rapid spreading of commodity multi-core architectures. As ever, shared memory programs are fairly easy to write and…

math.PR200949 cited

On the inverse first-passage-time problem for a Wiener process

Cristina Zucca, Laura Sacerdote

The inverse first-passage problem for a Wiener process seeks to determine a function such that \[τ=\inf\{t>0| W_t\ge b(t)\}\] has…

math.ST200923 cited

Asymptotics for posterior hazards

Pierpaolo De Blasi, Giovanni Peccati, Igor Prünster

An important issue in survival analysis is the investigation and the modeling of hazard rates. Within a Bayesian nonparametric framework, a natural and popular approach is to model…