Seguir
Zhengfeng Yang
Zhengfeng Yang
E-mail confirmado em sei.ecnu.edu.cn - Página inicial
Título
Citado por
Citado por
Ano
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
1272006
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
1092004
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
1062012
Structured low rank approximation of a Sylvester matrix
E Kaltofen, Z Yang, L Zhi
Symbolic-numeric computation, 69-83, 2007
1062007
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
882008
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
812008
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
582017
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
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
442019
On exact and approximate interpolation of sparse rational functions
E Kaltofen, Z Yang
Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007
422007
Computing approximate GCD of multivariate polynomials by structure total least norm
L Zhi, Z Yang
MM research preprints 23, 388-401, 2004
362004
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
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
312022
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
282016
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
242023
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
232012
Blind image deconvolution via fast approximate GCD
Z Li, Z Yang, L Zhi
Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010
232010
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
222016
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
Q Zhao, X Chen, Y Zhang, M Sha, Z Yang, W Lin, E Tang, Q Chen, X Li
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
212021
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20