Ditemukan 67 dokumen yang sesuai dengan query
Artikel Jurnal Universitas Indonesia Library
Lenny Triana, author
Aksionalitas merupakan salah satu makna kewaktuan yang bersifat semesta dan berkaitan dengan dua makna kewaktuan lain, yaitu aspek dan kala. Keterkaitan ketiga makna kewaktuan itu menyebabkan banyak ahli bahasa merumuskan ketiga konsep itu secara tumpang tindih. Di satu pihak, para ahli bahasa merasa tidak perlu untuk membedakan aspek dan aksionalitas...
Depok: Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 2001
T9315
UI - Tesis (Membership) Universitas Indonesia Library
Yahma Wisnani, author
Makalah ini memperkenalkan model checking pada logika temporal linear serta aturan selama proses verifikasi berlangsung. Tahapan ularna pada model checking adalah model, spesifikasi dan verifikasi. Tahapan model mengkonversikan sebuah rancangan menjadi sebuah model dalam bentuk struklur Kripke; tahapan spesifikasi merepresentasikan semua sifat yang harus dipenuhi oleh rancangan kebentuk bahasa logika...
[place of publication not identified]: Sains Indonesia, 2003
SAIN-8-3-2003-27
Artikel Jurnal Universitas Indonesia Library
Syifa Hanifa, author
Bencana banjir, yang salah satu penyebabnya adalah kondisi cuaca, semakin sering terjadi sejak akhir 1990-an. Banjir yang sering terjadi di Daerah Aliran Sungai Citarum Hulu disebabkan oleh karakteristik fisik cekungan yang berbentuk seperti basin. Ditambah curah hujan tinggi terjadi secara terus-menerus untuk jangka waktu tertentu dalam sehari. Pengamatan curah hujan...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Lina Hardyanti, author
Jakarta merupakan Kota Metropolitan yang dinamis dan memiliki wilayah yang luas serta kepadatan penduduk tinggi. Hal tersebut terindikasi dari tingginya perubahan dan intensitas penggunaan lahan yang merupakan dampak dari degradasi lingkungan fisik perkotaan salah satunya adalah terjadi peningkatan suhu permukaan daratan SPD. Tujuan dari penelitian ini untuk mengetahui kaitan antara...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2017
S68391
UI - Skripsi (Membership) Universitas Indonesia Library
Iqbal Fikri Ihsan, author
Wilayah Pesisir di Kabupaten Karawang memiliki garis pantai yang panjang dari barat hingga ke timur. Panjang garis pantai karawang yang membentang dari barat hingga timur berhadapan langsung dengan laut jawa. Hal ini menjadikan garis pantai di Kabupaten Karawang rentan terhadap perubahan garis pantai baik karena proses abrasi atau karena proses...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Mia Rizkinia, author
Banjir yang terjadi di Jakarta tidak hanya dapat dipengaruhi oleh faktor curah hujan, sistem tata kota, dan drainase saja, tetapi juga dapat melibatkan faktor penurunan muka tanah (PMT). PMT di Jakarta dimungkinkan karena Jakarta berdiri di atas lapisan sedimen dan adanya pengambilan air tanah dalam jumlah yang sangat besar. Penelitian...
Depok: Fakultas Teknik Universitas Indonesia, 2010
T40962
UI - Tesis (Open) Universitas Indonesia Library
Salsya Thabrani, author
Teknologi panel surya terapung yang diterapkan di Danau Mahoni Universitas Indonesia merupakan panel surya bifacial. Namun penutupan badan air oleh solar panel terapung dapat menyebabkan perubahan kualitas air secara temporal. Sejauh ini, belum terdapat penelitian lebih lanjut mengenai pengaruh solar panel terapung di perairan Indonesia. Maka dari itu, penelitian ini...
Depok: Fakultas Teknik Universitas Indonesia, 2022
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Mian Rizkinia, author
Banjir yang terjadi di Jakarta hanya dapat dipengaruhi oleh faktor curah hujan, sistem tata kota, dan drainase saja, tetapi juga dapat melibatkan faktor penurunan muka tanah (PMT). PMT di Jakarta dimungkinkan karena Jakarta berdiri di atas lapisan sedimen dan adanya pengambilan air tanah dalam jumlah yang sangat besar. Penelitian ini...
Depok: Fakultas Teknik Universitas Indonesia, 2011
T30543
UI - Tesis (Open) Universitas Indonesia Library
Rizky Cahaya Meikatama, author
Kota Bandar Lampung sebagai ibu kota Provinsi Lampung menjadi kota nomor tiga di Pulau Sumatera dengan perkembangan penduduk paling besar pada tahun 2000 hingga 2015. Pertumbuhan jumlah penduduk mengakibatkan bertambahnya lahan terbangun mempengaruhi beberapa aspek, salah satunya meningkatnya suhu permukaan di perkotaan. Penelitian ini bertujuan untuk mengetahui distribusi perubahan ruang...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2022
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
