Xiaojuan Li

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2025
In-situ key update and minimal key set of encrypted outsourced data under binary key-derivation tree.
J. Supercomput., January, 2025

Supporting learning performance improvement: Role of online group assessment.
Educ. Inf. Technol., January, 2025

What factors influence scientific concept learning? A study based on the fuzzy-set qualitative comparative analysis.
Br. J. Educ. Technol., January, 2025

Dynamic programming principle for stochastic optimal control problem under degenerate G-expectation.
Syst. Control. Lett., 2025

2024
Self-Supervised Deep Unrolled Reconstruction Using Regularization by Denoising.
IEEE Trans. Medical Imaging, March, 2024

Emergency fire evacuation simulation of underground commercial street.
Simul. Model. Pract. Theory, 2024

Investigation on the Impact of Excitation Amplitude on AFM-TM Microcantilever Beam System's Dynamic Characteristics and Implementation of an Equivalent Circuit.
Sensors, 2024

Bearing fault detection technology for automated machinery based on acoustic analysis.
J. Intell. Fuzzy Syst., 2024

Detection-Guided Deep Learning-Based Model with Spatial Regularization for Lung Nodule Segmentation.
CoRR, 2024

Novel adaptation of video segmentation to 3D MRI: efficient zero-shot knee segmentation with SAM2.
CoRR, 2024

Efficient three-dimensional reconstruction and skeleton extraction for intelligent pruning of fruit trees.
Comput. Electron. Agric., 2024

StrokeFaceNeRF: Stroke-Based Facial Appearance Editing in Neural Radiance Field.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

Landslide Displacement Prediction Based on the Random Forest and Optimized Support Vector Regression.
Proceedings of the 2024 4th International Conference on Artificial Intelligence, 2024

2023
A Simple Real LST Reconstruction Method Combining Thermal Infrared and Microwave Remote Sensing Based on Temperature Conservation.
Remote. Sens., June, 2023

Evacuation-path-selection model of real-time fire diffusion in urban underground complexes.
Comput. Ind. Eng., March, 2023

A Geometric Flow Approach for Segmentation of Images with Inhomongeneous Intensity and Missing Boundaries.
CoRR, 2023

UbiCap: A Capability-based Run-time Model for Heterogeneous Sensors Management in Ubiquitous Operating System.
Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Evaluation of The Spatial Quality of Sunken Plazas Based on Multi-source Time-spatial Data.
Proceedings of the 2023 4th International Conference on Computing, 2023

2022
Validation and Comparison of Seven Land Surface Evapotranspiration Products in the Haihe River Basin, China.
Remote. Sens., 2022

A New Multiple Phenological Spectral Feature for Mapping Winter Wheat.
Remote. Sens., 2022

Bi-CCD: Improved Continuous Change Detection by Combining Forward and Reverse Change Detection Procedure.
IEEE Geosci. Remote. Sens. Lett., 2022

Investigating the business intelligence capabilities' and network learning effect on the data mining for start-up's function.
Inf. Process. Manag., 2022

Unsupervised Deep Unrolled Reconstruction Using Regularization by Denoising.
CoRR, 2022

Epistemic Network Analysis of College Students' Reflective Ability Based on Popper Cycle Model.
Proceedings of the 2022 5th International Conference on Education Technology Management, 2022

Multi-scale Vertical Cross-layer Feature Aggregation and Attention Fusion Network for Object Detection.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2022, 2022

Performance Evaluation of Bird Detection Radar in the Application of Airports.
Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, 2022

Laplacian Mesh Transformer: Dual Attention and Topology Aware Network for 3D Mesh Classification and Segmentation.
Proceedings of the Computer Vision - ECCV 2022, 2022

Learning Tucker Compression for Deep CNN.
Proceedings of the Data Compression Conference, 2022

2021
An Improved Eutrophication Assessment Algorithm of Estuaries and Coastal Waters in Liaodong Bay.
Remote. Sens., 2021

Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service.
Int. J. Softw. Informatics, 2021

Spatiotemporal Characteristics and Risk Factors of the COVID-19 Pandemic in New York State: Implication of Future Policies.
ISPRS Int. J. Geo Inf., 2021

User study of an AR reading aid system to promote deep reading.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2021

The regional multi-objective water resources optimal allocation system under the constraint of "three red lines".
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021

Finite Element Simulation Analysis of Temperature Field of MEMS Gas Sensor Based on ANSYS Software.
Proceedings of the 3rd International Conference on Artificial Intelligence and Advanced Manufacture, 2021

2020
A Multiresolution Vector Data Compression Algorithm Based on Space Division.
ISPRS Int. J. Geo Inf., 2020

Numerical Simulation of Donghu Lake Hydrodynamics and Water Quality Based on Remote Sensing and MIKE 21.
ISPRS Int. J. Geo Inf., 2020

Local Indicator of Colocation Quotient with a Statistical Significance Test: Examining Spatial Association of Crime and Facilities.
CoRR, 2020

The International Workshop on Osteoarthritis Imaging Knee MRI Segmentation Challenge: A Multi-Institute Evaluation and Analysis Framework on a Standardized Dataset.
CoRR, 2020

Seat allocation model for high-speed railway passenger transportation based on flexible train composition.
Comput. Ind. Eng., 2020

Optimizing train frequencies and train routing with simultaneous passenger assignment in high-speed railway network.
Comput. Ind. Eng., 2020

Angle effects of vegetation indices and the influence on prediction of SPAD values in soybean and maize.
Int. J. Appl. Earth Obs. Geoinformation, 2020

Formal Verification of CAN Bus in Cyber Physical System.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking.
Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

2019
Joint Decision Model of Group Ticket Booking Limits and Individual Passenger Dynamic Pricing for the High-Speed Railway.
Symmetry, 2019

A Formal Model-Based Design Method for Robotic Systems.
IEEE Syst. J., 2019

Collaborative optimisation of resource capacity allocation and fare rate for high-speed railway passenger transport.
J. Rail Transp. Plan. Manag., 2019

Bidirectional Potential Guided RRT* for Motion Planning.
IEEE Access, 2019

Model Checking for the Goal-Feedback-Result Pattern in ROS.
Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

Land Surface Ecosystem Change Due to Natural and Anthropology Effects-The Ordos Case, Inner Mongolia.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

2018
From Offline Towards Real-Time Verification for Robot Systems.
IEEE Trans. Ind. Informatics, 2018

Erratum to: A fast DEA-based intra-coding algorithm for HEVC.
Multim. Tools Appl., 2018

A fast DEA-based intra-coding algorithm for HEVC.
Multim. Tools Appl., 2018

Retweeting Prediction Based on Social Hotspots and Dynamic Tensor Decomposition.
IEICE Trans. Inf. Syst., 2018

Sensor attack detection using history based pairwise inconsistency.
Future Gener. Comput. Syst., 2018

Who will retweet? A prediction method for social hotspots based on dynamic tensor decomposition.
Sci. China Inf. Sci., 2018

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT.
Proceedings of the 2018 IEEE SmartWorld, 2018

Formal Analysis and Verification of DDS in ROS2.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Formalization of Symplectic Geometry in HOL-Light.
Proceedings of the Formal Methods and Software Engineering, 2018

Runtime Verification of Robots Collision Avoidance Case Study.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Enhanced resilient sensor attack detection using fusion interval and measurement history.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017
Detrimental Effect Elimination of Laser Frequency Instability in Brillouin Optical Time Domain Reflectometer by Using Self-Heterodyne Detection.
Sensors, 2017

Performance Evaluation of Downscaling Sentinel-2 Imagery for Land Use and Land Cover Classification by Spectral-Spatial Features.
Remote. Sens., 2017

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications.
Frontiers Neurorobotics, 2017

Formal Modeling and Automatic Code Synthesis for Robot System.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
An Efficient Seam Elimination Method for UAV Images Based on Wallis Dodging and Gaussian Distance Weight Enhancement.
Sensors, 2016

Fast intra mode decision algorithm for HEVC based on dominant edge assent distribution.
Multim. Tools Appl., 2016

分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).
计算机科学, 2016

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).
计算机科学, 2016

Drought assessment in Beijing-Tianjin-Hebei region in China in recent ten years.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

Formal Modelling and Analysis of TCP for Nodes Communication with ROS.
Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016

2015
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).
计算机科学, 2015

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Embedded System Design with Reliability-Centric Optimization.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
A Non-Intrusive Method for Monitoring the Degradation of MOSFETs.
Sensors, 2014

A Case Study on Formal Analysis of an Automated Guided Vehicle System.
J. Appl. Math., 2014

Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID Controller.
Proceedings of the Advances in Neural Networks - ISNN 2014, 2014

Timed automata based motion planning for a self-assembly robot system.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A framework of model checking guided test vector generation for the 6DOF manipulator.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Motion planning with Satisfiability Modulo Theories.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A Time-Based Group Key Management Algorithm Based on Proxy Re-encryption for Cloud Storage.
Proceedings of the Web Technologies and Applications - 16th Asia-Pacific Web Conference, 2014

Maximum Entropy for Chinese Comma Classification with Rich Linguistic Features.
Proceedings of The Third CIPS-SIGHAN Joint Conference on Chinese Language Processing, 2014

2013
Component-Based Formal Modeling of PLC Systems.
J. Appl. Math., 2013

The Gauge Integral Theory in HOL4.
J. Appl. Math., 2013

The Supercapacitor Degradation State Diagnostic System Based on LabVIEW.
Int. J. Online Eng., 2013

The dynamic change of the urban thermal environment landscape patterns in Beijing from 2003 to 2011.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Analysis of Beijing's urban heat-island under the influence of extrme heat based on HJ-1B data.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Model Checking for SpaceWire Link Interface Design Using Uppaal.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012
On the Formal Modeling of Inductive Verification for Cryptographical Protocols.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

The impact on the Oriental white stork habitat due to the agriculture development in Sanjiang Plain, Northeast China.
Proceedings of the 20th International Conference on Geoinformatics, 2012

The measurement study of fire-fighting spatial accessibility in Beijing based on M2FCA.
Proceedings of the 20th International Conference on Geoinformatics, 2012

2011
A New Face Recognition Framework: Symmetrical Bilateral 2DPLS plus LDA.
J. Multim., 2011

Cycles in Triangle-Free Graphs.
Discret. Math. Algorithms Appl., 2011

Application of phased array ultrasonic technology for nondestructive testing of railway wheels.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

The Wireless Applied Research on Concatenated Code for SpaceWire Communication Network.
Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

Automatic classification of Alzheimer's patients and age-matched healthy subjects using independent component analysis.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

A low-kickback preamplifier with offset cancellation for pipelined folding A/D Converter.
Proceedings of the 2011 IEEE 9th International Conference on ASIC, 2011

A 1.8V 100MS/s 10-bit pipelined folding A/D converter with 9.49 ENOB at Nyquist frequency.
Proceedings of the 2011 IEEE 9th International Conference on ASIC, 2011

2010
Change detection of landslides and debris in south Taiwan after "Morakot" typhoon based on HJ-1-B Satellite images.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

An E-Class Teaching Management System (ECTMS): Strategy and Application.
Proceedings of the Hybrid Learning, Third International Conference, 2010

Research of spatio-temporal organization and query of statistical data based on GIS.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

Marine stations real-time monitoring database management.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

Design of spatial analysis and distribution system for rural social economic statistics information based on MapGuide Open Source.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

2009
Remote Sensing Applications: Ecological Environment Effect Analysis of Widgeon Lake Wetland Change in Beijing Region.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

2008
Path-Factors in the Square of a Tree.
Graphs Comb., 2008

Design and Implementation of Common Map Symbol System in GIS.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Texture Analysis and its Application for Single-Band SAR Thematic Information Extraction.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

A Novel Course System and Engineering Practice Design for Embed System Education.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Local And Global Features Extracting and Fusion For microbial Recognition.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Quality assessment of beef based of computer vision and electronic nose.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Evaluation and transformation analysis of ecological environment in Beijing based on remote sensing.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

Flood disaster response and decision-making support system based on remote sensing and GIS.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

Social Network Analysis of Interaction in Online Learning Communities.
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007

2006
Exploration the load of molecular motors based on F0F1-ATPase.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2006

Spatial Distribution Patterns of the Urban Heat Island Based on Remote Sensing Images: a Case Study in Beijing, China.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2006

3D Integral Modeling for City Surface & Subsurface.
Proceedings of the Innovations in 3D Geo Information Systems, 2006

Research on a feature based spatio-temporal data model.
Proceedings of the Innovations in 3D Geo Information Systems, 2006

2005
Study on distribution of soil pH in urban area of Beijing using GIS technology.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2005

2004
Web-Based Adaptive Collaborative Learning Environment Designing.
Proceedings of the Advances in Web-Based Learning, 2004

2002
Gliomas classification by multivariate analysis of in vivo MRI/MRSI data based on recursive partitioning tree and discriminant analysis.
Proceedings of the 2002 IEEE International Symposium on Biomedical Imaging, 2002

1999
Design and implementation of a novel compression method in a tele-ultrasound system.
IEEE Trans. Inf. Technol. Biomed., 1999


  Loading...