49 results on '"Tran, Hoang Viet"'
Search Results
2. ATIU: An Automated Method for Testing Embedded C/C++ Projects Containing Incomplete Units
3. A real noise resistance for anti-tampering quick response code.
4. Laparoscopic treatment of appendiceal peritonitis without drainage in children—A prospective randomized clinical trial
5. Deep learning based-approach for quick response code verification.
6. Pre-Trained Language Model-Based Deep Learning for Sentiment Classification of Vietnamese Feedback.
7. Short-term effects of hurricanes on nitrate-nitrogen runoff loading: a case study of Hurricane Ida using E3SM land model (v2.1)
8. Simultaneous Free Flap Breast Reconstruction Combined With Contralateral Mastopexy or Breast Reduction
9. An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects
10. Content based Lecture Video Retrieval using Textual Queries: to be Smart University.
11. Short-term effects of hurricanes on nitrate-nitrogen runoff loading: a case study of Hurricane Ida using E3SM land model (v2.1).
12. Simulation-Based Inference for Parameter Estimation of Complex Watershed Simulators.
13. Recurrent early-stage squamous cell carcinoma cervical cancer presenting with isolated ovary metastasis: a rare case report
14. On Implementation of the Assumption Generation Method for Component-Based Software Verification
15. An Efficient Method for Automated Generating Models of Component-Based Software
16. Planar phased array based on stripline-fed antenna with a parallel feeding network
17. Art: An Efficient Framework for Automated Regression Testing for C/C++ Projects
18. Multi-Criteria Decision Model for the Selection of Suppliers in the Textile Industry.
19. A Pairwise Based Method for Automated Test Data Generation for $\mathrm{C}/\mathrm{C}++$ Projects
20. A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects
21. An Automated Program Repair Method Using Atomic Replacement for Java Programs
22. Using simulation-based inference to determine the parameters of an integrated hydrologic model: a case study from the upper Colorado River basin
23. An Automated Stub Method for Unit Testing C/C++ Projects
24. An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects
25. An Automated Test Data Generation Method for Templates of C++ Projects
26. Optimal Site Selection for a Solar Power Plant in the Mekong Delta Region of Vietnam
27. Improved Heuristics for Online Node and Link Mapping Problem in Network Virtualization
28. A Real-Time Rendering Technique for View-Dependent Stereoscopy Based on Face Tracking
29. Development of cloud-free MODIS datasets for hydrologic applications
30. A Text Classification for Vietnamese Feedback via PhoBERT-Based Deep Learning
31. On Implementation of the Assumption Generation Method for Component-Based Software Verification
32. An Efficient Method for Automated Regression Test Data Generation for C/C++ Projects
33. A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software
34. Using simulation-based inference to determine the parameters of an integrated hydrologic model: a case study from the upper Colorado River basin.
35. An Adaptive Hierarchical Sliding Mode Controller for Autonomous Underwater Vehicles
36. Adaptive Dynamic Programming based Control Scheme for Uncertain Two-Wheel Robots
37. An Efficient Approach for SIMO Systems using Adaptive Fuzzy Hierarchical Sliding Mode Control
38. Optimal Site Selection for a Solar Power Plant in the Mekong Delta Region of Vietnam
39. Multi-Criteria Decision Model for the Selection of Suppliers in the Textile Industry
40. Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values
41. A framework for assume-guarantee regression verification of evolving software
42. An UWB horrizontally polarized omnidiectional antenna array with a series power divider
43. On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems.
44. On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification
45. On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems
46. On Locally Strongest Assumption Generation Method for Component-Based Software Verification
47. On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software
48. FACTORS AFFECTING SEGMENT REPORTING OF LISTED COMPANIES: EVIDENCE FROM LISTED COMPANIES ON HOSE
49. The rational asset pricing model in Vietnam
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.