( en | de | ru )

 

Disambiguation of "Nguyen, Mai"

Author of the publication

copydeleteadd this publication to your clipboard
Translating Answer-Set Programs into Bit-Vector Logic

, , and . CoRR, (2011)

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.

Nguyen Mai

Nguyen Mai

Janna Mai Nguyen

Nguyen thi Mai

Tuyet Mai Nguyen

 

Other publications of authors with the same name

Uni-REPM: a framework for requirements engineering process assessment., , , and . Requir. Eng., 20 (1): 91-118 (2015)Prediction of pKa Using Machine Learning Methods with Rooted Topological Torsion Fingerprints: Application to Aliphatic Amines., , , , , , , , , and . J. Chem. Inf. Model., 59 (11): 4706-4719 (2019)LAPFormer: A Light and Accurate Polyp Segmentation Transformer., , , , and . CoRR, (2022)Improving Vietnamese POS tagging by integrating a rich feature set and Support Vector Machines., , and . RIVF, page 128-133. IEEE, (2008)XrML - eXtensible rights Markup Language., , , , , and . XML Security, page 71-79. ACM, (2002)Un tour de Manège., , , , , and . SIGGRAPH ASIA (Computer Animation Festival), page 43:1. ACM, (2010)A loss-aware weighting strategy for improving object detection., , , and . GCCE, page 934-937. IEEE, (2022)Improve object detection performance with efficient task-alignment module., , , and . GCCE, page 930-933. IEEE, (2022)Die Einflußfaktoren auf den Bedarf der Bevölkerung an Waren und Dienstleistungen, die Spezifik ihrer Wirkung in der DDR und in der DRV und die sich daraus ergebenden Möglichkeiten der Anwendung der in der Marktforschung der DDR benutzten Methoden und Verfahren in der DRV. NA Leipzig, (1973)Integrated Machine Learning in the Kepler Scientific Workflow System., , , and . ICCS, volume 80 of Procedia Computer Science, page 2443-2448. Elsevier, (2016)