2.3k citations
- Horia Hulubei National Institute for R and D in Physics and Nuclear EngineeringRO316 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT305 papers
- Radboud University NijmegenNL301 papers
- National Institute for Subatomic PhysicsNL299 papers
- Centre National de la Recherche ScientifiqueFR295 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di MilanoIT292 papers
- European Organization for Nuclear ResearchCH281 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR270 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT263 papers
- University of BolognaIT263 papers
- Sapienza University of RomeIT257 papers
- University of MichiganUS256 papers
1,226 papers
Complete Heyting Algebra Semantics for an Intuitionistic Version of Matching Logic (Extended Abstract)
Horaţiu Cheval
We present work in progress towards an intuitionistic version of Applicative Matching Logic. We introduce a semantics based on complete Heyting algebras, and propose a proof system…
Muon Can Outperform Dedicated Continual Learning Methods
Sebastian George Sincari, Bogdan Alexandru Gheorghe, Antonio Barbalau
Continual learning with Low-Rank Adapters (LoRA) typically mitigates forgetting by penalizing the overlap between a new update and the accumulated past weights, which discourages c…
Mitigating Gender Bias in English to Romanian Machine Translation
Ioana Grigore, Sergiu Nisioi
Machine translation (MT) systems often fail to correctly translate gender, especially when converting from a gender-neutral language like English to a gendered target language such…
ASPIC: Proof-of-Concept ASP to Picat Transpiler
Cristian Grozea, Marius Popescu
This article presents ASPIC, a new proof-of-concept library that converts extended syntax ASP-Core-2 programs to Picat predicates that can be solved right away with the integrated…
Study of Particle Fluence Effects on Collected Charge and Depletion Voltage of the ATLAS IBL Planar Pixel Sensors
ATLAS Collaboration
After ten years of operation at the LHC, the planar pixel sensors of the innermost barrel layer of the ATLAS Pixel detector have accumulated an average bulk damage fluence in exces…
Measurements of the Higgs boson production, fiducial and differential cross-sections in the four lepton decay channel using 164 fb of data collected at = 13.6 TeV with the ATLAS detector
ATLAS Collaboration
Inclusive, differential and production-mode cross-section measurements of the Higgs boson are performed in the decay channel. The analysis uses proton-prot…