SG-APSIC1011: Factors associated with improved knowledge of COVID-19 prevention and control following a training of healthcare workers in Vietnam
Nguyen, Hoang, Dien, Tran Minh, Thu, Le Thi Anh, Ngai, Le Kien, Thuy, Pham Thanh, Loan, Do Minh, Tuan, Ta Anh, Hai, Do Thien, Phuc, Phan Huu, Luyen, Tran Huu, Tuan, Huynh Minh, Thuy, Le Thi Thanh, Ha, Nguyen Thi Thanh, Thinh, Bui Nghia, Huy, Do Quoc, Pollack, Todd M
Published in Antimicrobial stewardship & healthcare epidemiology : ASHE (01.02.2023)
Published in Antimicrobial stewardship & healthcare epidemiology : ASHE (01.02.2023)
Get full text
Journal Article
Wave Environment Decomposition with Adaptive Tri-Objective Particle Swarm Optimization for Mobile Robot Path Planning
Cam Giang, Tran Thi, Dung, Nguyen Tien, Thanh Binh, Huynh Thi, Huy, Do Quoc, Thoa, Mac Thi
Published in 2022 IEEE Symposium Series on Computational Intelligence (SSCI) (04.12.2022)
Published in 2022 IEEE Symposium Series on Computational Intelligence (SSCI) (04.12.2022)
Get full text
Conference Proceeding
General behavior and motion model for automated lane change
Tehrani, Hossein, Huy Do, Quoc, Egawa, Masumi, Muto, Kenji, Yoneda, Keisuke, Mita, Seiichi
Published in 2015 IEEE Intelligent Vehicles Symposium (IV) (01.06.2015)
Published in 2015 IEEE Intelligent Vehicles Symposium (IV) (01.06.2015)
Get full text
Conference Proceeding
Bézier curve based path planning for autonomous vehicle in urban environment
Han, Long, Yashiro, Hironari, Tehrani Nik Nejad, Hossein, Do, Quoc Huy, Mita, Seiichi
Published in 2010 IEEE Intelligent Vehicles Symposium (01.06.2010)
Published in 2010 IEEE Intelligent Vehicles Symposium (01.06.2010)
Get full text
Conference Proceeding
Safe path planning among multi obstacles
Do, Quoc Huy, Han, Long, Tehrani Nik Nejad, Hossein, Mita, Seiichi
Published in 2011 IEEE Intelligent Vehicles Symposium (IV) (01.06.2011)
Published in 2011 IEEE Intelligent Vehicles Symposium (IV) (01.06.2011)
Get full text
Conference Proceeding
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
Do, Quoc Huy, Hosseyni, Pedram, Kusters, Ralf, Schmitz, Guido, Wenzler, Nils, Wurtele, Tim
Published in 2022 IEEE Symposium on Security and Privacy (SP) (01.05.2022)
Published in 2022 IEEE Symposium on Security and Privacy (SP) (01.05.2022)
Get full text
Conference Proceeding
Unified path planner for parking an autonomous vehicle based on RRT
Long Han, Quoc Huy Do, Mita, Seiichi
Published in 2011 IEEE International Conference on Robotics and Automation (01.05.2011)
Published in 2011 IEEE International Conference on Robotics and Automation (01.05.2011)
Get full text
Conference Proceeding
Real time localization, path planning and motion control for autonomous parking in cluttered environment with narrow passages
Tehrani Nick Nejad, Hossein, Do, Quoc Huy, Sakai, Ryohei, Han, Long, Mita, Seiichi
Published in 2012 15th International IEEE Conference on Intelligent Transportation Systems (01.09.2012)
Published in 2012 15th International IEEE Conference on Intelligent Transportation Systems (01.09.2012)
Get full text
Conference Proceeding
Narrow passage path planning using fast marching method and support vector machine
Do, Quoc Huy, Mita, Seiichi, Yoneda, Keisuke
Published in 2014 IEEE Intelligent Vehicles Symposium Proceedings (01.06.2014)
Published in 2014 IEEE Intelligent Vehicles Symposium Proceedings (01.06.2014)
Get full text
Conference Proceeding
Extending CREST with Multiple SMT Solvers and Real Arithmetic
Do Quoc Huy, Truong Anh Hoang, Nguyen Ngoc Binh
Published in 2010 Second International Conference on Knowledge and Systems Engineering (01.10.2010)
Published in 2010 Second International Conference on Knowledge and Systems Engineering (01.10.2010)
Get full text
Conference Proceeding
Vehicle path planning with maximizing safe margin for driving using Lagrange multipliers
Do, Quoc Huy, Nejad, Hossein Tehrani Nick, Yoneda, Keisuke, Ryohei, Sakai, Mita, Seiichi
Published in 2013 IEEE Intelligent Vehicles Symposium (IV) (01.06.2013)
Published in 2013 IEEE Intelligent Vehicles Symposium (IV) (01.06.2013)
Get full text
Conference Proceeding
text^: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Bhargavan, Karthikeyan, Bichhawat, Abhishek, Do, Quoc Huy, Hosseyni, Pedram, Kusters, Ralf, Schmitz, Guido, Wurtele, Tim
Published in 2021 IEEE European Symposium on Security and Privacy (EuroS&P) (01.09.2021)
Published in 2021 IEEE European Symposium on Security and Privacy (EuroS&P) (01.09.2021)
Get full text
Conference Proceeding
Human Drivers Based Active-Passive Model for Automated Lane Change
Quoc Huy Do, Tehrani, Hossein, Mita, Seiichi, Egawa, Masumi, Muto, Kenji, Yoneda, Keisuke
Published in IEEE intelligent transportation systems magazine (01.01.2017)
Published in IEEE intelligent transportation systems magazine (01.01.2017)
Get full text
Magazine Article
A Tutorial-Style Introduction to DY⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf {DY}^\star $$\end{document}
Bhargavan, Karthikeyan, Bichhawat, Abhishek, Do, Quoc Huy, Hosseyni, Pedram, Küsters, Ralf, Schmitz, Guido, Würtele, Tim
Published in Protocols, Strands, and Logic (19.11.2021)
Published in Protocols, Strands, and Logic (19.11.2021)
Get full text
Book Chapter