57 citations · 61 across the 4 of their papers we have counts for
4 papers
MSTRIQ: No Reference Image Quality Assessment Based on Swin Transformer with Multi-Stage Fusion
Jing Wang, Haotian Fan, Xiaoxia Hou +4
Measuring the perceptual quality of images automatically is an essential task in the area of computer vision, as degradations on image quality can exist in many processes from imag…
Joint Determination of Reactor Antineutrino Spectra from U and Pu Fission by Daya Bay and PROSPECT
Daya Bay Collaboration, PROSPECT Collaboration, F. P. An +237
A joint determination of the reactor antineutrino spectra resulting from the fission of U and Pu has been carried out by the Daya Bay and PROSPECT collaborations. T…
In-orbit demonstration of X-ray pulsar navigation with the Insight-HXMT satellite
S. J. Zheng, S. N. Zhang, F. J. Lu +110
In this work, we report the in-orbit demonstration of X-ray pulsar navigation with Insight-Hard X-ray Modulation Telescope (Insight-HXMT), which was launched on Jun. 15th, 2017. Th…
Extending PPTL for Verifying Heap Evolution Properties
Xu Lu, Zhenhua Duan, Cong Tian
In this paper, we integrate separation logic with Propositional Projection Temporal Logic (PPTL) to obtain a two-dimensional logic, namely PPTL$^{\tiny\mbox{SL}}$. The spatial dime…