Guodong Li

According to our database1, Guodong Li authored at least 119 papers between 1995 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
A Color Image Encryption Algorithm with Cat Map and Chaos Map Embedded.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2021

Design and Implementation of Distributed Video Live-Streaming System Based on SRS.
Proceedings of the 10th International Conference on Educational and Information Technology, 2021

2020
Low-rank graph preserving discriminative dictionary learning for image recognition.
Knowl. Based Syst., 2020

Video encryption based on chaotic array system: working with image directly.
Int. J. Inf. Commun. Technol., 2020

Colour image encryption algorithm based on hyperchaos and DNA sequences.
Int. J. Inf. Commun. Technol., 2020

LAMP2: a major update of the database linking antimicrobial peptides.
Database J. Biol. Databases Curation, 2020

A Data-Driven Combined Algorithm for Abnormal Power Loss Detection in the Distribution Network.
IEEE Access, 2020

Research on Service Discovery Methods Based on Knowledge Graph.
IEEE Access, 2020

Remaining Useful Life Prediction Based on an Adaptive Inverse Gaussian Degradation Process With Measurement Errors.
IEEE Access, 2020

Special Cane with Visual Odometry for Real-time Indoor Navigation of Blind People.
Proceedings of the 2020 IEEE International Conference on Visual Communications and Image Processing, 2020

Wearable Visually Assistive Device for Blind People to Appreciate Real-world Scene and Screen Image.
Proceedings of the 2020 IEEE International Conference on Visual Communications and Image Processing, 2020

Poster Abstract: Robust Calibration for Low-Cost Air Quality Sensors using Historical Data.
Proceedings of the 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2020

Do RNN and LSTM have Long Memory?
Proceedings of the 37th International Conference on Machine Learning, 2020

Calligraphy Navigation System for Blind People Based on Visual Prosthesis on Waist Belt.
Proceedings of the 2020 IEEE International Conference on Multimedia & Expo Workshops, 2020

RCH: robust calibration based on historical data for low-cost air quality sensor deployments.
Proceedings of the UbiComp/ISWC '20: 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers, 2020

Compact Autoregressive Network.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Double chaotic image encryption algorithm based on optimal sequence solution and fractional transform.
Vis. Comput., 2019

Underwater Acoustic Time Delay Estimation Based on Envelope Differences of Correlation Functions.
Sensors, 2019

Discriminant locality preserving projections based on <i>L</i><sub>2, <i>p</i></sub>-norm for image feature extraction and recognition.
J. Vis. Commun. Image Represent., 2019

基于动态参数控制的混沌系统图像加密算法 (Chaotic System Image Encryption Algorithm Based on Dynamic Parameter Control).
计算机科学, 2019

基于双混沌和彩色图像的空间加密算法 (Spatial Encryption Algorithm Based on Double Chaos and Color Image).
计算机科学, 2019

基于分数阶Chen超混沌的频域自适应图像加密算法 (Frequency Domain Adaptive Image Encryption Algorithm Based on Fractional Order Chen Hyperchaos).
计算机科学, 2019

基于分数阶超混沌的混沌细胞自动机图像加密算法 (Image Encryption Algorithm of Chaotic Cellular Automata Based on Fractional Hyperchaos).
计算机科学, 2019

基于Logistic和超混沌结合的加密算法 (Cryptographic Algorithm Based on Combination of Logistic and Hyperchaos).
计算机科学, 2019

Control variable parameterisation with penalty approach for hypersonic vehicle reentry optimisation.
Int. J. Control, 2019

Synchronization between different hyper chaotic systems and dimensions of cellular neural network and its design in audio encryption.
Clust. Comput., 2019

A Network Delay Factor Model Based on the Hidden Markov Model and Latent Dirichlet Allocation.
IEEE Access, 2019

Combining Domain Knowledge Extraction With Graph Long Short-Term Memory for Learning Classification of Chinese Legal Documents.
IEEE Access, 2019

Software-in-the-Loop Planning of Fast Charging Station based on GNN-Accelerated Ordinal Optimization.
Proceedings of the 2019 IEEE International Conference on Service Operations and Logistics, 2019

Ensemble-based Ultrahigh-dimensional Variable Screening.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

M-estimation in Low-Rank Matrix Factorization: A General Framework.
Proceedings of the 2019 IEEE International Conference on Data Mining, 2019

2018
The Part Research on Bidirectional Generalized Chaos Synchronization.
Wirel. Pers. Commun., 2018

基于游程性序列的双重混沌的图像加密算法 (Double Chaotic Image Encryption Algorithm Based on Run-length Sequence).
计算机科学, 2018

基于分数阶Fourier的双混沌加密算法 (Double Chaotic Image Encryption Algorithm Based on Fractional Transform).
计算机科学, 2018

Performance Analysis and Evaluation for Active Antenna Arrays Under Three-Dimensional Wireless Channel Model.
IEEE Access, 2018

A Design and Implementation of Network Billing System on Campus Based on Hadoop and Netflow.
Proceedings of the International Conference on Networking and Network Applications, 2018

Can We Learn what People are Doing from Raw DNS Queries?
Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

Detecting Overlapping Communities in Knowledge Graphs: A Density Optimization Based Approach.
Proceedings of the 2018 IEEE International Conference on Big Knowledge, 2018

A Machine Learning Based Temporary Base Station (BS) Placement Scheme in Booming Customers Circumstance.
Proceedings of the Communications and Networking, 2018

LPPNet: A Learning Network for Image Feature Extraction and Classification.
Proceedings of the Biometric Recognition - 13th Chinese Conference, 2018

Sorting of Noise Contribution Based on Partial Coherence Theory.
Proceedings of the 11th International Congress on Image and Signal Processing, 2018

2017
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution.
IEEE Softw., 2017

Dynamic Monitoring of the Largest Freshwater Lake in China Using a New Water Index Derived from High Spatiotemporal Resolution Sentinel-1A Data.
Remote. Sens., 2017

Synchronization of Generalized Using to Image Encryption.
Int. J. Pattern Recognit. Artif. Intell., 2017

Impact of rapid urbanization on urban heat island effect in a typical valley-city.
Proceedings of the 25th International Conference on Geoinformatics, 2017

Multi-view Separation of Background and Reflection by Coupled Low-Rank Decomposition.
Proceedings of the Computer Analysis of Images and Patterns, 2017

2016
基于DNA编码与正弦混沌映射的气象图加密技术研究 (Study on DNA Encoding & Sine Chaos-based Meteorological Image Encryption Technology).
计算机科学, 2016

A method analysis for hail cloudy prediction based on CNN.
Clust. Comput., 2016

Hide and seek: Uncovering facial occlusion with variable-threshold robust PCA.
Proceedings of the 2016 IEEE Winter Conference on Applications of Computer Vision, 2016

Single vector hydrophone positioning of moving sources based on virtual array.
Proceedings of the 9th International Congress on Image and Signal Processing, 2016

2015
Automatic Liver Segmentation Based on Shape Constraints and Deformable Graph Cut in CT Images.
IEEE Trans. Image Process., 2015

I/Q Column-Wise Complementary Codes for Interference-Resistant CDMA Communication Systems.
IEEE Syst. J., 2015

Comments on "Optimal Use of Mixed Catalysts for Two Successive Chemical Reactions".
J. Optim. Theory Appl., 2015

Predictor design using an improved grey model in control systems.
Int. J. Comput. Integr. Manuf., 2015

On performance of I/Q column-wise complementary coded CDMA communication systems.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

2014
Design Private Cloud of Oil and Gas SCADA System.
EAI Endorsed Trans. Scalable Inf. Syst., 2014

Research on Application of Image Encryption Technology Based on Chaotic of Cellular Neural Network.
J. Digit. Inf. Manag., 2014

SymJS: automatic symbolic testing of JavaScript web applications.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Practical Symbolic Race Checking of GPU Programs.
Proceedings of the International Conference for High Performance Computing, 2014

2013
High Speed Comparator for the Moduli {2<sup><i>n</i></sup>, 2<sup><i>n</i></sup>-1, 2<sup><i>n</i></sup>+1}.
IEICE Electron. Express, 2013

Performance Evaluation of 3D MIMO LTE-Advanced System.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding.
Proceedings of the NASA Formal Methods, 2013

Automatic detection of retinal vascular bifurcations and crossovers based on isotropy and anisotropy.
Proceedings of the Medical Imaging 2013: Image Processing, 2013

JST: an automatic test generation tool for industrial Java applications with strings.
Proceedings of the 35th International Conference on Software Engineering, 2013

Lazy Symbolic Execution through Abstraction and Sub-space Search.
Proceedings of the Hardware and Software: Verification and Testing, 2013

PASS: String Solving with Parameterized Array and Interval Automaton.
Proceedings of the Hardware and Software: Verification and Testing, 2013

China's Economic Development Policies Based on the View of Lowcarbon Economy.
Proceedings of the Sixth International Conference on Business Intelligence and Financial Engineering, 2013

2012
On the estimation and diagnostic checking of the ARFIMA-HYGARCH model.
Comput. Stat. Data Anal., 2012

Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs.
Proceedings of the SC Conference on High Performance Computing Networking, 2012

Integrated rotary compliant joint and its impedance-based controller for single-joint pressing massage robot.
Proceedings of the 2012 IEEE International Conference on Robotics and Biomimetics, 2012

GKLEE: concolic verification and test generation for GPUs.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Parameterized Verification of GPU Kernel Programs.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Research on soil organic carbon spatial distribution in Qilian Mountain based on geographic information system and spatial analysis technology.
Proceedings of the Fourth International Conference on Digital Image Processing, 2012

2011
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API.
Sci. Comput. Program., 2011

Understanding User Generated Content Characteristics: A Hot-Event Perspective.
Proceedings of IEEE International Conference on Communications, 2011

Validated Compilation through Logic.
Proceedings of the FM 2011: Formal Methods, 2011

ARMor: fully verified software fault isolation.
Proceedings of the 11th International Conference on Embedded Software, 2011

The integrated design of small multi-axis driver based on CANopen protocol.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Rough Set Approximations in Formal Concept Analysis.
Trans. Rough Sets, 2010

A New Reliability Prediction Model in Manufacturing Systems.
IEEE Trans. Reliab., 2010

An improved grey dynamic GM(2, 1) model.
Int. J. Comput. Math., 2010

Application level network access control system based on TNC architecture for enterprise network.
Proceedings of the IEEE International Conference on Wireless Communications, 2010

Scalable SMT-based verification of GPU kernel functions.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

A symbolic verifier for CUDA programs.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Forecast hail by analysis radar image.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010

An improved algorithm of chaos optimization.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

DFC: Towards Effective Feedback Flow Management for Datacenters.
Proceedings of the GCC 2010, 2010

An FRIT method for disturbance attenuation using input-output data for disturbance responses.
Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010

Compiling Higher Order Logic by Proof.
Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2008
The prediction of asphalt pavement permanent deformation by T-GM(1, 2) dynamic model.
Int. J. Syst. Sci., 2008

Color Edge Detections Based on Cellular Neural Network.
Int. J. Bifurc. Chaos, 2008

Trusted Source Translation of a Total Function Language.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Formal specification of the MPI-2.0 standard in TLA+.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Integration and Application of Geographic Information System (GIS) and Spatial Analysis Model--A Case Study of Simulation for Soil Environment.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Construction and Implementation of Spatial Analysis Model Based on Geographic Information System (GIS)--A Case Study of Simulation for Urban Thermal Field.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

2007
A grey-based decision-making approach to the supplier selection problem.
Math. Comput. Model., 2007

A grey-based rough approximation model for interval data processing.
Inf. Sci., 2007

New Proposal and Accuracy Evaluation of Grey Prediction GM.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

A Grey-Rough Set Approach for Interval Data Reduction of Attributes.
Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.
Proceedings of the Programming Languages and Systems, 2007

Compilation as Rewriting in Higher Order Logic.
Proceedings of the Automated Deduction, 2007

2006
A K-means Clustering Approach Based on Grey Theory.
Proceedings of the IEEE International Conference on Systems, 2006

The Prediction of First Typhoon Using Hybrid Grey-Based Model.
Proceedings of the IEEE International Conference on Systems, 2006

On the Combination of Rough Set Theory and Grey Theory Based on Grey Lattice Operations.
Proceedings of the Rough Sets and Current Trends in Computing, 2006

A Hybrid Grey-Based Dynamic Model for International Airlines Amount Increase Prediction.
Proceedings of the Rough Sets and Current Trends in Computing, 2006

A Grey-Based Rough Set Approach to Suppliers Selection Problem.
Proceedings of the Rough Sets and Current Trends in Computing, 2006

A Grey-Based Approach to Suppliers Selection Problem.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

Non-Equidistance Grey Model Based on Grey Interval Weighting Accumulated Generating Operation.
Proceedings of the 2006 International Conference on Machine Learning; Models, 2006

The Study on Urban Climate of Lanzhou.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2006

2005
Construction and Evaluation of Kansei Information Processing Systems Based on K-Model.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

Functional Correctness Proofs of Encryption Algorithms.
Proceedings of the Logic for Programming, 2005

A Novel Local Connection Neural Network.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

Decision rule extraction and reduction based on grey lattice classification.
Proceedings of the Fourth International Conference on Machine Learning and Applications, 2005

2004
Scalable Duplication Strategy with Bounded Availability of Processors.
Proceedings of the 10th International Conference on Parallel and Distributed Systems, 2004

2003
Task Clustering and Scheduling to Multiprocessors with Duplication.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Distributing and Scheduling Divisible Task on Parallel Communicating Processors.
J. Comput. Sci. Technol., 2002

1998
The Decrease of Fuzzy Label Number Using Self-organization Competition Network.
Proceedings of the International ICSC / IFAC Symposium on Neural Computation (NC 1998), 1998

1995
Simulation of 3-Dimensional Meshes by Small Hypercubes.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995


  Loading...