( en | de | ru )

 

Disambiguation of "Nguyen, Thanh Son"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Rigorous Floating-Point Predicates.

, , and . SPIN, volume 13255 of Lecture Notes in Computer Science, page 44-60. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thanh-Son Nguyen

Nguyen Thanh

Thanh Nguyen

Thanh Nguyen

Thanh Son Dao

 

Other publications of authors with the same name

Heuristics for Energy-Aware VM Allocation in HPC Clouds., , , and . FDSE, volume 8860 of Lecture Notes in Computer Science, page 248-261. Springer, (2014)Mangrove Mapping and Change Detection in Ca Mau Peninsula, Vietnam, Using Landsat Data and Object-Based Image Analysis., , , , , and . IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 8 (2): 503-510 (2015)A Phenology-Based Classification of Time-Series MODIS Data for Rice Crop Monitoring in Mekong Delta, Vietnam., , , , and . Remote Sensing, 6 (1): 135-156 (2014)An Adaptive Space-Sharing Scheduling Algorithm for PC-Based Clusters., , and . HPSC, page 225-234. Springer, (2006)Balance Algorithm - a New Approach to Solving the Mapping Problem on Heterogeneous Systems., , and . HPSC, page 461-470. Springer, (2003)Design and Development of a Flexible Steel Surface Climbing Inspection Robot., and . CoRR, (2018)Riemannian Optimization on the Symplectic Stiefel Manifold., , , and . SIAM J. Optim., 31 (2): 1546-1575 (2021)Optimization on the symplectic Stiefel manifold: SR decomposition-based retraction and applications., , and . CoRR, (2022)An Agile Bicycle-like Robot for Complex Steel Structure Inspection., , , , , and . ICRA, page 157-163. IEEE, (2022)Similarity Search in Streaming Time Series Based on MP_C Dimensionality Reduction Method., and . ACIIDS (1), volume 7196 of Lecture Notes in Computer Science, page 281-290. Springer, (2012)