Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 3 dokumen yang sesuai dengan query
cover
Achmad Ridok
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan rel kereta api satu jalur satu arah
" Keberadaan perangkat lunak sebagai pengontrol suatu sistem, yang termasuk ke dalam kategori sistem tercangkok (embedded system) semakin meningkat, sejalan dengan pemanfaatan komputer dalam berbagai sektor kehidupan. Dalam sistem semacam itu, perangkat lunak ditempatkan pada sebuah atau beberapa komputer yang dihubungkan ke sensor-sensor dan aktuator-aktuator untuk mengontrol perilaku dari lingkungan sistem. Sistem tercangkok umumnya berinteraksi dengan lingkungannya secara terus-menerus sehingga disebut juga sistem reaktif (reactive system). Rica sistem tersebut diharapkan bereaksi dengan lingkungannya dalam batas waktu yang ... "
Depok: Universitas Indonesia, 1999
T-Pdf
UI - Tesis Membership  Universitas Indonesia Library
cover
Saleh Harris
Hubungan antara Kadar vitamin D serum dan derajat keparahan ulkus kaki diabetikum dengan ABI (Ankle Brachial Index) normal menurut klasifikasi wagner = Correlation between serum level of vitamin D and severity degree of diabetic foot ulcer according to wagner classification in patients with normal ankle brachial index
" Diabetes melitus dapat menyebabkan berbagai komplikasi yang menyebabkan hendaya, salah satunya adalah ulkus kaki diabetikum (UKD). Kadar vitamin D diketahui berhubungan dengan penyembuhan luka dan resistensi insulin. Penelitian potong lintang ini bertujuan untuk menentukan hubungan antara kadar vitamin D serum dan derajat keparahan UKD. Tiga puluh pasien UKD dengan nilai ankle brachial index normal dikelompokkan sesuai derajat keparahannya sesuai klasifikasi Wagner diikutkan dalam studi ini. Kadar vitamin D serum diperiksa menggunakan metode immunoassay. Hubungan antara ... "
Depok: Fakultas Kedokteran Universitas Indonesia, 2019
T55522
UI - Tesis Membership  Universitas Indonesia Library
cover
Achmad Fatchuttamam Abka
Peringkasan Lintas Bahasa Berbasis Transformer Menggunakan Multilingual Word Embeddings untuk Domain Bahasa Inggris-Indonesia = Transformer-Based Cross-Lingual Summarization Using Multilingual Word Embeddings for English-Indonesian Domain
" Peringkasan lintas bahasa adalah sebuah proses menghasilkan ringkasan dalam bahasa target dari dokumen sumber berbahasa lain. Secara tradisional, peringkasan lintas bahasa dilakukan dalam skema pipeline yang melibatkan dua langkah, yaitu penerjemahan dan peringkasan. Pendekatan ini memiliki masalah, yaitu munculnya error propagation. Untuk mengatasi masalah tersebut, penelitian ini mengusulkan peringkasan lintas bahasa abstraktif end-to-end tanpa secara eksplisit menggunakan mesin penerjemah. Arsitektur peringkasan lintas bahasa yang diusulkan berbasis Transformer yang sudah terbukti memiliki performa baik dalam melakukan ... "
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2023
D-pdf
UI - Disertasi Membership  Universitas Indonesia Library