Xinxin Liu

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

Known people with the same name:

Bibliography

2023
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS.
Formal Aspects Comput., December, 2023

Individuality-enhanced and multi-granularity consistency-preserving graph neural network for semi-supervised node classification.
Appl. Intell., November, 2023

Learning From Interaction-Enhanced Scene Graph for Pedestrian Collision Risk Assessment.
IEEE Trans. Intell. Veh., September, 2023

Balanced-to-Single-Ended Filtering Power Divider Using Multilayer Mixed-Mode Magic-T.
IEEE Trans. Circuits Syst. II Express Briefs, August, 2023

Balanced Filtering Phase Shifters With Low Phase Deviation and High Common-Mode Suppression.
IEEE Trans. Circuits Syst. I Regul. Pap., July, 2023

Vehicle Artificial Intelligence System Based on Intelligent Image Analysis and 5G Network.
Int. J. Wirel. Inf. Networks, March, 2023

A new model of Notch signalling: Control of Notch receptor cis-inhibition via Notch ligand dimers.
PLoS Comput. Biol., January, 2023

Design and Implementation of Smooth Renewable Power in Cloud Data Centers.
IEEE Trans. Cloud Comput., 2023

A physics-based compact model of shield gate trench MOSFET.
Microelectron. J., 2023

Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity.
CoRR, 2023

PalmKeyNet: Palm Template Protection Based on Multi-modal Shared Key.
Proceedings of the Pattern Recognition and Computer Vision - 6th Chinese Conference, 2023

A Robust Sparse Nonnegative Matrix Factorization with Low Rank representation for clustering.
Proceedings of the 4th International Conference on Machine Learning and Computer Application, 2023

2022
Construction of an IoT customer operation analysis system based on big data analysis and human-centered artificial intelligence for web 4.0.
J. Intell. Syst., June, 2022

Design of Embedded Remote Software Update System Based on FPGA+ARM.
J. Interconnect. Networks, 2022

Optimization-based hexapod robot locomotion generation.
Ind. Robot, 2022

Modeling and implementation of a novel amphibious robot with multimode motion.
Ind. Robot, 2022

Towards a novel machine learning approach to support augmentative and alternative communication (AAC).
Int. J. Speech Technol., 2022

A Unified Positive-Unlabeled Learning Framework for Document-Level Relation Extraction with Different Levels of Labeling.
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021
Time Slot Detection-Based M -ary Tree Anticollision Identification Protocol for RFID Tags in the Internet of Things.
Wirel. Commun. Mob. Comput., 2021

Robust hierarchical feature selection driven by data and knowledge.
Inf. Sci., 2021

Image style transfer for autonomous multi-robot systems.
Inf. Sci., 2021

A novel series-parallel hybrid robot for climbing transmission tower.
Ind. Robot, 2021

Robust hierarchical feature selection with a capped ℓ2-norm.
Neurocomputing, 2021

Change detection in remote sensing images based on manifold regularized joint non-negative matrix factorization.
Earth Sci. Informatics, 2021

ICycleGAN: Single image dehazing based on iterative dehazing model and CycleGAN.
Comput. Vis. Image Underst., 2021

HNU-HMiF: A UAV-Borne Dataset for Hyperspectral and Multispectral Image Fusion.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

A Comparative Study of Noise Sensitivity on Different Hyperspectral Classification Methods.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

A Novel Integer Frequency Offset Estimation Method for OFDM Based on Preamble.
Proceedings of the 7th IEEE International Conference on Network Intelligence and Digital Content, 2021

WPFBot: A Novel and Highly Mobile Amphibious Robot.
Proceedings of the Intelligent Robotics and Applications - 14th International Conference, 2021

Write-Optimized and Consistent RDMA-based Non-Volatile Main Memory Systems.
Proceedings of the 39th IEEE International Conference on Computer Design, 2021

Consistent RDMA-Friendly Hashing on Remote Persistent Memory.
Proceedings of the 39th IEEE International Conference on Computer Design, 2021

A Compact Dual-Band Circularly Polarized RFID Reader/WLAN Antenna.
Proceedings of the ICCBN 2021: 9th International Conference on Communications and Broadband Networking, Shanghai, China, 25 February, 2021, 2021

Ceramic Anti-Counterfeiting Technology Identification Method Based on Blockchain.
Proceedings of the 8th IEEE International Conference on Cyber Security and Cloud Computing, 2021

2020
Detection and Speed Estimation of Moving Target Based on Phase Compensation and Coherent Accumulation Using Fractional Fourier Transform.
Sensors, 2020

Robust Null Broadening Beamforming Based on Covariance Matrix Reconstruction via Virtual Interference Sources.
Sensors, 2020

Particle swarm optimization with adaptive learning strategy.
Knowl. Based Syst., 2020

Kernel-blending connection approximated by a neural network for image classification.
Comput. Vis. Media, 2020

Learning Expectation of Label Distribution for Facial Age and Attractiveness Estimation.
CoRR, 2020

Smart Batch-Processing Protocol for RFID Multiple Tag Identification.
IEEE Access, 2020

Keyword Searchable Encryption Scheme based on Blockchain in Cloud Environment.
Proceedings of the 3rd International Conference on Smart BlockChain, 2020

AI Enhanced Blockchain (II).
Proceedings of the 3rd International Conference on Smart BlockChain, 2020

AI Enhanced Blockchain (I).
Proceedings of the 3rd International Conference on Smart BlockChain, 2020

A linkable Ring Signature Electronic Cash Scheme Based on Blockchain.
Proceedings of the 3rd International Conference on Smart BlockChain, 2020

Robust Adaptive Beamforming of LFM Signals Based on Interference-plus-Noise Covariance Matrix Reconstruction in Fractional Fourier Domain.
Proceedings of the 11th IEEE Sensor Array and Multichannel Signal Processing Workshop, 2020

Research on Stylization Algorithm of Ceramic Decorative Pattern Based on Ceramic Cloud Design Service Platform.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2020

Intelligent Algorithm for Ceramic Decorative Pattern Style Transfer Based on CycleGAN.
Proceedings of the 7th IEEE International Conference on Cyber Security and Cloud Computing, 2020

Intelligent generation algorithm of ceramic decorative pattern.
Proceedings of the 6th IEEE International Conference on Big Data Security on Cloud, 2020

Effects of Occupational Stressors on Depressive Symptoms: Longitudinal Study Among Medical Services and Welfare Workers.
Proceedings of the Advances in Physical, Social & Occupational Ergonomics, 2020

2019
纹理细节保持的图像插值算法 (Texture Detail Preserving Image Interpolation Algorithm).
计算机科学, 2019

Key Genes Involved in Diabetic Nephropathy Investigated by Microarray Analysis.
J. Comput. Biol., 2019

Write-Optimized and Consistent RDMA-based NVM Systems.
CoRR, 2019

Towards Real-Time Action Recognition on Mobile Devices Using Deep Models.
CoRR, 2019

Rolling Force Prediction of Hot Rolling Based on GA-MELM.
Complex., 2019

Hierarchical feature extraction based on discriminant analysis.
Appl. Intell., 2019

Random Search Enhancement of Incremental Regularized Multiple Hidden Layers ELM.
IEEE Access, 2019

An Authentication Scheme in VANETs Based on Group Signature.
Proceedings of the Intelligent Computing Theories and Application, 2019

Smoother: A Smooth Renewable Power-Aware Middleware.
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

2018
A Representation Method and Optimization of Network Flow Based on Coalgebra.
Proceedings of the 2018 IEEE SmartWorld, 2018

An AlN Based SAW Device for Detection of Impurities in Water Based on Measuring the Signal-to-Noise Ratio.
Proceedings of the 13th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2018

A Novel Electrode Design in DETF with Reducing Multimode Effect.
Proceedings of the 13th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2018

Optimization of pMUTs Driving Waveform Based on Phase Delay to Reduce Attenuation Vibration.
Proceedings of the 13th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2018

A High-Performance Square pMUT for Range-finder.
Proceedings of the 13th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2018

High Quality Factor PMUTs with Optimized Thermo-Elastic Dissipation through Etching Holes.
Proceedings of the 13th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2018

HERMES: Pedestrian Real-Time Offline Positioning and Moving Trajectory Tracking System Based on MEMS Sensors.
Proceedings of the 14th International Conference on Mobile Ad-Hoc and Sensor Networks, 2018

3D Indoor Localization Mechanism Based on Multiple Sensors.
Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2018

Adaptive Mutation PSO Based SVM Model for Credit Scoring.
Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018

2017
Dynamic joint construction and optimal operation strategy of multi-period reverse logistics network: a case study of Shanghai apparel E-commerce enterprises.
J. Intell. Manuf., 2017

Negative Results on Decidability and Small Model Property of Process Equations.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Distance and Cooperation Based Broadcast in Wireless Ad Hoc Networks.
Proceedings of the Testbeds and Research Infrastructures for the Development of Networks and Communities, 2016

2015
A close face-distance warning system for straightend neck prevention.
Proceedings of the IECON 2015, 2015

Joint Design Model of Multi-period Reverse Logistics Network with the Consideration of Carbon Emissions for E-Commerce Enterprises.
Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

2013
UWB-based Receiver Initiated MAC Protocol with Packet Aggregation and Selective Retransmission.
J. Comput., 2013

2012
Specification in PDL with Recursion.
Proceedings of the NASA Formal Methods, 2012

2011
Algorithm and strategy research of generating test paper for large scale online examination.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

2009
Gene expression data classification based on non-negative matrix factorization.
Proceedings of the International Joint Conference on Neural Networks, 2009

2007
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.
Proceedings of the Theoretical Aspects of Computing, 2007

Expansive-Bisimulation for Context-Free Processes.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2005
Distributed Policy Specification and Enforcement in Service-Oriented Business Systems.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Simulation Verification and Validation by Dynamic Policy Enforcement.
Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004
Towards a Theory of Bisimulation for the Higher-Order Process Calculi.
J. Comput. Sci. Technol., 2004

2002
Bisimulation for Higher-Order Pi-calculus.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

1998
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1995
A Modal Logic for Message Passing Processes.
Acta Informatica, 1995

1994
Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract).
Proceedings of the CONCUR '94, 1994

1993
A Modal Logic for Message passing Processes (Extended Abstract).
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1991
Compositionality through an Operational Semantics of Contexts.
J. Log. Comput., 1991

1990
Equation Solving Using Modal Transition Systems
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990


  Loading...