Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Liu, Wanwei
254  Ergebnisse:
Personensuche X
?
1

Reach-Avoid Verification Based on Convex Optimization:

Xue, Bai ; Zhan, Naijun ; Fränzle, Martin..
IEEE Transactions on Automatic Control.  69 (2024)  1 - p. 598-605 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Verifying safety of neural networks from topological perspe..:

Liang, Zhen ; Ren, Dejin ; Xue, Bai...
Science of Computer Programming.  236 (2024)  - p. 103121 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Kullback-Leibler Divergence-Based Out-of-Distribution Detec..:

Zhang, Yufeng ; Pan, Jialu ; Liu, Wanwei...
IEEE Transactions on Knowledge and Data Engineering.  36 (2024)  4 - p. 1683-1697 , 2024
Link: https://doi.org/10.1109/..
 
?
4

Research on an Ultra-Short-Term Working Condition Predictio..:

Tian, Mengqing ; Zhu, Jijun ; Xiong, Huaping...
Electronics.  12 (2023)  6 - p. 1391 , 2023
Link: https://doi.org/10.3390/..
 
?
5

Safety Verification for Neural Networks Based on Set-Bounda..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Liang, Zhen ; Ren, Dejin ; Liu, Wanwei... - p. 248-267 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Towards a model of human-cyber–physical automata and a synt..:

Tang, Xiaochen ; Zhang, Miaomiao ; Liu, Wanwei..
Journal of Systems Architecture.  144 (2023)  - p. 102989 , 2023
Link: https://doi.org/10.1016/..
 
?
7

A Geometrical Characterization on Feature Density of Image ..:

, In: 2023 IEEE International Conference on Multimedia and Expo (ICME),
Liang, Zhen ; Zhao, Changyuan ; Liu, Wanwei.. - p. 1823-1828 , 2023
Link: https://doi.org/10.1109/..
 
?
8

An Automata-Theoretic Approach to Synthesizing Binarized Ne..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Tao, Ye ; Liu, Wanwei ; Song, Fu... - p. 380-400 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Credit assignment for trained neural networks based on Koop..:

Liang, Zhen ; Zhao, Changyuan ; Liu, Wanwei...
Frontiers of Computer Science.  18 (2023)  1 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
10

Developing on Application System of Core Data Sharing and V..:

, In: Proceedings of the International Field Exploration and Development Conference 2021; Springer Series in Geomechanics and Geoengineering,
Liu, Wan-wei ; Li, Li-jiao - p. 716-722 , 2022
Link: https://doi.org/10.1007/..
 
?
11

PoS4MPC: Automated Security Policy Synthesis for Secure Mul..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Fan, Yuxin ; Song, Fu ; Chen, Taolue.. - p. 385-406 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Salivary microbiota may predict the presence of esophageal ..:

Wei, Junmin ; Li, Ruifeng ; Lu, Yanxian...
Genes & Diseases.  9 (2022)  4 - p. 1143-1151 , 2022
Link: https://doi.org/10.1016/..
 
?
13

Human-Cyber-Physical Automata and Their Synthesis:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,
Zhang, Miaomiao ; Liu, Wanwei ; Tang, Xiaochen.. - p. 36-41 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Predictive value of the presence of Prevotella and the rati..:

Chen, Xiaohui ; Xian, Bohong ; Wei, Junmin...
Frontiers in Cellular and Infection Microbiology.  12 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
?
15

Computing Sufficient and Necessary Conditions in CTL: A For..:

Feng, Renyan ; Acar, Erman ; Wang, Yisong...
Information Sciences.  616 (2022)  - p. 474-504 , 2022
Link: https://doi.org/10.1016/..
 
1-15