A Comprehensive Formal Specification of ARINC 653 With Conformity Proof
Feng, Zhang, Yongwang, Zhao, Yang, Liu, Jun, Sun
Published in Software testing, verification & reliability (01.10.2024)
Published in Software testing, verification & reliability (01.10.2024)
Get full text
Journal Article
Optimized design and biomechanical evaluation of biodegradable magnesium alloy vascular stents
Zhang, Aohua, Fan, Xuanze, Yang, Zhengbiao, Xie, Yutang, Wu, Tao, Zhang, Meng, Xue, Yanru, Wang, Yanqin, Zhao, Yongwang, Wu, Xiaogang, Wang, Yonghong, Chen, Weiyi
Published in Acta mechanica Sinica (01.03.2025)
Published in Acta mechanica Sinica (01.03.2025)
Get full text
Journal Article
Apigenin inhibits angiogenesis in retinal microvascular endothelial cells through regulating of the miR-140-5p/HDAC3-mediated PTEN/PI3K/AKT pathway
Fu, Chaojun, Peng, Jun, Ling, Yanjun, Zhao, Hongqing, Zhao, Yongwang, Zhang, Xiuli, Ai, Min, Peng, Qinghua, Qin, Yuhui
Published in BMC ophthalmology (06.07.2023)
Published in BMC ophthalmology (06.07.2023)
Get full text
Journal Article
Internal fixation system with the pyramid screw head for the treatment of Pauwels type III femoral neck fractures
Wang, Songyuan, Deng, Xuan, Zhong, Hao, Ma, Lei, Wang, Xiyu, Lou, Xinqi, Fan, Xuanze, Duan, Wangping, Zhang, Kai, Li, Pengcui, Wei, Xiaochun, Zhao, Yongwang, Wang, Yanqin, Wu, Xiaogang, Xue, Yanru, Chen, Weiyi
Published in Acta mechanica Sinica (01.08.2023)
Published in Acta mechanica Sinica (01.08.2023)
Get full text
Journal Article
Experimental investigation of the three-layer porcine articular cartilage’s mechano-electrical properties
Dong, Hao, Wang, Yan, Yu, Jianhao, Yan, Yang, Zhang, Kai, Zhao, Yongwang, Wang, Hang, Yu, Xiangyang, Wu, Xiaogang, Xue, Yanru, Wang, Yanqin, Li, Pengcui, Duan, Wangping, Wei, Xiaochun, Chen, Weiyi
Published in Acta mechanica Sinica (01.03.2023)
Published in Acta mechanica Sinica (01.03.2023)
Get full text
Journal Article
The biomechanical effects of different membrane layer structures and material constitutive modeling on patient-specific cerebral aneurysms
Fan, Xuanze, Zhang, Aohua, Zheng, Qingli, Li, Pengcui, Wang, Yanqin, He, Liming, Xue, Yanru, Chen, Weiyi, Wu, Xiaogang, Zhao, Yongwang, Wang, Yonghong
Published in Frontiers in bioengineering and biotechnology (15.01.2024)
Published in Frontiers in bioengineering and biotechnology (15.01.2024)
Get full text
Journal Article
MIAPS: A web-based system for remotely accessing and presenting medical images
Shen, Hualei, Ma, Dianfu, Zhao, Yongwang, Sun, Hailong, Sun, Sujun, Ye, Rongwei, Huang, Lei, Lang, Bo, Sun, Yan
Published in Computer methods and programs in biomedicine (01.01.2014)
Published in Computer methods and programs in biomedicine (01.01.2014)
Get full text
Journal Article
Towards a verified compiler prototype for the synchronous language SIGNAL
YANG, Zhibin, BODEVEIX, Jean-Paul, FILALI, Mamoun, HU, Kai, ZHAO, Yongwang, MA, Dianfu
Published in Frontiers of Computer Science (01.02.2016)
Published in Frontiers of Computer Science (01.02.2016)
Get full text
Journal Article
A policy-based architecture for web services authentication
Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Published in 2013 IEEE Symposium on Computers and Communications (ISCC) (01.07.2013)
Published in 2013 IEEE Symposium on Computers and Communications (ISCC) (01.07.2013)
Get full text
Conference Proceeding
QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval
HUANG, Yonggang, MA, Dianfu, ZHANG, Jun, ZHAO, Yongwang
Published in IEICE Transactions on Information and Systems (01.01.2012)
Published in IEICE Transactions on Information and Systems (01.01.2012)
Get full text
Journal Article
Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic
Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma
Published in 2011 IEEE International Conference on Advanced Information Networking and Applications (01.03.2011)
Published in 2011 IEEE International Conference on Advanced Information Networking and Applications (01.03.2011)
Get full text
Conference Proceeding
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine
Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma
Published in The IEEE symposium on Computers and Communications (01.06.2010)
Published in The IEEE symposium on Computers and Communications (01.06.2010)
Get full text
Conference Proceeding