E-LIB Suche - Ergebnisse für: Du, Yide

1

Verification of message-passing uninterpreted programs:

Hong, Weijiang ; Chen, Zhenbang ; Zhang, Yufeng...
Science of Computer Programming. 234 (2024) - p. 103075 , 2024

Link: https://doi.org/10.1016/..

2

Energy-Efficient Ferroelectric-FET-Based Agent With Memory ..:

Luo, Jin ; Fu, Boyi ; Du, Yide...
IEEE Electron Device Letters. 45 (2024) 2 - p. 264-267 , 2024

Link: https://doi.org/10.1109/..

3

Research and implementation of asynchronous compaction mech..:

DU, Yide ; LIU, Wenjie
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University. 42 (2024) 2 - p. 303-309 , 2024

Link: https://doi.org/10.1051/..

4

Collaborative Verification of Uninterpreted Programs:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Du, Yide ; Hong, Weijiang ; Chen, Zhenbang. - p. 148-154 , 2022

Link: https://doi.org/10.1007/..

5

Novel Negative-Feedback Method for Writing Variation Suppre..:

, In: 2022 China Semiconductor Technology International Conference (CSTIC),

Xu, Weikai ; Luo, Jin ; Du, Yide.. - p. 1-3 , 2022

Link: https://doi.org/10.1109/..

6

Trace Abstraction-Based Verification for Uninterpreted Prog..:

, In: Formal Methods; Lecture Notes in Computer Science,

Hong, Weijiang ; Chen, Zhenbang ; Du, Yide. - p. 545-562 , 2021

Link: https://doi.org/10.1007/..

7

Energy- and Area-efficient Fe-FinFET-based Time-Domain Mixe..:

, In: 2021 IEEE International Electron Devices Meeting (IEDM),

Luo, Jin ; Xu, Weikai ; Du, Yide... - p. 19.5.1-19.5.4 , 2021

Link: https://doi.org/10.1109/..

8

Understanding the mechanoluminescent mechanisms of manganes..:

Zhou, Hui ; Du, Yide ; Wu, Chen...
Journal of Luminescence. 203 (2018) - p. 683-688 , 2018

Link: https://doi.org/10.1016/..

9

Luminescence Mechanism and Thermal Stabilities of a White S..:

Sun, Qisheng ; Li, Xuemin ; Du, Yide...
Journal of the American Ceramic Society. 100 (2016) 1 - p. 193-203 , 2016

Link: https://doi.org/10.1111/..

10

Investigation of an integrated liquid air energy storage sy..:

Liu, Yurong ; Han, Yide ; Peng, Bo-Yu...
Fuel. 373 (2024) - p. 132154 , 2024

Link: https://doi.org/10.1016/..

11

MircoRNA-25-3p in skin precursor cell-induced Schwann cell-..:

Cong, Meng ; Li, Jiyu ; Wang, Lijuan...
Experimental Neurology. 376 (2024) - p. 114750 , 2024

Link: https://doi.org/10.1016/..

12

Research on chlorine salt antifreeze road dust suppressants..:

Zhao, Xiaoliang ; Shen, Zhaolin ; Bharti, Bandna...
Atmospheric Pollution Research. 15 (2024) 8 - p. 102161 , 2024

Link: https://doi.org/10.1016/..

13

An integrated system based on liquid air energy storage, cl..:

Ding, Yuxing ; Liu, Yurong ; Han, Yide...
Journal of Energy Storage. 94 (2024) - p. 112496 , 2024

Link: https://doi.org/10.1016/..

14

Design of Polygonal Permanent Magnet Array in Magnetic Nano..:

, In: The proceedings of the 10th Frontier Academic Forum of Electrical Engineering (FAFEE2022); Lecture Notes in Electrical Engineering,

Huang, Yide ; Ke, Li ; Du, Qiang.. - p. 231-239 , 2023

Link: https://doi.org/10.1007/..

15

Analysis of chemotypes and their markers in leaves of core ..:

Meng, Yide ; Du, Qingxin ; Du, Hongyan...
Frontiers in Plant Science. 13 (2023) - p. , 2023

Link: https://doi.org/10.3389/..