Lei Qiao

According to our database1, Lei Qiao authored at least 54 papers between 2007 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Higher Performance Visual Tracking with Dual-Modal Localization.
CoRR, 2021

STUaNet: Understanding uncertainty in spatiotemporal collective human mobility.
CoRR, 2021

2020
Construction of Virtual Reality-Interactive Classroom Based on Deep Learning Algorithm.
Wirel. Commun. Mob. Comput., 2020

Trajectory Tracking Control of AUVs via Adaptive Fast Nonsingular Integral Terminal Sliding Mode Control.
IEEE Trans. Ind. Informatics, 2020

Formalizing SPARCv8 instruction set architecture in Coq.
Sci. Comput. Program., 2020

Flexible adjustment of the effective connectivity between the fronto-parietal and visual regions supports cognitive flexibility.
NeuroImage, 2020

Ultrasound-Guided Central Venous Catheters in Elderly Patients with Cardiopulmonary Resuscitation.
J. Medical Imaging Health Informatics, 2020

Modeling large societies: Why countable additivity is necessary.
J. Econ. Theory, 2020

Modular Verification of SPARCv8 Code.
J. Comput. Sci. Technol., 2020

Deep learning based software defect prediction.
Neurocomputing, 2020

Adaptive output-feedback formation control for underactuated surface vessels.
Int. J. Control, 2020

Learning Collision-Free Space Detection from Stereo Images: Homography Matrix Brings Better Data Augmentation.
CoRR, 2020

ORBBuf: A Robust Buffering Method for Collaborative Visual SLAM.
CoRR, 2020

Simulation of Passenger Behavior in Virtual Subway Station Based on Multi-Agent.
Proceedings of the Data Science, 2020

AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

Pipe Stress Optimization Analysis Based on MIGA Algorithm.
Proceedings of the CIPAE 2020: 2020 International Conference on Computers, 2020

2019
Equilibrium refinements in games with many players.
CoRR, 2019

OptSample: A Resilient Buffer Management Policy for Robotic Systems based on Optimal Message Sampling.
CoRR, 2019

A student's performance prediction method based on neural collaborative filtering.
Proceedings of the IEEE International Conference on Engineering, Technology and Education, 2019

Automated Constmction of Course Knowledge Graph Based on China MOOC Platform.
Proceedings of the IEEE International Conference on Engineering, Technology and Education, 2019

A Verified Specification of TLSF Memory Management Allocator Using State Monads.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Autonomous UAV Landing System Based on Visual Navigation.
Proceedings of the 2019 IEEE International Conference on Imaging Systems and Techniques, 2019

PT-ResNet: Perspective Transformation-Based Residual Network for Semantic Road Image Segmentation.
Proceedings of the 2019 IEEE International Conference on Imaging Systems and Techniques, 2019

A User Attribute Recommendation Algorithm and Peer3D Technology based WebVR P2P Transmission Scheme.
Proceedings of the 8th International Conference on Software and Computer Applications, 2019

Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Astraea: Self-Balancing Federated Learning for Improving Classification Accuracy of Mobile Deep Learning Applications.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

A Performance-Guaranteed Virtual Machine Migration Strategy in Cloud.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Energy-Efficient Task Scheduling for Heterogeneous Cloud Computing Systems.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
Performance and Power Consumption Analysis of IEEE802.11ah for Smart Grid.
Wirel. Commun. Mob. Comput., 2018

Energy-Aware VM Initial Placement Strategy Based on BPSO in Cloud Computing.
Sci. Program., 2018

Dynamic directed random matching.
J. Econ. Theory, 2018

Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci., 2018

A general Phragmén-Lindelöf principle for weak solutions of the Schrödinger equation and its applications.
Appl. Math. Lett., 2018

Fast, High-radix Silicon Photonic Switches.
Proceedings of the Optical Fiber Communications Conference and Exposition, 2018

2017
Hainan Coherent Scatter Phased Array Radar (HCOPAR): System Design and Ionospheric Irregularity Observations.
IEEE Trans. Geosci. Remote. Sens., 2017

Design and Application of the Distributed Ionospheric Coherent Scatter Radar.
IEEE Geosci. Remote. Sens. Lett., 2017

Comparison of the Traditional Ionosonde and the Digital Ionosonde Based on Direct Digitization.
IEEE Geosci. Remote. Sens. Lett., 2017

MLP-based adaptive neural control of nonlinear time-delay systems with the unknown hysteresis.
Int. J. Syst. Sci., 2017

Solutions of the Dirichlet-Sch problem and asymptotic properties of solutions for the Schrödinger equation.
Appl. Math. Lett., 2017

Weak solutions for the stationary Schrödinger equation and its application.
Appl. Math. Lett., 2017

2016
层次结构的进程网 (Hierarchy Structure of Process Net).
计算机科学, 2016

On the closed-graph property of the Nash equilibrium correspondence in a large game: A complete characterization.
Games Econ. Behav., 2016

Content-related energy efficiency analysis in cache-enabled device-to-device network.
Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

16×16 Non-blocking silicon electro-optic switch based on Mach-Zehnder interferometers.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2016

2015
Intercomparison of Precipitation Estimates From WSR-88D Radar and TRMM Measurement Over Continental United States.
IEEE Trans. Geosci. Remote. Sens., 2015

2014
On the space of players in idealized limit games.
J. Econ. Theory, 2014

The sensitivity and significance analysis of parameters in the model of pH regulation on lactic acid production by Lactobacillus bulgaricus.
BMC Bioinform., 2014

Formal Verification of Lunar Rover Control Software Using UPPAAL.
Proceedings of the FM 2014: Formal Methods, 2014

2013
A Simulation of Synthetic <i>agr</i> System in <i>E.coli</i>.
Proceedings of the Bioinformatics Research and Applications, 9th International Symposium, 2013

2012
A risk index model for multi-period uncertain portfolio selection.
Inf. Sci., 2012

2011
An Embedded Operating System Design for the Lunar Exploration Rover.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2007
A New Approach to Outlier Detection.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007


  Loading...