Bell's theorem and quantum realism : reassessment in light of the Schrödinger Paradox

Skema pembagian rahasia menggunakan matriks proyeksi dengan hasil diverifikasi = Verifiable secret sharing scheme using matrix projection

Heuristic search sebagai alternatif pelacakan dan implementasinya dalam prolog untuk aplikasi theorem proving

Proses verifikasi piranti lunak menggunakan lingu dan theorem prover HOL pada studi kasus student entrace test

Penaksiran parameter skala dari distribusi nakagami menggunakan metode bayes = Estimation of scale parameter in nakagami distribution using bayesian method