cases in proof | kes dalam pembuktian; kasus dalam pembuktian | Matematik | Tiada | Tiada |
zero knowledge proof | bukti pengetahuan sifat | Teknologi Maklumat | Keselamatan Komputer | Kaedah pembuktian interaktif yang digunakan oleh suatu pihak untuk membuktikan kepada pihak lain bahawa suatu pernyataan matematik atau kriptografi adalah benar. Pembuktian ini dilakukan berdasarkan pengetahuan am, tanpa mendedahkan maklumat tambahan yang boleh digunakan untuk melakukan pembuktian. |
state delta verification system | sistem penentusahan delta keadaan | Teknologi Maklumat | Keselamatan Komputer | Sistem yang dihasilkan oleh Aerospace Corporation untuk menulis dan menyemak kerja pembuktian kesesuaian dalam pengkomputeran. Sistem ini boleh digunakan untuk menyemak pembuktian kesesuaian yang dilaksanakan dalam atur cara ADA dan mengesahkan pembuktian kesesuaian perisian terkompil ADA dan perkakasan. |
testimonial format | format pembuktian | Komunikasi | Korporat | Kaedah pengiklanan yang menggunakan cara pengendorsan melalui seorang jurucakap. Jurucakap yang dipilih adalah terdiri daripada individu yang mempunyai kedudukan yang dihormati dan dikenali serta pakar bidang yang pernah melalui pengalaman menggunakan barangan atau perkhidmatan yang diiklankan. Contohnya, seorang ketua jurutera pasukan pelumbaan Formula 1 yang memberikan kenyataan pembuktian tentang kehebatan minyak pelincir yang diiklankan. Kekuatan pendekatan iklan ini bergantung pada kewibawaan jurucakap yang memberikan bukti sebenar keistimewaan sesuatu barangan. |
proving | pembuktian | Kejuruteraan | Tiada | Tiada |
credentialing | pembuktian kelayakan | Perubatan | Tiada | Kaedah dalam profesion kejururawatan untuk menentukan kecekapan kejururawatan. |
load proof | pembuktian beban | Kejuruteraan | Tiada | Tiada |
area proving | pembuktian kawasan | Kejuruteraan | Tiada | Tiada |
scientific testimonial | pembuktian saintifik | Komunikasi | Korporat | Kaedah pengiklanan yang memaparkan ciri saintifik kandungan barangan yang diiklankan. Melalui kaedah ini, perincian mengenai unsur pembuatan dan kandungan barangan dipaparkan. Cara pemaparannya adalah pelbagai, seperti menggunakan pendekatan tiga dimensi (3D), menyenaraikan bahan yang digunakan, dan menonjolkan aspek saintifik sesuatu kandungan barangan yang diiklankan. Proses pemaparannya kadangkala menggunakan jurucakap yang terdiri daripada pakar dalam sesuatu bidang yang berkaitan dengan barangan. Contohnya, seorang doktor veterinar menyebut tentang khasiat sesuatu jenis vitamin yang terdapat dalam barangan makanan binatang yang diiklankan. Tujuan pengguna kaedah ini adalah untuk meyakinkan khalayak yang berpendidikan tinggi kerana dalam banyak keadaan, pendekatan secara emosi atau format endorsan tidak cukup berkesan untuk meyakinkan mereka. |
verification of cost | pembuktian kos | Pentadbiran | Tiada | Tiada |