-
1
-
2
Modular SMT-Based Verification of Rule-Based Hardware Designs
Published 2022“…This thesis aims to make hardware verification easier by leveraging the rule-level abstraction for verification using SMT-based verification, e.g. bounded and unbounded model checking. …”
Get full text
Thesis -
3
-
4
-
5
-
6
Hubungan amalan kepimpinan servan, keselamatan psikologi dan tingkah laku bersuara dalam kalangan guru sekolah menengah teknik
Published 2021“…Selain itu juga, keselamatan psikologi juga dikaji sebagai penyumbang kepada perhubungan kepimpinan servan pengetua SMT KPM dan tingkah laku bersuara guru-guru SMT KPM. …”
Get full text
Thesis -
7
Pembelajaran Berasaskan Masalah (PBM) melalui penguasaan kemahiran teknikal dan kemahiran generik bagi mata pelajaran Pengajian Kejuruteraan Awam (PKA)
Published 2020“…Responden kajian terdiri daripada guru-guru yang mengajar mata pelajaran Pengajian Kejuruteraan Awam di Sekolah Menengah Teknik (SMT) di seluruh Malaysia seramai 31 orang. Kajian ini meliputi 9 buah sekolah iaitu SMT Kuala Lumpur, SMT Johor Bahru, SMT Tuanku Jaafar, SMT Alor Setar, SMT Melaka, SMT Kuantan, SMT Terengganu, SMT Tuanku Abdul Rahman Putra dan SMT Sejingkat. …”
Get full text
Get full text
Get full text
Thesis -
8
Pembelajaran Berasaskan Masalah (PBM) melalui penguasaan kemahiran teknikal dan kemahiran generik bagi mata pelajaran Pengajian Kejuruteraan Awam (PKA)
Published 2020“…Responden kajian terdiri daripada guru-guru yang mengajar mata pelajaran Pengajian Kejuruteraan Awam di Sekolah Menengah Teknik (SMT) di seluruh Malaysia seramai 31 orang. Kajian ini meliputi 9 buah sekolah iaitu SMT Kuala Lumpur, SMT Johor Bahru, SMT Tuanku Jaafar, SMT Alor Setar, SMT Melaka, SMT Kuantan, SMT Terengganu, SMT Tuanku Abdul Rahman Putra dan SMT Sejingkat. …”
Get full text
Get full text
Get full text
Thesis -
9
-
10
Synthesis of domain specific CNF encoders for bit-vector solvers
Published 2016Get full text
Thesis -
11
Hubungan antara beban tugas dengan keresahan guru sekolah menengah teknik di Johor
Published 2007“…Seramai 277 orang guru telah menjadi responden iaitu SMT Kluang, SMT Kota Tinggi, SMT Muar, SMT Perdagangan Johor Bahru, SMT Pontian, SMT Segamat dan SMT Tanjung Puteri, Johor. …”
Get full text
Get full text
Get full text
Thesis -
12
Hubungan antara beban tugas dengan keresahan guru sekolah menengah teknik di Johor
Published 2007“…Seramai 277 orang guru telah menjadi responden iaitu SMT Kluang, SMT Kota Tinggi, SMT Muar, SMT Perdagangan Johor Bahru, SMT Pontian, SMT Segamat dan SMT Tanjung Puteri, Johor. …”
Get full text
Get full text
Get full text
Thesis -
13
Automated concurrency bug finding using partial-orders
Published 2015“…This separation opens up a fresh and fruitful algorithmic perspective on partial-order encodings, including a new partial-order encoding that can drastically reduce the run-time of the analysis prior to calling the SAT/SMT solver, and new insights into the exponential worst-case time complexity of partial-order encodings during SAT/SMT solving. …”
Thesis -
14
Motivasi, Gaya Pembelajaran dan Kebolehan Kognitif Pelajar Sekolah Menengah Teknik
Published 2005“…Disebabkan kepentingan semua pembolehubah yang dikaji dan penekanan kepada pendidikan teknikal dan vokasional dalam menghasilkan sumber manusia mahir di abad ke-21 bagi negara ini, kajian ini dijalankan dengan tujuan: 1) mengenal pasti tahap motivasi intrinsik pelajar Sekolah Menengah Teknik (SMT), 2) mengenal pasti persepsi pelajar terhadap penyampaian pengajaran guru SMT, 3) mengenal pasti gaya pembelajaran pelajar SMT, 4) menentukan tahap kebolehan kognitif pelajar SMT, 5) menentukan perbezaan dalam tahap kebolehan kognitif mengikut gender dan pengkhususan akademik pelajar SMT, 6) menentukan hubungan antara kebolehan kognitif dengan gender, pengkhususan akademik, motivasi intrinsik, penyampaian pengajaran guru dan gaya pembelajaran dan 7) mengenal pasti faktor yang mempengaruhi kebolehan kognitif pelajar SMT. …”
Get full text
Thesis -
15
Lipid dynamics in model lipid bilayers analysed by tirf-based single molecule tracking
Published 2015“…Single molecule tracking (SMT) can provide direct insight into diffusion characteristics of membrane probes, supplementing data acquired by ensemble averaging techniques. …”
Get full text
Thesis -
16
Kepuasan kerja di kalangan guru-guru sekolah menengah teknik
Published 2001“…Keputusan kajian menunjukkan guruguru SMT Juasseh mempunyai tahap kepuasan kerja yang tinggi. …”
Get full text
Get full text
Get full text
Thesis -
17
Kajian Terhadap Dimensi-Dimensi "Empowerment" Dan Ketegangan Kerja Di Kalangan Guru-Guru Sekolah Menegah Teknik Di Perlis, Kedah Dan Pulau Pinang. [LB2840.2. L356 2004 f r...
Published 2004“…Tujuan kajian ini ialah untuk mengkaji persepsi guru-guru sekolah menengah teknik (SMT) terhadap dimensi-dimensi "empowerment" dan mengenalpasti faktor dan tahap ketegangan kerja yang mereka alami di SMT-SMT yang terlibat. …”
Get full text
Thesis -
18
Kajian terhadap dimensi-dimensi "empowerment" dan ketegangan kerja di kalangan guru-guru Sekolah Menengah Teknik di Perlis, Kedah dan Pulau Pinang
Published 2004“…Tujuan kajian ini ialah untuk mengkaji persepsi guru-guru sekolah menengah teknik (SMT) terhadap dimensi-dimensi "empowerment" dan mengenalpasti faktor dan tahap ketegangan kerja yang mereka alami di SMT-SMT yang terlibat. …”
Get full text
Thesis -
19
-
20
Abstractions and formal verification of max-plus linear systems
Published 2021“…Finally, the performance of the proposed methods (abstraction-based and SMT-based) is evaluated via a set of computational benchmarks, where we observe a significant improvement for the SMT-based procedures w.r.t. the scalability, compared to existing approaches whenever available.…”
Thesis