Zobrazeno 1 - 10
of 199
pro vyhledávání: '"Zhao, Mengyu"'
MaxSAT modulo theories (MaxSMT) is an important generalization of Satisfiability modulo theories (SMT) with various applications. In this paper, we focus on MaxSMT with the background theory of Linear Integer Arithmetic, denoted as MaxSMT(LIA). We de
Externí odkaz:
http://arxiv.org/abs/2406.15782
Snapshot compressive imaging (SCI) recovers high-dimensional (3D) data cubes from a single 2D measurement, enabling diverse applications like video and hyperspectral imaging to go beyond standard techniques in terms of acquisition speed and efficienc
Externí odkaz:
http://arxiv.org/abs/2406.03694
Autor:
Zhao, Mengyu, Jalali, Shirin
Snapshot compressive imaging (SCI) systems have gained significant attention in recent years. While previous theoretical studies have primarily focused on the performance analysis of Gaussian masks, practical SCI systems often employ binary-valued ma
Externí odkaz:
http://arxiv.org/abs/2307.07796
Autor:
Yang, Pengfei, Chi, Zhiming, Liu, Zongxin, Zhao, Mengyu, Huang, Cheng-Chao, Cai, Shaowei, Zhang, Lijun
Constraint solving is an elementary way for verification of deep neural networks (DNN). In the domain of AI safety, a DNN might be modified in its structure and parameters for its repair or attack. For such situations, we propose the incremental DNN
Externí odkaz:
http://arxiv.org/abs/2302.06455
Publikováno v:
In Pesticide Biochemistry and Physiology September 2024 204
Publikováno v:
In Computers and Operations Research December 2024 172
Autor:
Hu, Xiaoyu, Zhao, Mengyu, Bai, Menglin, Xue, Zhuang, Wang, Fei, Zhu, Ziyuan, Yu, Jinming, Yue, Jinbo
Publikováno v:
In Cancer Letters 1 April 2024 586
Publikováno v:
In Applied Catalysis B: Environment and Energy 5 September 2023 332
Publikováno v:
In Cancer Letters 10 August 2023 569
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.