Follow
Zhengfeng Yang
Zhengfeng Yang
Verified email at sei.ecnu.edu.cn - Homepage
Title
Cited by
Cited by
Year
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials
E Kaltofen, Z Yang, L Zhi
Proceedings of the 2006 international symposium on Symbolic and algebraic …, 2006
1252006
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
EL Kaltofen, B Li, Z Yang, L Zhi
Journal of Symbolic Computation 47 (1), 1-15, 2012
1072012
Approximate factorization of multivariate polynomials via differential equations
S Gao, E Kaltofen, J May, Z Yang, L Zhi
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
1072004
Structured low rank approximation of a Sylvester matrix
E Kaltofen, Z Yang, L Zhi
Symbolic-numeric computation, 69-83, 2007
1022007
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
E Kaltofen, B Li, Z Yang, L Zhi
Proceedings of the twenty-first international symposium on Symbolic and …, 2008
872008
Approximate factorization of multivariate polynomials using singular value decomposition
E Kaltofen, JP May, Z Yang, L Zhi
Journal of Symbolic Computation 43 (5), 359-376, 2008
792008
Fast low rank approximation of a Sylvester matrix by structured total least norm
B Li, Z Yang, L Zhi
J. JSSAC (Japan Society for Symbolic and Algebraic Computation) 11 (3), 4, 2005
562005
Probabilistic safety verification of stochastic hybrid systems using barrier certificates
C Huang, X Chen, W Lin, Z Yang, X Li
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
542017
On exact and approximate interpolation of sparse rational functions
E Kaltofen, Z Yang
Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007
432007
Robustness verification of classification deep neural networks via linear programming
W Lin, Z Yang, X Chen, Q Zhao, X Li, Z Liu, J He
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019
392019
Computing approximate GCD of multivariate polynomials by structure total least norm
L Zhi, Z Yang
MM Research Preprint 23, 388-401, 2004
352004
Exact safety verification of hybrid systems based on bilinear SOS representation
Z Yang, W Lin, M Wu
ACM Transactions on Embedded Computing Systems (TECS) 14 (1), 1-19, 2015
342015
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
E Kaltofen, Z Yang, L Zhi
Proceedings of the 2007 international workshop on Symbolic-numeric …, 2007
302007
A linear programming relaxation based approach for generating barrier certificates of hybrid systems
Z Yang, C Huang, X Chen, W Lin, Z Liu
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
272016
Efficient and accurate quantized image super-resolution on mobile NPUs, mobile AI & AIM 2022 challenge: report
A Ignatov, R Timofte, M Denna, A Younes, G Gankhuyag, J Huh, MK Kim, ...
European Conference on Computer Vision, 92-129, 2022
242022
Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation
EL Kaltofen, W Lee, Z Yang
Proceedings of the 2011 International Workshop on Symbolic-Numeric …, 2012
242012
Blind image deconvolution via fast approximate GCD
Z Li, Z Yang, L Zhi
Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010
242010
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
X Zeng, W Lin, Z Yang, X Chen, L Wang
Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016
232016
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
L Shen, M Wu, Z Yang, Z Zeng
Journal of Systems Science and Complexity 26, 291-301, 2013
202013
Efficient deep models for real-time 4k image super-resolution. NTIRE 2023 benchmark and report
MV Conde, E Zamfir, R Timofte, D Motilla, C Liu, Z Zhang, Y Peng, Y Lin, ...
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023
192023
The system can't perform the operation now. Try again later.
Articles 1–20