output
20022026
most citedObservation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC

10.9k citations

Showing 2023Show all

42 papers · 1 filter

hep-ex2023

Measurement of the Multi-Neutron Charged Current Differential Cross Section at Low Available Energy on Hydrocarbon

A. Olivier, T. Cai, S. Akhter +58

Neutron production in antineutrino interactions can lead to bias in energy reconstruction in neutrino oscillation experiments, but these interactions have rarely been studied. MINE…

cs.AI20237 cited

Formal Methods for Autonomous Systems

Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe +6

Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main buil…

cs.DL202319 cited

Ontology-Driven Processing of Transdisciplinary Domain Knowledge

Oleksandr Palagin, Mykola Petrenko, Sergii Kryvyi +2

The monograph discusses certain aspects of modern real-world problems facing humanity, which are much more challenging than scientific ones. Modern science is unable to solve them…

cs.DC202353 cited

HPC-GPT: Integrating Large Language Model for High-Performance Computing

Xianzhong Ding, Le Chen, Murali Emani +6

Large Language Models (LLMs), including the LLaMA model, have exhibited their efficacy across various general-domain natural language processing (NLP) tasks. However, their perform…

hep-ph202319 cited

Forces inside a strongly-coupled scalar nucleon

Xianghui Cao, Yang Li, James P. Vary

We investigate the gravitational form factors of a strongly coupled scalar theory that mimic the interaction between the nucleon and the pion. The non-perturbative calculation is b…

stat.ME20234 cited

Discovery and inference of a causal network with hidden confounding

Li Chen, Chunlin Li, Xiaotong Shen +1

This article proposes a novel causal discovery and inference method called GrIVET for a Gaussian directed acyclic graph with unmeasured confounders. GrIVET consists of an order-bas…