Lijun Zhang

According to our database1, Lijun Zhang authored at least 89 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Modeling and Comparisons of Aggregated Flyback Microinverters in Aspect of Harmonic Resonances With the Grid.
IEEE Trans. Industrial Electronics, 2019

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

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

Advanced automata-based algorithms for program termination checking.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Accelerating Adaptive Online Learning by Matrix Approximation.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2018

\ell_1-regression with Heavy-tailed Distributions.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Adaptive Online Learning in Dynamic Environments.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Fast Rates of ERM and Stochastic Approximation: Adaptive to Error Bound Conditions.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Minimizing Adaptive Regret with One Gradient per Iteration.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Efficient Adaptive Online Learning via Frequent Directions.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Charging Task Scheduling for Directional Wireless Charger Networks.
Proceedings of the 47th International Conference on Parallel Processing, 2018

Dynamic Regret of Strongly Adaptive Methods.
Proceedings of the 35th International Conference on Machine Learning, 2018

Image Exposure Assessment: A Benchmark and a Deep Convolutional Neural Networks Based Model.
Proceedings of the 2018 IEEE International Conference on Multimedia and Expo, 2018

2.5D Multizone Reproduction Using Weighted Mode Matching.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

Model Checking Differentially Private Properties.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 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.
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

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

Design and implementation of precise measuring method for the access time of embedded memory.
Proceedings of the 2015 IEEE 11th International Conference on ASIC, 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

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...