default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLei Qiao
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j67]Chongyu Yu, Jun Wu
, Jin Shen, Han Chen, Ruiyi Zheng, Mingkun Su, Lei Qiao, Jipeng Gan, Weiwei Cao:
Support Vector Machine Dynamic Selection of Voting Rule for Cooperative Spectrum Sensing in CUAVNs. IEEE Access 12: 130398-130411 (2024)- [j66]Niannian Wang, Yihang Duan, Songtao Li, Fan Huang, Lei Qiao:
Advanced YOLO-DeepSort-Based System for Drainage Pipeline Defects Intelligent Detection. IEEE Access 12: 145857-145870 (2024) - [j65]Lei Qiao, Chang Li, Wei Lin, Xiaoqi He, Jia Mi, Yigang Tong, Jingyang Gao:
ViroISDC: a method for calling integration sites of hepatitis B virus based on feature encoding. BMC Bioinform. 25(1): 177 (2024) - [j64]Lei Qiao, Dong Han:
Online change-point detection: a weighted sum approach with constraint and application to dynamic network observation. Commun. Stat. Simul. Comput. 53(10): 4621-4635 (2024) - [j63]Gefei Zhu, Jun Wu, Mingkun Su, Xiaorong Xu, Mingyuan Dai, Lei Qiao, Jipeng Gan, Jiangtao He, Weiwei Cao:
Dynamic sliding window-cooperative spectrum sensing against massive SSDF attack in interweave cognitive internet of things. Trans. Emerg. Telecommun. Technol. 35(3) (2024) - [j62]Jun Wu, Mingkun Su, Jianrong Bao, Lei Qiao, Xiaorong Xu, Hao Wang, Gefei Zhu, Weiwei Cao:
Sequential detection with feedback information for two-way cooperative spectrum sensing in cognitive internet of things. Trans. Emerg. Telecommun. Technol. 35(8) (2024) - [j61]Lei Qiao, Lihai Chen, Yiwen Li, Weizhuo Hua, Ping Wang, You Cui:
Predictions of Aeroengines' Infrared Radiation Characteristics Based on HKELM Optimized by the Improved Dung Beetle Optimizer. Sensors 24(6): 1734 (2024) - [j60]Xiujun Chai, Yuanlong Li, Lei Qiao, Min Zhao:
Terrain-Aided Navigation of Long-Range AUV Based on Cubature Particle Filter. IEEE Trans. Instrum. Meas. 73: 1-9 (2024) - [j59]Wentong Li, Hang Li, Long Yang, Lei Qiao, Liang Shi:
MTPS: A Multi-Task Perceiving and Scheduling Framework Across Multiple Mobile Devices. IEEE Trans. Mob. Comput. 23(12): 15048-15061 (2024) - [j58]Dong Liu, He Jiang, Shikai Guo, Yuting Chen, Lei Qiao:
What's Wrong With Low-Code Development Platforms? An Empirical Study of Low-Code Development Platform Bugs. IEEE Trans. Reliab. 73(1): 695-709 (2024) - [j57]Mingqi Yao, Kai Guo, Yu Lu, Weidong Zhang, Lei Qiao:
Distributed Adaptive Integral Sliding Mode Affine Formation Maneuver Control for Multiple AUVs With Event-Triggered Chattering- Reduction Mechanism. IEEE Trans. Veh. Technol. 73(11): 16341-16350 (2024) - [c48]Cong Ma, Lei Qiao, Chengkai Zhu, Kai Liu, Zelong Kong, Qing Li, Xueqi Zhou, Yuheng Kan, Wei Wu:
HoloVic: Large-scale Dataset and Benchmark for Multi-Sensor Holographic Intersection and Vehicle-Infrastructure Cooperative. CVPR 2024: 22129-22138 - [c47]Weiguang Pang, Xu Jiang, Songran Liu, Lei Qiao, Kexue Fu, Longxiang Gao, Wang Yi:
Control Flow Divergence Optimization by Exploiting Tensor Cores. DAC 2024: 216:1-216:6 - [c46]Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Zhi Ma, Shaofeng Li, Shenghui Zhu:
An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. TASE 2024: 224-241 - [i12]Cong Ma, Lei Qiao, Chengkai Zhu, Kai Liu, Zelong Kong, Qing Li, Xueqi Zhou, Yuheng Kan, Wei Wu:
HoloVIC: Large-scale Dataset and Benchmark for Multi-Sensor Holographic Intersection and Vehicle-Infrastructure Cooperative. CoRR abs/2403.02640 (2024) - [i11]Yuheng Zhang, Tianjian Ouyang, Fudan Yu, Cong Ma, Lei Qiao, Wei Wu, Jian Yuan, Yong Li:
LCSim: A Large-Scale Controllable Traffic Simulator. CoRR abs/2406.19781 (2024) - 2023
- [j56]Lijie Zhang, Lei Qiao, Mengsi Xu, Lingxia Fan, Xiaoli Du, Dong Yang:
Personal relative deprivation impairs the ability to inhibit impulsive responses: an exploratory ERP study. Cogn. Process. 24(4): 609-618 (2023) - [j55]Juntao Wu, Mingkun Su, Xiaoliang Shen, Lei Qiao, Jiansheng Zheng:
Assessment of the performance of GPS-PWV and rainfall event prediction by using precise products from different analysis centers. Earth Sci. Informatics 16(3): 2199-2210 (2023) - [j54]Weiguang Pang, Xiantong Luo, Kailun Chen, Dong Ji, Lei Qiao, Wang Yi:
Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs. J. Syst. Archit. 139: 102888 (2023) - [j53]Lei Qiao, Gang Chen, Mingkun Su, Chunxiao Yan, Erxiao Liu, Jun Wu:
Analysis of the E-Region Low-Altitude Quasi-Periodic Event in Low-Latitudes of China. Remote. Sens. 15(23): 5482 (2023) - [j52]Peixia Li, Boyu Chen, Lei Bai, Lei Qiao, Bo Li, Wanli Ouyang:
SiamSampler: Video-Guided Sampling for Siamese Visual Tracking. IEEE Trans. Circuits Syst. Video Technol. 33(4): 1752-1761 (2023) - [j51]Zijing Yin, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang:
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. ACM Trans. Softw. Eng. Methodol. 32(1): 7:1-7:30 (2023) - [j50]Xu Jiang, Haochun Liang, Nan Guan, Yue Tang, Lei Qiao, Wang Yi:
Scheduling Parallel Real-Time Tasks on Virtual Processors. IEEE Trans. Parallel Distributed Syst. 34(1): 33-47 (2023) - [j49]Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang:
Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing. IEEE Trans. Reliab. 72(1): 343-357 (2023) - [j48]Yi Su, Wenhao Fan, Li Gao, Lei Qiao, Yuan'an Liu, Fan Wu:
Joint DNN Partition and Resource Allocation Optimization for Energy-Constrained Hierarchical Edge-Cloud Systems. IEEE Trans. Veh. Technol. 72(3): 3930-3944 (2023) - [c45]Jingjing Jiang, Mengfei Yang, Lei Qiao, Tingyu Wang, Hongbiao Liu, Jiawei Nian:
DHIFS: A Dynamic and Hybrid Index Method with Low Memory Overhead and Efficient File Access. HPCC/DSS/SmartCity/DependSys 2023: 417-426 - 2022
- [j47]Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang:
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound. IEEE Access 10: 12475-12486 (2022) - [j46]Yixuan Tang, Zhilei Ren, He Jiang, Lei Qiao, Dong Liu, Zhide Zhou, Weiqiang Kong:
Detecting Compiler Bugs Via a Deep Learning-Based Framework. Int. J. Softw. Eng. Knowl. Eng. 32(5): 661-691 (2022) - [j45]Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao:
Automatically repairing tensor shape faults in deep learning programs. Inf. Softw. Technol. 151: 107027 (2022) - [j44]Lei Qiao, Maolin Yang, Zewei Chen, Yong Liao, Hang Lei, Nan Sang:
Global Fixed-Priority Scheduling for Parallel Real-Time Tasks with Constrained Parallelism. J. Circuits Syst. Comput. 31(8): 2250150:1-2250150:26 (2022) - [j43]Enxian Chen, Lei Qiao, Xiang Sun, Yeneng Sun:
Robust perfect equilibrium in large games. J. Econ. Theory 201: 105433 (2022) - [j42]Xiaoliu Feng, Xianzhang Chen, Ruolan Li, Jiali Li, Chunlin Song, Duo Liu, Yujuan Tan, Lei Qiao:
CoDiscard: A revenue model based cross-layer cooperative discarding mechanism for flash memory devices. J. Syst. Archit. 128: 102564 (2022) - [j41]Lei Qiao, Gang Chen, Wanlin Gong, Xuesi Cai, Erxiao Liu, Mingkun Su, Xuyang Teng, Zhaoyang Qiu, Huina Song:
E-Region Field-Aligned Irregularities in the Middle of a Solar Eclipse Observed by a Bistatic Radar. Remote. Sens. 14(2): 392 (2022) - [j40]Mingkun Su, Xin Chang, Fu Zheng, Junna Shang, Lei Qiao, Xuyang Teng, Minhong Sun:
Theory and Experiment Analysis on the Influence of Floods on a GNSS Pseudo-Range Multipath and CNR Signal Based on Two Cases Study in China. Remote. Sens. 14(22): 5874 (2022) - [j39]Xueyun Han, Yingping Zhou, Xiaosong Li, Zhongjun Ma, Lei Qiao, Chenghao Fu, Peidong Peng:
Microfluidic Microwave Sensor Loaded with Star-Slotted Patch for Edible Oil Quality Inspection. Sensors 22(17): 6410 (2022) - [j38]Runyu Zhang, Duo Liu, Xianzhang Chen, Xiongxiong She, Chaoshu Yang, Yujuan Tan, Zhaoyan Shen, Zili Shao, Lei Qiao:
ELOFS: An Extensible Low-Overhead Flash File System for Resource-Scarce Embedded Devices. IEEE Trans. Computers 71(9): 2327-2340 (2022) - [j37]Jiali Li, Xianzhang Chen, Duo Liu, Lin Li, Jiapin Wang, Zhaoyang Zeng, Yujuan Tan, Lei Qiao:
Horae: A Hybrid I/O Request Scheduling Technique for Near-Data Processing-Based SSD. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3803-3813 (2022) - [j36]Yu Lu, Rong Su, Chengxi Zhang, Lei Qiao:
Event-Triggered Adaptive Formation Keeping and Interception Scheme for Autonomous Surface Vehicles Under Malicious Attacks. IEEE Trans. Ind. Informatics 18(6): 3947-3957 (2022) - [j35]Zhide Zhou, He Jiang, Zhilei Ren, Yuting Chen, Lei Qiao:
LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM. IEEE Trans. Reliab. 71(2): 896-910 (2022) - [j34]Dong Liu, He Jiang, Xiaochen Li, Zhilei Ren, Lei Qiao, Zuohua Ding:
DPWord2Vec: Better Representation of Design Patterns in Semantics. IEEE Trans. Software Eng. 48(4): 1228-1248 (2022) - [j33]Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun:
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. IEEE Trans. Software Eng. 48(11): 4380-4396 (2022) - [c44]Xiujun Chai, Yuanlong Li, Lei Qiao:
Terrain-assisted navigation of long-range AUV based on intelligent particle filter. ASCC 2022: 991-996 - [c43]Qiuhong Shen, Lei Qiao, Jinyang Guo, Peixia Li, Xin Li, Bo Li, Weitao Feng, Weihao Gan, Wei Wu, Wanli Ouyang:
Unsupervised Learning of Accurate Siamese Tracking. CVPR 2022: 8091-8100 - [c42]Zihan Wang, Chengcheng Wan, Yuting Chen, Ziyi Lin, He Jiang, Lei Qiao:
Hierarchical memory-constrained operator scheduling of neural architecture search networks. DAC 2022: 493-498 - [c41]Runyu Zhang, Duo Liu, Chaoshu Yang, Xianzhang Chen, Lei Qiao, Yujuan Tan:
Optimizing CoW-based File Systems on Open-Channel SSDs with Persistent Memory. DATE 2022: 496-501 - [c40]Boyu Chen, Peixia Li, Lei Bai, Lei Qiao, Qiuhong Shen, Bo Li, Weihao Gan, Wei Wu, Wanli Ouyang:
Backbone is All Your Need: A Simplified Architecture for Visual Object Tracking. ECCV (22) 2022: 375-392 - [c39]Guojun Gao, Lei Qiao, Dong Liu, Shifei Chen, He Jiang:
Surrogate-Assisted Multi-objective Optimization for Compiler Optimization Sequence Selection. PPSN (2) 2022: 382-395 - [i10]Boyu Chen, Peixia Li, Lei Bai, Lei Qiao, Qiuhong Shen, Bo Li, Weihao Gan, Wei Wu, Wanli Ouyang:
Backbone is All Your Need: A Simplified Architecture for Visual Object Tracking. CoRR abs/2203.05328 (2022) - [i9]Qiuhong Shen, Lei Qiao, Jinyang Guo, Peixia Li, Xin Li, Bo Li, Weitao Feng, Weihao Gan, Wei Wu, Wanli Ouyang:
Unsupervised Learning of Accurate Siamese Tracking. CoRR abs/2204.01475 (2022) - 2021
- [j32]Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang:
Raft with Out-of-Order Executions. Int. J. Softw. Informatics 11(4): 473-503 (2021) - [j31]Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang:
Verification of Real Time Operating System Exception Management Based on SPARCv8. J. Comput. Sci. Technol. 36(6): 1367-1387 (2021) - [j30]Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao:
Blocking analysis of suspension-based protocols for parallel real-time tasks under global fixed-priority scheduling. J. Syst. Archit. 117: 102107 (2021) - [j29]Lei Qiao, Qiuhao Shen:
Human Action Recognition Technology in Dance Video Image. Sci. Program. 2021: 6144762:1-6144762:8 (2021) - [j28]Zewei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao:
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks. ACM Trans. Embed. Comput. Syst. 20(5s): 86:1-86:22 (2021) - [j27]Shaofeng Li, Lei Qiao, Mengfei Yang:
Memory State Verification Based on Inductive and Deductive Reasoning. IEEE Trans. Reliab. 70(3): 1026-1039 (2021) - [c38]Yang Tian, Lei Qiao, Guangtao Qu:
Small Signal Voltage-frequency Conversion Processing Method for SF6 Sensor. AIAM (IEEE) 2021: 339-342 - [c37]Dengfeng Zhang, Weichen Li, Xiaodong Han, Cuimei Bo, Quanling Zhang, Lei Qiao:
State-of-Health Estimation of Satellite Lithium-Ion Batteries Using Improved Particle Filtering. CAA SAFEPROCESS 2021: 1-5 - [c36]Bin Lin, Lei Qiao, Zehua Jia, Zhijian Sun, Min Sun, Weidong Zhang:
Control Strategies for Target-Attacker-Defender Games of USVs. CACRE 2021: 191-198 - [c35]Lei Qiao, Guangjie Li, Daohua Yu, Hui Liu:
Deep Feature Learning to Quantitative Prediction of Software Defects. COMPSAC 2021: 1401-1402 - [c34]Ze-Wei Chen, Hang Lei, Maolin Yang, Yong Liao, Lei Qiao:
A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks. DAC 2021: 1177-1182 - [c33]Lei Liang, Lei Qiao, Tong Wang, Yachao Jiang:
Hybrid Algorithm for Multi-beam Synthesis Based on Time Modulated Antenna Array. ICSPCC 2021: 1-5 - [c32]Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha:
ORBBuf: A Robust Buffering Method for Remote Visual SLAM. IROS 2021: 8706-8713 - [c31]Dangwei Wu, Beijun Shen, Yuting Chen, He Jiang, Lei Qiao:
Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems. ISSRE 2021: 11-21 - [c30]Rigen Wu, Jiahe Fan, Libo Guo, Lei Qiao, M. Usman Maqbool Bhutta, Brett Hosking, Sergey Vityazev, Rui Fan:
Scale-Adaptive Pothole Detection and Tracking from 3-D Road Point Clouds. IST 2021: 1-5 - [c29]Hui Chen, Chuantao Yin, Xin Fan, Lei Qiao, Wenge Rong, Zhang Xiong:
Learning Path Recommendation for MOOC Platforms Based on a Knowledge Graph. KSEM 2021: 600-611 - [c28]Xu Jiang, Nan Guan, Haochun Liang, Yue Tang, Lei Qiao, Wang Yi:
Virtually-Federated Scheduling of Parallel Real-Time Tasks. RTSS 2021: 482-494 - [c27]Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg:
Sound and efficient concurrency bug prediction. ESEC/SIGSOFT FSE 2021: 255-267 - [c26]Zhengyang Zhou, Yang Wang, Xike Xie, Lei Qiao, Yuantao Li:
STUaNet: Understanding Uncertainty in Spatiotemporal Collective Human Mobility. WWW 2021: 1868-1879 - [i8]Zhengyang Zhou, Yang Wang, Xike Xie, Lei Qiao, Yuantao Li:
STUaNet: Understanding uncertainty in spatiotemporal collective human mobility. CoRR abs/2102.06027 (2021) - [i7]Jinghao Zhou, Bo Li, Lei Qiao, Peng Wang, Weihao Gan, Wei Wu, Junjie Yan, Wanli Ouyang:
Higher Performance Visual Tracking with Dual-Modal Localization. CoRR abs/2103.10089 (2021) - 2020
- [j26]Yu Lu, Guoqing Zhang, Lei Qiao, Weidong Zhang:
Adaptive output-feedback formation control for underactuated surface vessels. Int. J. Control 93(3): 400-409 (2020) - [j25]Lei Qiao, Xuesong Li, Qasim Umer, Ping Guo:
Deep learning based software defect prediction. Neurocomputing 385: 100-110 (2020) - [j24]Junpeng Zha, Xin-Yu Feng, Lei Qiao:
Modular Verification of SPARCv8 Code. J. Comput. Sci. Technol. 35(6): 1382-1405 (2020) - [j23]M. Ali Khan, Lei Qiao, Kali P. Rath, Yeneng Sun:
Modeling large societies: Why countable additivity is necessary. J. Econ. Theory 189: 105102 (2020) - [j22]Qing Xu, Feng Pan, Lei Qiao, Yu Wan:
Ultrasound-Guided Central Venous Catheters in Elderly Patients with Cardiopulmonary Resuscitation. J. Medical Imaging Health Informatics 10(12): 2970-2973 (2020) - [j21]Lei Qiao, Mengsi Xu, Xi Luo, Lijie Zhang, Hong Li, Antao Chen:
Flexible adjustment of the effective connectivity between the fronto-parietal and visual regions supports cognitive flexibility. NeuroImage 220: 117158 (2020) - [j20]Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
Formalizing SPARCv8 instruction set architecture in Coq. Sci. Comput. Program. 187: 102371 (2020) - [j19]Lei Qiao, Weidong Zhang:
Trajectory Tracking Control of AUVs via Adaptive Fast Nonsingular Integral Terminal Sliding Mode Control. IEEE Trans. Ind. Informatics 16(2): 1248-1258 (2020) - [j18]Weijie Chen, Xiaoxi Liu, Lei Qiao, Jian Wang, Yanheng Zhao:
Construction of Virtual Reality-Interactive Classroom Based on Deep Learning Algorithm. Wirel. Commun. Mob. Comput. 2020: 8870536:1-8870536:9 (2020) - [c25]Zhengming Tang, Xiang Wan, Cheng Wang, Shan Gao, Lei Qiao, Teng Xiong:
Pipe Stress Optimization Analysis Based on MIGA Algorithm. CIPAE 2020: 277-280 - [c24]Hao Chen, Zhilei Ren, Lei Qiao, Zhide Zhou, Guojun Gao, Yue Ma, He Jiang:
AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances. DSA 2020: 78-89 - [c23]Yan Li, Zequn Li, Fengting Yan, Yu Wei, Linghong Kong, Zhicai Shi, Lei Qiao:
Simulation of Passenger Behavior in Virtual Subway Station Based on Multi-Agent. ICPCSEE (2) 2020: 393-408 - [i6]Yu-Ping Wang, Zi-Xin Zou, Cong Wang, Yue-Jiang Dong, Lei Qiao, Dinesh Manocha:
ORBBuf: A Robust Buffering Method for Collaborative Visual SLAM. CoRR abs/2010.14861 (2020) - [i5]Rui Fan, Hengli Wang, Peide Cai, Jin Wu, Mohammud Junaid Bocus, Lei Qiao, Ming Liu:
Learning Collision-Free Space Detection from Stereo Images: Homography Matrix Brings Better Data Augmentation. CoRR abs/2012.07890 (2020)
2010 – 2019
- 2019
- [c22]Yue Xu, Hyung Gyu Lee, Yujuan Tan, Yu Wu, Xianzhang Chen, Liang Liang, Lei Qiao, Duo Liu:
Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes. DAC 2019: 172 - [c21]Hui Zhao, Ge Qi, Quan Wang, Jing Wang, Pengfei Yang, Lei Qiao:
Energy-Efficient Task Scheduling for Heterogeneous Cloud Computing Systems. HPCC/SmartCity/DSS 2019: 952-959 - [c20]Hui Zhao, Quan Wang, Jing Wang, Ge Qi, Pengfei Yang, Lei Qiao:
A Performance-Guaranteed Virtual Machine Migration Strategy in Cloud. HPCC/SmartCity/DSS 2019: 1894-1899 - [c19]Moming Duan, Duo Liu, Xianzhang Chen, Yujuan Tan, Jinting Ren, Lei Qiao, Liang Liang:
Astraea: Self-Balancing Federated Learning for Improving Classification Accuracy of Mobile Deep Learning Applications. ICCD 2019: 246-254 - [c18]Jinting Ren, Xianzhang Chen, Yujuan Tan, Duo Liu, Moming Duan, Liang Liang, Lei Qiao:
Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems. ICCD 2019: 676-679 - [c17]Huijuan Zhang, Lei Qiao, Dongqing Wang:
A User Attribute Recommendation Algorithm and Peer3D Technology based WebVR P2P Transmission Scheme. ICSCA 2019: 453-456 - [c16]Rui Fan, Yuan Wang, Lei Qiao, Ruiwen Yao, Peng Han, Weidong Zhang, Ioannis Pitas, Ming Liu:
PT-ResNet: Perspective Transformation-Based Residual Network for Semantic Road Image Segmentation. IST 2019: 1-5 - [c15]Zhixin Wu, Rui Fan, Peng Han, Ruiwen Yao, Lei Qiao, Weidong Zhang, Tielong Shen, Min Sun, Yilong Zhu, Ming Liu:
Autonomous UAV Landing System Based on Visual Navigation. IST 2019: 1-6 - [c14]Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang:
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. SETTA 2019: 72-88 - [c13]Yu Zhang, Yongwang Zhao, David Sanán, Lei Qiao, Jinkun Zhang:
A Verified Specification of TLSF Memory Management Allocator Using State Monads. SETTA 2019: 122-138 - [c12]Lei Qiao, Chuantao Yin, Hui Chen, Honglu Sun, Wenge Rong, Zhang Xiong:
Automated Constmction of Course Knowledge Graph Based on China MOOC Platform. TALE 2019: 1-7 - [c11]Honglu Sun, Chuantao Yin, Hui Chen, Lei Qiao, Yuanxin Ouyang, Bertrand David:
A student's performance prediction method based on neural collaborative filtering. TALE 2019: 1-8 - [i4]Yu-Ping Wang, Zi-Xin Zou, Xu-Qiang Hu, Dinesh Manocha, Lei Qiao, Shi-Min Hu:
OptSample: A Resilient Buffer Management Policy for Robotic Systems based on Optimal Message Sampling. CoRR abs/1909.03218 (2019) - [i3]Rui Fan, Yuan Wang, Lei Qiao, Ruiwen Yao, Peng Han, Weidong Zhang, Ioannis Pitas, Ming Liu:
PT-ResNet: Perspective Transformation-Based Residual Network for Semantic Road Image Segmentation. CoRR abs/1910.13055 (2019) - [i2]Zhixin Wu, Peng Han, Ruiwen Yao, Lei Qiao, Weidong Zhang, Tielong Shen, Min Sun, Yilong Zhu, Ming Liu, Rui Fan:
Autonomous UAV Landing System Based on Visual Navigation. CoRR abs/1910.13174 (2019) - [i1]Enxian Chen, Lei Qiao, Xiang Sun, Yeneng Sun:
Equilibrium refinements in games with many players. CoRR abs/1912.12908 (2019) - 2018
- [j17]Lei Qiao:
A general Phragmén-Lindelöf principle for weak solutions of the Schrödinger equation and its applications. Appl. Math. Lett. 78 (2018) - [j16]Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao:
Formal modelling of list based dynamic memory allocators. Sci. China Inf. Sci. 61(12): 122103:1-122103:16 (2018) - [j15]Darrell Duffie, Lei Qiao, Yeneng Sun:
Dynamic directed random matching. J. Econ. Theory 174: 124-183 (2018) - [j14]Xiong Fu, Qing Zhao, Junchang Wang, Lin Zhang, Lei Qiao:
Energy-Aware VM Initial Placement Strategy Based on BPSO in Cloud Computing. Sci. Program. 2018: 9471356:1-9471356:10 (2018) - [j13]Zhe Zheng, Wenpeng Cui, Lei Qiao, Jinghong Guo:
Performance and Power Consumption Analysis of IEEE802.11ah for Smart Grid. Wirel. Commun. Mob. Comput. 2018: 5286560:1-5286560:8 (2018) - [c10]Junpeng Zha, Xinyu Feng, Lei Qiao:
Modular Verification of SPARCv8 Code. APLAS 2018: 245-263 - [c9]Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang:
Formal Verification of GP Specification based Embedded Operating System. CSAE 2018: 188:1-188:5 - [c8]