Pengfei Yang

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

2024
Agent-based modelling and simulation for life-cycle airport flight planning and scheduling.
J. Simulation, January, 2024

Deep-Learning-Based Force Sensing Method for a Flexible Endovascular Surgery Robot.
IEEE Trans. Instrum. Meas., 2024

A Reciprocating Delivery Device-Based Endovascular Intervention Robot With Multimanipulators Collaboration.
IEEE Trans. Instrum. Meas., 2024

DeepCDCL: An CDCL-based Neural Network Verification Framework.
CoRR, 2024

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Estimation of Lower Limb Joint Angles and Joint Moments during Different Locomotive Activities Using the Inertial Measurement Units and a Hybrid Deep Learning Model.
Sensors, November, 2023

Flexible Tactile-Sensing Gripper Design and Excessive Force Protection Function for Endovascular Surgery Robots.
IEEE Robotics Autom. Lett., October, 2023

Deep-learning model for the prediction of lower-limb joint moments using single inertial measurement unit during different locomotive activities.
Biomed. Signal Process. Control., September, 2023

A Secure One-to-Many Authentication and Key Agreement Scheme for Industrial IoT.
IEEE Syst. J., June, 2023

Four-Dimensional Cone Beam CT Imaging Using a Single Routine Scan via Deep Learning.
IEEE Trans. Medical Imaging, May, 2023

Parameters auto-tuning for biped robots in whole-body stabilization and active impedance control applications.
Appl. Intell., April, 2023

Grasping-Force-Based Passive Safety Method for a Vascular Interventional Surgery Robot System.
IEEE Trans. Instrum. Meas., 2023

Extended Application of Inertial Measurement Units in Biomechanics: From Activity Recognition to Force Estimation.
Sensors, 2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.
CoRR, 2023

A Proactive-Reactive Approach for Dynamic Hybrid Berth Allocation Problem Considering Vessels Arrival Delay.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2023

Deep Interactive Image Semantic and Instance Segmentation.
Proceedings of the Image and Graphics - 12th International Conference, 2023

TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

A Model Predictive Control Based Robust Gait Generation with Turning Ability.
Proceedings of the International Conference on Advanced Robotics and Mechatronics, 2023

2022
Optical Intelligent Reflecting Surface for Mixed Dual-Hop FSO and Beamforming-Based RF System in C-RAN.
IEEE Trans. Wirel. Commun., 2022

Weight Expansion: A New Perspective on Dropout and Generalization.
Trans. Mach. Learn. Res., 2022

Improved Microsensor-Based Fieldmeter for Ground-Level Atmospheric Electric Field Measurements.
IEEE Trans. Instrum. Meas., 2022

Adaptive AOD Forecast Model Based on GNSS-Derived PWV and Meteorological Parameters.
IEEE Trans. Geosci. Remote. Sens., 2022

Adaptive Aerosol Optical Depth Forecasting Model Using GNSS Observation.
IEEE Trans. Geosci. Remote. Sens., 2022

Efficient Privacy-Preserving Data Aggregation Scheme with Fault Tolerance in Smart Grid.
Secur. Commun. Networks, 2022

Semantic Segmentation and Analysis on Sensitive Parameters of Forest Fire Smoke Using Smoke-Unet and Landsat-8 Imagery.
Remote. Sens., 2022

Safety Analysis of Autonomous Driving Systems Based on Model Learning.
CoRR, 2022

Defensive Design of Saturating Counters Based on Differential Privacy.
CoRR, 2022

Spatial-spectral feature extraction of hyperspectral images for wheat seed identification.
Comput. Electr. Eng., 2022

High-Quality 4D-CBCT Imaging from Single Routine Scan.
Proceedings of the Medical Image Understanding and Analysis - 26th Annual Conference, 2022

An Electric Field Microsensor with Self-compensation for Sensitivity Drift.
Proceedings of the 2022 IEEE Sensors, Dallas, TX, USA, October 30 - Nov. 2, 2022, 2022

Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Collaborative Scheduling Optimization of Equipment in Multimodal Transport Harbor Considering Hybrid Operation Mode of "train-yard-vessel" and "train-vessel"<sup>*</sup>.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021
Multi-Material Decomposition for Single Energy CT Using Material Sparsity Constraint.
IEEE Trans. Medical Imaging, 2021

Asymptotically Optimal One- and Two-Sample Testing With Kernels.
IEEE Trans. Inf. Theory, 2021

Simultaneous stable control of temperature field distribution uniformity and consistency for multi-temperature zone systems.
Trans. Inst. Meas. Control, 2021

Treatment of Severe Synovitis of Knee with a Double-Arthroscopy Technique: A Quality Improvement Study.
J. Medical Imaging Health Informatics, 2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.
Formal Aspects Comput., 2021

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.
CoRR, 2021

Probabilistic Robustness Analysis for DNNs based on PAC Learning.
CoRR, 2021

EEG Analysis of Working Memory Between Sober State and Intoxicated State.
IEEE Access, 2021

A Knowledge Management Approach Supporting Model-Based Systems Engineering.
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

Improving Neural Network Verification through Spurious Region Guided Refinement.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Cognitive Thread Supports System of Systems for Complex System Development.
Proceedings of the 16th International Conference of System of Systems Engineering, 2021

High-resolution noncontact electrostatic voltage meter based on microsensor chip.
Proceedings of the 16th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2021

Research on Seismic Performance of Side Bunker with Transfer Story of Herringbone Column.
Proceedings of the 3rd International Conference on Artificial Intelligence and Advanced Manufacture, 2021

Dynamic characteristics analysis of side coal bunker structure with hermiter column transfer layer.
Proceedings of the 3rd International Conference on Artificial Intelligence and Advanced Manufacture, 2021

2020
Noise Suppression in Image-Domain Multi-Material Decomposition for Dual-Energy CT.
IEEE Trans. Biomed. Eng., 2020

Hourly PWV Dataset Derived from GNSS Observations in China.
Sensors, 2020

A Real-Time Learning-Based Super-Resolution System on FPGA.
Parallel Process. Lett., 2020

Research on Data Sharing Architecture for Ecological Monitoring Using Iot Streaming Data.
IEEE Access, 2020

PRODeep: a platform for robustness verification of deep neural networks.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Simple Receiving Scheme Based on Balanced Detection for Half-Cycled SSB DD-OFDM Signal.
Proceedings of the Machine Learning and Artificial Intelligence, 2020

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

An Improved Fuzziness based Random Vector Functional Link Network for Liver Disease Detection.
Proceedings of the 6th IEEE International Conference on Big Data Security on Cloud, 2020

2019
Robust Kullback-Leibler Divergence and Universal Hypothesis Testing for Continuous Distributions.
IEEE Trans. Inf. Theory, 2019

Improved Drought Monitoring Index Using GNSS-Derived Precipitable Water Vapor over the Loess Plateau Area.
Sensors, 2019

Secure cloud computing model for communication network management.
J. Intell. Fuzzy Syst., 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
CoRR, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
Proceedings of the Static Analysis - 26th International Symposium, 2019

An Initial Study on the Relationship Between Meta Features of Dataset and the Initialization of NNRW.
Proceedings of the International Joint Conference on Neural Networks, 2019

A Hierarchical Update Buffer Management for 360-Degree Video Streaming.
Proceedings of the 2019 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2019

Difference Analysis of Brain Network Working Memory Data with EEG Sub-Sequence Feature Vector as Node.
Proceedings of the IEEE Fifth International Conference on Big Data Computing Service and Applications, 2019

Universal Hypothesis Testing with Kernels: Asymptotically Optimal Tests for Goodness of Fit.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018
Fast smooth second-order sliding mode control for stochastic systems with enumerable coloured noises.
Int. J. Syst. Sci., 2018

Probabilistic bisimulation for realistic schedulers.
Acta Informatica, 2018

A pipelined division for fixed operation using user-defined floating point.
Proceedings of the 20th International Conference on Advanced Communication Technology, 2018

A Real-Time Learning-Based Super-Resolution System Using Direct Simple Functions.
Proceedings of the 29th IEEE International Conference on Application-specific Systems, 2018

2017
IoE-MPP: A mobile portal platform for internet of everything.
J. Intell. Fuzzy Syst., 2017

A new construction of fuzzy operator-attribute-based signcryption on VCC.
Int. J. Embed. Syst., 2017

Recognizing Substitution Steganography of Spatial Domain Based on the Characteristics of Pixels Correlation.
Int. J. Digit. Crime Forensics, 2017

Distribution-Based Bisimulation for Labelled Markov Processes.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016
基于word2vec和SVMperf的中文评论情感分类研究 (Research of Chinese Comments Sentiment Classification Based on Word2vec and SVMperf).
计算机科学, 2016

Fuzzy control strategy for hypersonic missile autopilot with blended aero-fin and lateral thrust.
J. Syst. Control. Eng., 2016

An asynchronous sensor bias estimation algorithm utilizing targets' positions only.
Inf. Fusion, 2016

2015
To Listen or Not: Distributed Detection with Asynchronous Transmissions.
IEEE Signal Process. Lett., 2015

A Self-adaption Fusion Algorithm of PET/CT Based on DTCWT and Combination Membership Function.
Proceedings of the Intelligence Science and Big Data Engineering. Image and Video Data Engineering, 2015

Deviation detection with continuous observations.
Proceedings of the 2015 IEEE Global Conference on Signal and Information Processing, 2015

2014
Wyner's common information in Gaussian channels.
Proceedings of the 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June 29, 2014

A Fuzzy Operator-Attribute-Based Signcryption Scheme on Vehicular Clouds.
Proceedings of the International Conference on Identification, 2014

A preliminary study of DTI Fingerprinting on stroke analysis.
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

2012
Humidity-Induced Charge Leakage and Field Attenuation in Electric Field Microsensors.
Sensors, 2012

Tandem distributed detection with conditionally dependent observations.
Proceedings of the 15th International Conference on Information Fusion, 2012

2011
Measuring atmospheric electric field using novel micromachined sensor.
Proceedings of the 6th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2011

2008
The Diagnosis of Alzheimer's Disease Based on Voxel-Based Morphometry and Support Vector Machine.
Proceedings of the Fourth International Conference on Natural Computation, 2008


  Loading...