Yue Yang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022
Adaptive Control of Second-Order Nonlinear Systems With Injection and Deception Attacks.
IEEE Trans. Syst. Man Cybern. Syst., 2022

An Effective and Lightweight Countermeasure Scheme to Multiple Network Attacks in NDN.
IEEE/ACM Trans. Netw., 2022

Aerosol Retrieval Algorithm for Sentinel-2 Images Over Complex Urban Areas.
IEEE Trans. Geosci. Remote. Sens., 2022

A SAR Imaging Method for Walking Human Based on mωka-FrFT-mmGLRT.
IEEE Trans. Geosci. Remote. Sens., 2022

A Siamese Network Based U-Net for Change Detection in High Resolution Remote Sensing Images.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2022

Investigation of the Temperature Compensation of Piezoelectric Weigh-In-Motion Sensors Using a Machine Learning Approach.
Sensors, 2022

Tweet Retweet Prediction Based on Deep Multitask Learning.
Neural Process. Lett., 2022

Multi-Spectrum Hierarchical Segmentation Algorithm: A New Aerosol Optical Thickness Retrieval Algorithm for Urban Areas.
IEEE Geosci. Remote. Sens. Lett., 2022

Privacy Disclosure in the Real World: An Experimental Study.
Int. J. Inf. Secur. Priv., 2022

FC-RRT*: An Improved Path Planning Algorithm for UAV in 3D Complex Environment.
ISPRS Int. J. Geo Inf., 2022

A 1.041-Mb/mm<sup>2</sup> 27.38-TOPS/W Signed-INT8 Dynamic-Logic-Based ADC-less SRAM Compute-in-Memory Macro in 28nm with Reconfigurable Bitwise Operation for AI and Embedded Applications.
Proceedings of the IEEE International Solid-State Circuits Conference, 2022

Show Me More Details: Discovering Hierarchies of Procedures from Semi-structured Web Data.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

2021
Event-Triggered Adaptive Output Feedback Control of Multivariable Systems With Nonsmooth Actuator Nonlinearities.
IEEE Trans. Syst. Man Cybern. Syst., 2021

Spatial-Spectral Density Peaks-Based Discriminant Analysis for Membranous Nephropathy Classification Using Microscopic Hyperspectral Images.
IEEE J. Biomed. Health Informatics, 2021

High-Performance Fiber Optic Interferometric Hydrophone Based on Push-Pull Structure.
IEEE Trans. Instrum. Meas., 2021

A Universal ZVS Circuit Design Method for a Family of Interleaved High Step-Up Converters With Least Device Requirement.
IEEE Trans. Ind. Electron., 2021

Adaptive Cooperative Terminal Sliding Mode Control for Distributed Energy Storage Systems.
IEEE Trans. Circuits Syst. I Regul. Pap., 2021

The centrality and innovation performance of the quantum high-level innovation team: the moderating effect of structural holes.
Technol. Anal. Strateg. Manag., 2021

A Synchronous Prediction Model Based on Multi-Channel CNN with Moving Window for Coal and Electricity Consumption in Cement Calcination Process.
Sensors, 2021

Oilseed Rape (Brassica napus L.) Phenology Estimation by Averaged Stokes-Related Parameters.
Remote. Sens., 2021

LighterGAN: An Illumination Enhancement Method for Urban UAV Imagery.
Remote. Sens., 2021

Vegetation Greenness Variations and Response to Climate Change in the Arid and Semi-Arid Transition Zone of the Mongo-Lian Plateau during 1982-2015.
Remote. Sens., 2021

Image super-resolution via channel attention and spatial graph convolutional network.
Pattern Recognit., 2021

Identification and micro-motion parameter estimation of non-cooperative UAV targets.
Phys. Commun., 2021

A recursion theoretic foundation of computation over real numbers.
J. Log. Comput., 2021

Hierarchical accumulation network with grid attention for image super-resolution.
Knowl. Based Syst., 2021

An interpretable mechanism for personalized recommendation based on cross feature.
J. Intell. Fuzzy Syst., 2021

Adaptive control of cyber-physical systems under deception and injection attacks.
J. Frankl. Inst., 2021

Multi-VSM based fuzzy adaptive cooperative control strategy for MVDC traction power supply system.
J. Frankl. Inst., 2021

A systematic review of automatic text summarization for biomedical literature and EHRs.
J. Am. Medical Informatics Assoc., 2021

Neural-network-based formation control with collision, obstacle avoidance and connectivity maintenance for a class of second-order nonlinear multi-agent systems.
Neurocomputing, 2021

Melody Harmonization with Controllable Harmonic Rhythm.
CoRR, 2021

Induce, Edit, Retrieve: Language Grounded Multimodal Schema for Instructional Video Retrieval.
CoRR, 2021

Multi-Level Features Contrastive Networks for Unsupervised Domain Adaptation.
CoRR, 2021

A Survey of Autonomous Underwater Vehicle Formation: Performance, Formation Control, and Communication Capability.
IEEE Commun. Surv. Tutorials, 2021

Event-triggered sliding mode control of networked control systems with Markovian jump parameters.
Autom., 2021

A kind of stricter Hyers-Ulam stability of second order linear differential equations of Carathéodory type.
Appl. Math. Lett., 2021

BSDNet: Balanced Sample Distribution Network for Real-Time Semantic Segmentation of Road Scenes.
IEEE Access, 2021

A Novel Circuit-based MIMO Channel Model Considering Antenna Size and Mutual Coupling.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021

4D Doodling: Free Creation of Shape-Changing Decoration with A 3D Printing Pen.
Proceedings of the UIST '21: The Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, 2021

3DP-Ori: Bridging-Printing Based Origami Fabrication Method with Modifiable Haptic properties.
Proceedings of the UIST '21: The Adjunct Publication of the 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Scratch Detection of Aircraft Bell Tube Based on Improved YOLOv4 Framework.
Proceedings of the SPML 2021: 4th International Conference on Signal Processing and Machine Learning, Beijing, China, August 18, 2021

Secure Federated Learning Model Verification: A Client-side Backdoor Triggered Watermarking Scheme.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

High-throughput virtual screening of small molecule inhibitors for SARS-CoV-2 protein targets with deep fusion models.
Proceedings of the SC '21: The International Conference for High Performance Computing, Networking, Storage and Analysis, St. Louis, Missouri, USA, November 14, 2021

Improving the Information Disclosure in Mobility-on-Demand Systems.
Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

Ground Pollution Source Target Detection Based on Modis and Sentinel-5P Products.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

A New Aerosol Retrieval Algorithm for Landsat 8 OLI Images over Urban Areas.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

Spatial Graph Convolutional Network for Image Super-Resolution.
Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

RealImage2Mesh: Reconstructing Symmetrical Mesh Models from Single Real-World Images.
Proceedings of the 16th International Conference on Computer Science & Education, 2021

Visual Goal-Step Inference using wikiHow.
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Nonparametric Modelling Based Model Predictive Control for Human Heart Rate Regulation during Treadmill Exercise.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

Training Mode of School Enterprise Collaborative Innovation and Entrepreneurship Talents' Research.
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021

Exploration and Practice of Object-Oriented Programming in the Mode of "Internet +" Education.
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021

"Two-Four-Three-Four" Innovation and Entrepreneurship Education System's Research and Practice.
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021

Teaching Design and Practice of Software Engineering Series Courses Based on OBE.
Proceedings of the CIPAE 2021: 2nd International Conference on Computers, 2021

ShrinCage: 4D Printing Accessories that Self-Adapt.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

Fashion Design with FlexTruss Approach.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

FlexTruss: A Computational Threading Method for Multi-material, Multi-form and Multi-use Prototyping.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

FlexCube: 3D Printing Tunable Meta-structures with Triply Periodic Minimal Surfaces.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

JellyBoard: A Flexible Breadboard for Electronic Prototyping.
Proceedings of the Chinese CHI 2021: The Ninth International Symposium of Chinese CHI, Online Event, Hong Kong, October 16, 2021

Deceptive Reinforcement Learning for Privacy-Preserving Planning.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
DC Voltage Control Strategy of Three-Terminal Medium-Voltage Power Electronic Transformer-Based Soft Normally Open Points.
IEEE Trans. Ind. Electron., 2020

DOA and Phase Error Estimation for a Partly Calibrated Array With Arbitrary Geometry.
IEEE Trans. Aerosp. Electron. Syst., 2020

AGNES-SMOTE: An Oversampling Algorithm Based on Hierarchical Clustering and Improved SMOTE.
Sci. Program., 2020

A Nonlinear Double Model for Multisensor-Integrated Navigation Using the Federated EKF Algorithm for Small UAVs.
Sensors, 2020

Multi-level word features based on CNN for fake news detection in cultural communication.
Pers. Ubiquitous Comput., 2020

Sparse Scaling Iterative Closest Point for Rail Profile Inspection.
J. Comput. Inf. Sci. Eng., 2020

Open collaboration between universities and enterprises: a case study on GitHub.
Internet Res., 2020

The Correlation between the Jobs-Housing Relationship and the Innovative Development of Sci-Tech Parks in New Urban Districts: A Case Study of the Hangzhou West Hi-Tech Corridor in China.
ISPRS Int. J. Geo Inf., 2020

A Minimum Trust Discount Coefficient Model for Incomplete Information in Group Decision Making with Intuitionistic Fuzzy Soft Set.
Int. J. Fuzzy Syst., 2020

Credit Risk Assessment of Internet Financial Platforms Based on BP Neural Network.
Int. J. Cyber Phys. Syst., 2020

Discriminative Cross-Modal Data Augmentation for Medical Imaging Applications.
CoRR, 2020

Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island.
CoRR, 2020

Transfer Learning or Self-supervised Learning? A Tale of Two Pretraining Paradigms.
CoRR, 2020

MedDialog: A Large-scale Medical Dialogue Dataset.
CoRR, 2020

An improved FastEuler-DLKF small-UAV AHRS algorithm.
CoRR, 2020

An improved nonlinear FastEuler AHRS estimation based on the SVDCKF algorithm.
CoRR, 2020

An Intelligent Quaternion SVDCKF AHRS Estimation with Variable Adaptive Methods in Complex Conditions.
CoRR, 2020

Construction and Comprehensive Analysis of Dysregulated Long Noncoding RNA-Associated Competing Endogenous RNA Network in Moyamoya Disease.
Comput. Math. Methods Medicine, 2020

EmailDetective: An Email Authorship Identification And Verification Model.
Comput. J., 2020

Incomparability in local structures of s-degrees and Q-degrees.
Arch. Math. Log., 2020

Seismic Observation and Analysis Based on Three-Component Fiber Optic Seismometer.
IEEE Access, 2020

Controllability Robustness Against Cascading Failure for Complex Logistics Networks Based on Nonlinear Load-Capacity Model.
IEEE Access, 2020

Controllability Robustness Against Cascading Failure for Complex Logistic Network Based on Dynamic Cascading Failure Model.
IEEE Access, 2020

Interacting Multiple Model UAV Navigation Algorithm Based on a Robust Cubature Kalman Filter.
IEEE Access, 2020

When Recommender Systems Meet Fleet Management: Practical Study in Online Driver Repositioning System.
Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

WireTruss: A Fast-Modifiable Prototyping Method Through 3D Printing.
Proceedings of the UIST '20 Adjunct: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

Scaffolding Learners' Understanding of English Collocation Usages in Electronic References.
Proceedings of the IEEE International Conference on Teaching, 2020

High Resolution Aerosol Retrieval Over Urban Surfaces Using Landsat 8 Oli.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

A High-Spatial-Resolution Aerosol Retrieval Algorithm for Sentinel-2 Images Over Bright Urban Surfaces.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

An Empirical Study on Relationship between Rewards and Employee Creativity in Advertising Agencies: Motivation as a Mediator.
Proceedings of the ICIAI 2020: The 4th International Conference on Innovation in Artificial Intelligence, 2020

An Effective and Lightweight Countermeasure Scheme to Multiple Network Attacks in NDNs.
Proceedings of the 29th International Conference on Computer Communications and Networks, 2020

MedDialog: Large-scale Medical Dialogue Datasets.
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

ShrinkyKit: 3D Printing Shrinkable Adaptations for Everyday Objects.
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

4DTexture: A Shape-Changing Fabrication Method for 3D Surfaces with Texture.
Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

2019
OPARC: Optimal and Precise Array Response Control Algorithm - Part II: Multi-Points and Applications.
IEEE Trans. Signal Process., 2019

OPARC: Optimal and Precise Array Response Control Algorithm - Part I: Fundamentals.
IEEE Trans. Signal Process., 2019

Flexible Array Response Control via Oblique Projection.
IEEE Trans. Signal Process., 2019

A Distributionally Robust Optimization Model for Real-Time Power Dispatch in Distribution Networks.
IEEE Trans. Smart Grid, 2019

Refocusing and Zoom-In Polar Format Algorithm for Curvilinear Spotlight SAR Imaging on Arbitrary Region of Interest.
IEEE Trans. Geosci. Remote. Sens., 2019

Noise Suppression for GPR Data Based on SVD of Window-Length-Optimized Hankel Matrix.
Sensors, 2019

A novel framework for robust long-term object tracking in real-time.
Mach. Vis. Appl., 2019

A Noise Suppression Method of Ground Penetrating Radar Based on EEMD and Permutation Entropy.
IEEE Geosci. Remote. Sens. Lett., 2019

Real-time optical flow-based video stabilization for unmanned aerial vehicles.
J. Real Time Image Process., 2019

Clinical Study of Diffusion-Weighted Imaging in the Diagnosis of Liver Focal Lesion.
J. Medical Syst., 2019

Distinct Molecular Mechanisms Analysis of Three Lung Cancer Subtypes Based on Gene Expression Profiles.
J. Comput. Biol., 2019

Variational approximations using Fisher divergence.
CoRR, 2019

A new operator splitting method for American options under fractional Black-Scholes models.
Comput. Math. Appl., 2019

Time Series Imputation via Integration of Revealed Information Based on the Residual Shortcut Connection.
IEEE Access, 2019

Photonics-Based High-Resolution 3D Inverse Synthetic Aperture Radar Imaging.
IEEE Access, 2019

Clustered Sparsity-Driven SAR Imaging and Autofocus Algorithm in Structured Phase-Noisy Environments.
IEEE Access, 2019

Robust Polarimetric SAR Imaging Method With Attributed Scattering Characterization.
IEEE Access, 2019

Dynamic Pick-Up and Delivery Optimization With Multiple Dynamic Events in Real-World Environment.
IEEE Access, 2019

Structure-Aware Interrupted SAR Imaging Method for Change Detection.
IEEE Access, 2019

Phishing Email Detection Using Improved RCNN Model With Multilevel Vectors and Attention Mechanism.
IEEE Access, 2019

Signal Analysis of Distributed Optic-Fiber Sensing Used for Oil and Gas Pipeline Monitoring.
Proceedings of the 2019 International Symposium on Signal Processing Systems, 2019


Membranous Nephropathy Identification Using Hyperspectral Microscopic Images.
Proceedings of the Pattern Recognition and Computer Vision - Second Chinese Conference, 2019

Adjusting the Inheritance of Topic for Dynamic Document Clustering.
Proceedings of the Theoretical Computer Science - 37th National Conference, 2019

Adolescent Fluid Intelligence Prediction from Regional Brain Volumes and Cortical Curvatures Using BlockPC-XGBoost.
Proceedings of the Adolescent Brain Cognitive Development Neurocognitive Prediction, 2019

An Attention-Based Recommendation Algorithm.
Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

Deep Learning Road Extraction Model Based on Similarity Mapping Relationship.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

Elimination of Transformer Inrush Current by Three-Phase Linkage Circuit Breakers.
Proceedings of the Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery - Proceedings of the 15th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2019), Kunming, China, July 20-22, 2019, 2019

Credit Card Fraud Detection based on CSat-Related AdaBoost.
Proceedings of the ICCPR '19: 8th International Conference on Computing and Pattern Recognition, 2019

A Forwarding Strategy Based on Recommendation Algorithm in Named Data Networking.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Research on Hybrid Quantum Genetic Algorithm Based on Cross-Docking Delivery Vehicle Scheduling.
Proceedings of the Cyber Security Intelligence and Analytics, 2019

A hybrid model based on CNN and Bi-LSTM for urban water demand prediction.
Proceedings of the IEEE Congress on Evolutionary Computation, 2019

A Mobile Phone Data Visualization Tool for People Flow Analysis.
Proceedings of the Web and Big Data - Third International Joint Conference, 2019

3D-Shape Reduction System Based on Multi-Core Fiber.
Proceedings of the International Conference on Artificial Intelligence and Advanced Manufacturing, 2019

A Dynamic Real-Time Three-Dimensional Attitude Reconstruction Method Based on Multi-Core Optical Fiber Subtitle as Needed.
Proceedings of the International Conference on Artificial Intelligence and Advanced Manufacturing, 2019

Variable Scale Iterative SAR Imaging Algorithm Based on Sparse Representation.
Proceedings of the Advanced Hybrid Information Processing, 2019

2018
Method for Determining the Resonance Frequency of a Fiber Optic Interferometric Accelerometer.
IEEE Trans. Instrum. Meas., 2018

MRF model-based joint interrupted SAR imaging and coherent change detection via variational Bayesian inference.
Signal Process., 2018

Degrees containing members of thin Π10 classes are dense and co-dense.
J. Math. Log., 2018

An Accurate and Fast Method to Inspect Rail Wear Based on Revised Global Registration.
IEEE Access, 2018

Pr-Based Sar Reconstruction Autofocus Algorithm for Persistent Surveillance Change Detection.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

Using Stokes Parameters Derived from Radarsat-2 Data for Rape (Brassica Napus L.) Biomass Inversion.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

A New Method of Retrieving the Inclination Direction of Power Transmission Tower by Geocoding.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

Signal Enhancement Algorithm Based on Minimum Mean Square Error Spectrum Estimation.
Proceedings of the 2018 IEEE International Conference on Signal Processing, 2018

A Pointer Network Based Deep Learning Algorithm for the Max-Cut Problem.
Proceedings of the Neural Information Processing - 25th International Conference, 2018

Real-Time Disaggregation of User Power Consumption Using the Viterbi Algorithm.
Proceedings of the 2018 IEEE International Conference on Communications Workshops, 2018

Optimal Multi-Gravity-Assist Trajectories Design with Likelihood Analysis.
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

2017
A Type-2 Block-Component-Decomposition Based 2D AOA Estimation Algorithm for an Electromagnetic Vector Sensor Array.
Sensors, 2017

Semantic portrait color transfer with internet images.
Multim. Tools Appl., 2017

中文文本的主题关键短语提取技术 (Technology of Extracting Topical Keyphrases from Chinese Corpora).
计算机科学, 2017

Weather Recognition of Street Scene Based on Sparse Deep Neural Networks.
J. Adv. Comput. Intell. Intell. Informatics, 2017

Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees.
Inf. Process. Lett., 2017

Heterogeneous model integration of complex mechanical parts based on semantic feature fusion.
Eng. Comput., 2017

Face Verification with Multi-Task and Multi-Scale Feature Fusion.
Entropy, 2017

Multi-linear sparse reconstruction for SAR imaging based on higher-order SVD.
EURASIP J. Adv. Signal Process., 2017

An anti-collision algorithm for RFID-based robots based on dynamic grouping binary trees.
Comput. Electr. Eng., 2017

A Tensor Decomposition Based Multiway Structured Sparse SAR Imaging Algorithm with Kronecker Constraint.
Algorithms, 2017

A receiving instruments of the Earth's natural pulse electromagnetic field and its data analysis via time-frequency method before an earthquake.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2017

Multi-objective optimization with Proper Orthogonal Decomposition and Gaussian predictive distribution.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

A new deep learning method based on AlexNet model and SSD model for tennis ball recognition.
Proceedings of the 10th IEEE International Workshop on Computational Intelligence and Applications, 2017

2016
Write Skew and Zipf Distribution: Evidence and Implications.
ACM Trans. Storage, 2016

Study on evacuation of pedestrians from a room with multi-obstacles considering the effect of aisles.
Simul. Model. Pract. Theory, 2016

Signal Processing on Precursory "Fingerprint" Image Pattern Feature of Yushu Earthquake.
J. Adv. Comput. Intell. Intell. Informatics, 2016

Quantitative assess the driving forces on the grassland degradation in the Qinghai-Tibet Plateau, in China.
Ecol. Informatics, 2016

OFDM demodulation using virtual time reversal processing in underwater acoustic communication.
CoRR, 2016

MAC Protocols Design for Smart Metering Network.
CoRR, 2016

A semi-automatic computer-aided method for surgical template design.
CoRR, 2016

Sound source localization method based on LDA classifier.
Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

Based Point of Interest and Experience to Task Assignment on Location-Based Social Networks.
Proceedings of the 12th International Conference on Mobile Ad-Hoc and Sensor Networks, 2016

Write Amplification with Write Skew.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

A new benchmark for vision-based cyclist detection.
Proceedings of the 2016 IEEE Intelligent Vehicles Symposium, 2016

Bl-GESPAR: A fast SAR imaging algorithm for phase noise mitigation.
Proceedings of the 2016 IEEE International Symposium on Signal Processing and Information Technology, 2016

Long-term cooperative tracking using multiple unmanned aerial vehicles.
Proceedings of the 12th IEEE International Conference on Control and Automation, 2016

Secure MAC Protocol for Periodic Smart Metering Data Communication with Compressive Sensing.
Proceedings of the 2016 IEEE Globecom Workshops, Washington, DC, USA, December 4-8, 2016, 2016

2015
A Sufficient Condition for Deadlock-Free Adaptive Routing in Mesh Networks.
IEEE Comput. Archit. Lett., 2015

The members of thin and minimal classes, their ranks and Turing degrees.
Ann. Pure Appl. Log., 2015

An Evaluation Model for Epidemic Routing in VANETs.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

Algebraic modeling of write amplification in hotness-aware SSD.
Proceedings of the 8th ACM International Systems and Storage Conference, 2015

Double auction and negotiation for dynamic resource allocation with elastic demands.
Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015

Evaluation of Routing Protocols in VANET Based on a Synergetic Simulation Using SUMO and ns-3.
Proceedings of the Internet of Vehicles - Safe and Intelligent Mobility, 2015

Design of a load-balancing middlebox based on SDN for data centers.
Proceedings of the 2015 IEEE Conference on Computer Communications Workshops, 2015

Research on the Algorithm of Multidimensional Vector Fourier Transformation Matrix.
Proceedings of the Advances in Image and Graphics Technologies - 10th Chinese Conference, 2015

Wide area surveillance of urban environments using multiple Mini-VTOL UAVs.
Proceedings of the IECON 2015, 2015

PCF Scheme for Periodic Data Transmission in Smart Metering Network with Cognitive Radio.
Proceedings of the 2015 IEEE Global Communications Conference, 2015

Entity Recognition and Relations Extraction Based on the Structure of Online Encyclopedia.
Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014
Energy-saving model for SDN data centers.
J. Supercomput., 2014

Grouping-Based MAC Protocols for EV Charging Data Transmission in Smart Metering Network.
IEEE J. Sel. Areas Commun., 2014

The Interval-Valued Triangular Fuzzy Soft Set and Its Method of Dynamic Decision Making.
J. Appl. Math., 2014

Investigating How User's Activities in Both Virtual and Physical World Impact Each Other Leveraging LBSN Data.
Int. J. Distributed Sens. Networks, 2014

Nonstandard Models in Recursion Theory and Reverse Mathematics.
Bull. Symb. Log., 2014

Necessary and sufficient conditions for regional stabilisability of second-order switched linear systems with a finite number of subsystems.
Autom., 2014

A V2X communication system and its performance evaluation test bed.
Proceedings of the 6th IEEE International Symposium on Wireless Vehicular Communications, 2014

Analytical modeling of garbage collection algorithms in hotness-aware flash-based solid state drives.
Proceedings of the IEEE 30th Symposium on Mass Storage Systems and Technologies, 2014

Identification and control of nonlinear systems using neural networks and multiple models.
Proceedings of the 11th IEEE International Conference on Control & Automation, 2014

A K-anonymity clustering algorithm based on the information entropy.
Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014

A data anonymous method based on overlapping slicing.
Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014

Simultaneous chemiluminescence detection of multiple tumor markers using bio-functionlized magnetic nanocomposites.
Proceedings of IEEE-EMBS International Conference on Biomedical and Health Informatics, 2014

2013
Selection by Recursively Enumerable Sets.
Proceedings of the Theory and Applications of Models of Computation, 2013

PMU placement for optimal three-phase state estimation performance.
Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Robust identification of piecewise affine systems from noisy data.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Prediction of syngas compositions in shell coal gasification process via dynamic soft-sensing method.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

A WSN approach to unmanned aerial surveillance of traffic anomalies: Some challenges and potential solutions.
Proceedings of the East-West Design & Test Symposium, 2013

2012
Adaptive Backstepping Fuzzy Control Based on Type-2 Fuzzy System.
J. Appl. Math., 2012

Sufficient and necessary conditions for the stability of second-order switched linear systems under arbitrary switching.
Int. J. Control, 2012

Energy Efficient Activity Recognition Based on Low Resolution Accelerometer in Smart Phones.
Proceedings of the Advances in Grid and Pervasive Computing - 7th International Conference, 2012

PMU deployment for optimal state estimation performance.
Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012

Dynamic density-based clustering algorithm over uncertain data streams.
Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012

A two-step data preprocessing algorithm based on grey-fuzzy rough set.
Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012

2011
A Novel Network Traffic Anomaly Detection Model Based on Superstatistics Theory.
J. Networks, 2011

On the number of relays for orthogonalize-and-forward relaying.
Proceedings of the 2011 International Conference on Wireless Communications & Signal Processing, 2011

Towards a Smart Campus with Mobile Social Networking.
Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

Feedback stabilization for planar switched linear systems with two subsystems under arbitrary switching.
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011

Research and design of real-time human body video acquisition system.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

2010
Diamond embeddings into the enumeration degrees.
Math. Struct. Comput. Sci., 2010

Adaptive nonlinear Image Enhancement of Gaussian Degraded Images.
Int. J. Image Graph., 2010

Dynamic Monitoring and Intelligent Network System Design and Implementation for Mandatory Inspection Measurement Instruments.
Proceedings of the International Conference on E-Business and E-Government, 2010

2009
SPICE Behavioral Model of the Tunneling Field-Effect Transistor for Circuit Simulation.
IEEE Trans. Circuits Syst. II Express Briefs, 2009

High Minimal Pairs in the Enumeration Degrees.
Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

2008
Adaptive frame rate up-conversion based on motion classification.
Signal Process., 2008

Computable categoricity and the Ershov hierarchy.
Ann. Pure Appl. Log., 2008

2007
Spatial Clustering Algorithm Based on Optimized-Division.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

Anti-Spam Filtering Using Neural Networks and Baysian Classifiers.
Proceedings of the 7th IEEE International Symposium on Computational Intelligence in Robotics and Automation, 2007

2006
On Σ<sub>1</sub>-structural differences among finite levels of the Ershov hierarchy.
J. Symb. Log., 2006

Properly Σ<sup>0</sup><sub>2</sub> enumeration degrees and the high/low hierarchy.
J. Symb. Log., 2006

Bounding computably enumerable degrees in the Ershov hierarchy.
Ann. Pure Appl. Log., 2006

The existence of high nonbounding degrees in the difference hierarchy.
Ann. Pure Appl. Log., 2006

On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies.
Proceedings of the Theory and Applications of Models of Computation, 2006

On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal.
Proceedings of the Theory and Applications of Models of Computation, 2006

Path-Sensitive Dataflow Analysis with Iterative Refinement.
Proceedings of the Static Analysis, 13th International Symposium, 2006

A Design Method of Distributed Workflow Engine.
Proceedings of the 10th International Conference on CSCW in Design, 2006

2005
Properly Sigma<sub>2</sub> minimal degrees and 0'' complementation.
Math. Log. Q., 2005

On the definable ideal generated by nonbounding c.e. degrees.
J. Symb. Log., 2005

Bounding and nonbounding minimal pairs in the enumeration degrees.
J. Symb. Log., 2005

UMM: an operational memory model specification framework with integrated model checking capability.
Concurr. Pract. Exp., 2005

The minimal e-degree problem in fragments of Peano arithmetic.
Ann. Pure Appl. Log., 2005

Symbolic path simulation in path-sensitive dataflow analysis.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Non-linear image enhancement for digital TV applications using Gabor filters.
Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, 2005

2004
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Memory-Model-Sensitive Data Race Analysis.
Proceedings of the Formal Methods and Software Engineering, 2004

Anti-Spam Filtering Using Neural Networks.
Proceedings of the International Conference on Artificial Intelligence, 2004

QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002
A nonlow<sub>2</sub> R. E. Degree with the Extension of Embeddings Properties of a low<sub>2</sub> Degree.
Math. Log. Q., 2002

Specifying Java thread semantics using a uniform memory model.
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

1998
Sigma<sub>2</sub> Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator.
J. Symb. Log., 1998

1997
Sigma<sub>2</sub> Induction and Infinite Injury Priority Arguments, Part II: Tame Sigma<sub>2</sub> Coding and the Jump Operator.
Ann. Pure Appl. Log., 1997

1995
The Thickness Lemma from P<sup>-</sup> + I Sigma<sub>1</sub> + not B Sigma<sub>2</sub>.
J. Symb. Log., 1995

Iterated trees and fragments of arithmetic.
Arch. Math. Log., 1995


  Loading...