Ditemukan 58 dokumen yang sesuai dengan query
Eric Tiwa, author
Depok: Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 2009
T25892
UI - Tesis Open Universitas Indonesia Library
Ilham Karunia, author
Salah satu teknologi selular generasi ketiga adalah Universal Mobile Telephone System (UMTS). Ada kebutuhan layanan keamanan yang harus disediakan oleh UMTS, antara lain adalah otentikasi mutual antara pengguna teknologi ini dengan jaringan penyedia layanan secara anonim. G¨unther Horn dan Bart Preneel merancang sebuah protokol otentikasi untuk digunakan pada UMTS yang...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2006
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Sari Istiqamah Darus, author
ExxonMobil Oil Indonesia adalah perusahaan yang bergerak di bidang
migas dan berpusat di Amerika. Untuk menunjang visi dan misi perusahaan,rencana bisnis ExxonMobil adalah mengelola dan mengeksploitasi aset-aset yang dimiliki secara efisien dan cost-effective. ExxonMobil juga melakukan investasi
secara agresif dengan melakukan kegiatan eksplorasi di Indonesia termasuk di Blok Cepu, Jawa Timur, yang...
2001
T38789
UI - Tesis (Membership) Universitas Indonesia Library
JY 6:2 (2013) (1)
Artikel Jurnal Universitas Indonesia Library
Helga Silvia, author
ABSTRAK
Penelitian yang telah dilakukan ini bertujuan untuk mengevaluasi dan menganalisis kesesuaian dosis teknik IMRT dan VMAT antara distribusi dosis pada TPS dengan distribusi dosis yang terukur oleh dosimeter film gafchromic EBT2, MatriXXEvolution dan EPID pada kasus kanker KNF, paru dan prostat. Percobaan dilakukan menggunakan Pesawat Linac Varian Rapid Arc dengan...
2016
T44945
UI - Tesis (Membership) Universitas Indonesia Library
I.S.W.B. Prasetya, author
Otomasi dari verifikasi formal sebuah sistem membutuhkan mekanisasi logika yang menjadi basis metoda verifikasi yang digunakan. Logika yang dibutuhkan sering kali cukup rumit dan sebetulnya merupakan komposisi dari beberapa logika lainnya. Ini memberikan komplikasi ekstra karena sekarang aspek seperti hirarki antar logika dan modularitasnya merupakan aspek yang juga erlu diperhatikan....
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-1-2-Okt2001-35
Artikel Jurnal Universitas Indonesia Library
Helmina Kamalia N., author
Tesis ini membahas beban kerja dan kebutuhan tenaga verifikator klaim kontrak di Unit Penyelenggara Jamkesda Pemerintah Daerah DKI Jakarta Tahun 2012 dengan melakukan observasi dan data klaim rumah sakit tahun 2011. Penelitian ini adalah penelitian kuantitatif dan kualitatif dengan desain deskriptif dan cross sectional. Metode yang digunakan dalam penelitian ini...
Depok: Fakultas Kesehatan Masyarakat Universitas Indonesia, 2012
T31115
UI - Tesis (Open) Universitas Indonesia Library
Steven Darmawan, author
Turbin gas mikro (MGT) merupakan salah satu alternatif pembangkit daya dengan daya dibawah 200 kW untuk mengatasi kebutuhan energi yang semakin meningkat. Dalam satu dekade terakhir, MGT telah diproyeksikan sebagai salah satu sistem pembangkit daya maupun termal yang prospektif, secara teknis, dimensi, biaya, dan lingkungan. Dari berbagai komponen pada turbin...
Depok: Fakultas Teknik Universitas Indonesia, 2012
T31604
UI - Tesis (Open) Universitas Indonesia Library
Pohan, Yonathan Anugerah El, author
Pada tahapan pra-Pemilu 2024, KPU melakukan transformasi digital melalui Sistem Informasi Partai Politik, atau Sipol. Sipol hadir sebagai alat bantu KPU dalam melakukan proses pendaftaran dan verifikasi partai politik. Penelitian ini secara komprehensif akan menilai perwujudan prinsip transparansi dan akuntabilitas dari penerapan Sipol dalam proses pendaftaran dan verifikasi partai politik...
Depok: Fakultas Ilmu Sosial dan Ilmu Politik Universitas Indonesia, 2023
TA-pdf
UI - Tugas Akhir Universitas Indonesia Library
M. Afi Adani Syihab, author
Laporan magang ini bertujuan mengevaluasi prosedur verifikasi pada bagian utang dagang di PT ST. Prosedur verifikasi dilakukan oleh bagian utang dagang sebagai bentuk pelaksanaan siklus pengeluaran. Prosedur verifikasi yang dilakukan yaitu verifikasi terhadap tagihan serta verifikasi terhadap lembar verifikasi. Verifikasi terhadap tagihan dievaluasi berdasarkan teori Three way’s match dan teori...
Depok: Fakultas Ekonomi dan Bisnis Universitas Indonesia , 2020
TA-Pdf
UI - Tugas Akhir Universitas Indonesia Library
