Coordinated Control of Passive Transition from Grid-Connected to Islanded Operation for Three/Single-Phase Hybrid Multimicrogrids Considering Speed and Smoothness.

[BibT_eX]

[DOI]

Can Wang

Xianghe Li

Tian Tian

Zhirong Xu

Ran Chen

IEEE Trans. Ind. Electron., 2020

Cooperative Innovation in the Medical Supply Chain Based on User Feedback.

[BibT_eX]

[DOI]

Ran Chen

Guisheng Hou

Yu Wang

Complex., 2020

Coordinated Load Shedding Control Scheme for Recovering Frequency in Islanded Microgrids.

[BibT_eX]

[DOI]

IEEE Access, 2020

Optimal Scheduling for Integrated Energy System Considering Scheduling Elasticity of Electric and Thermal Loads.

[BibT_eX]

[DOI]

IEEE Access, 2020

Power Trading Model for Distributed Power Generation Systems Based on Consortium Blockchains.

[BibT_eX]

[DOI]

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

Context-Aware Residual Module for Image Classification.

[BibT_eX]

[DOI]

Jing Bai

Ran Chen

Proceedings of the 25th International Conference on Pattern Recognition, 2020

Dive Deeper into Box for Object Detection.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

SRVis: Towards Better Spatial Integration in Ranking Visualization.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2019

A Stereo-Vision System for Measuring the Ram Speed of Steam Hammers in an Environment with a Large Field of View and Strong Vibrations.

[BibT_eX]

[DOI]

Sensors, 2019

Stochastic Dispatch of Energy Storage in Microgrids: A Reinforcement Learning Approach Incorporated with MCTS.

[BibT_eX]

[DOI]

CoRR, 2019

Fault Tolerant Control for Hexacopter with Reducing Yaw Rate.

[BibT_eX]

[DOI]

Proceedings of the 4th Conference on Control and Fault Tolerant Systems, 2019

Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

Trend Predicting of Distribution Network Operation States Based on PMU.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

A Unified Approximation Framework for Compressing and Accelerating Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Multimodal and Multiclass Semi-supervised Image-to-Image Translation.

[BibT_eX]

[DOI]

Proceedings of the Image and Graphics - 10th International Conference, 2019

Checking Multi-Agent Systems Against Temporal-Epistemic Specifications.

[BibT_eX]

[DOI]

Ran Chen

Wenhui Zhang

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

A Spectrum Sensing Algorithm Based on Linear Discriminant Analysis and Extreme Gradient Boosting in Cognitive Radio.

[BibT_eX]

[DOI]

Ran Chen

Yubai Li

Proceedings of the 19th IEEE International Conference on Communication Technology, 2019

FIT: Fill Insertion Considering Timing.

[BibT_eX]

[DOI]

Evangeline F. Y. Young

Bei Yu

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

Faster Region-based Hotspot Detection.

[BibT_eX]

[DOI]

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

Verification of CTL_BDI Properties by Symbolic Model Checking.

[BibT_eX]

[DOI]

Ran Chen

Wenhui Zhang

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle.

[BibT_eX]

[DOI]

CoRR, 2018

A Unified Approximation Framework for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Energy Management of Solar UAV Level Flight.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Prognostics and Health Management, 2018

Study on the structure design of solar powerd UAV.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Prognostics and Health Management, 2018

2017

Multiple path exploration for graph matching.

[BibT_eX]

[DOI]

Ran Chen

Congyan Lang

Tao Wang

Mach. Vis. Appl., 2017

A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links.

[BibT_eX]

[DOI]

Ran Chen

Martin Clochard

Claude Marché

J. Formaliz. Reason., 2017

A Semi-automatic Proof of Strong Connectivity.

[BibT_eX]

[DOI]

Ran Chen

Jean-Jacques Lévy

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Linear motor tracking control based on adaptive robust control and extended state observer.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, 2017

Modeling and synchronous control for target motion simulators driven by dual linear motors.

[BibT_eX]

[DOI]

Ran Chen

Zongxia Jiao

Liang Yan

Proceedings of the 2017 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, 2017

Wavelet Entropy Analysis for Detecting Lying Using Event-Related Potentials.

[BibT_eX]

[DOI]

Yijun Xiong

Junfeng Gao

Ran Chen

Proceedings of the Geo-Spatial Knowledge and Intelligence - 5th International Conference, 2017

2016

Robust traffic sign detection in complex road environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2016

A Wearable Pressure Sensor Based on the Array of Polymeric Piezoelectric Fiber with Metal Core.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Robotics and Applications - 9th International Conference, 2016

2015

Evolutionary Voluntary Prisoner's Dilemma Game under Deterministic and Stochastic Dynamics.

[BibT_eX]

[DOI]

Qian Yu

Ran Chen

Xiaoyan Wen

Entropy, 2015

Introducing LUIMA: an experiment in legal conceptual retrieval of vaccine injury decisions using a UIMA type system and tools.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

Super-resolution focusing with polarized optical beam.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Canadian Conference on Electrical and Computer Engineering, 2015

Photonic nanojets generated by rough surface micro-cylinders.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Canadian Conference on Electrical and Computer Engineering, 2015

2014

Redundancy Mechanism for Inter-domain VPLS Service.

[BibT_eX]

[DOI]

RFC, July, 2014

An easy-fabricated hydrogen gas sensor based on palladium-decorated polyurethane nanofibers.

[BibT_eX]

[DOI]

Proceedings of the IEEE Sensors Applications Symposium, 2014

2013

A Fault-Tolerant Parallel Structure of Single-Phase Full-Bridge Rectifiers for a Wound-Field Doubly Salient Generator.

[BibT_eX]

[DOI]

Zhihui Chen

Ran Chen

Zhe Chen

IEEE Trans. Ind. Electron., 2013

Hand Gesture Recognition for Human-Computer Interaction Using Moment Invariants and Neural Network Classifier.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Robotics and Applications - 6th International Conference, 2013

Process Model Fragmentization, Clustering and Merging: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2013

2012

Guest Editorial.

[BibT_eX]

[DOI]

Dongye Su

Ran Chen

J. Comput., 2012

2011

Passage retrieval based hidden knowledge discovery from biomedical literature.

[BibT_eX]

[DOI]

Ran Chen

Hongfei Lin

Zhihao Yang

Expert Syst. Appl., 2011

An Optimization Model about Cold Chain Logistics.

[BibT_eX]

Ran Chen

Yihong Ru

Hanqing Li

Proceedings of the LISS 2011 - Proceedings of the 1st International Conference on Logistics, Informatics and Service Science, Volume 2, Beijing, China, 8, 2011

User Demand Description and Optimization in Web Data Management.

[BibT_eX]

[DOI]

Proceedings of the 8th Web Information Systems and Applications Conference, 2011

2010

The Research of Grid Resource Scheduling Mechanism Based on Pareto Optimality.

[BibT_eX]