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

Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol

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