Theo dơi
Van-Hau Nguyen
Van-Hau Nguyen
Hung Yen University of Technology and Education
Email được xác minh tại utehy.edu.vn - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
IoT-enabled smart agriculture: architecture, applications, and challenges
VK Quy, NV Hau, DV Anh, NM Quy, NT Ban, S Lanza, G Randazzo, ...
Applied Sciences 12 (7), 3396, 2022
2032022
Smart healthcare IoT applications based on fog computing: architecture, applications and challenges
VK Quy, NV Hau, DV Anh, LA Ngoc
Complex & Intelligent Systems 8 (5), 3805-3815, 2022
952022
Edge computing for iot-enabled smart grid: The future of energy
QN Minh, VH Nguyen, VK Quy, LA Ngoc, A Chehri, G Jeon
Energies 15 (17), 6140, 2022
692022
A short overview on modern parallel sat-solvers
S Hölldobler, N Manthey, VH Nguyen, J Stecklina, P Steinke
Proceedings of the International Conference on Advanced Computer Science and …, 2011
422011
A new method to encode the at-most-one constraint into SAT
VH Nguyen, ST Mai
Proceedings of the 6th International Symposium on Information and …, 2015
322015
Deep learning models for forecasting dengue fever based on climate data in Vietnam
VH Nguyen, TT Tuyet-Hanh, J Mulhall, HV Minh, TQ Duong, NV Chien, ...
PLoS Neglected Tropical Diseases 16 (6), e0010509, 2022
282022
An efficient edge computing management mechanism for sustainable smart cities
QV Khanh, VH Nguyen, QN Minh, AD Van, N Le Anh, A Chehri
Sustainable Computing: Informatics and Systems 38, 100867, 2023
262023
Intelligent healthcare: Integration of emerging technologies and Internet of Things for humanity
VA Dang, Q Vu Khanh, VH Nguyen, T Nguyen, DC Nguyen
Sensors 23 (9), 4200, 2023
182023
Vnds: A vietnamese dataset for summarization
VH Nguyen, TC Nguyen, MT Nguyen, NX Hoai
2019 6th NAFOSTED Conference on Information and Computer Science (NICS), 375-380, 2019
182019
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT
VH Nguyen, MN Velev, P Barahona
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
152013
An Efficient Encoding of the at-most-one Constraint
S Hölldobler, VH Nguyen
Technical Report, KRR 04, TU Dresden, Germany, 2013
142013
Efficient SAT-Encoding of Linear CSP Constraints
P Barahona, S Hoelldobler, VH Nguyen
13rd International Symposium on Artificial Intelligence and Mathematics …, 2014
132014
On SAT-encodings of the at-most-one constraint
S Hölldobler, VH Nguyen
Proceedings of the 12th International Workshop on Constraint Modelling and …, 2013
132013
Advanced machine learning techniques for predicting nha trang shorelines
C Yin, DT Anh, ST Mai, A Le, VH Nguyen, VC Nguyen, NX Tinh, H Tanaka, ...
IEEE access 9, 98132-98149, 2021
122021
Representative encodings to translate finite CSPs into SAT
P Barahona, S Hölldobler, VH Nguyen
Integration of AI and OR Techniques in Constraint Programming: 11th …, 2014
122014
Building a chatbot for supporting the admission of universities
MT Nguyen, M Tran-Tien, AP Viet, HT Vu, VH Nguyen
2021 13th International Conference on Knowledge and Systems Engineering (KSE …, 2021
102021
Modern Parallel SAT-Solvers
S Hölldobler, N Manthey, VH Nguyen, P Steinke, J Stecklina
TR 2011-6, Knowledge Representation and Reasoning, 2011
102011
Edge computing for real-time Internet of Things applications: Future internet revolution
NM Quy, LA Ngoc, NT Ban, NV Hau, VK Quy
Wireless Personal Communications 132 (2), 1423-1452, 2023
92023
Learning to estimate the importance of sentences for multi-document summarization
MT Nguyen, HD Nguyen, VH Nguyen
2018 10th International Conference on Knowledge and Systems Engineering (KSE …, 2018
92018
Van hau nguyen. an efficient encoding of the at-most-one constraint
S Hölldobler
Tech. rep. 2013-04, Technische Universität Dresden, Germany, 2013
92013
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hăy thử lại sau.
Bài viết 1–20