14.2k citations
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT3.5k papers
- Centre National de la Recherche ScientifiqueFR2.8k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT2.7k papers
- Sapienza University of RomeIT2.6k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR2.6k papers
- University of PisaIT2.5k papers
- Rutherford Appleton LaboratoryGB2.5k papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR2.4k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT2.4k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT2.3k papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT2.3k papers
- University of BolognaIT2.3k papers
315 papers · 1 filter
A Unified Gentzen-style Framework for Until-free LTL
Norihiro Kamide, Sara Negri
A unified Gentzen-style framework for until-free propositional linear-time temporal logic is introduced. The proposed framework, based on infinitary rules and rules for primitive n…
Euclid: Field-level inference of primordial non-Gaussianity and cosmic initial conditions
A. Andrews, J. Jasche, G. Lavaux +147
A primary target of the \Euclid space mission is to constrain early-universe physics by searching for deviations from a primordial Gaussian random field. A significant detection of…
Melting behavior of CaO at high temperature and pressure: a molecular dynamics study
Francesca Menescardi, Davide Ceresoli, Donato Belmonte
The thermodynamic behavior of calcium oxide (\ce{CaO}) under high temperature and pressure conditions is critical for understanding the physics of planetary interiors. This study e…
An efficient slope stability algorithm with physically consistent parametrisation of slip surfaces
Leonardo Maria Lalicata, Andrea Bressan, Simone Pittaluga +2
This paper presents an optimised algorithm implementing the method of slices for analysing the stability of slopes. The algorithm adopts an improved physically based parameterisati…
First evidence for mixing-induced violation in B J/(1020) decays in pp collisions at 13 TeV
CMS Collaboration
A novel machine-learning-based flavor-tagging algorithm combining same-side and opposite-side tagging is used to obtain the equivalent of 27000 tagged B J/…
Search for a neutral gauge boson with nonuniversal fermion couplings in vector boson fusion processes in proton-proton collisions at = 13 TeV
CMS Collaboration
The first search for a heavy neutral spin-1 gauge boson (Z') with nonuniversal fermion couplings produced via vector boson fusion processes and decaying to tau leptons or W bosons…