Lijun Zhang

According to our database1, Lijun Zhang
  • authored at least 82 papers between 2004 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Cortical Thinning and Cognitive Impairment in Parkinson's Disease without Dementia.
IEEE/ACM Trans. Comput. Biology Bioinform., 2018

VR-SGD: A Simple Stochastic Variance Reduction Method for Machine Learning.
CoRR, 2018

Learning to Complement Büchi Automata.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

A Simple Analysis for Exp-concave Empirical Minimization with Arbitrary Convex Regularizer.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2018

2017
28-nm Latch-Type Sense Amplifier Modification for Coupling Suppression.
IEEE Trans. VLSI Syst., 2017

A DSE-Based Power System Frequency Restoration Strategy for PV-Integrated Power Systems Considering Solar Irradiance Variations.
IEEE Trans. Industrial Informatics, 2017

An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle.
IEEE/ACM Trans. Comput. Biology Bioinform., 2017

Precisely deciding CSL formulas through approximate model checking for CTMCs.
J. Comput. Syst. Sci., 2017

Numerical simulation and experimental validation for design improvement of packer rubber.
IJSPM, 2017

Recent 5-year Findings and Technological Advances in the Proteomic Study of HIV-associated Disorders.
Genomics, Proteomics & Bioinformatics, 2017

A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Power Demand Forecasting and Application based on SVR.
Proceedings of the 5th International Conference on Information Technology and Quantitative Management, 2017

Semi-Supervised Deep Hashing with a Bipartite Graph.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Illumination Quality Assessment for Face Images: A Benchmark and a Convolutional Neural Networks Based Model.
Proceedings of the Neural Information Processing - 24th International Conference, 2017

Link Functions and Training-Based in Reflectance Reconstruction from RGB Images.
Proceedings of the Image and Graphics - 9th International Conference, 2017

Efficient Asynchronous Communication between Virtual Machines in Embedded Systems.
Proceedings of the 19th IEEE International Conference on High Performance Computing and Communications; 15th IEEE International Conference on Smart City; 3rd IEEE International Conference on Data Science and Systems, 2017

Smartphone-based spatiotemporal behavior analysis on college students in Chinese newly developed campus: A case study for Henan university.
Proceedings of the 25th International Conference on Geoinformatics, 2017

Forecasting of coalbed methane (CBM) productivity based on rough set and least squares support vector machine.
Proceedings of the 25th International Conference on Geoinformatics, 2017

Classification of the spatial form of residential areas from the perspective of carbon emissions.
Proceedings of the 25th International Conference on Geoinformatics, 2017

On eventual periodicity of networked evolutionary games.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Efficient Stochastic Optimization for Low-Rank Distance Metric Learning.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes.
ACM Trans. Softw. Eng. Methodol., 2016

Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata.
IEEE Trans. Automat. Contr., 2016

A systematic EHW approach to the evolutionary design of sequential circuits.
Soft Comput., 2016

A projection-based decomposition for the scalability of evolvable hardware.
Soft Comput., 2016

A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks.
SIAM J. Control and Optimization, 2016

Degradation Feature Selection for Remaining Useful Life Prediction of Rolling Element Bearings.
Quality and Reliability Eng. Int., 2016

Verify LTL with Fairness Assumptions Efficiently.
CoRR, 2016

A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees.
CoRR, 2016

Controllability of probabilistic Boolean control networks with time-variant delays in states.
SCIENCE CHINA Information Sciences, 2016

Verify LTL with Fairness Assumptions Efficiently.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

UCDC: Unlimited Content-Defined Chunking, A File-Differing Method Apply to File-Synchronization among Multiple Hosts.
Proceedings of the 12th International Conference on Semantics, Knowledge and Grids, 2016

28nm latch type sense amplifier coupling effect analysis.
Proceedings of the International Symposium on Integrated Circuits, 2016

Statistical Analysis of Process Variations on the Delay-Based PUF.
Proceedings of the International Conference on Identification, 2016

Modeling the impact of spatial resolutions on perceptual quality of immersive image/video.
Proceedings of the International Conference on 3D Imaging, 2016

Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel.
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

A Node Stability-Based Multipath Routing Protocol in Heterogeneous Ad Hoc Networks.
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

2015
Multi-View Concept Learning for Data Representation.
IEEE Trans. Knowl. Data Eng., 2015

Multidirectional Image Sensing for Microscopy Based on a Rotatable Robot.
Sensors, 2015

Enhanced security and reliability with MIMO communications for smart grid.
Security and Communication Networks, 2015

Paper-Based Electrodeposition Chip for 3D Alginate Hydrogel Formation.
Micromachines, 2015

Generalized Reversibility of Topological Dynamical Systems and Cellular Automata.
J. Cellular Automata, 2015

Application of locally one-dimensional semi-implicit scheme in phase-field equations.
Computer Physics Communications, 2015

Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.
CoRR, 2015

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.
CoRR, 2015

Invertibility and nonsingularity of Boolean control networks.
Automatica, 2015

An Evolutionary Strategy Based State Assignment for Area-Minimization Finite State Machines.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Planning for Stochastic Games with Co-Safe Objectives.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Decentralized Bisimulation for Multiagent Systems.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems.
SIAM J. Control and Optimization, 2014

Constructions of QC LDPC codes based on integer sequences.
SCIENCE CHINA Information Sciences, 2014

Security analysis of mobile QQ.
Proceedings of the Sixth International Conference on Wireless Communications and Signal Processing, 2014

Crowd Target Positioning under Multiple Cameras Based on Block Correspondence.
Proceedings of the Distributed, Ambient, and Pervasive Interactions, 2014

A projection-based decomposition in EHW method for design of relatively large circuits.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

When Equivalence and Bisimulation Join Forces in Probabilistic Automata.
Proceedings of the FM 2014: Formal Methods, 2014

The Overtime Waiting Model for Web Server Performance Evaluation.
Proceedings of the 2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014

Design and Implementation: Adaptive Active Queue Management Algorithm Based on Neural Network.
Proceedings of the Tenth International Conference on Computational Intelligence and Security, 2014

Sufficient Conditions for Nonsingular H -matrices.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

2013
Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States.
IEEE Trans. Neural Netw. Learning Syst., 2013

A tighter bound for the self-stabilization time in Herman's algorithm.
Inf. Process. Lett., 2013

Adaptive output Feedback Control for trajectory Tracking of AUV in wave disturbance condition.
IJWMIP, 2013

Locally Regressive Projections.
Int. J. Software and Informatics, 2013

NN-adaptive output feedback tracking control for a class of discrete-time non-affine systems with a dynamic compensator.
Int. J. Control, 2013

When Equivalence and Bisimulation Join Forces in Probabilistic Automata.
CoRR, 2013

Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories.
SCIENCE CHINA Information Sciences, 2013

A low-hardware consumption FPGA based configurable LDPC decoder.
Proceedings of the International Symposium on Intelligent Signal Processing and Communication Systems, 2013

Spatial differentiation of urban carbon emissions - An exploratory spatial data analysis in Beijing.
Proceedings of the 21st International Conference on Geoinformatics, 2013

China's economic zoning based on geographic information technology.
Proceedings of the 21st International Conference on Geoinformatics, 2013

Controllability of probabilistic Boolean control networks with time-variant delays in states.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Determining functional connectivity using fMRI data with diffusion-based anatomical weighting.
NeuroImage, 2012

Hybrid Construction of Long LDPC Codes with Very Low Density.
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

A Puncturing Scheme for Low-Density Parity-Check Codes Based on 1-SR Nodes.
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

2011
Research on Association Rules Parallel Algorithm Based on FP-Growth.
Proceedings of the Information Computing and Applications, 2011

Design and Implementation of a DSP-Based Embedded Intelligent Traffic Surveillance System.
Proceedings of the Applied Informatics and Communication - International Conference, 2011

2010
The Research of Image Segmentation Based on Improved Neural Network Algorithm.
Proceedings of the Sixth International Conference on Semantics Knowledge and Grid, 2010


H∞ excitation control of multi-machine multi-load power systems via Hamiltonian function method.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

2009
NN-adaptive output feedback for path tracking control of a surface ship at high speed.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2004
Obtaining diversity gain for DTV by using MIMO structure in SFN.
TBC, 2004


  Loading...