Ditemukan 203 dokumen yang sesuai dengan query
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as...
Heidelberg: Springer, 2012
e20409155
eBooks Universitas Indonesia Library
Adinda Diva Sugiarto, author
Ship-recycling, merupakan salah satu metode efektif yang dapat dilakukan untuk membantu mengurangi permasalahan limbah kapal-kapal tua yang sudah tidak layak digunakan. Istilah ini merujuk pada proses daur ulang kapal secara modern yang masih belum marak dilakukan di Indonesia. Pada pelaksanaannya, masih banyak terdapat aspek-aspek keselamatan yang tidak dihiraukan. Salah satu...
Depok: Fakultas Teknik Universitas Indonesia, 2023
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Imam Ashari Naser, author
Skripsi ini membahas konsep dan praktik para relawan di sekolah non formal yang terdapat di wilayah DKI Jakarta dalam upaya memberdayakan anak-anak dari keluarga miskin dan persepsi peserta didik terhadap proses belajar di sekolah non formal itu. Pada skripsi ini, dipaparkan mengenai kegiatan pembelajaran yang terdapat dalam sekolah non...
Depok: Fakultas Ilmu Sosial dan Ilmu Politik Universitas Indonesia, 2021
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Lubis, Abdurrasyid, author
Studi ini bertujuan untuk menilai keamanan armada pengiriman tradisional, untuk meningkatkan keselamatan operasional mereka. Pendekatan Formal Safety Assessment (FSA) diterapkan dalam penelitian ini. Indonesia masih bergantung pada kapal armada pengiriman tradisional. Bukan hanya karena dimensi mereka yang cocok untuk mengangkut kargo antar pulau, tetapi juga nilai sejarahnya yang menarik bagi...
Depok: Fakultas Teknik Universitas Indonesia, 2019
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
Indah Manogi Natalia, author
Kapal Ferry Ro-Ro merupakan transportasi yang paling sering digunakan untuk melintasi antar pulau. Namun, dalam 5 tahun terakhir terjadi beberapa kecelakaan pelayaran seperti kebakaran, tenggelam, kandas, dll. Pada kecelakaan pelayaran, kebakaran merupakan salah satu jenis kecelakaan yang paling banyak memakan korban jiwa. Faktor manusia merupakan salah satu penyebab utama dari...
Depok: Fakultas Teknik Universitas Indonesia, 2024
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Pakpahan, Rogers, author
Penulisan ini bertujuan untuk mengkaji peran ujian sekolah untuk pemetaan mutu sekolah dasar dalam rangka wajib belajar pendidikan dasar. Metode yang digunakan dalam kajian ini yaitu analisis diskriptif pada dokumen penyelenggaraan dan hasil pemantauan pelaksanaan ujian sekolah sedang pengolahan data dilakukan dengan analisis deskriptif. Hasil kajian menunjukkan bahwa: 1) penilaian...
Depok: Badan Penelitian dan Pengembangan Depdiknas, 2015
370 JPK 21:2 (2015)
Artikel Jurnal Universitas Indonesia Library
Karina Nisa Aprilia, author
Pandemi COVID-19 terjadi di seluruh dunia, dan juga di Indonesia. Selain menyebabkan korban jiwa, pandemi ini juga menyebabkan kerugian di berbagai sektor. Pemerintah
berupaya mengurangi penyebaran COVID-19 dengan menerapkan berbagai kebijakan seperti kebijakan pembatasan sosial berskala besar (PSBB), serta kebijakan terkait lainnya. Namun kebijakan ini belum efektif dilihat dari tingkat penyebaran...
Depok: Fakultas Teknik Universitas Indonesia, 2021
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Doloksaribu, Debora Kristina, author
Penulisan tesis ini menggunakan metode penelitian kepustakaan dengan data sekunder sebagai sumber datanya. Permasalahan yang menjadi inti penelitian adalah bagaimana Putusan Mahkamah Agung Nomor 90 K/Pdt.Sus-BPSK/2019 mengategorikan jenis sengketa antara lembaga pendidikan formal dan peserta didik, dan bagaimana analisis hukum atas potensi sengketa pengembalian atau pengurangan biaya pendidikan di masa...
Fakultas Hukum Universitas Indonesia, 2021
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Frisca Aprillia Halim, author
Latar Belakang. Stigma TB di lingkungan kerja dapat merugikan pekerja yang mengalami TB. Kuesioner yang sering digunakan untuk menilai stigma TB adalah kuesioner yang dipublikasikan oleh Van Rie. Namun kuesioner tersebut untuk menilai stigma TB pada masyarakat umum. Pada penelitian ini dilakukan modifikasi kuesioner, uji validasi dan reliabilitas agar kuesioner...
Jakarta: Fakultas Kedokteran Universitas Indonesia, 2022
T-pdf
UI - Tesis (Membership) Universitas Indonesia Library
Marpaung, Daniel Adieu Manuturi, author
Salah satu transportasi laut yang dapat memasuki daerah pedalaman dan area terpencil ialah angkutan laut Ro-Ro Roll On-Roll Off. Sarana angkutan laut Ro-Ro dan sejenisnya memiliki teknologi yang mampu memfasilitasi kebutuhan masyarakat, dikarenakan mempunyai draft minimum serta multifungsi. Pola ini dapat dikembangkan dan bersaing dengan transportasi lain, yang dimana memiliki...
Depok: Fakultas Teknik Universitas Indonesia, 2018
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
