Ying Jiang

Expert Syst. Appl., 2022

A Super Fast Algorithm for Estimating Sample Entropy.

[BibT_eX]

[DOI]

Weifeng Liu

Entropy, 2022

2021

Visualization Analysis of Knowledge Network Research Based on Mapping Knowledge.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2021

A Hyperbolic Embedding Method for Weighted Networks.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Sci. Eng., 2021

Full Bayesian Before-After Analysis of Safety Effects of Variable Speed Limit System.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2021

β-Delayed γ Emissions of 26P and Its Mirror Asymmetry.

[BibT_eX]

[DOI]

Symmetry, 2021

Equilibrium analysis of marketing strategies in supply chain with marketing efforts induced demand considering free riding.

[BibT_eX]

[DOI]

Hua Ke

Soft Comput., 2021

A fast Fourier-Galerkin method solving boundary integral equations for the Helmholtz equation with exponential convergence.

[BibT_eX]

[DOI]

Bo Wang

Dandan Yu

Numer. Algorithms, 2021

An Adversarial Examples Identification Method for Time Series in Internet-of-Things System.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2021

Anomaly Detection for Nodes Under the Cloud Computing Environment.

[BibT_eX]

[DOI]

Yang Lei

Int. J. Distributed Syst. Technol., 2021

Rogue breathers and rogue lumps on a background of dark line solitons for the Maccari system.

[BibT_eX]

[DOI]

Commun. Nonlinear Sci. Numer. Simul., 2021

CNA2Subpathway: identification of dysregulated subpathway driven by copy number alterations in cancer.

[BibT_eX]

[DOI]

Briefings Bioinform., 2021

Artificial Visual Electronics for Closed-Loop Sensation/Action Systems.

[BibT_eX]

[DOI]

Adv. Intell. Syst., 2021

Measuring accessibility of urban scales: A trip-based interaction potential model.

[BibT_eX]

[DOI]

Mei Liu

Adv. Eng. Informatics, 2021

A software defect detection algorithm based on asymmetric classification evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

Optimization of key and value storage in vector map rendering.

[BibT_eX]

[DOI]

A Heterogeneous Spiking Neural Network for Computationally Efficient Face Recognition.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

"The Canton Canon" Digital Library Based on Knowledge Graph - Taking the Revolutionary Archives of Canton in the Republic of China as an Example.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Educational and Information Technology, 2021

Underdetermined 2D DOA Estimation Based on Bi-directional Parallel Sparse Linear Array with Reduced Mutual Coupling.

[BibT_eX]

[DOI]

Proceedings of the ICDSP 2021: 5th International Conference on Digital Signal Processing, 2021

Corpus Annotation System Based on HanLP Chinese Word Segmentation.

[BibT_eX]

[DOI]

Proceedings of the CONF-CDS 2021: The 2nd International Conference on Computing and Data Science, 2021

HandPainter - 3D Sketching in VR with Hand-based Physical Proxy.

[BibT_eX]

[DOI]

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

CMIVGSD: circRNA-miRNA Interaction Prediction Based on Variational Graph Auto-Encoder and Singular Value Decomposition.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021

An Automatic 3D Scene Generation Pipeline Based on a Single 2D Image.

[BibT_eX]

[DOI]

Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2021

Towards Sustainability: From the "Partial Care" to the "Complete Care".

[BibT_eX]

[DOI]

Huiyi Qu

Proceedings of the Advances in Human Factors and Ergonomics in Healthcare and Medical Devices, 2021

Improving Design of Intelligent Clinic Product Service System: A Case Study.

[BibT_eX]

[DOI]

Wei Ding

Yang Liu

Proceedings of the Advances in Human Factors and Ergonomics in Healthcare and Medical Devices, 2021

2020

A calculus of branching processes.

[BibT_eX]

[DOI]

Thomas Ehrhard

Jean Krivine

Theor. Comput. Sci., 2020

Maintenance Personnel Detection and Analysis Using Mask-RCNN Optimization on Power Grid Monitoring Video.

[BibT_eX]

[DOI]

Neural Process. Lett., 2020

基于用户评论的代码质量识别与分析 (Code Quality Recognition and Analysis Based on User's Comments).

[BibT_eX]

[DOI]

Haiyan Xu

计算机科学, 2020

Consistent KdV expansion method and its applications to the KP equation.

[BibT_eX]

[DOI]

Da-Quan Xian

Xiao-Rong Kang

J. Comput. Appl. Math., 2020

PPPs Policy Entity Network Change and Policy Learning in Mainland China.

[BibT_eX]

[DOI]

Qian Wang

Complex., 2020

Homoclinic breather and rogue wave solutions to Maccari equation.

[BibT_eX]

[DOI]

Da-Quan Xian

Xiao-Rong Kang

Comput. Math. Appl., 2020

PUB-SalNet: A Pre-Trained Unsupervised Self-Aware Backpropagation Network for Biomedical Salient Segmentation.

[BibT_eX]

[DOI]

Algorithms, 2020

A Generalized Modulation Method for Common-Mode Voltage Reduction of Dual-Input Three-Level Inverter.

[BibT_eX]

[DOI]

IEEE Access, 2020

Overview of Applications of the Sensor Technologies for Construction Machinery.

[BibT_eX]

[DOI]

Xiangyu He

IEEE Access, 2020

Home as Experience: The Challenge and Opportunity of Care Home Design.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of IT for the Aged Population. Healthy and Active Aging, 2020

2019

A Higher-Order Polynomial Method for SPECT Reconstruction.

[BibT_eX]

[DOI]

Si Li

IEEE Trans. Medical Imaging, 2019

A fully abstract semantics for value-passing CCS for trees.

[BibT_eX]

[DOI]

Shichao Liu

Thomas Ehrhard

Frontiers Comput. Sci., 2019

Towards Combining Model Checking and Proof Checking.

[BibT_eX]

[DOI]

Comput. J., 2019

Underdetermined Wideband DOA Estimation Based on Proximity Searching DCS-SOMP.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Systems and Informatics, 2019

Users' Comment Mining for App Software's Quality-in-Use.

[BibT_eX]

[DOI]

Tianyuan Hu

Hong Zhao

Proceedings of the Computer Supported Cooperative Work and Social Computing, 2019

2018

A Fully Discrete Fast Fourier-Galerkin Method Solving a Boundary Integral Equation for the Biharmonic Equation.

[BibT_eX]

[DOI]

Bo Wang

J. Sci. Comput., 2018

Secondary segmentation extracted algorithm based on image enhancement for intelligent identification systems.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2018

Collective Behavior Aware Collaborative Caching for Mobile Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the Smart Computing and Communication - Third International Conference, 2018

Perceived Innovativeness and Privacy Risk of Smart Toys in Brazil and Argentina.

[BibT_eX]

[DOI]

Pablo David Villarreal

Mohammed Melaisi

Fernanda Amancio

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Gamification Design Framework for Mobile Health: Designing a Home-Based Self-management Programme for Patients with Chronic Heart Failure.

[BibT_eX]

[DOI]

Hoang D. Nguyen

Øystein Eiring

Danny Chiang Choon Poo

Wenru Wang

Proceedings of the Social Computing and Social Media. Technologies and Analytics, 2018

The Image Preprocessing and Check of Amount for VAT Invoices.

[BibT_eX]

[DOI]

Proceedings of the Communications, Signal Processing, and Systems, 2018

Research on Polarization Modulated QKD Through Overhead Transmission Lines.

[BibT_eX]

[DOI]

Proceedings of the Communications, Signal Processing, and Systems, 2018

Quadratic Segmentation Algorithm Based on Image Enhancement.

[BibT_eX]

[DOI]

Proceedings of the Communications, Signal Processing, and Systems, 2018

An Intelligent Water Regimen Monitoring System.

[BibT_eX]

[DOI]

Proceedings of the Communications, Signal Processing, and Systems, 2018

2017

APP软件的用户评论模式分析方法 (Analytical Method for APP Software's User Comment Patterns).

[BibT_eX]

[DOI]

Meng Ran

计算机科学, 2017

Psychologically inspired visual information storage and retrieval modeling for multiclass image classification.

[BibT_eX]

[DOI]

Yanjiang Wang

Neurocomputing, 2017

VMDV: A 3D Visualization Tool for Modeling, Demonstration, and Verification.

[BibT_eX]

[DOI]

CoRR, 2017

A fast discrete spectral method for stochastic partial differential equations.

[BibT_eX]

[DOI]

Yanzhao Cao

Adv. Comput. Math., 2017

VMDV: A 3D visualization tool for modeling, demonstration, and verification.

[BibT_eX]

[DOI]

Jian Liu

Yanyun Chen

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Modeling and reasoning about wireless networks: A graph-based calculus approach.

[BibT_eX]

[DOI]

Shichao Liu

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Research of Dengue Fever Prediction in San Juan, Puerto Rico Based on a KNN Regression Model.

[BibT_eX]

[DOI]

Guohun Zhu

Ling Lin

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2017 - 18th International Conference, Guilin, China, October 30, 2017

Method of Relevance Judgment for App Software's User Reviews.

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2017

LanguageTool based University rumor detection on Sina Weibo.

[BibT_eX]

[DOI]

Yujie Liu

Yalin Yang

Proceedings of the 2017 IEEE International Conference on Big Data and Smart Computing, 2017

An Exploration of Designer-to-User Relationship from a Care-Orientated Perspective.

[BibT_eX]

[DOI]

Timothy Joseph Jachna

Proceedings of the Advances in Design for Inclusion, 2017

2016

基于曲波变换和余弦测度的人脸识别方法 (Face Recognition Method Based on Curvelet Transform and Cosine Rules).

[BibT_eX]

[DOI]

计算机科学, 2016

Analysis of a repairable k-out-of-n: G system with repairman's multiple delayed vacations.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2016

SCTL: Towards Combining Model Checking and Proof Checking.

[BibT_eX]

[DOI]

CoRR, 2016

Model Checking : A Co-algebraic Approach.

[BibT_eX]

[DOI]

Jianhua Gao

CoRR, 2016

Modelling and Analysis of Network Security - An Algebraic Approach.

[BibT_eX]

[DOI]

Qian Zhang

Peng Wu

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Value-Passing CCS for Trees: A Theory for Concurrent Systems.

[BibT_eX]

[DOI]

Shichao Liu

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Improved Prediction of Dengue Outbreak Using the Delay Permutation Entropy.

[BibT_eX]

[DOI]

Guohun Zhu

Jane Hunter

Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

Method of Consistency Judgment for App Software's User Comments.

[BibT_eX]

[DOI]

Proceedings of the Social Computing, 2016

Understanding the Critical Needs of Older People: An Aging Perspective.

[BibT_eX]

[DOI]

Timothy Joseph Jachna

Proceedings of the Human Aspects of IT for the Aged Population. Design for Aging, 2016

2015

Computation and profit analysis of a.

[BibT_eX]

[DOI]

RAIRO Oper. Res., 2015

Computation and transient analysis of a k-out-of-n: G repairable system with general repair times.

[BibT_eX]

[DOI]

Oper. Res., 2015

多用户视频流分布式最小失真调度算法 (Multi-user Video Stream Distributed Scheme with Minimal Distortion Scheduling).

[BibT_eX]

[DOI]

计算机科学, 2015

一种基于源代码分析的程序变化影响路径集的生成方法 (Generation Method of Path Set Affected by Program Change Based on Source Code Analysis).

[BibT_eX]

[DOI]

Dandan Guo

计算机科学, 2015

Modelling and Analysis Network Security - a PVCCS approach.

[BibT_eX]

[DOI]

Qian Zhang

Liping Ding

CoRR, 2015

Decidability, Introduction Rules and Automata.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Modelling and Analysis of Network Security - a Probabilistic Value-passing CCS Approach.

[BibT_eX]

[DOI]

Qian Zhang

Liping Ding

Proceedings of the Information and Communications Security - 17th International Conference, 2015

Developing a Framework for Effective Communication with Older People.

[BibT_eX]

[DOI]

Shu Yuan

Proceedings of the Human Aspects of IT for the Aged Population. Design for Aging, 2015

A Completion Method to Decide Reachability in Rewrite Systems.

[BibT_eX]

[DOI]

Guillaume Burel

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

A Fast Fourier-Galerkin Method Solving a Boundary Integral Equation for the Biharmonic Equation.

[BibT_eX]

[DOI]

Bo Wang

SIAM J. Numer. Anal., 2014

Fast computation of the multidimensional discrete Fourier transform and discrete backward Fourier transform on sparse grids.

[BibT_eX]

[DOI]

Math. Comput., 2014

Orthogonal polynomial expansions on sparse grids.

[BibT_eX]

[DOI]

Yanzhao Cao

J. Complex., 2014

Cut-elimination and the decidability of reachability in alternating pushdown systems.

[BibT_eX]

[DOI]

CoRR, 2014

Approximate entropy: a new evaluation approach of mental workload under multitask conditions.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Digital Image Processing, 2014

2013

A Fuzzy Comprehensive Assessment System of Dam Failure Risk Based on Cloud Model.

[BibT_eX]

[DOI]

Qiuwen Zhang

J. Comput., 2013

CCS for Trees.

[BibT_eX]

[DOI]

Thomas Ehrhard

CoRR, 2013

A low-hardware consumption FPGA based configurable LDPC decoder.

[BibT_eX]

[DOI]

Lijun Zhang

Proceedings of the International Symposium on Intelligent Signal Processing and Communication Systems, 2013

2012

Research on the Grey Assessment System.

[BibT_eX]

[DOI]

Qiuwen Zhang

J. Comput., 2012

ESPRIT with Multiple-Angle Subarray Beamforming.

[BibT_eX]

[DOI]

Wen Xu

Huiquan Zhang

EURASIP J. Adv. Signal Process., 2012

2011

Hierarchical entropy analysis for biological signals.

[BibT_eX]

[DOI]

Chung-Kang Peng

J. Comput. Appl. Math., 2011

B-spline quasi-interpolation on sparse grids.

[BibT_eX]

[DOI]

J. Complex., 2011

On the expressive power of schemes.

[BibT_eX]

[DOI]

Inf. Comput., 2011

A Fast Algorithm for Computing Sample Entropy.

[BibT_eX]

[DOI]

Dong Mao

Adv. Data Sci. Adapt. Anal., 2011

Model Checking: A Coalgebraic Approach.

[BibT_eX]

[DOI]

Jianhua Gao

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Selective-Request Round-Robin Scheduling for VOQ Packet Switch Architecture.

[BibT_eX]

[DOI]

Dong Lin

Mounir Hamdi

Proceedings of IEEE International Conference on Communications, 2011

2010

Fast Fourier-Galerkin methods for solving singular boundary integral equations: Numerical integration and precondition.

[BibT_eX]

[DOI]

J. Comput. Appl. Math., 2010

Fast discrete algorithms for sparse Fourier expansions of high dimensional functions.

[BibT_eX]

[DOI]

J. Complex., 2010

The Support of Interface Specifications in Black-box Components Testing.

[BibT_eX]

[DOI]

Ying-Na Li

Xiaodong Fu

Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

The Testing Method for Interface Customized Component.

[BibT_eX]

[DOI]

Ying-Na Li

Hai-Wang Zhang

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

A Control-Flow Complexity Measure of Web Service Composition Process.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009

Performance Bound Approximation for Bearing Estimation with Bias Correction.

[BibT_eX]

[DOI]

Wen Xu

Qing Chen

IEEE Signal Process. Lett., 2009

Enumerating Proofs of Positive Formulae.

[BibT_eX]

[DOI]

Comput. J., 2009

Multiparameter regularization for Volterra kernel identification via multiscale collocation methods.

[BibT_eX]

[DOI]

Marty Brenner

Adv. Comput. Math., 2009

Test-Data Generation for Web Services Based on Contract Mutation.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Knowware: The Third Star after Hardware and Software.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2009

A Protege Plug-In for Modeling Dimensional Ontology.

[BibT_eX]

[DOI]

Siwei Yu

Proceedings of the 9th International Conference on Hybrid Intelligent Systems (HIS 2009), 2009

Knowledge Representation of Chinese Genealogical Record of VIPs in KMT and CPC.

[BibT_eX]

[DOI]

Siwei Yu

Proceedings of the 9th International Conference on Hybrid Intelligent Systems (HIS 2009), 2009

2008

An Approach to Testing Black-Box Components Using Contract-Based Mutation.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2008

Tree Process Calculus.

[BibT_eX]

[DOI]

Mingren Chai

Nan Qu

Electron. Notes Theor. Comput. Sci., 2008

Making sense of group interaction in an ambient intelligent environment for physical play.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, 2008

DOWL: A Domain-Independent Semantic Web Application Platform.

[BibT_eX]

Jin Gao

Proceedings of the 2008 International Conference on Semantic Web & Web Services, 2008

Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management, Second International Conference, 2008

Towards Ontology-Based Chinese E-Government Digital Archives Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2008

OntoLTCn: A Chinese Text Oriented Semi-auto Ontology Knowledge Discovery Tool.

[BibT_eX]

[DOI]

Haoyi Xiong

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Weakly distributive domains (II).

[BibT_eX]

[DOI]

Guo-Qiang Zhang

Frontiers Comput. Sci. China, 2007

Weakly Distributive Domains.

[BibT_eX]

[DOI]

Guo-Qiang Zhang

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Efficient Topological Reconstruction for Medical Model Based on Mesh Simplification.

[BibT_eX]

[DOI]

Proceedings of the Life System Modeling and Simulation, International Conference, 2007

2006

Eigenvariables, bracketing and the decidability of positive minimal predicate logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

An Integrated Adaptive Management System for Cluster-based Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Cluster Computing, 2006

Application Layer Definition and Analyses of Controller Area Network Bus for Wire Harness Assembly Machine.

[BibT_eX]

[DOI]

Hui Guo