Zobrazeno 1 - 10 of 22 pro vyhledávání: '"Zhang, Chengxuan"'
2
Report
Automated Invariant Generation for Solidity Smart Contracts
Autor: Liu, Ye, Zhang, Chengxuan, Li., Yi
Smart contracts are computer programs running on blockchains to automate the transaction execution between users. The absence of contract specifications poses a real challenge to the correctness verification of smart contracts. Program invariants are
Externí odkaz: http://arxiv.org/abs/2401.00650
Zobrazit plný text záznamu
3
Akademický článek
城市浅埋隧道埋深对地面沉降的影响规律.
Autor: 曹元均1 374184892@qq.com
Publikováno v: Urban Mass Transit. 2024, Vol. 27 Issue 7, p38-42. 5p.
Zobrazit plný text záznamu
4
Akademický článek
Can high-tech industrial convergence promote green innovation efficiency? Evidence from 30 Chinese provinces.
Autor: Zhang, Hongying1 (AUTHOR), Geng, Chengxuan1 (AUTHOR) chengxuangeng@163.com, Cao, Dongqin2 (AUTHOR), Wei, Jiahui1 (AUTHOR)
Publikováno v: Environment, Development & Sustainability. Sep2024, Vol. 26 Issue 9, p23579-23611. 33p.
Zobrazit plný text záznamu
5
Akademický článek
分离岛式地铁车站交叉洞群施工的 周边环境效应分析.
Autor: 阮艳妹1 ruanyanmei@gmdi.cn, 李进2, 袁炳祥3 yuanbx@gdut.edu.cn, 凌程坤2, 罗旭1, 吴朋波2, 赵津3
Publikováno v: Science Technology & Engineering. 2023, Vol. 23 Issue 26, p11405-11413. 9p.
Zobrazit plný text záznamu
6
Akademický článek
Probe into methods and strategies to improve pass rate of nurse licensing examination in secondary vocational school. (English)
Autor: Zhang Chengxuan
Publikováno v: Chinese Nursing Research; Jun2014, Vol. 28 Issue 6C, p2304-2305, 2p
Zobrazit plný text záznamu
7
Akademický článek
Prediction Model of Pigsty Temperature Based on ISSA-LSSVM.
Autor: Zhang, Yuqing, Zhang, Weijian, Wu, Chengxuan, Zhu, Fengwu, Li, Zhida
Publikováno v: Agriculture; Basel; Sep2023, Vol. 13 Issue 9, p1710, 16p
Zobrazit plný text záznamu
8
Akademický článek
Multi-shaped Amorphous Alloy Ni-B: Ultrasonically Aided Complexing-reduction Preparation, Catalytic Ability for NaBH4 Hydrolysis Yielding H2 Gas.
Autor: Zhang, Jun1, Li, Chengxuan1, Li, Lili1, Du, Xigang1, Song, Bangcai1, Xu, Hang1
Publikováno v: Zeitschrift für Anorganische und Allgemeine Chemie. Feb2014, Vol. 640 Issue 2, p456-461. 6p.
Zobrazit plný text záznamu
9
Akademický článek
Effects of Surface Area on All-Solid-Stated pH Sensor Based on Antimony Electrode.
Autor: Zhang, Xiliang, Lu, Chengxuan, Geng, Miaomiao, Xu, Kun, Zong, Shengkang
Publikováno v: IEEE Sensors Journal; 1/15/2020, Vol. 20 Issue 2, p680-688, 9p
Zobrazit plný text záznamu
10
Akademický článek
Co-seismic and post-seismic effects of the Tohoku-Oki M9.0 earthquake in North and Northeast China.
Autor: Feng, Chengjun, Zhang, Peng, Tan, Chengxuan, Qi, Bangshen, Wang, Lianjie
Publikováno v: Journal of Seismology; Jan2016, Vol. 20 Issue 1, p333-359, 27p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje