Wei Qiang

According to our database, Wei Qiang authored at least 14 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Spoq: Scaling Machine-Checkable Systems Verification in Coq.

Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2022

Artificial intelligence to detect malignant eyelid tumors from photographic images.

Zhongwen Li, Wei Qiang, Hongyun Chen, Mengjie Pei, Xiaomei Yu, Layi Wang, Zhen Li, Weiwei Xie, Xuefang Wu, Jiewei Jiang, Guohai Wu

npj Digit. Medicine, 2022

2019

Some Experimental Results of Relieving Discomfort in Virtual Reality by Disturbing Feedback Loop in Human Brain.

Wei Qionghua, Wang Hui, Wei Qiang

CoRR, 2019

2018

3D reconstruction of pulmonary nodules in PET-CT image sequences based on a novel 3D region growing method combined with ACO.

Juanjuan Zhao, Wei Qiang, Guo-hua Ji, Xiang-fei Zhou

Int. J. Bio Inspired Comput., 2018

2017

A New Traffic Signal Control Method Based on Hybrid Colored Petri Net in Isolated Intersections.

Yaying Zhang, Wei Qiang, Zhengyu Yang

Int. J. Intell. Transp. Syst. Res., 2017

2016

Modeling and control of urban expressways with emergency using hybrid petri nets.

Yaying Zhang, Yuefeng Fu, Wei Qiang

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2012

Double Diffusive Natural Convection in Hydrothermal Systems: Numerical Simulation by Lattice Boltzmann Method.

Wei Qiang, Hui Cao

Proceedings of the Computational Intelligence and Intelligent Systems, 2012

2011

A novel traffic analysis method For PoC over LTE based on retrial calling model.

Lin Ma, Shouming Wei, Wei Qiang

Proceedings of the 6th International ICST Conference on Communications and Networking in China, 2011

A novel low THD 4-quadrant analog multiplier using feedforward compensation for PFC.

Yani Li, Yintang Yang, Zhangming Zhu, Wei Qiang

Proceedings of the 2011 IEEE 9th International Conference on ASIC, 2011

Zero-crossing distortion analysis in one cycle controlled boost PFC for Low THD.

Yani Li, Yintang Yang, Zhangming Zhu, Wei Qiang

Proceedings of the 2011 IEEE 9th International Conference on ASIC, 2011

2008

Phase Transition in the Evolution of Artificial Life on Random Networks.

Wei Qiang, Hui Li, Hui Cao

Proceedings of the Advances in Computation and Intelligence, Third International Symposium, 2008

2006

Power Estimation of CMOS Circuits by Neural Network Macromodel.

Wei Qiang, Yang Cao, Yuan-yuan Yan, Xun Gao

Proceedings of the Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28, 2006

2002

Agent-Based E-Commerce through Mobile Devices.

Hinny Kong Pe Hin, Wei Qiang

Proceedings of the Wireless Information Systems, 2002

Agent-Based System for Mobile Commerce.

Wei Qiang, Hinny Kong Pe Hin

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002