2.1k citations
- Scuola Normale SuperioreIT54 papers
- University of PaduaIT53 papers
- University of FlorenceIT52 papers
- Centre National de la Recherche ScientifiqueFR49 papers
- ETH ZurichCH49 papers
- University of PisaIT49 papers
- University of TriesteIT49 papers
- California Institute of TechnologyUS48 papers
- Massachusetts Institute of TechnologyUS48 papers
- University of AntwerpBE48 papers
- University of BolognaIT48 papers
- University of PerugiaIT48 papers
12 papers · 1 filter
Non-linear parameter estimation for the LTP experiment: analysis of an operational exercise
G. Congedo, F. De Marchi, L. Ferraioli +10
The precursor ESA mission LISA-Pathfinder, to be flown in 2013, aims at demonstrating the feasibility of the free-fall, necessary for LISA, the upcoming space-born gravitational wa…
Contracts in distributed systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-…
On Buchsbaum bundles on quadric hypersurfaces
Edoardo Ballico, Francesco Malaspina, Paolo Valabrega +1
Let be an indecomposable rank two vector bundle on the projective space $\PP^n, n \ge 3$, over an algebraically closed field of characteristic zero. It is well known that i…
Increased Brownian force noise from molecular impacts in a constrained volume
A. Cavalleri, G. Ciani, R. Dolesi +8
We report on residual gas damping of the motion of a macroscopic test mass enclosed in a nearby housing in the molecular flow regime. The damping coefficient, and thus the associat…
Classification of Novikov algebras
Dietrich Burde, Willem A. de Graaf
We describe a method for classifying the Novikov algebras with a given associated Lie algebra. Subsequently we give the classification of the Novikov algebras of dimension 3 over R…
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
P. F. Patel-Schneider, R. Sebastiani
The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive e…