Ying Jiang
According to our database1,
Ying Jiang
authored at least 90 papers
between 1995 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2020
Consistent KdV expansion method and its applications to the KP equation.
J. Computational Applied Mathematics, 2020
2019
A Higher-Order Polynomial Method for SPECT Reconstruction.
IEEE Trans. Med. Imaging, 2019
Deeply fusing multimodal features in hypergraph.
J. Visual Communication and Image Representation, 2019
Towards Combining Model Checking and Proof Checking.
Comput. J., 2019
Users' Comment Mining for App Software's Quality-in-Use.
Proceedings of the Computer Supported Cooperative Work and Social Computing, 2019
2018
Discovering Graphical Visual Features for Abnormal Semantic Event Detection.
Multimedia Tools Appl., 2018
A Fully Discrete Fast Fourier-Galerkin Method Solving a Boundary Integral Equation for the Biharmonic Equation.
J. Sci. Comput., 2018
Secondary segmentation extracted algorithm based on image enhancement for intelligent identification systems.
IJDSN, 2018
Collective Behavior Aware Collaborative Caching for Mobile Edge Computing.
Proceedings of the Smart Computing and Communication - Third International Conference, 2018
Perceived Innovativeness and Privacy Risk of Smart Toys in Brazil and Argentina.
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.
Proceedings of the Social Computing and Social Media. Technologies and Analytics, 2018
2017
Psychologically inspired visual information storage and retrieval modeling for multiclass image classification.
Neurocomputing, 2017
VMDV: A 3D Visualization Tool for Modeling, Demonstration, and Verification.
CoRR, 2017
Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach.
CoRR, 2017
A fast discrete spectral method for stochastic partial differential equations.
Adv. Comput. Math., 2017
VMDV: A 3D visualization tool for modeling, demonstration, and verification.
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.
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.
Proceedings of the Data Science, 2017
LanguageTool based University rumor detection on Sina Weibo.
Proceedings of the 2017 IEEE International Conference on Big Data and Smart Computing, 2017
2016
Analysis of a repairable k-out-of-n: G system with repairman's multiple delayed vacations.
Int. J. Comput. Math., 2016
A Fully Abstract Semantics for Value-passing CCS for Trees.
CoRR, 2016
SCTL: Towards Combining Model Checking and Proof Checking.
CoRR, 2016
Model Checking : A Co-algebraic Approach.
CoRR, 2016
Decidability, Introduction Rules and Automata.
CoRR, 2016
Improved Prediction of Dengue Outbreak Using the Delay Permutation Entropy.
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.
Proceedings of the Social Computing, 2016
Understanding the Critical Needs of Older People: An Aging Perspective.
Proceedings of the Human Aspects of IT for the Aged Population. Design for Aging, 2016
2015
Computation and profit analysis of a.
RAIRO - Operations Research, 2015
Computation and transient analysis of a k-out-of-n: G repairable system with general repair times.
Operational Research, 2015
Modelling and Analysis of Network Security - an Algebraic Approach.
CoRR, 2015
Modelling and Analysis Network Security - a PVCCS approach.
CoRR, 2015
Value-passing CCS for Trees: A Theory for Concurrent Systems.
CoRR, 2015
Modelling and Analysis of Network Security - a Probabilistic Value-passing CCS Approach.
Proceedings of the Information and Communications Security - 17th International Conference, 2015
Developing a Framework for Effective Communication with Older People.
Proceedings of the Human Aspects of IT for the Aged Population. Design for Aging, 2015
A Completion Method to Decide Reachability in Rewrite Systems.
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.
SIAM J. Numerical Analysis, 2014
Fast computation of the multidimensional discrete Fourier transform and discrete backward Fourier transform on sparse grids.
Math. Comput., 2014
Orthogonal polynomial expansions on sparse grids.
J. Complexity, 2014
Cut-elimination and the decidability of reachability in alternating pushdown systems.
CoRR, 2014
Approximate entropy: a new evaluation approach of mental workload under multitask conditions.
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.
JCP, 2013
CCS for Trees.
CoRR, 2013
A low-hardware consumption FPGA based configurable LDPC decoder.
Proceedings of the International Symposium on Intelligent Signal Processing and Communication Systems, 2013
2012
Research on the Grey Assessment System.
JCP, 2012
ESPRIT with Multiple-Angle Subarray Beamforming.
EURASIP J. Adv. Sig. Proc., 2012
2011
Hierarchical entropy analysis for biological signals.
J. Computational Applied Mathematics, 2011
B-spline quasi-interpolation on sparse grids.
J. Complexity, 2011
On the expressive power of schemes.
Inf. Comput., 2011
A Fast Algorithm for Computing Sample Entropy.
Advances in Adaptive Data Analysis, 2011
Model Checking: A Coalgebraic Approach.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Selective-Request Round-Robin Scheduling for VOQ Packet Switch Architecture.
Proceedings of IEEE International Conference on Communications, 2011
2010
Fast Fourier-Galerkin methods for solving singular boundary integral equations: Numerical integration and precondition.
J. Computational Applied Mathematics, 2010
Fast discrete algorithms for sparse Fourier expansions of high dimensional functions.
J. Complexity, 2010
The Support of Interface Specifications in Black-box Components Testing.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010
The Testing Method for Interface Customized Component.
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010
A Control-Flow Complexity Measure of Web Service Composition Process.
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010
2009
Performance Bound Approximation for Bearing Estimation with Bias Correction.
IEEE Signal Process. Lett., 2009
Enumerating Proofs of Positive Formulae.
Comput. J., 2009
Multiparameter regularization for Volterra kernel identification via multiscale collocation methods.
Adv. Comput. Math., 2009
Test-Data Generation for Web Services Based on Contract Mutation.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009
Knowware: The Third Star after Hardware and Software.
Proceedings of the Knowledge Science, 2009
A Protege Plug-In for Modeling Dimensional Ontology.
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.
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.
International Journal of Software Engineering and Knowledge Engineering, 2008
Tree Process Calculus.
Electr. Notes Theor. Comput. Sci., 2008
Making sense of group interaction in an ambient intelligent environment for physical play.
Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, 2008
DOWL: A Domain-Independent Semantic Web Application Platform.
Proceedings of the 2008 International Conference on Semantic Web & Web Services, 2008
Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory.
Proceedings of the Scalable Uncertainty Management, Second International Conference, 2008
Towards Ontology-Based Chinese E-Government Digital Archives Knowledge Management.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2008
OntoLTCn: A Chinese Text Oriented Semi-auto Ontology Knowledge Discovery Tool.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2007
Weakly distributive domains (II).
Frontiers Comput. Sci. China, 2007
Weakly Distributive Domains.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007
Efficient Topological Reconstruction for Medical Model Based on Mesh Simplification.
Proceedings of the Life System Modeling and Simulation, International Conference, 2007
2006
Eigenvariables, bracketing and the decidability of positive minimal predicate logic.
Theor. Comput. Sci., 2006
Application Layer Definition and Analyses of Controller Area Network Bus for Wire Harness Assembly Machine
CoRR, 2006
An Integrated Adaptive Management System for Cluster-based Web Services.
Proceedings of the 2006 IEEE International Conference on Cluster Computing, 2006
2005
SPD - a web-based secreted protein database.
Nucleic Acids Research, 2005
On an open problem of Amadio and Curien: The finite antichain condition.
Inf. Comput., 2005
An automated wafer-handling system based on the integrated circuit equipments.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2005
A Formal Method for Modeling and Managing Large-Scale Distributed Applications.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005
Contract-Based Mutation for Testing Components.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005
Adaptive Management of a Utility Computing.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005
Spare Instance: an Adaptive Mechanism for Managing Cluster Applications.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005
2004
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition.
Proceedings of the Theoretical Aspects of Computing, 2004
2003
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic.
Electr. Notes Theor. Comput. Sci., 2003
Self Adjustable CHOKe: An Active Queue Management Algorithm For Congestion Control and Fair Bandwidth Allocation.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003
2002
AppManager: A Powerful Service-Based Application Management System for Clusters.
Proceedings of the 31st International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), 2002
A 2-stage matching scheduler for a VOQ packet switch architecture.
Proceedings of the IEEE International Conference on Communications, 2002
1995
Universal Retractions on DI-Domains
Inf. Comput., June, 1995
Consistency of a λ-theory withn-tuples and easy term.
Arch. Math. Log., 1995