Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems by Zheng Yang, Hang Lei

Get full text

FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq by Zheng Yang, Hang Lei

Get full text

A Design and Verification Methodology for a TrustZone Trusted Execution Environment by Haiyong Sun, Hang Lei

Get full text

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts by Zheng Yang, Hang Lei, Weizhong Qian

Get full text

Point CNN:3D Face Recognition with Local Feature Descriptor and Feature Enhancement Mechanism by Qi Wang, Hang Lei, Weizhong Qian

Get full text

Analysis of the spatial association network structure of water-intensive utilization efficiency and its driving factors in the Yellow River Basin by Xinyi Han, Xin Zhang, Hang Lei

Get full text

Progressive failure analysis of perforated composite laminates considering nonlinear shear effect by Z. R. Wu, Yirong Yang, Hang Lei

Get full text

Wind Tunnel Test Investigation on Unsteady Aerodynamic Coefficients of Iced 4-Bundle Conductors by Mengqi Cai, Linshu Zhou, Hang Lei, Hanjie Huang

Get full text

Diffusion Models-Based Purification for Common Corruptions on Robust 3D Object Detection by Mumuxin Cai, Xupeng Wang, Ferdous Sohel, Hang Lei

Get full text

ABO ambiguous blood types in voluntary blood donors from Putian, Fujian Province: a serology and molecular biology study by Tiehui LIN, Xueling ZHENG, Xiaohong CAI, Hang LEI

Get full text

Contextual Attribution Maps-Guided Transferable Adversarial Attack for 3D Object Detection by Mumuxin Cai, Xupeng Wang, Ferdous Sohel, Hang Lei

Get full text

Code Similarity Prediction Model for Industrial Management Features Based on Graph Neural Networks by Zhenhao Li, Hang Lei, Zhichao Ma, Fengyun Zhang

Get full text

Mechanical behaviour of biocemented sands at various treatment levels and relative densities by Gao, Yufeng, Hang, Lei, He, Jia, Chu, Jian

Get full text

Image Representation Using Stacked Colour Histogram by Ezekiel Mensah Martey, Hang Lei, Xiaoyu Li, Obed Appiah

Get full text

SET-MRTS: An empirical experiment tool for real-time scheduling and synchronization by Ze-Wei Chen, Hang Lei, Mao-Lin Yang, Yong Liao

Get full text

Fatigue Crack Growth Behavior and Failure Mechanism of Nickel-Based Alloy GH4169 under Biaxial Load Based on Fatigue Test of Cruciform Specimen by Zhirong Wu, Ying Pan, Hang Lei, Shuaiqiang Wang, Lei Fang

Get full text

Molecular mechanism of ABO bood group variation by Hang LEI, Xuefeng WANG, Xiaowen CHENG, Hui ZHANG, Xiaohong CAI

Get full text

Stability assessment of the road cut slopes in the Xigeda mudstone considering long-term creep deterioration and suggestion for countermeasures: A case study of cut slopes along th... by Yunlin WU, Tianxiang LIU, Feng WANG, Zhaomeng DU, Hang LEI

Get full text

Reconstructing Fire Records from Ground-Based Routine Aerosol Monitoring by Hongmei Zhao, Daniel Q. Tong, Pius Lee, Hyuncheol Kim, Hang Lei

Get full text

素養導向之數學教材設計與發展 Design and Development of Mathematical Literacy-Oriented Subject Materials by 左台益 Tai-Yih Tso, 李健恆 Kin Hang Lei

Get full text