Ziming Li

发表

Implementation of Arithmetic Operations With Time-Free Spiking Neural P Systems

Xiangrong Liu, Ziming Li, Juan Liu, 2015, IEEE Transactions on NanoBioscience.

Improved Abramov-Petkovšek's Reduction and Creative Telescoping for Hypergeometric Terms

Ziming Li, Hui Huang, Manuel Kauers, 2015, ACCA.

Mechanical theorem proving in the local theory of surfaces

Ziming Li, Ziming Li, 1995, Annals of Mathematics and Artificial Intelligence.

Lecture Notes on Computer Algebra

Ziming Li, Ziming Li, 2005 .

Computation with hyperexponential functions

Ziming Li, Dabin Zheng, 2005, SIGS.

On the structure of compatible rational functions pdf

Ziming Li, Shaoshi Chen, Ruyong Feng, 2011, ISSAC '11.

Finding roots of unity among quotients of the roots of an integral polynomial

Kazuhiro Yokoyama, Ziming Li, István Nemes, 1995, ISSAC '95.

A uniform solution to integer factorization using time-free spiking neural P system

Xiangrong Liu, Ziming Li, Juan Liu, 2014, Neural Computing and Applications.

Factoring systems of linear PDEs with finite-dimensional solution spaces

Ziming Li, Fritz Schwarz, Serguei P. Tsarev, 2003, J. Symb. Comput..

An additive decomposition in logarithmic towers and beyond

Ziming Li, Jing Guo, Hao Du, 2020, ISSAC.

Parallel telescoping and parameterized Picard-Vessiot theory pdf

Ziming Li, Shaoshi Chen, Michael F. Singer, 2014, ISSAC.

Towards Learning Reward Functions from User Interactions

M. de Rijke, Artem Grotov, Maarten de Rijke, 2017, ICTIR.

A criterion for the similarity of length-two elements in a noncommutative PID

Ziming Li, Huaifu Wang, 2011, J. Syst. Sci. Complex..

The Ore-Sato Theorem and Shift Exponents in the q-Difference Case

Ziming Li, Hao Du, 2019, J. Syst. Sci. Complex..

HVdc Reactor Reduction Method Based on Virtual Reactor Fault Current Limiting Control of MMC

Chao Lu, Ziming Li, Hong Rao, 2020, IEEE Transactions on Industrial Electronics.

Determining Whether a Multivariate Hyperexponential Function is Algebraic

Ziming Li, Dabin Zheng, Ziming Li, 2006, Journal of Systems Science and Complexity.

On the existence of telescopers for mixed hypergeometric terms

Ziming Li, Shaoshi Chen, Ruyong Feng, 2012, J. Symb. Comput..

Apparent Singularities of D-finite Systems pdf

Yi Zhang, Ziming Li, Manuel Kauers, 2017, J. Symb. Comput..

A recursive method for determining the one-dimensional submodules of Laurent-Ore modules pdf

Ziming Li, Michael F. Singer, Dabin Zheng, 2006, ISSAC '06.

Complexity of creative telescoping for bivariate rational functions

Ziming Li, Shaoshi Chen, Alin Bostan, 2010, ISSAC.

Rational-functions telescopers: blending creative telescoping with hermite reduction

Ziming Li, Shaoshi Chen, Alin Bostan, 2010, ACCA.

Application of least square support vector machine for thunderstorm prediction

Ziming Li, Guoqing Qiu, Qin Du, 2010, 2010 8th World Congress on Intelligent Control and Automation.

A subresultant theory for Ore polynomials with applications

Ziming Li, Ziming Li, 1998, ISSAC '98.

Picard--Vessiot extensions for linear functional systems

Ziming Li, Manuel Bronstein, Min Wu, 2005, ISSAC.

Power series solutions of singular (q)-differential equations

Ziming Li, Alin Bostan, Muhammad F. I. Chowdhury, 2012, ISSAC.

Rational Solutions of Riccati-like Partial Differential Equations

Ziming Li, Fritz Schwarz, F. Schwarz, 2001, J. Symb. Comput..

Some remarks on Kähler differentials and ordinary differentials in nonlinear control theory

Ziming Li, Ülle Kotta, Miroslav Halás, 2011, Syst. Control. Lett..

An Additive Decomposition in S-Primitive Towers pdf

Ziming Li, Elaine Wong, Jing Guo, 2020, ArXiv.

Channel-wise attention model-based fire and rating level detection in video

Palaiahnakote Shivakumara, Tong Lu, Ziming Li, 2019, CAAI Trans. Intell. Technol..

A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms

Ziming Li, Manuel Kauers, Shaoshi Chen, 2015, ISSAC.

Numerical investigation of separated plug nozzle flow

Ziming Li, Weilin Zhuge, Yangjun Zhang, 2012 .

A modular algorithm for computing greatest common right divisors of Ore polynomials

Ziming Li, István Nemes, Ziming Li, 1997, ISSAC.

Differential rational normal forms and a reduction algorithm for hyperexponential func

Keith O. Geddes, Ziming Li, Ha Q. Le, 2004, ISSAC '04.

Hyperexponential solutions of finite-rank ideals in orthogonal ore rings

Ziming Li, George Labahn, Ziming Li, 2004, ISSAC '04.

Hermite reduction and creative telescoping for hyperexponential functions

Ziming Li, Shaoshi Chen, Alin Bostan, 2013, ISSAC '13.

Measurement the frequency of weak sinusoidal signal based on the genetic algorithm

Ziming Li, Linze Wang, 2010, 2010 Sixth International Conference on Natural Computation.

An additive decomposition in multiple logarithmic extensions

Ziming Li, Jing Guo, Hao Du, 2019, ACCA.

Guided Dialog Policy Learning without Adversarial Learning in the Loop pdf

Jianfeng Gao, Ziming Li, Sungjin Lee, 2020, EMNLP.

Solving Multidimensional 0-1 Knapsack Problem with Time-Free Tissue P Systems

Ying Ju, Xiangrong Liu, Ziming Li, 2014, J. Appl. Math..

Factoring zero-dimensional ideals of linear partial differential operators

Ziming Li, Fritz Schwarz, Serguei P. Tsarev, 2002, ISSAC '02.

Dialogue Generation: From Imitation Learning to Inverse Reinforcement Learning pdf

M. de Rijke, Maarten de Rijke, Ziming Li, 2018, AAAI.

Lightning prediction method based on class-weighted dual v-support vector machine

Ziming Li, Zhong Wang, Xianlun Tang, 2010, 2010 8th World Congress on Intelligent Control and Automation.

Transforming linear functional systems into fully integrable systems

Ziming Li, Min Wu, Ziming Li, 2012, J. Symb. Comput..

Testing linear dependence of hyperexponential elements

Ziming Li, Dabin Zheng, Min Wu, 2007, ACCA.

MOEA/D for Energy-Aware Scheduling on Heterogeneous Computing Systems

Ziming Li, Xiangxiang Zeng, Yuming Zhao, 2015, BIC-TA.

Evaluations and comparisons of rule-based and machine-learning-based methods to retrieve satellite-based vegetation phenology using MODIS and USA National Phenology Network data

Ziming Li, Yaoming Li, Jing Li, 2020, Int. J. Appl. Earth Obs. Geoinformation.

Simplifying skew fractions modulo differential and difference relations

Ziming Li, Huaifu Wang, Martin Ondera, 2009, ACCA.

Additive Decompositions in Primitive Extensions

Ziming Li, Shaoshi Chen, Hao Du, 2018, ISSAC.

Optimizing Interactive Systems via Data-Driven Objectives

M. de Rijke, Artem Grotov, Ziming Li, 2020, ArXiv.

The Impact of Linkage Methods in Hierarchical Clustering for Active Learning to Rank

M. de Rijke, Maarten de Rijke, Ziming Li, 2017, SIGIR.

Submersive rational difference systems and their accessibility

Ziming Li, Ülle Kotta, Chunming Yuan, 2009, ISSAC '09.

Prediction of pathologic stage in non-small cell lung cancer using machine learning algorithm based on CT image feature analysis

Gang Wang, Ziming Li, Lei Zhu, 2019, BMC Cancer.

Telescopers for differential forms with one parameter pdf

Ziming Li, Shaoshi Chen, Michael F. Singer, 2021, ArXiv.

Telescopers for differential forms with one parameter pdf

Ziming Li, Shaoshi Chen, Michael F. Singer, 2021, Selecta Mathematica.