459 citations · 3k across the 59 of their papers we have counts for
44 papers
Search for - oscillations in the decay
BESIII Collaboration, M. Ablikim, M. N. Achasov +454
We report the first search for -- oscillations in the decay by analyzing events accumulated with the BESIII detector at…
CoMP Transmission in Downlink NOMA-Based Cellular-Connected UAV Networks
Hongguang Sun, Linyi Zhang, Tony Q. S. Quek +2
In this paper, we study the integration between the coordinated multipoint (CoMP) transmission and the non-orthogonal multiple access (NOMA) in the downlink cellular-connected UAV…
STCF Conceptual Design Report: Volume 1 -- Physics & Detector
M. Achasov, X. C. Ai, R. Aliberti +424
The Super -Charm facility (STCF) is an electron-positron collider proposed by the Chinese particle physics community. It is designed to operate in a center-of-mass energy range…
Three-Body Unitary Coupled-Channel Analysis on
S. X. Nakamura, Q. Huang, J. -J. Wu +3
The recent BESIII data on , which is significantly more precise than earlier -related data, enables quantitative discussions on at…
Deep learning for track recognition in pixel and strip-based particle detectors
O. Bakina, D. Baranov, I. Denisenko +11
The reconstruction of charged particle trajectories in tracking detectors is a key problem in the analysis of experimental data for high-energy and nuclear physics. The amount of d…
A Formal Specification of Operating System based on ARINC 653
Ziyan Wang, Yan Zhang
In this paper, by using the formal language \emph{Circus}, we give a formal specification of an operating system based on ARINC 653 standard. Our specification includes interrupt h…