Wenyuan Wu

Mengying Xie

Appl. Intell., July, 2025

Improving the Transferability of Adversarial Examples by Inverse Knowledge Distillation.

[BibT_eX]

[DOI]

CoRR, February, 2025

Structural analysis by generalized embedding method for integro-differential-algebraic equations.

[BibT_eX]

[DOI]

Comput. Appl. Math., February, 2025

Homomorphic Matrix Operations Under Bicyclic Encoding.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2025

Deep fuzzy physics-informed neural networks for forward and inverse PDE problems.

[BibT_eX]

[DOI]

Neural Networks, 2025

Privacy-Preserving Two-Party RBF Kernel SVM Training Based on Neat and Accurate Secure Exponentiation.

[BibT_eX]

[DOI]

Qingyu Mo

IACR Cryptol. ePrint Arch., 2025

MTDTSN: Multi-scale Spatiotemporal Networks with Exogenous Factors for Bus Passenger Flow Prediction.

[BibT_eX]

[DOI]

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2025

Secure Multicenter Medical Model Inference from Homomorphic Encryption.

[BibT_eX]

[DOI]

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2025

Persuasive Prompting: The Case of Digital Health.

[BibT_eX]

[DOI]

Mateusz Dolata

Alexandre de Spindler

Gerhard Schwabe

Proceedings of the 33rd European Conference on Information Systems, 2025

vARtebrae: Medical Simulation for Spinal Mobilisation Employing Mechanical Metamaterials and Extended Reality.

[BibT_eX]

[DOI]

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2025

2024

On the Probability of Generating a Primitive Matrix.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., August, 2024

scMMT: a multi-use deep learning approach for cell annotation, protein prediction and embedding in single-cell RNA-seq data.

[BibT_eX]

[DOI]

Briefings Bioinform., January, 2024

Fast, Lagre Scale Dimensionality Reduction Schemes Based on CKKS.

[BibT_eX]

[DOI]

Haonan Yuan

IACR Cryptol. ePrint Arch., 2024

Optimized Privacy-Preserving Clustering with Fully Homomorphic Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Secure Transformer-Based Neural Network Inference for Protein Sequence Classification.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems.

[BibT_eX]

[DOI]

CoRR, 2024

PR-NET: Leveraging Pathway Refined Network Structures for Prostate Cancer Patient Condition Prediction.

[BibT_eX]

[DOI]

CoRR, 2024

Secure Relative Detection in (Forensic) Database with Homomorphic Encryption.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics Research and Applications - 20th International Symposium, 2024

Privacy-Preserving Logistic Regression Model Training Scheme by Homomorphic Encryption.

[BibT_eX]

[DOI]

Weijie Miao

Proceedings of the Information and Communications Security - 26th International Conference, 2024

PROMISE: A Framework for Model-Driven Stateful Prompt Orchestration.

[BibT_eX]

[DOI]

Alexandre de Spindler

Gerhard Schwabe

Proceedings of the Intelligent Information Systems, 2024

Lattice-Based, More General Anti-leakage Model and Its Application in Decentralization.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 29th Australasian Conference, 2024

2023

Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., January, 2023

Non-interactive privacy-preserving naive Bayes classifier using homomorphic encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

General Index Reduction by Embedding for Integro-differential-algebraic Equations.

[BibT_eX]

[DOI]

Wenqiang Yang

CoRR, 2023

Similarity Measurement and Analysis of Triangular Cloud Models.

[BibT_eX]

[DOI]

Changlin Xu

Proceedings of the Fuzzy Systems and Data Mining IX, 2023

2022

A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., June, 2022

Key lifting : a more efficient weak MKFHE scheme in the plain model against rational adversary.

[BibT_eX]

[DOI]

Xiaokang Dai

IACR Cryptol. ePrint Arch., 2022

Index Reduction for Degenerated Differential-Algebraic Equations by Embedding.

[BibT_eX]

[DOI]

Wenqiang Yang

CoRR, 2022

2021

Foreword to the Special Topic.

[BibT_eX]

[DOI]

Liyong Shen

J. Syst. Sci. Complex., 2021

Privacy-preserving and Communication-efficient Convolutional Neural Network Prediction Framework in Mobile Cloud Computing.

[BibT_eX]

[DOI]

Yanan Bai

KSII Trans. Internet Inf. Syst., 2021

Efficient secret key reusing attribute-based encryption from lattices.

[BibT_eX]

[DOI]

Xinyuan Qian

IACR Cryptol. ePrint Arch., 2021

cuSCNN: A Secure and Batch-Processing Framework for Privacy-Preserving Convolutional Neural Network Prediction on GPU.

[BibT_eX]

[DOI]

Frontiers Comput. Neurosci., 2021

Implicit Method for Degenerated Differential-Algebraic Equations and Applications.

[BibT_eX]

[DOI]

Wenqiang Yang

CoRR, 2021

On the probability of generating a primitive matrix.

[BibT_eX]

[DOI]

CoRR, 2021

A Companion Curve Tracing Method for Rank-deficient Polynomial Systems.

[BibT_eX]

[DOI]

CoRR, 2021

An Efficient Ciphertext Policy Attribute-Based Encryption Scheme from Lattices and Its Implementation.

[BibT_eX]

[DOI]

Xinyuan Qian

Proceedings of the 6th IEEE International Conference on Computer and Communication Systems, 2021

2020

On ranking functions for single-path linear-constraint loops.

[BibT_eX]

[DOI]

Yi Li

Int. J. Softw. Tools Technol. Transf., 2020

Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2020

Numerical roadmap of smooth bounded real algebraic surface.

[BibT_eX]

[DOI]

Comput. Aided Geom. Des., 2020

seIMC: A GSW-Based Secure and Efficient Integer Matrix Computation Scheme With Implementation.

[BibT_eX]

[DOI]

IEEE Access, 2020

2019

The PSLQ algorithm for empirical data.

[BibT_eX]

[DOI]

Math. Comput., 2019

基于MLWE的低膨胀率加密算法 (Low Expansion Rate Encryption Algorithm Based on MLWE).

[BibT_eX]

[DOI]

Chengsong Ke

计算机科学, 2019

基于双区块链的基站动环信息监控系统 (Double Blockchain Based Station Dynamic Loop Information Monitoring System).

[BibT_eX]

[DOI]

计算机科学, 2019

2018

基于k阶秩函数的线性赋值循环程序的终止性分析 (Termination Analysis of Linear Assignment Loop Program Based on k-ranking Functions).

[BibT_eX]

[DOI]

Yi Li

Tianxun Cai

计算机科学, 2018

Integer Matrices Homomorphic Encryption and Its application.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

Early Ending in Homotopy Path-Tracking for Real Roots.

[BibT_eX]

[DOI]

Yu Wang

Bican Xia

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Computing real witness points of positive dimensional polynomial systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

计算最终线性秩函数的新方法 (New Method for Computing Eventual Linear Ranking Functions).

[BibT_eX]

[DOI]

Guang Zhu

Yi Li

计算机科学, 2017

The Numerical Factorization of Polynomials.

[BibT_eX]

[DOI]

Zhonggang Zeng

Found. Comput. Math., 2017

Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

A Special Homotopy Continuation Method for a Class of Polynomial Systems.

[BibT_eX]

[DOI]

Yu Wang

Bican Xia

Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

Full Rank Representation of Real Algebraic Sets and Applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

2016

A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Homomorphically Encrypted Arithmetic Operations Over the Integer Ring.

[BibT_eX]

[DOI]

Proceedings of the Information Security Practice and Experience, 2016

Sparse Non-negative Matrix Factorization with Generalized Kullback-Leibler Divergence.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2016, 2016

A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

Exact bivariate polynomial factorization over ℚ by approximation of roots.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2015

Facial Reduction and SDP Methods for Systems of Polynomial Equations.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Structural index reduction algorithms for differential algebraic equations via fixed-point iteration.

[BibT_eX]

[DOI]

CoRR, 2014

Geometric involutive bases for positive dimensional polynomial ideals and SDP methods.

[BibT_eX]

[DOI]

Fei Wang

CoRR, 2014

A Short Note on Zero-error Computation for Algebraic Numbers by IPSLQ.

[BibT_eX]

[DOI]

CoRR, 2014

Numerical and geometric properties of a method for finding points on real solution components.

[BibT_eX]

[DOI]

Proceedings of the Symbolic-Numeric Computation 2014, 2014

A note on geometric involutive bases for positive dimensional polynomial ideals and SDP methods.

[BibT_eX]

[DOI]

Fei Wang

Proceedings of the Symbolic-Numeric Computation 2014, 2014

Two variants of HJLS-PSLQ with applications.

[BibT_eX]

[DOI]

Proceedings of the Symbolic-Numeric Computation 2014, 2014

Combination of hard and soft classification method based on adaptive threshold.

[BibT_eX]

[DOI]

Tangao Hu

Lijuan Liu

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

2013

Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Structural Analysis of High-Index DAE for Process simulation.

[BibT_eX]

[DOI]

Int. J. Model. Simul. Sci. Comput., 2013

Numerical method for real root isolation of semi-algebraic system and its applications

[BibT_eX]

[DOI]

CoRR, 2013

Incremental PSLQ with application to algebraic number reconstruction.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2013

Finding points on real solution components and applications to differential polynomial systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Termination of Two Variable Homogeneous Linear Loops.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Business Intelligence and Financial Engineering, 2013

2012

An efficient algorithm to factorize sparse bivariate polynomials over the rationals.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2012

Real Root Isolation of Polynomial Equations Based on Hybrid Computation.

[BibT_eX]

[DOI]

Fei Shen

Bican Xia

Proceedings of the Computer Mathematics, 2012

2010

Exact Bivariate Polynomial Factorization in Q by Approximation of Roots

[BibT_eX]

[DOI]

Jingzhong Zhang

CoRR, 2010

2009

Implicit Riquier Bases for PDAE and their semi-discretizations.

[BibT_eX]

[DOI]

Silvana Ilie

J. Symb. Comput., 2009

2007

On approximate triangular decompositions in dimension zero.

[BibT_eX]

[DOI]

J. Symb. Comput., 2007

Symbolic-numeric computation of implicit riquier bases for PDE.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

A Novel Blind Channel Estimation for CP-Based MIMO OFDM Systems.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2007

2006

Application of numerical algebraic geometry and numerical linear algebra to PDE.

[BibT_eX]

[DOI]