Yue Yang

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

Bibliography

2024
A multi-classification detection model for imbalanced data in NIDS based on reconstruction and feature matching.
J. Cloud Comput., December, 2024

LCRNet: local cross-channel recalibration network for liver cancer classification based on CT images.
Health Inf. Sci. Syst., December, 2024

Generating chord progression from melody with flexible harmonic rhythm and controllable harmonic density.
EURASIP J. Audio Speech Music. Process., December, 2024

Discovering Consensus Regions for Interpretable Identification of RNA N6-Methyladenosine Modification Sites via Graph Contrastive Clustering.
IEEE J. Biomed. Health Informatics, April, 2024

Fuzzy-Based Deep Attributed Graph Clustering.
IEEE Trans. Fuzzy Syst., April, 2024

A dynamic multi-objective evolutionary algorithm based on genetic engineering and improved particle swarm prediction strategy.
Inf. Sci., March, 2024

Joint Beamforming for RIS-Assisted Integrated Communication, Sensing and Power Transfer Systems.
IEEE Wirel. Commun. Lett., February, 2024

Relation-consistency graph convolutional network for image super-resolution.
Vis. Comput., February, 2024

Watermarking in Secure Federated Learning: A Verification Framework Based on Client-Side Backdooring.
ACM Trans. Intell. Syst. Technol., February, 2024

SEDANet: A New Siamese Ensemble Difference Attention Network for Building Change Detection in Remotely Sensed Images.
IEEE Trans. Geosci. Remote. Sens., 2024

ConvBench: A Multi-Turn Conversation Evaluation Benchmark with Hierarchical Capability for Large Vision-Language Models.
CoRR, 2024

Augmented Reality Demonstrations for Scalable Robot Imitation Learning.
CoRR, 2024

CoMo: Controllable Motion Generation through Language Guided Pose Code Editing.
CoRR, 2024

A Concept-based Interpretable Model for the Diagnosis of Choroid Neoplasias using Multimodal Data.
CoRR, 2024

Towards Implicit Prompt For Text-To-Image Models.
CoRR, 2024

Annotated Hands for Generative Models.
CoRR, 2024

Electromagnetic Information Theory: Fundamentals and Applications for 6G Wireless Communication Systems.
CoRR, 2024

Enhancing Safety in Learning from Demonstration Algorithms via Control Barrier Function Shielding.
Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024

Data Adaptive Traceback for Vision-Language Foundation Models in Image Classification.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Anti-Attack Event-Triggered Control for Nonlinear Multi-Agent Systems With Input Quantization.
IEEE Trans. Neural Networks Learn. Syst., December, 2023

Image Quality Assessment via Inter-class and Intra-class Differences for Efficient Classification.
Neural Process. Lett., December, 2023

Artificial intelligence-driven biomedical genomics.
Knowl. Based Syst., November, 2023

Clustering Protein Binding Pockets and Identifying Potential Drug Interactions: A Novel Ligand-Based Featurization Method.
J. Chem. Inf. Model., November, 2023

Hyperspectral pathology image classification using dimension-driven multi-path attention residual network.
Expert Syst. Appl., November, 2023

Stability of discrete-time delayed systems via convex function-based summation inequality.
Appl. Math. Lett., November, 2023

FCAN-MOPSO: An Improved Fuzzy-Based Graph Clustering Algorithm for Complex Networks With Multiobjective Particle Swarm Optimization.
IEEE Trans. Fuzzy Syst., October, 2023

Radar target recognition based on few-shot learning.
Multim. Syst., October, 2023

A dynamic multi-objective evolutionary algorithm based on gene sequencing and gene editing.
Inf. Sci., October, 2023

Private Placement, Investor Sentiment, and Stock Price Anomaly.
J. Adv. Comput. Intell. Intell. Informatics, September, 2023

Microscopic Hyperspectral Image Classification Based on Fusion Transformer With Parallel CNN.
IEEE J. Biomed. Health Informatics, June, 2023

Spatiotemporal Variations in the Sensitivity of Vegetation Growth to Typical Climate Factors on the Qinghai-Tibet Plateau.
Remote. Sens., May, 2023

Robust adaptive beamforming via covariance matrix reconstruction with diagonal loading on interference sources covariance matrix.
Digit. Signal Process., May, 2023

Social media popularity prediction with multimodal hierarchical fusion model.
Comput. Speech Lang., May, 2023

Comparison of the performance of Multi-source Three-dimensional structural data in the application of monitoring maize lodging.
Comput. Electron. Agric., May, 2023

Improving text-image cross-modal retrieval with contrastive loss.
Multim. Syst., April, 2023

The Successive Next Network as Augmented Regularization for Deformable Brain MR Image Registration.
Sensors, March, 2023

ThermoFit: Thermoforming Smart Orthoses via Metamaterial Structures for Body-Fitting and Component-Adjusting.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., March, 2023

A Learning Method for Real-Time Repositioning in E-Hailing Services.
IEEE Trans. Intell. Transp. Syst., February, 2023

The Influence of Horizontal Thermal Advection on Near-Surface Energy Budget Closure over the Zoige Alpine Wetland, China.
Remote. Sens., January, 2023

Incorporating higher order network structures to improve miRNA-disease association prediction based on functional modularity.
Briefings Bioinform., January, 2023

Adaptive Control Design for Uncertain Underactuated Cranes With Nonsmooth Input Nonlinearities.
IEEE Trans. Syst. Man Cybern. Syst., 2023

Simplified ADP for Event-Triggered Control of Multiagent Systems Against FDI Attacks.
IEEE Trans. Syst. Man Cybern. Syst., 2023

Superresolution Composite SAR Imaging Method by Hierarchical Pattern With Attributed Scattering Priors.
IEEE Trans. Instrum. Meas., 2023

PPISB: A Novel Network-Based Algorithm of Predicting Protein-Protein Interactions With Mixed Membership Stochastic Blockmodel.
IEEE ACM Trans. Comput. Biol. Bioinform., 2023

Direction-of-Arrival Estimation for Coherent Signals Exploiting Moving Coprime Array.
IEEE Signal Process. Lett., 2023

Development and Temperature Correction of Piezoelectric Ceramic Sensor for Traffic Weighing-In-Motion.
Sensors, 2023

Distributed optimal output feedback consensus control for nonlinear Euler-Lagrange systems under input saturation.
J. Frankl. Inst., 2023

A Data-Driven Wheel Wear Prediction Model for Rail Train Based on LM-OMP-NARXNN.
J. Comput. Inf. Sci. Eng., 2023

Grouping visual enhancements for Picviz logging visualisation.
Int. J. Sens. Networks, 2023

Dataset and Baselines for IID and OOD Image Classification Considering Data Quality and Evolving Environments.
Int. J. Interact. Multim. Artif. Intell., 2023

Design and application of university laboratory safety evaluation system based on fuzzy analytic hierarchy process and back propagation neural network.
Int. J. Appl. Decis. Sci., 2023

Holodeck: Language Guided Generation of 3D Embodied AI Environments.
CoRR, 2023

Interpretable-by-Design Text Classification with Iteratively Generated Concept Bottleneck.
CoRR, 2023

Align, Adapt and Inject: Sound-guided Unified Image Generation.
CoRR, 2023

Revolutionizing Agrifood Systems with Artificial Intelligence: A Survey.
CoRR, 2023

CornerFormer: Boosting Corner Representation for Fine-Grained Structured Reconstruction.
CoRR, 2023

A dynamic multi-objective evolutionary algorithm based on two-stage dimensionality reduction and a region Gauss adaptation prediction strategy.
Appl. Soft Comput., 2023

Driver-Pedestrian Interactions at Unsignalized Crossings Are Not in Line With the Nash Equilibrium.
IEEE Access, 2023

Revolutionizing Agriculture: Real-Time Ripe Tomato Detection With the Enhanced Tomato-YOLOv7 System.
IEEE Access, 2023

Real-Time Electric Vehicle Intelligent Charging Scheduling Strategy in Real Traffic Scenarios.
Proceedings of the 24th IEEE International Symposium on a World of Wireless, 2023

A Novel GBSM for Holographic MIMO Communication Systems.
Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

A Novel Beam Domain Channel Model for Orbital Angular Momentum Communication Systems with Massive Uniform Circular Array.
Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

Cross or Wait? Predicting Pedestrian Interaction Outcomes at Unsignalized Crossings.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Deep Neural Network-Empowered Polygenic Disease Prediction on Cardiovascular Diseases.
Proceedings of the 18th International Conference on Intelligent Systems and Knowledge Engineering, 2023

SRNet: Siamese Residual Network for Remote Sensing Change Detection.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023

Low Light RGB and IR Image Fusion with Selective CNN-Transformer Network.
Proceedings of the IEEE International Conference on Image Processing, 2023

Multi-level Subgraph Representation Learning for Drug-Disease Association Prediction Over Heterogeneous Biological Information Network.
Proceedings of the Advanced Intelligent Computing Technology and Applications, 2023

Drug Repositioning Method Based on Pre-trained Large Model and Network Embedding Representation.
Proceedings of the IEEE International Conference on Data Mining, 2023

Name Your Colour For the Task: Artificially Discover Colour Naming via Colour Quantisation Transformer.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

MiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Multi-model Transfer Learning and Genotypic Analysis for Seizure Type Classification.
Proceedings of the Health Information Science - 12th International Conference, 2023

A Novel Ultra-Massive MIMO Beam Domain Channel Model for 6G Maritime Communications.
Proceedings of the IEEE Global Communications Conference, 2023

Causal Reasoning of Entities and Events in Procedural Texts.
Proceedings of the Findings of the Association for Computational Linguistics: EACL 2023, 2023

Language in a Bottle: Language Model Guided Concept Bottlenecks for Interpretable Image Classification.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Semi-Supervised 2D Human Pose Estimation Driven by Position Inconsistency Pseudo Label Correction Module.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Robust Adaptive Beamforming Based on Steering Vector Estimation and Combined with Sample Covariance Matrix.
Proceedings of the 2nd International Conference on Networks, 2023

E-Orthosis: Augmenting Off-the-Shelf Orthoses with Electronics.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Blow Molding Artifacts with PneuFab Method.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

PneuFab: Designing Low-Cost 3D-Printed Inflatable Structures for Blow Molding Artifacts.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

All-in-One Print: Designing and 3D Printing Dynamic Objects Using Kinematic Mechanism Without Assembly.
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Learning RNA sequence patterns to interpretably identify m6A modification sites.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

A Distributed Simulation Study to Examine Vehicle - Pedestrian Interactions.
Proceedings of the Adjunct Proceedings of the 15th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2023

Do Drivers have Preconceived Ideas about an Automated Vehicle's Driving Behaviour?
Proceedings of the 15th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2023

Fuzzing Drone Control System Configurations Based on Quality-Diversity Enhanced Genetic Algorithm.
Proceedings of the Artificial Intelligence Security and Privacy, 2023

Live Demonstration: SRAM Compute-In-Memory Based Visual & Aural Recognition System.
Proceedings of the 5th IEEE International Conference on Artificial Intelligence Circuits and Systems, 2023

MagneChase: Create Chasing-Capturing Interactions Using Magnetic Potential Barrier for Tangible Games.
Proceedings of the 22nd Annual ACM Interaction Design and Children Conference, 2023

EdibleToy: Empowering Children to Create Their Own Meals with a DIY Wafer Paper Kit.
Proceedings of the 22nd Annual ACM Interaction Design and Children Conference, 2023

I Spy a Metaphor: Large Language Models and Diffusion Models Co-Create Visual Metaphors.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022
Dynamic ISAR Imaging Method for Multiple Moving Vehicles Based on OMP-CADMM.
IEEE Trans. Veh. Technol., 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

Variational Adaptive LM-IEKF for Full State Navigation System of Wind Disturbance and Observability Analysis.
IEEE Trans. Instrum. Meas., 2022

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

High-Resolution Microwave Photonic Radar With Sparse Stepped Frequency Chirp Signals.
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

Attacks on Formation Control for Multiagent Systems.
IEEE Trans. Cybern., 2022

Research on the impact of global innovation network on corporate performance.
Technol. Anal. Strateg. Manag., 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

Inertial Sensor Estimation of Initial and Terminal Contact during In-Field Running.
Sensors, 2022

Remote Sensing Image Information Quality Evaluation via Node Entropy for Efficient Classification.
Remote. Sens., 2022

Impact of Feature-Dependent Static Background Error Covariances for Satellite-Derived Humidity Assimilation on Analyses and Forecasts of Multiple Sea Fog Cases over the Yellow Sea.
Remote. Sens., 2022

Land Use and Land Cover Influence on Sentinel-2 Aerosol Optical Depth below City Scales over Beijing.
Remote. Sens., 2022

Distribution Characteristics of Cloud Types and Cloud Phases over China and Their Relationship with Cloud Temperature.
Remote. Sens., 2022

Correction to: Multi-level word features based on CNN for fake news detection in cultural communication.
Pers. Ubiquitous Comput., 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

Dynamic multiple criteria group decision-making method based on intuitionistic fuzzy information.
J. Control. Decis., 2022

A New-Dynamic Adaptive Data Rate Algorithm of LoRaWAN in Harsh Environment.
IEEE Internet Things J., 2022

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

Foreground object structure transfer for unsupervised domain adaptation.
Int. J. Intell. Syst., 2022

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

Name Your Colour For the Task: Artificially Discover Colour Naming via Colour Quantisation Transformer.
CoRR, 2022

Safe Inverse Reinforcement Learning via Control Barrier Function.
CoRR, 2022

Watermarking in Secure Federated Learning: A Verification Framework Based on Client-Side Backdooring.
CoRR, 2022

Do Deep Neural Networks Always Perform Better When Eating More Data?
CoRR, 2022

RLFDDA: a meta-path based graph representation learning model for drug-disease association prediction.
BMC Bioinform., 2022

Sliding window and dual-channel CNN (SWDC-CNN): A novel method for synchronous prediction of coal and electricity consumption in cement calcination process.
Appl. Soft Comput., 2022

Hydropower Pricing Options for Cross-Border Electricity Trading in China Based on Bi-Level Optimization.
IEEE Access, 2022

Privacy-Aware Task Allocation Based on Deep Reinforcement Learning for Mobile Crowdsensing.
Proceedings of the Wireless Algorithms, Systems, and Applications, 2022

Comparisons of Channel Characteristics and Capacities of Three 5G/B5G Wireless Channel Models.
Proceedings of the 95th IEEE Vehicular Technology Conference, 2022

X-Bridges: Designing Tunable Bridges to Enrich 3D Printed Objects' Deformation and Stiffness.
Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

Medical service oriented blockchain data credibility evaluation method.
Proceedings of the International Conference on Service Science, 2022

Channel Capacities of Non-Stationary 6G Massive MIMO Channels with Mutual Coupling Verified by Channel Measurements.
Proceedings of the 2022 IEEE 33rd Annual International Symposium on Personal, 2022

Cross-Domain 3D Model Retrieval Based On Contrastive Learning And Label Propagation.
Proceedings of the MM '22: The 30th ACM International Conference on Multimedia, Lisboa, Portugal, October 10, 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

Automatic Chinese National Pentatonic Modes Recognition Using Convolutional Neural Network.
Proceedings of the 23rd International Society for Music Information Retrieval Conference, 2022

A New Aerosol Retrieval Algorithm for Sentinel-2 Images Over Urban Surfaces.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

A Novel Fuzzy-Based MOPSO Algorithm for Identifying Clusters From Complex Networks.
Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022

OSNR Monitoring Using Mean and Variance Values of Signal Amplitude Combination with DNNs.
Proceedings of the 14th IEEE International Conference on Advanced Infocomm Technology, 2022

Z-LaVI: Zero-Shot Language Solver Fueled by Visual Imagination.
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Visualizing the Obvious: A Concreteness-based Ensemble Model for Noun Property Prediction.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

A Drug Safety Traceability Model Based on Big Data.
Proceedings of the BDE 2022: 4th International Conference on Big Data Engineering, Beijing, China, May 26, 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 Case Study on Fiber Optic Interferometric Seafloor Seismic and Tsunami Monitoring System in South China Sea.
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

Imaging Analysis and Immunophenotype Study of Head Neck and Chest Extramedullary Plasmacytoma.
J. Medical Imaging Health Informatics, 2021

Analysis of Clinical Features, Pathological Features and Misdiagnosis of Pulmonary Lymphoma.
J. Medical Imaging Health Informatics, 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


SM-NET: Reconstructing 3D Structured Mesh Models from Single Real-World Image.
Proceedings of the 29th Pacific Conference on Computer Graphics and Applications, 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

Generative Adversarial Networks: A Literature Review.
KSII Trans. Internet Inf. Syst., 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

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

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

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

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

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

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

2008
Adaptive frame rate up-conversion based on motion classification.
Signal Process., 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

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
Formalizing Shared Memory Consistency Models for Program Analysis.
PhD thesis, 2005

UMM: an operational memory model specification framework with integrated model checking capability.
Concurr. Pract. Exp., 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


  Loading...