Analisis algoritma triple-DES untuk penyandian pesan

Pemanfaatan etanol pada mesin gasolin spark ignition dengan menurunkan variasi siklik menggunakan zat aditif oksigenat untuk memperbaiki performa dan emisi = The use of ethanol in gasoline spark ignition engine by reduce cycle variations using oxygenated additives to improve performance and emissions

Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol

Studi awal pemanfaatan HVI untuk hot oil

Uji rasio probabilitas sekuensial untuk menguji bahwa standar deviasi dari distribusi normal tidak melebihi suatu nilai tertentu