# Tao Tang

According to our database1, Tao Tang authored at least 162 papers between 1993 and 2020.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2020
A TDM-Based 16-Channel AFE ASIC With Enhanced System-Level CMRR for Wearable EEG Recording With Dry Electrodes.
IEEE Trans. Biomed. Circuits and Systems, 2020

An Integrated Multi-Channel Biopotential Recording Analog Front-End IC With Area-Efficient Driven-Right-Leg Circuit.
IEEE Trans. Biomed. Circuits and Systems, 2020

Future 5G mmWave TV Service With Fast List Decoding of Polar Codes.

A second-order and nonuniform time-stepping maximum-principle preserving scheme for time-fractional Allen-Cahn equations.
J. Comput. Phys., 2020

Classification-based fraud detection for payment marketing and promotion.
Comput. Syst. Sci. Eng., 2020

Numerical Energy Dissipation for Time-Fractional Phase-Field Equations.
CoRR, 2020

Stability analysis for the Implicit-Explicit discretization of the Cahn-Hilliard equation.
CoRR, 2020

Analysis of the second order BDF scheme with variable steps for the molecular beam epitaxial model without slope selection.
CoRR, 2020

Revisit of Semi-Implicit Schemes for Phase-Field Equations.
CoRR, 2020

UDD: An Underwater Open-sea Farm Object Detection Dataset for Underwater Robot Picking.
CoRR, 2020

On energy stable, maximum-principle preserving, second order BDF scheme with variable steps for the Allen-Cahn equation.
CoRR, 2020

Line Spectrum Chaotification on QZS Systems with Time-Delay Control.
Complexity, 2020

Self-adaptive parameter and strategy based particle swarm optimization for large-scale feature selection problems with multiple classifiers.
Appl. Soft Comput., 2020

34.6 EEG Dust: A BCC-Based Wireless Concurrent Recording/Transmitting Concentric Electrode.
Proceedings of the 2020 IEEE International Solid- State Circuits Conference, 2020

34.5 Human-Body-Coupled Power-Delivery and Ambient-Energy-Harvesting ICs for a Full-Body-Area Power Sustainability.
Proceedings of the 2020 IEEE International Solid- State Circuits Conference, 2020

2019
Dynamic Traffic Prediction with Adaptive Sampling for 5G HetNet IoT Applications.
Wirel. Commun. Mob. Comput., 2019

Enhancing Communication-Based Train Control Systems Through Train-to-Train Communications.
IEEE Trans. Intell. Transp. Syst., 2019

Robust Fuzzy Predictive Control for Automatic Train Regulation in High-Frequency Metro Lines.
IEEE Trans. Fuzzy Syst., 2019

Analysis of configuration data errors in Communication-based Train Control systems.
Simul. Model. Pract. Theory, 2019

A hierarchical verification approach to verify complex safety control systems based on STAMP.
Sci. Comput. Program., 2019

Intelligent operation of heavy haul train with data imbalance: A machine learning method.
Knowl. Based Syst., 2019

Efficient Stochastic Galerkin Methods for Maxwell's Equations with Random Inputs.
J. Sci. Comput., 2019

Periodically intermittent cruise control of heavy haul train with uncertain parameters.
J. Frankl. Inst., 2019

Recognizing the Critical Stations in Urban Rail Networks: An Analysis Method Based on the Smart-Card Data.
IEEE Intell. Transp. Syst. Mag., 2019

Feedforward neural network based on ensemble evolutionary algorithm with self-adaptive strategy and parameter for intrusion detection.
Int. J. Wirel. Mob. Comput., 2019

Large-Scale Feedforward Neural Network Optimization by a Self-Adaptive Strategy and Parameter Based Particle Swarm Optimization.
IEEE Access, 2019

A Multi-Point Iterative Analysis Method for Vibration Control of a Steering Wheel at Idle Speed.
IEEE Access, 2019

New Parallel Algorithms for All Pairwise Computation on Large HPC Clusters.
Proceedings of the 20th International Conference on Parallel and Distributed Computing, 2019

Design of 5G Dual-Antenna Passive Repeater Based On Machine Learning.
Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019

Mixed-Integer Linear Programming Models for Coordinated Train Timetabling with Dynamic Demand.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Improved T2T based Communication-Based Train Control Systems Through Cooperated Security Check.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Integrated train and passenger disruption management for urban railway lines.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

An Evolving Network Model Based on a Triangular Connecting Mechanism for the Internet Topology.
Proceedings of the Artificial Intelligence and Security - 5th International Conference, 2019

Train Station Parking Approach Based on Fuzzy Reinforcement Learning Algorithms.
Proceedings of the 15th IEEE International Conference on Control and Automation, 2019

An 8-channel 2.1 μ W0.017 mm<sup>2</sup> 0.04% Gain Mismatch Bio-potential Recording AFE using Group-Chopping Technique.
Proceedings of the IEEE Custom Integrated Circuits Conference, 2019

A 0.012 mm2, $1.5 \mathrm{G}\Omega$ ZIN Intrinsic Feedback Capacitor Instrumentation Amplifier for Bio-Potential Recording and Respiratory Monitoring.
Proceedings of the IEEE Asian Solid-State Circuits Conference, 2019

A 15-Ch. 0.019 mm<sup>2</sup>/Ch. 0.43% Gain Mismatch Orthogonal Code Chopping Instrumentation Amplifier SoC for Bio-Signal Acquisition.
Proceedings of the IEEE Asian Solid-State Circuits Conference, 2019

2018
The QoS Indicators Analysis of Integrated EUHT Wireless Communication System Based on Urban Rail Transit in High-Speed Scenario.
Wirel. Commun. Mob. Comput., 2018

Failure study of Sn37Pb PBGA solder joints using temperature cycling, random vibration and combined temperature cycling and random vibration tests.
Microelectron. Reliab., 2018

Train speed profile optimization with on-board energy storage devices: A dynamic programming based approach.
Comput. Ind. Eng., 2018

Time-scale sensitive sensor applications in collecting and analyzing geographic event data.
Annals of GIS, 2018

An ABC-Based Subway Timetable Optimization Model for Regenerative Energy Utilization.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Complete Test Suite for the CTCS-3 Target Speed Monitor Based on IECP Test Theory.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

A Two-Stage Stochastic Optimization Model for Passenger-Oriented Metro Rescheduling with Backup Trains.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

A signal segmentation and feature fusion based RUL prediction method for railway point system.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Test Suite Generation for CTCS-3 Train Control System Based On TAIO and Mutation Theory.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

An Intelligent train regulation algorithm for metro using deep reinforcement learning.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

An intelligent train control approach based on the monte carlo reinforcement learning algorithm.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2017
Bilevel Feature Extraction-Based Text Mining for Fault Diagnosis of Railway Systems.
IEEE Trans. Intell. Transp. Syst., 2017

An Efficient Gradient Projection Method for Stochastic Optimal Control Problems.
SIAM J. Numer. Anal., 2017

Error-Based Observer of a Charge Couple Device Tracking Loop for Fast Steering Mirror.
Sensors, 2017

Multifunctional biohybrid magnetite microrobots for imaging-guided therapy.
Sci. Robotics, 2017

Numerical Analysis of Fully Discretized Crank-Nicolson Scheme for Fractional-in-Space Allen-Cahn Equations.
J. Sci. Comput., 2017

WebIntera-classroom: an interaction-aware virtual learning environment for augmenting learning interactions.
Interactive Learning Environments, 2017

A Bayesian network model for prediction of weather-related failures in railway turnout systems.
Expert Syst. Appl., 2017

A TDM-based multi-channel analog front-end for wearable dry EEG recording system.
Proceedings of the 15th IEEE International New Circuits and Systems Conference, 2017

Prediction algorithms for train arrival time in urban rail transit.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

An integrated multichannel neural recording analog front-end ASIC with area-efficient driven right leg circuit.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

A 16-channel TDM analog front-end with enhanced system CMRR for wearable dry EEG recording.
Proceedings of the IEEE Asian Solid-State Circuits Conference, 2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Proceedings of the Provably Correct Systems, 2017

2016
Efficient Real-Time Train Operation Algorithms With Uncertain Passenger Demands.
IEEE Trans. Intell. Transp. Syst., 2016

Saving Energy and Improving Service Quality: Bicriteria Train Scheduling in Urban Rail Transit Systems.
IEEE Trans. Intell. Transp. Syst., 2016

Energy-Efficient Train Tracking Operation Based on Multiple Optimization Models.
IEEE Trans. Intell. Transp. Syst., 2016

Characterizing the Stabilization Size for Semi-Implicit Fourier-Spectral Method to Phase Field Equations.
SIAM J. Numer. Anal., 2016

Application of MEMS Accelerometers and Gyroscopes in Fast Steering Mirror Control Systems.
Sensors, 2016

Combining Charge Couple Devices and Rate Sensors for the Feedforward Control System of a Charge Coupled Device Tracking Loop.
Sensors, 2016

Numerical Solutions for Weakly Singular Volterra Integral Equations Using Chebyshev and Legendre Pseudo-Spectral Galerkin Methods.
J. Sci. Comput., 2016

Numerical Blow-Up of Nonlinear Parabolic Integro-Differential Equations on Unbounded Domain.
J. Sci. Comput., 2016

Modelling and optimisation of train electric drive system based on fuzzy predictive control in urban rail transit.
Int. J. Simul. Process. Model., 2016

Optimisation of recommended speed profile for train operation based on ant colony algorithm.
Int. J. Simul. Process. Model., 2016

Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Support Vector Machine Based Range-Free Localization Algorithm in Wireless Sensor Network.
Proceedings of the Machine Learning and Intelligent Communications, 2016

Optimal control of heavy haul train on steep downward slope.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Efficient dual-association resource allocation model of train-ground communication system based on TD-LTE in urban rail transit.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Field test results analysis in urban rail transit train ground communication systems of integrated service using LTE-M.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Impact of wireless communication delay on train headway of Communication Based Train Control system.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

A 0.18µm, 0.6V, 83.5µW integer DCT processor for neural signal applications.
Proceedings of the International Symposium on Integrated Circuits, 2016

A robust edge indicator employing nonlocal structure tensor.
Proceedings of the 12th International Conference on Natural Computation, 2016

Research on risk assessment of CTCS based on fuzzy reasoning and analytic hierarchy process.
Proceedings of the 2016 International Conference on Intelligent Information Processing, 2016

Classification Based on Brain Storm Optimization Algorithm.
Proceedings of the Bio-inspired Computing - Theories and Applications, 2016

2015
A Cooperative Train Control Model for Energy Saving.
IEEE Trans. Intell. Transp. Syst., 2015

Measurements and Analysis of Large-Scale Fading Characteristics in Curved Subway Tunnels at 920 MHz, 2400 MHz, and 5705 MHz.
IEEE Trans. Intell. Transp. Syst., 2015

Long Time Numerical Simulations for Phase-Field Problems Using p-Adaptive Spectral Deferred Correction Methods.
SIAM J. Sci. Comput., 2015

Error Analysis of a Mixed Finite Element Method for the Molecular Beam Epitaxy Model.
SIAM J. Numer. Anal., 2015

Spline Galerkin Methods for the Sherman-Lauricella Equation on Contours with Corners.
SIAM J. Numer. Anal., 2015

Fast and stable explicit operator splitting methods for phase-field models.
J. Comput. Phys., 2015

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.
Sci. China Inf. Sci., 2015

A feature combining spatial and structural information for SAR image classification.
Proceedings of the 2015 IEEE International Geoscience and Remote Sensing Symposium, 2015

A highway vehicle detection method based on the improved visual background extractor.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

2014
Optimization of Multitrain Operations in a Subway System.
IEEE Trans. Intell. Transp. Syst., 2014

Energy-Efficient Train Operation in Urban Rail Transit Using Real-Time Traffic Information.
IEEE Trans. Intell. Transp. Syst., 2014

On Discrete Least-Squares Projection in Unbounded Domain with Random Evaluations and its Application to Parametric Uncertainty Quantification.
SIAM J. Sci. Comput., 2014

Least-Squares Based and Gradient Based Iterative Parameter Estimation Algorithms for a Class of Linear-in-Parameters Multiple-Input Single-Output Output Error Systems.
J. Appl. Math., 2014

Recursive least squares estimation algorithm applied to a class of linear-in-parameters output error moving average systems.
Appl. Math. Lett., 2014

Archetypes for dynamic evolution of human and organizational factors in Fully Automated Operation system.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

The Research of Private Network Secure Interconnection Scheme in Large-Scaled Enterprises.
Proceedings of the Genetic and Evolutionary Computing, 2014

2013
A Cooperative Scheduling Model for Timetable Optimization in Subway Systems.
IEEE Trans. Intell. Transp. Syst., 2013

A Subway Train Timetable Optimization Approach Based on Energy-Efficient Operation Strategy.
IEEE Trans. Intell. Transp. Syst., 2013

Online Learning Algorithms for Train Automatic Stop Control Using Precise Location Data of Balises.
IEEE Trans. Intell. Transp. Syst., 2013

Robust transceiver design for MIMO interference network with norm bounded channel uncertainty.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Distributed Resource Allocation for Cognitive Radio Network with Imperfect Spectrum Sensing.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

Distributed Collaborative Compressive Spectrum Sensing in Multihop Cognitive Radio Networks.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Model-based test cases generation for Onboard system.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Interoperability test data graphical capture and analysis system based on multi-resolution models for the onboard equipment of CTCS-3 train control system.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Classification of building structures on high spatial resolution satellite image for mapping the readiness to hurricane hazards, Cancun and Chetumal, Mexico.
Proceedings of the 21st International Conference on Geoinformatics, 2013

Performance Analysis of High Speed Rail Wireless Communication Network.
Proceedings of the 2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2013

2012
Verification of the safety communication protocol in train control system using colored Petri net.
Reliab. Eng. Syst. Saf., 2012

A Thin Folded Dipole UHF RFID Tag Antenna with Shorting Pins for Metallic Objects.
KSII Trans. Internet Inf. Syst., 2012

An integrated error-detecting method based on expert knowledge for GPS data points measured in Qinghai-Tibet Railway.
Expert Syst. Appl., 2012

MPtostream: an OpenMP compiler for CPU-GPU heterogeneous parallel systems.
Sci. China Inf. Sci., 2012

Energy efficient driving strategy for trains in MRT systems.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Component Based Design of Fault Tolerant Devices in Cyber Physical System.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Optimization of RS error-correcting decoding algorithm for QR code - Verified in android phone.
Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012

Application specific sensor node architecture optimization - Experiences from field deployments.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011
Terminal iterative learning control based station stop control of a train.
Int. J. Control, 2011

Performance analysis and verification of safety communication protocol in train control system.
Comput. Stand. Interfaces, 2011

Power Optimization for GPU Programs Based on Software Prefetching.
Proceedings of the IEEE 10th International Conference on Trust, 2011

Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Energy saving for automatic train control in moving block signaling system.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Modelling and Verification of the System Requirement Specification of Train Control System Using SDL.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Research on the Method of Interoperability Test for the Onboard Equipment of CTCS-3 Train Control System of Chinese Railway.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Safety Monitoring for ETCS with 4-valued LTL.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Cache Miss Analysis for GPU Programs Based on Stack Distance Profile.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

2010
Runtime Verification with Multi-valued Formula Rewriting.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Sim-spm: A SimpleScalar-Based Simulator for Multi-level SPM Memory Hierarchy Architecture.
Proceedings of the 12th IEEE International Conference on High Performance Computing and Communications, 2010

Spatial statistical modeling of the pollution impact of old industrial sites on colon and lung cancer incidents in New York State, USA.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

A fuzzy object-based data processing for high resolution remote sensing image.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway.
Proceedings of the FORMS/FORMAT 2010, 2010

Optimization and Implementation of LBM Benchmark on Multithreaded GPU.
Proceedings of the International Conference on Data Storage and Data Engineering, 2010

Improving scratchpad allocation with demand-driven data tiling.
Proceedings of the 2010 International Conference on Compilers, 2010

Optimizing Stencil Application on Multi-thread GPU Architecture Using Stream Programming Model.
Proceedings of the Architecture of Computing Systems, 2010

A Data Communication Scheduler for Stream Programs on CPU-GPU Platform.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

Power Measurements and Analyses of Massive Object Storage System.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009
SRF Coloring: Stream Register File Allocation via Graph Coloring.
J. Comput. Sci. Technol., 2009

Visual health subject directory analysis based on users' traversal activities.
J. Assoc. Inf. Sci. Technol., 2009

Program Optimization of Stencil Based Application on the GPU-Accelerated System.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2009

Spatial Variation of Inhalable Particulate Matter and its Influence Factor Analysis during the Regional Air Pollution Study.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Program Optimization of Array-Intensive SPEC2k Benchmarks on Multithreaded GPU Using CUDA and Brook+.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008
Optimizing scientific application loops on stream processors.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

An Information Fusion Algorithm for Multiple GPS Track Data.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Research on Alarm System in Wireless Network Based on Mining Association Rules.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Model-guided strip size selection for minimal execution time on imagine stream processor.
Proceedings of 8th IEEE International Conference on Computer and Information Technology, 2008

2007
Implementation and Optimization of Dense LU Decomposition on the Stream Processor.
Proceedings of the Parallel Processing and Applied Mathematics, 2007

Implementation and Optimization of Sparse Matrix-Vector Multiplication on Imagine Stream Processor.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

Architecture-Based Optimization for Mapping Scientific Applications to Imagine.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Evaluation of Transcendental Functions on Imagine Architecture.
Proceedings of the 2007 International Conference on Parallel Processing (ICPP 2007), 2007

Implementation and Evaluation of Jacobi Iteration on the Imagine Stream Processor.
Proceedings of the High Performance Computing, 2007

2006
Dynamic Data Retrieval and Distance Decay of Triangulated Irregular Network(TIN) in Three Dimensional Visualizations.
Annals of GIS, 2006

2005
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

1997
Viscosity methods for piecewise smooth solutions to scalar conservation laws.
Math. Comput., 1997

1996
Boundary Layer Resolving Pseudospectral Methods for Singular Perturbation Problems.
SIAM J. Sci. Comput., 1996

1993
The Hermite Spectral Method for Gaussian-Type Functions.
SIAM J. Sci. Comput., 1993