Lê Chí Luận
Tiến sĩ
Trường Đại học Công nghệ Giao thông vận tải
Đơn vị: Khoa Công nghệ thông tin
Quá trình nghiên cứu khoa học
- stars 1. Các đề tài nghiên cứu khoa học đã tham gia
-
TTTên đề tàiNăm hoàn thànhĐề tài cấp
-
1Ứng dụng công nghệ mô phỏng phục vụ giảng dạy các môn học ngành cơ khí trong trường Cao đẳng GTVTVai trò: Chủ nhiệm đề tài2008Cấp Trường
-
2Ứng dụng công nghệ mô phỏng xây dựng một số tình huống dạy lái ô tôVai trò: Chủ nhiệm đề tài2012Cấp Trường
-
3Nghiên cứu xây dựng phần mềm quản lý hệ thống bán vé trực tuyến cho hành khách sử dụng dịch vụ của hãng xe kinh doanh vận tải hành khách.Vai trò: Thành viên chủ chốt2017Cấp Bộ
- stars 2. Các công trình khoa học đã công bố
-
TTTên công trìnhNămNơi công bố
-
1Tăng cường độ chính xác trong việc nhận diện đối tượng trên các thiết bị cạnh thông minhTháng 10 năm 2023Tạp chí an toàn thông tin, Số 2.CS(19) 2023
-
2An Efficient Sliding Window for Improving Edge-Object Detectors2022The 7th Edition of RICE-2022 proceedings will be included in Annals of Computer Science and Information Systems, Poland (ISSN- 2300-5963).
-
3EdgeLabel: A Video Annotation Method for Moving Camera using Edge Devices2021Proceedings of the 2nd International Conference on Human-centered Artificial Intelligence, pp 91-99, 2021.
-
4Real-Time End-to-End 3D Human Pose Prediction on AI Edge Devices2021Intelligent Systems and Networks, Springer pp 248-255, ICISN 2021
-
5A Method for Modelling and Verifying of UML 2.0 Sequence Diagrams using SPIN2019Information security journal, pp. 20(1), 2019
-
6On Implementation of the Assumption Generation Method for Component-Based Software Verification2017Advanced Topics in Intelligent Information and Database Systems. Springer International Publishing, pp. 549-558. 3-5 April 2017, Kanazawa, Japan.
-
7A Framework for Modeling and Modular Verification of Component – Based System Designs2016VNU journal of Computer Science and Communication Engineering, 32(2), 2016
-
8On Improvents of the Model Generation Method from UML 2.0 Sequence Diagram2016Proceedings of the 9th National Conference on Fundamental and Applied Information Technology Research
-
9A Strongest Assumption Generation Method for Component-Based Software Verification2016In Proc. of the 12th IEEE - RIVF International Conference on Computing and Communication Technologies, IEEE Computer Society Press, 2016
-
10An Efficient Method for Automated Generating Models of Component – based Software2014Knowledge and Systems Engineering, Springer International Publishing, volumn 326, pp. 499-511, 2015
- stars 3. Giáo trình, tài liệu đã xuất bản
-
TTTên giáo trình, tài liệuNămNơi xuất bản
-
1Ngôn ngữ lập trình Java2019Nhà xuất bản Khoa học tự nhiên và Công nghệ
-
2Toán rời rạc2019Nhà xuất bản Khoa học tự nhiên và Công nghệ
-
3Ngôn ngữ lập trình C2020Nhà xuất bản Khoa học tự nhiên và Công nghệ
-
4Creative Approaches Towards Development of Computing and Multidisciplinary IT Solutions for Socitety (295-307)2024Wiley (ISBN: 9781394272273 |)
- stars 4. Hướng dẫn sau đại học
-
TTHọc viênTên luận văn, luận ánNăm hoàn thành
-
1Lê Thành ĐoànNghiên cứu phương pháp kiểm thử tự động, ứng dụng kiểm thử cho website thương mại điện tửTrình độ: Thạc sĩ2020
-
2Nguyễn Văn HoànXây dựng công cụ hỗ trợ tìm kiếm và kiểm thử tự động cho biểu thức chính quy trong các dự án mã nguồn C/C++.Trình độ: Thạc sĩ2022
-
3Nguyễn Thị HuyềnTự động phát hiện và sửa lỗi chương trình Java.Trình độ: Thạc sĩ2022
-
4Nguyễn Phan LựcHoàn thiện công tác quản lý chất lượng vận tải hành khách công cộng bằng xe buýt tại tổng công ty vận tải Hà Nội.Trình độ: Thạc sĩ2022
-
5Phạm Chí HiếuNghiên cứu lý thuyết về tọa độ không gian qua hệ trực chuẩn, ứng dụng xây dựng phần mềm kiểm tra, huấn luyện bắn súng bộ binhTrình độ: Thạc sĩ2023