- Nghiên cứu phát triển một số sản phẩm tính toán khắp nơi và di động- Các báo cáo đề tài nhánh 1
- Nghiên cứu hoàn thiện công nghệ sản xuất chế phẩm sinh học xử lý đáy ao nuôi trồng thủy sản (BIOF) từ nguồn phân thải chăn nuôi tại tỉnh Hải Dương
- Nghiênc cứu cơ sở xác định chu kỳ kinh doanh rừng trồng bạch đàn mô hom làm nguyên liệu giấy
- Xây dựng mô hình ứng dụng chế phẩm vi sinh vật Probiotic bổ sung vào thức ăn chăn nuôi gà; Ứng dụng chế phẩm EM phun khử mùi chuồng trại chăn nuôi lợn; Ứng dụng chế phẩm Compost maker xử lý phế phụ phẩm (rơm rạ phân chuồng) thành mùn hữu cơ nhằm giảm…
- Nghiên cứu ứng dụng kỹ thuật nuôi trồng và chế biến nấm linh chi tại Vĩnh Long
- Thực trạng và giải pháp nâng cao chất lượng hoạt động giám sát của Hội đồng nhân dân tỉnh Bình Phước
- Nghiên cứu so sánh tiến hóa trầm tích giai đoạn Holocene của châu thổ sông Hồng và châu thổ sông Trường Giang đề xuất giải pháp bảo vệ và khai thác dải ven biển châu thổ sông Hồng
- Nghiên cứu để cập nhật chi tiết hóa bộ số liệu cơ bản về triều nước dâng dọc bờ biển từ Quảng Ninh đến Quảng Nam phục vụ tính toán thiết kế củng cố nâng cấp đê biển
- Tin học hóa quản lý Nhà nước của chính quyền cấp tỉnh và cấp huyện
- Tác động báo chí đối với công chúng của tỉnh Đồng Nai
- Kết quả thực hiện nhiệm vụ
101.01-2020.06
2022-52-1348/NS-KQNC
Các phương pháp mới giải một số lớp bài toán bao hàm thức có cấu trúc
Viện Toán học và Khoa học ứng dụng Thăng Long
Bộ Giáo dục và Đào tạo
Quốc gia
TS. Đặng Văn Hiếu
GS.TSKH. Lê Dũng Mưu; TS. Lê Xuân Thanh; TS. Trần Việt Anh; TS. Trần Đình Quốc; PGS.TS. Nguyễn Văn Quý; TS. Lê Hải Yến
Toán học ứng dụng
01/10/2020
01/10/2022
2022
Hà Nội
15 tr. + Phụ lục
Bài toán bao hàm thức có cấu trúc;Thuật toán; Hiệu năng tính toán
24 Lý Thường Kiệt, Hà Nội
21578