D. Ackley, G. Hinton, T. Sejnowski, E. Farguell, F. Mazzanti, E. Gómez-ramírez, ...
HOD process. Therefore, there is a tradeoff between memory and computing time. HOD provides a direct solution for the learning algorithm. In comparison, tuning the MC algorithm to provide lower error...
Low-dimensional weakly interacting Bose gases: non-universal equations of state (2009)
Astrakharchik, G. E., Boronat, J., Kurbakov, I. L., Lozovik, Yu. E., Mazzanti, F.
The zero-temperature equation of state is analyzed in low-dimensional bosonic systems. In the dilute regime the equation of state is universal in terms of the gas parameter, i.e. it is the same for...
High-order Time Expansion Path Integral Ground State (2009)
Rota, R., Casulleras, J., Mazzanti, F., Boronat, J.
The feasibility of path integral Monte Carlo ground state calculations with very few beads using a high-order short-time Green's function expansion is discussed. An explicit expression of the...
ACT L +: A temporal logic for UML statecharts diagrams (2008)
We present here the use UML statecharts for the design and the speci cation of the dynamic behavior of the airport system. A statechart diagram is de ned for each class of the model, providing a...
UCTL: ATemporal Logic for UML (2008)
Abstract. In this paper we present the state/event-based temporal logic UCTL that makes possible the description of properties on UML model evolutions and assertions on explicit local state variables...
Off-diagonal Ground State Properties of a 1D Gas of Fermi Hard Rods (2007)
Mazzanti, F., Astrakharchik, G. E., Boronat, J., Casulleras, J.
A variational Monte Carlo calculation of the one-body density matrix and momentum distribution of a system of Fermi hard rods (HR) is presented and compared with the same quantities for its bosonic...
Towards the static detection of erroneous executions in Ada 95 (2007)
Being absolutely certain that a program execution will not result in unpredictable behaviour is very difficult. Although there is no way to avoid the underlying theoretical difficulties, we believe...
Ground-State Properties of a One-Dimensional System of Hard Rods (2007)
Mazzanti, F., Astrakharchik, G. E., Boronat, J., Casulleras, J.
A quantum Monte Carlo simulation of a system of hard rods in one dimension is presented and discussed. The calculation is exact since the analytical form of the wavefunction is known, and is in...
A. Fantechi, S. Gnesi, F. Mazzanti
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled transition systems....
A. Fantechi, S. Gnesi, F. Mazzanti
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled transition systems....
Ground-state properties of a dilute homogeneous Bose gas of hard disks in two dimensions (2005)
Mazzanti, F., Polls Martí, Artur, Fabrocini, A.
The energy and structure of a dilute hard-disks Bose gas are studied in the framework of a variational many-body approach based on a Jastrow correlated ground-state wave function. The asymptotic...
Ground state properties of a dilute homogeneous Bose gas of hard disks in two dimensions (2004)
Mazzanti, F., Polls, A., Fabrocini, A.
The energy and structure of a dilute hard-disks Bose gas are studied in the framework of a variational many-body approach based on a Jastrow correlated ground state wave function. The asymptotic...
Energy and Structure of Hard-Sphere Bose Gases in three and two dimensions (2004)
Mazzanti, F., Polls, A., Fabrocini, A.
The energy and structure of dilute gases of hard spheres in three dimensions is discussed, together with some aspects of the corresponding 2D systems. A variational approach in the framework of the...
High momentum response of liquid 3He (2004)
Mazzanti, F., Polls, A., Boronat, J., Casulleras, J.
A final-state-effects formalism suitable to analyze the high-momentum response of Fermi liquids is presented and used to study the dynamic structure function of liquid $^3$He. The theory, developed...
Energy and structure of dilute hard- and soft-sphere gases (2003)
Mazzanti, F., Polls, A., Fabrocini, A.
The energy and structure of dilute hard- and soft-sphere Bose gases are systematically studied in the framework of several many-body approaches, as the variational correlated theory, the Bogoliubov...
AGILE: Software architecture for mobility (2003)
L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De, ...
Abstract. Architecture-based approaches have been promoted as a means of controlling the complexity of system construction and evolution, in particular for providing systems with the agility required...
Energy and structure of dilute hard- and soft-sphere gases (2003)
Mazzanti, F., Polls Martí, Artur, Fabrocini, A.
The energy and structure of dilute hard- and soft-sphere Bose gases are systematically studied in the framework of several many-body approaches, such as the variational correlated theory, the...
Finite Temperatur Dynamic Susceptibility of the Free Bose Gas (2001)
A detailed calculation of the real part of the finite temperature dynamic susceptibility of the free Bose gas is presented. After a short discussion on the different ways in which it can be...
High-momentum dynamic structure function of liquid 3He-4He mixtures: a microscopic approach (2000)
Mazzanti, F., Polls, A., Boronat, J.
The high-momentum dynamic structure function of liquid 3He-4He mixtures has been studied introducing final state effects. Corrections to the impulse approximation have been included using a...
Finite temperature dynamic structure function of the free Bose gas (2000)
A detailed calculation of the finite temperature dynamic structure function of the free Bose gas is presented and discussed. After a short derivation of the expressions describing the exact response...
Coherent and Incoherent Dynamic Structure Function of the Free Fermi Gas (2000)
Mazzanti, F., Polls, A., Boronat, J.
A detailed calculation of the coherent and incoherent dynamic structure functions of the free Fermi gas, starting from their expressions in terms of the one- and semi-diagonal two-body density...
Finite Temperature Dynamic Structure Function of the Free Fermi Gas (2000)
A detailed discussion of the coherent and incoherent dynamic structure function of the free Fermi gas at finite temperature is presented. Their behavior and evolution with the momentum transfer and...
Final State Effects in the high q response of $^3$He-$^4$He mixtures (1999)
A modified Gersch-Rodriguez formalism describing the leading Final State Effects in the high momentum transfer response of low concentration $^3$He-$^4$He mixtures is presented and discussed. The...
A Symbolic Model Checker for ACTL (1998)
A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, E. Tronci
Abstract. We present SAM, a symbohc model checker for ACTL, the action-based version of CTL. SAM rehes on imphcit representations of Labeled Transition Systems (LTSs), the semantic domain for ACTL...
A Symbolic Model Checker for ACTL (1998)
Fantechi Gnesi Mazzanti, A. Fantechi, F. Mazzanti, R. Pugliese, E. Tronci
. We present SAM, a symbolic model checker for ACTL, the action-based version of CTL. SAM relies on implicit representations of Labeled Transition Systems (LTSs), the semantic domain for ACTL...
A Symbolic Model Checker for ACTL (1998)
A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, E. Tronci
. We present SAM, a symbolic model checker for ACTL, the action-based version of CTL. SAM relies on implicit representations of Labeled Transition Systems (LTSs), the semantic domain for ACTL...
A Symbolic Model Checker for ACTL (1998)
Fantechi Gnesi Mazzanti, A. Fantechi, F. Mazzanti, R. Pugliese, E. Tronci
. We present SAM, a symbolic model checker for ACTL, the action-based version of CTL. SAM relies on implicit representations of Labeled Transition Systems (LTSs), the semantic domain for ACTL...
Description of recent large-$q$ neutron inclusive scattering data from liquid $^4$He (1997)
Rinat, A. S., Taragin, M. F., Mazzanti, F., Polls, A.
We report dynamical calculations for large-$q$ structure functions of liquid $^4$He at $T$=1.6 and 2.3 K and compare those with recent MARI data. We extend those calculations far beyond the...
A microscopic approach to the response of $^{\bf 3}$He -$^{\bf 4}$He mixtures (1995)
Fabrocini, A., Vichi, L., Mazzanti, F., Polls, A.
Correlated Basis Function perturbation theory is used to evaluate the zero temperature response $S(q,\omega)$ of $^3$He-$^4$He mixtures for inelastic neutron scattering, at momentum transfers $q$...
Final state effects on superfluid $^{\bf 4}$He in the deep inelastic regime (1995)
Mazzanti, F., Boronat, J., Polls, A.
A study of Final State Effects (FSE) on the dynamic structure function of superfluid $^4$He in the Gersch--Rodriguez formalism is presented. The main ingredients needed in the calculation are the...
Dynamic Structure Function in 3he-4he Mixtures (1993)
Boronat, J., Dalfovo, F., Mazzanti, F., Polls, A.
Relevant features of the dynamic structure function $S(q,\omega)$ in $^3$He-$^4$He mixtures at zero temperature are investigated starting from known properties of the ground state. Sum rules are used...
Dynamic structure function in 3-4He mixtures (1993)
Boronat Medico, Jordi, Dalfovo, F., Mazzanti, F., Polls Martí, Artur
Relevant features of the dynamic structure function S(q,¿) in 3-4He mixtures at zero temperature are investigated starting from known properties of the ground state. Sum rules are used to fix...