My Lic

Title:  UML design verification based on model checking techniques Authors:  Kishi, Tomoji Keywords:  UML;Software verification Issue Date:  2007 Publisher:  ĐHCN Abstract:  The advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded software design verification, and also developing a tool to support UML design verification. In my talk, I will explain our approach and tool, then emphasize the necessity of developing modeling techniques for design verification. URI:  http://repository.vnu.edu.vn/handle/VNU_123/14460

Title:  Verifying Specifications with Proof Scores in CafeOBJ Authors:  FUTATSUGI, Kokich Keywords:  CafeOBJ;Proof Scores Issue Date:  2006 Publisher:  ĐHCN Abstract:  Verifying specifications is still one of the most important undeveloped reseach topics in software engineering. It is important because quite a few critical bugs are caused at the level of domains, requirements, and/or designs. It is also important for the cases where no program codes are generated and specifications are analyzed and verified only for justifying models of problems in real world. Formal methods is not the “silver bullet”, but is still expected to improve the practice of constructions/analyses/verifications of domain/requirement/design speci- fications. URI:  http://repository.vnu.edu.vn/handle/VNU_123/14458

Title:  Diffusion behaviour of corrosive solution environments in carbon black filled modified polyethylene linings Authors:  Dinh, Van Chau Kubouchi, Masatoshi Keywords:  modified polyethylene composites;lining;diffusion;chemical degradation Issue Date:  2011 Publisher:  ĐHCN Abstract:  The diffusion behaviour of water and HCl solution at different temperatures and concentrations into a modified polyethylene filled with carbon black used for lining is presented. It has shown the predominant role of nature of environment and carbon black content. In the both environments, an increase of environmental temperature increased the capacity of environmental absorption and the diffusion rate. The lower sorption capacity was observed at 40 and 60 o C while a higher at 80o C in the water. The two-stage diffusion appeared for the case of the corrosive environment at 80o C. An increase of carbon black loading was increased both diffusion rate and saturation values. Diffusion of the environm

Title:  CONSTRUCTION AND DEVELOPMENT MUSIC STREAMING ASSOCIATED REAL-TIME SYNCHRONIZATION MOBILE APPLICATION WITH HIGH INTERACTIVITY ON MULTIPLE PLATFORMS Authors:  Bui, Thanh Son Keywords:  MULTIPLE PLATFORM Issue Date:  2006 Publisher:  ĐHCN

Title:  ANTENNA FOR MIMO SYSTEMS Authors:  Bui, Le Phuong Linh Keywords:  MIMO antennas;Three ports antenna;Antennas for WLAN Issue Date:  2011 Publisher:  ĐHCN URI:  http://repository.vnu.edu.vn/handle/VNU_123/14493

Title:  KHU VỰC HỌC LÀ GÌ? Authors:  Yumio, Sakurai Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11461

Title:  ẢNH HƯỞNG CỦA CHỮ VIẾT TỚI CHIỀU HƯỚNG VÀ SỰ PHÁT TRIỂN VĂN HÓA Ở VIỆT NAM Authors:  Đoàn, Thiện Thuật Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11520

Title:  ĐẶC ĐIỂM XÃ HỘI VÙNG VEN HỒ TÂY TRONG THỜI KỲ ĐỔI MỚI Authors:  Phạm, Thị Thương Thương Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11521

Title:  “QUỐC TẾ HÓA LỊCH SỬ DÂN TỘC” TOÀN CẦU HÓA CẬN ĐẠI SƠ KỲ VÀ LỊCH SỬ VIỆT NAM THẾ KỶ XVII Authors:  Hoàng, Anh Tuấn Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11522

Title:  TỪ THỰC TIỄN VĂN HỌC VIỆT NAM, GÓP THÊM MỘT TIẾNG NÓI PHƯƠNG PHÁP LUẬN VÀO CUỘC THẢO LUẬN QUỐC TẾ VỀ VẤN ĐỀ NHO GIÁO VÀ NỮ QUYỀN Authors:  Trần, Nho Thìn Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11518

Title:  KHU PHỐ CỔ HÀ NỘI NHỮNG ĐỔI THAY QUA TƯ LIỆU ĐỊA CHÍNH (1942-1953) Authors:  Phan, Phương Thảo Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11517

Title:  TỪ THỰC TIỄN VĂN HỌC VIỆT NAM, GÓP THÊM MỘT TIẾNG NÓI PHƯƠNG PHÁP LUẬN VÀO CUỘC THẢO LUẬN QUỐC TẾ VỀ VẤN ĐỀ NHO GIÁO VÀ NỮ QUYỀN Authors:  Trần, Nho Thìn Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11518

Title:  SINH THÁI TỘC NGƯỜI, TRI THỨC BẢN ĐỊA VÀ TRUYỀN THỐNG VĂN HÓA CƯ DÂN LƯU VỰC SÔNG HỒNG Authors:  Ngô, Đức Thịnh Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11519

Title:  ĐẶC ĐIỂM XÃ HỘI VÙNG VEN HỒ TÂY TRONG THỜI KỲ ĐỔI MỚI Authors:  Phạm, Thị Thương Thương Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11521

Title:  ĐẶC ĐIỂM XÃ HỘI VÙNG VEN HỒ TÂY TRONG THỜI KỲ ĐỔI MỚI Authors:  Phạm, Thị Thương Thương Issue Date:  2014 Publisher:  Nhà xuất bản Thế Giới Series/Report no.:  25 năm Việt Nam học theo định hướng liên ngành; URI:  http://repository.vnu.edu.vn/handle/VNU_123/11521

http://repository.vnu.edu.vn/handle/VNU_123/11099 Title:  NGHIÊN CỨU ĐẶC ĐIỂM SINH HỌC VÀ KỸ THUẬT NUÔI TRỒNG NẤM SÒ VUA PLEUROTUS ERYNGII (DC. EX FR.) QUEL. Authors:  Vi Minh Thuận Nguyễn Thị Bích Thùy Trịnh Tam Kiệt Keywords:  Pleurotus (Fr.) P. Kumm;Antromycopsis;Nấm ăn;khả năng thích nghi biên độ nhiệt rộng Issue Date:  2010

http://repository.vnu.edu.vn/handle/VNU_123/11153 Title:  NGHIÊN CỨU ĐA DẠNG CỦA CÁC LOÀI NẤM HƯƠNG LENTINULA EDODES Ở SAPA, LENTINULA CF. LATERITIA Ở LANGBIANG, ĐÀ LẠT VÀ LENTINULA SP. MỚI TÌM THẤY Ở CÁT TIÊN, VIỆT NAM Authors:  Lê Xuân Thám Nguyễn Lê Quốc Hùng Trương Thị Hồng Hoàng Thị Hoan Phạm Ngọc Dương Trương Bình Nguyên Đào Thị Lương

http://repository.vnu.edu.vn/handle/VNU_123/11160 Title:  BƯỚC ĐẦU NGHIÊN CỨU SÀNG LỌC NINGNANMYCIN - MỘT LOẠI KHÁNG SINH DÙNG TRONG BẢO VỆ THỰC VẬT ĐƯỢC SẢN XUẤT TỪ XẠ KHUẨN Authors:  Hoàng Văn Vinh Nguyễn Mạnh Hùng Dương Văn Hợp Keywords:  Ningnanmycin;nucleoside cytosine - peptide - based;Streptomyces noursei var . xichangensis;4- amoniac amide-L-wire amide -4- deoxy-β-D glucopyranosiduronic amide Issue Date:  2010

http://repository.vnu.edu.vn/handle/VNU_123/11161 Title:  PHÂN TÍCH MỐI QUAN HỆ HỌ HÀNG TRÊN CÂY PHẢ HỆ CỦA CÁC CHỦNG VI KHUẨN PHÂN LẬP TỪ RONG SỤN KAPPAPHICUS ALVAREZII Authors:  Đào Thị Lương Hà Thị Hằng Trần Thị Lệ Quyên Dương Văn Hợp Keywords:  Định tên vi khuẩn;Quan hệ phát sinh chủng loại;rRNA 5S, 16S, 23S Issue Date:  2010

http://repository.vnu.edu.vn/handle/VNU_123/11237 Title:  Microorganisms in yeast cakes controlling the quality and taste of traditional fermentation products Authors:  Tran Thi Le Quyen Bui Thi Viet Ha Dao Thi Luong Dinh Thuy Hang Duong Van Hop Keywords:  yeast cake;traditional fermentation;alcohol fermentation Issue Date:  2007-08-15

http://repository.vnu.edu.vn/handle/VNU_123/11276 Title:  NGHIÊN CỨU CÁC CHẤT ỨC CHẾ TRIPXIN (TI) VÀ KIMOTRIPXIN (KI) CỦA HẠT THANH LONG (HYLOCEREUS UNDATUS (Haw.) Britton & Rose) Authors:  Hoàng Thu Hà Phạm Thị Trân Châu Keywords:  Cây thanh long;hạt thanh long;proteinaz;thuốc chữa bệnh Issue Date:  2007 Publisher:  Tạp chí khoa học ĐHQGHN, Khoa học tự nhiên và công nghệ

http://repository.vnu.edu.vn/handle/VNU_123/11309 Title:  Nghiên cứu điều tra các chất ức chế proteinase ở các phần khác nhau của thân và hạt cây tô mộc (Caesalpinia sappan L.) Other Titles:  Investigation of proteinase inhibitors from Caesalpinia sappan L. wood and seeds Authors:  Hoàng Thu Hà Phạm Thị Trân Châu Keywords:  C. sappan;rheumatism;proteinase inhibitors Issue Date:  2008-10-29