40.2k citations
- University of TrentoIT265 papers
- European Centre for Theoretical Studies in Nuclear Physics and Related AreasIT190 papers
- Istituto Nazionale di Fisica Nucleare, Trento Institute for Fundamental Physics And ApplicationsIT136 papers
- Centre National de la Recherche ScientifiqueFR99 papers
- Istituto Nazionale di Fisica NucleareIT74 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR61 papers
- Istituto di Fotonica e NanotecnologieIT59 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT52 papers
- University of PisaIT50 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di MilanoIT46 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT46 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT45 papers
11 papers · 1 filter
Sensitivity Studies for Third-Generation Gravitational Wave Observatories
S. Hild, M. Abernathy, F. Acernese +136
Advanced gravitational wave detectors, currently under construction, are expected to directly observe gravitational wave signals of astrophysical origin. The Einstein Telescope, a…
Quantum Diffusive Dynamics of Macromolecular Transitions
S. a Beccara, G. Garberoglio, P. Faccioli
We study the role of quantum fluctuations of atomic nuclei in the real-time dynamics of non-equilibrium macro-molecular transitions. To this goal we introduce an extension of the D…
Critical Rotational Speeds in the Gross-Pitaevskii Theory on a Disc with Dirichlet Boundary Conditions
M. Correggi, F. Pinsker, N. Rougerie +1
We study the two-dimensional Gross-Pitaevskii theory of a rotating Bose gas in a disc-shaped trap with Dirichlet boundary conditions, generalizing and extending previous results th…
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
The problem of computing Craig interpolants in SAT and SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for int…
Reverse Engineering Gene Networks with ANN: Variability in Network Inference Algorithms
Marco Grimaldi, Giuseppe Jurman, Roberto Visintainer
Motivation :Reconstructing the topology of a gene regulatory network is one of the key tasks in systems biology. Despite of the wide variety of proposed methods, very little work h…
A unifying view for performance measures in multi-class prediction
Giuseppe Jurman, Cesare Furlanello
In the last few years, many different performance measures have been introduced to overcome the weakness of the most natural metric, the Accuracy. Among them, Matthews Correlation…