Authors: Trương Anh, Hoàng; Co-Author: 2009 (Nghiên cứu ngữ nghĩa chuẩn của các biểu đồ tuần tự trong UML. Phương pháp phân tích và đọc định dạng XMI của các biểu đồ UML để trích ra các thông tin ngữ nghĩa và biến chúng thành các máy trạng thái xác định để kiểm chứng được thuận tiện. Nghiên cứu lập trình hướng khía cạnh và cài đặt chức năng kiểm chứng tự động các dãy lời gọi xem chúng có tuân thủ đặc tả hay không. Kết quả nghiên cứu là Thư viện đọc file XMI chứa các biểu đồ tuần tự theo chuẩn UML 2.0. Chương trình phát hiện các lỗi không tuân thủ đặc tả biểu đồ tuần tự UML 2.0 của chương trình. Cài đặt phương pháp kiểm tra tự động dựa trên AOP
Đề xuất cách phân tích đặc tả biểu đồ tuần tự UML 2 và chuyển chúng thành máy trạng thái để kiểm chứng tính đúng đắn của chương trình tuân thủ đặc tả đó dựa trên lập trình hướng khía cạnh. Phương pháp đã được cài đặt dưới dạng công cụ phần mềm, có thể dùng để kiểm chứng ở mức dòng lệch. Đề xuất lý thuyết đã được công bố trong một bài báo khoa học tại hội thảo quốc tế (ACOMP2010))
Authors: Phạm Bích, Hiên; Advisor: Phạm Văn, Toản; Nguyễn Đình, Quyến; Co-Author: 2012 (Chương 1. Trình bày tổng quan về chất thải chăn nuôi và biện pháp xử lý; vi sinh vật tham gia quá trình xử lý chất thải hữu cơ. Chương 2. Vật liệu và phương pháp: các mẫu thu thập và chủng vi sinh vật, hóa chất; phương pháp: phân loại vi sinh vật; xác định hoạt tính sinh học của vi sinh vật; xác định hiện trạng chất thải chăn nuôi; thử nghiệm và đánh giá hiệu quả của chế phẩm. Chương 3. Kết quả và thảo luận: thực trạng chất thải tại một số cơ sở chăn nuôi; nghiên cứu vi sinh vật để xử lý chất thải chăn nuôi; nghiên cứu sản xuất chế phẩn vi sinh vật để xử lý chất thải chăn nuôi ứng dụng chế phẩm vi sinh vật xử lý chất thải chăn nuôi hiệu quả sử dụng phân hữu cơ từ chất thải chăn nuôi đối với cây trồng)
Authors: Trịnh Ngọc, Thạch; Advisor: Nguyễn Thị Mỹ, Lộc; Trần Văn, Tùng; Co-Author: 2008 (Nghiên cứu cơ sở lý luận và kinh nghiệm thực tiễn quản lý đào tạo nguồn nhân lực chất lượng cao trong giáo dục đại học ở một số quốc gia như ở Đông Á, Hoa Kỳ và Trung Quốc. Khảo sát và phân tích các mô hình quản lý đào tạo nguồn nhân lực chất lượng cao trong một số trường đại học trọng điểm ở nước ta, trong đó nghiên cứu sâu về mô hình ở ĐHQGHN trên các phương diện: sự hình thành, hoạt động, kết quả và đánh giá của sinh viên và cán bộ quản lý về mô hình quản lý đào tạo nguồn nhân lực chất lượng cao đang thực hiện. Điều tra, khảo sát thực tế kiểm chứng giải pháp và kiến nghị hoàn thiện mô hình quản lý đào tạo nguồn nhân lực chất lượng cao trong các trường đại học ở nước ta)
Authors: Hoàng Tự, Lập; Advisor: Trần Kông, Tấu; Văn Huy, Hải; Co-Author: 1996 (Trên cơ sở tìm hiểu ý nghĩa kinh tế và qúa trình sản xuất cây thuốc lá vàng ở Việt nam, tác giả tiến hành tìm hiểu đặc điểm sinh học, kỹ thuật canh tác và các đặc điểm sinh trưởng của cây thuốc lá vàng, nghiên cứu đặc điểm khí hậu, đất đai và các loại phân bón ảnh hưởng đến năng suất chất lượng cây thuốc lá vàng ở một số vùng chuyên trồng thuốc lá vàng như Cao Bằng, Lạng sơn, Hà bắc...Kết quả tác giả đã xác định được một số vùng đất ở phía bắc Việt nam và loại phân bón phù hợp với cây thuốc lá vàng cho năng suất chất lượng cao, ngoài ra tác giả còn đưa ra một số đề nghị nhằm nâng cao hiệu quả kinh tế của cây thuốc lá vàng)
