Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Virtually-Federated Scheduling of Parallel Real-Time Tasks.

[BibT_eX]

[DOI]

Xu Jiang

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Learning Path Recommendation for MOOC Platforms Based on a Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2021

Scale-Adaptive Pothole Detection and Tracking from 3-D Road Point Clouds.

[BibT_eX]

[DOI]

M. Usman Maqbool Bhutta

Brett Hosking

Sergey Vityazev

Rui Fan

Proceedings of the IEEE International Conference on Imaging Systems and Techniques, 2021

Tensfa: Detecting and Repairing Tensor Shape Faults in Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

ORBBuf: A Robust Buffering Method for Remote Visual SLAM.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Hybrid Algorithm for Multi-beam Synthesis Based on Time Modulated Antenna Array.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Signal Processing, 2021

A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Deep Feature Learning to Quantitative Prediction of Software Defects.

[BibT_eX]

[DOI]

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Control Strategies for Target-Attacker-Defender Games of USVs.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Automation, 2021

State-of-Health Estimation of Satellite Lithium-Ion Batteries Using Improved Particle Filtering.

[BibT_eX]

[DOI]

Proceedings of the CAA Symposium on Fault Detection, 2021

Small Signal Voltage-frequency Conversion Processing Method for SF6 Sensor.

[BibT_eX]

[DOI]

Yang Tian

Lei Qiao

Guangtao Qu

Proceedings of the 3rd International Conference on Artificial Intelligence and Advanced Manufacture, 2021

2020

Construction of Virtual Reality-Interactive Classroom Based on Deep Learning Algorithm.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2020

Trajectory Tracking Control of AUVs via Adaptive Fast Nonsingular Integral Terminal Sliding Mode Control.

[BibT_eX]

[DOI]

Lei Qiao

Weidong Zhang

IEEE Trans. Ind. Informatics, 2020

Formalizing SPARCv8 instruction set architecture in Coq.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

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

[BibT_eX]

[DOI]

NeuroImage, 2020

Ultrasound-Guided Central Venous Catheters in Elderly Patients with Cardiopulmonary Resuscitation.

[BibT_eX]

[DOI]

J. Medical Imaging Health Informatics, 2020

Modeling large societies: Why countable additivity is necessary.

[BibT_eX]

[DOI]

J. Econ. Theory, 2020

Modular Verification of SPARCv8 Code.

[BibT_eX]

[DOI]

Junpeng Zha

Xin-Yu Feng

Lei Qiao

J. Comput. Sci. Technol., 2020

Deep learning based software defect prediction.

[BibT_eX]

[DOI]

Neurocomputing, 2020

Adaptive output-feedback formation control for underactuated surface vessels.

[BibT_eX]

[DOI]

Int. J. Control, 2020

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

[BibT_eX]

[DOI]

Mohammud Junaid Bocus

Lei Qiao

Ming Liu

CoRR, 2020

ORBBuf: A Robust Buffering Method for Collaborative Visual SLAM.

[BibT_eX]

[DOI]

CoRR, 2020

Simulation of Passenger Behavior in Virtual Subway Station Based on Multi-Agent.

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2020

AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

Pipe Stress Optimization Analysis Based on MIGA Algorithm.

[BibT_eX]

[DOI]

Proceedings of the CIPAE 2020: 2020 International Conference on Computers, 2020

2019

Equilibrium refinements in games with many players.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

A student's performance prediction method based on neural collaborative filtering.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Engineering, Technology and Education, 2019

Automated Constmction of Course Knowledge Graph Based on China MOOC Platform.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Engineering, Technology and Education, 2019

A Verified Specification of TLSF Memory Management Allocator Using State Monads.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Autonomous UAV Landing System Based on Visual Navigation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Huijuan Zhang

Lei Qiao

Dongqing Wang

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

A Performance-Guaranteed Virtual Machine Migration Strategy in Cloud.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Performance and Power Consumption Analysis of IEEE802.11ah for Smart Grid.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2018

Energy-Aware VM Initial Placement Strategy Based on BPSO in Cloud Computing.

[BibT_eX]

[DOI]

Sci. Program., 2018

Dynamic directed random matching.

[BibT_eX]

[DOI]

Darrell Duffie

Lei Qiao

Yeneng Sun

J. Econ. Theory, 2018

Formal modelling of list based dynamic memory allocators.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

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

[BibT_eX]

[DOI]

Lei Qiao

Appl. Math. Lett., 2018

Fast, High-radix Silicon Photonic Switches.

[BibT_eX]

[DOI]

Proceedings of the Optical Fiber Communications Conference and Exposition, 2018

Formal Verification of GP Specification based Embedded Operating System.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018

2017

Hainan Coherent Scatter Phased Array Radar (HCOPAR): System Design and Ionospheric Irregularity Observations.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2017

Design and Application of the Distributed Ionospheric Coherent Scatter Radar.

[BibT_eX]

[DOI]

Lei Qiao

Gang Chen

Jin Wang

IEEE Geosci. Remote. Sens. Lett., 2017

Comparison of the Traditional Ionosonde and the Digital Ionosonde Based on Direct Digitization.

[BibT_eX]

[DOI]

IEEE Geosci. Remote. Sens. Lett., 2017

MLP-based adaptive neural control of nonlinear time-delay systems with the unknown hysteresis.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2017

Solutions of the Dirichlet-Sch problem and asymptotic properties of solutions for the Schrödinger equation.

[BibT_eX]

[DOI]

Lei Qiao

Appl. Math. Lett., 2017

Weak solutions for the stationary Schrödinger equation and its application.

[BibT_eX]

[DOI]

Lei Qiao

Appl. Math. Lett., 2017

2016

层次结构的进程网 (Hierarchy Structure of Process Net).

[BibT_eX]

[DOI]

Feng Guo

Lei Qiao

Wenxiang Mao

计算机科学, 2016

On the closed-graph property of the Nash equilibrium correspondence in a large game: A complete characterization.

[BibT_eX]

[DOI]

Lei Qiao

Haomiao Yu

Zhixiang Zhang

Games Econ. Behav., 2016

Content-related energy efficiency analysis in cache-enabled device-to-device network.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Lei Qiao

Weijie Tang

Tao Chu

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.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2015

2014

On the space of players in idealized limit games.

[BibT_eX]

[DOI]

Lei Qiao

Haomiao Yu

J. Econ. Theory, 2014

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

[BibT_eX]

[DOI]

BMC Bioinform., 2014

Formal Verification of Lunar Rover Control Software Using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

2013

A Simulation of Synthetic <i>agr</i> System in <i>E.coli</i>.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics Research and Applications, 9th International Symposium, 2013

2012

A risk index model for multi-period uncertain portfolio selection.

[BibT_eX]

[DOI]

Xiaoxia Huang

Lei Qiao

Inf. Sci., 2012

2011

An Embedded Operating System Design for the Lunar Exploration Rover.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2007

A New Approach to Outlier Detection.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Lei Qiao

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...