- LAMP Linkage analysis with multiple processors.
- NICE The network infrastructure for combinatorial exploration.
- AMASS A DNA sequence assembly algorithm.
- DALI A distributed, adaptive, first-order logic theorem prover.
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng | |
---|---|
Số trang | 76 |
Dung lượng | 2,33 MB |
Nội dung
Ngày đăng: 28/10/2020, 22:17
TỪ KHÓA LIÊN QUAN
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN