Yuzhen Xie

According to our database, Yuzhen Xie authored at least 31 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Progressive Keypoint Detection With Dense Siamese Network for SAR Image Registration.

Deliang Xiang, Yihao Xu, Jianda Cheng, Yuzhen Xie, Dongdong Guan

IEEE Trans. Aerosp. Electron. Syst., October, 2023

Parallelization of triangular decompositions: Techniques and implementation.

Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie

J. Symb. Comput., 2023

2022

Optical and SAR Image Registration Based on Feature Decoupling Network.

Deliang Xiang, Yuzhen Xie, Jianda Cheng, Yihao Xu, Han Zhang, Yanpeng Zheng

IEEE Trans. Geosci. Remote. Sens., 2022

2020

On the parallelization of triangular decompositions.

Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

On the Parallelization of Triangular Decomposition of Polynomial Systems.

Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie

CoRR, 2019

2016

The basic polynomial algebra subprograms.

Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie

ACM Commun. Comput. Algebra, 2016

Parallel Integer Polynomial Multiplication.

Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie

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

2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.

Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Basic Polynomial Algebra Subprograms.

Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie

ACM Commun. Comput. Algebra, 2014

2011

When does <T> equal sat(T)?

François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie

J. Symb. Comput., 2011

Computing the real solutions of polynomial systems with the RegularChains library in Maple.

Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie

ACM Commun. Comput. Algebra, 2011

2010

Abstract only: SPIRAL-generated modular FFTs.

Lingchuan Meng, Jeremy Johnson, Franz Franchetti, Yevgen Voronenko, Marc Moreno Maza, Yuzhen Xie

ACM Commun. Comput. Algebra, 2010

Cache complexity and multicore implementation for univariate real root isolation.

Changbo Chen, Marc Moreno Maza, Yuzhen Xie

ACM Commun. Comput. Algebra, 2010

Efficient Evaluation of Large Polynomials.

Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie

Proceedings of the Mathematical Software, 2010

Spiral-generated modular FFT algorithms.

Lingchuan Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti, Yuzhen Xie

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Parallel computation of the minimal elements of a poset.

Charles E. Leiserson, Marc Moreno Maza, Liyun Li, Yuzhen Xie

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2009

Balanced dense polynomial multiplication on multi-cores.

Marc Moreno Maza, Yuzhen Xie

ACM Commun. Comput. Algebra, 2009

FFT-Based Dense Polynomial Arithmetic on Multi-cores.

Marc Moreno Maza, Yuzhen Xie

Proceedings of the High Performance Computing Systems and Applications, 2009

2008

On the verification of polynomial system solvers.

Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie

Frontiers Comput. Sci. China, 2008

Automatic variable order selection for polynomial system solving (abstract only).

John P. May, Mark Giesbrecht, Daniel S. Roche, Marc Moreno Maza, Yuzhen Xie

ACM Commun. Comput. Algebra, 2008

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple.

Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie

ACM Commun. Comput. Algebra, 2008

On the representation of constructible sets.

Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie

ACM Commun. Comput. Algebra, 2008

When does (<i>T</i>) equal sat(<i>T</i>)?

François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie

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

2007

Fast algorithms, modular methods, parallel approaches and software engineering for solving polynomial systems symbolically.

Yuzhen Xie

ACM Commun. Comput. Algebra, 2007

Component-level parallelization of triangular decompositions.

Marc Moreno Maza, Yuzhen Xie

Proceedings of the Parallel Symbolic Computation, 2007

Multiprocessed parallelism support in ALDOR on SMPs and multicores.

Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie

Proceedings of the Parallel Symbolic Computation, 2007

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.

Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006

An implementation report for parallel triangular decompositions.

Marc Moreno Maza, Yuzhen Xie

Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006

2005

The RegularChains library in MAPLE.

François Lemaire, Marc Moreno Maza, Yuzhen Xie

SIGSAM Bull., 2005

On the complexity of the D5 principle.

Xavier Dahan, Éric Schost, Marc Moreno Maza, Wenyuan Wu, Yuzhen Xie

SIGSAM Bull., 2005

Lifting techniques for triangular decompositions.

Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie

Proceedings of the Symbolic and Algebraic Computation, 2005