Ditemukan 299 dokumen yang sesuai dengan query
Constable, Robert L., editor
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related...
Berlin : [Springer-Verlag, ], 2012
e20410510
eBooks Universitas Indonesia Library
Tieman, Marco, author
Munich, German: GRIN Verlag, 2011
658.5 TIE h
Buku Teks Universitas Indonesia Library
Pringga Satria Panji, author
ABSTRAK
Jembatan memaninkan peranan penting pada sistem transportasi. Pulau Jawa dan pulau-pulau lain di Indonesia dengan pertumbuhan ekonomi yang cepat akan bergantung pada jembatan sebagai tulang punggung dalam menghubungkan satu wilayah dengan wilayah lain. Bahaya terhadap sub-struktur jembatan menjadi bertambah. Berdasarkan data beberapa tahun lalu, setidaknya sepertiga dari jumlah total jembatan...
Depok: Fakultas Teknik Universitas Indonesia, 2019
T52178
UI - Tesis (Membership) Universitas Indonesia Library
Muhammad Hafidz Qurani SM., author
ABSTRAK
Kawasan Cibinong Raya merupakan kawasan yang berfungsi sebagai pusat kegiatan wilayah di Kabupaten Bogor yang bertujuan untuk dapat mendorong perekonomian daerah. Dalam memenuhi perannya sebagai pusat kegiatan wilayah diperlukan investasi yang dapat mengkatalisasi pembangunan. Untuk meningkatkan investasi dibutuhkan daya tarik terhadap investasi, yang salah satunya adalah dengan menjadikan sektor industri...
2018
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
LaMeres, Brock J., author
This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system...
Switzerland: Springer Nature, 2019
e20509101
eBooks Universitas Indonesia Library
Siahaan, Sahat P., author
ABSTRAK
Lifts/Elevator are a type of vertical transport that is used to transport people or goods and usually used in high-rise buildings (more than three or four floors). In general, the elevator system is still using conventional system.In conventional elevator systems, there are many things to consider such as component requirements,...
Universitas HKBP Nonmensen, 2018
050 VISI 26:2 (2018)
Artikel Jurnal Universitas Indonesia Library
Sri Kliwati, author
Penelitian ini melakukan simulasi pengukuran jarak gandar kendaraan untuk Automatic Vehicle Classification (AVC) dengan menggunakan satu sensor (yaitu treadle) dengan metoda fuzzy logic. Pengukuran jarak gandar hanya merupakan sebagian kecil dari sistem AVC secara keseluruhan. Hasil simulasi menunjukkan sistem berbasis fuzzy logic ini dapat digunakan untuk AVC dengan simpangan terbesar...
Depok: Universitas Indonesia, 1997
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Johansah Liman, author
ABSTRAK
Logika fuzzy diterapkan pada pengendali VCO akan memberikan kemudahan dan keunggulan bila dibandingkan dengan kendali konvensional. Pada Tesis ini diterapkan pengendali logika fuzzy pada pengendalian proses frekuensi. Pengendali logika fuzzy menggunakan metode implikasi dan defuzzikasi dari Yager. Implikasi Yager menerapkan operator logika dari Zadeh, Fungsi implikasi Yager mendefinisikan relasi himpunan...
1997
T-Pdf
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
Lis Nurdiyanti, author
Penelitian ini bertujuan untnk mengetahui Pengaruh Karakteristik Nasabah Terhadap Preferensi Bauran Promosi Pada Penempatan Dana Pihak Ketiga dan Fasilitas Pembiayaan (Studi Kasus Nasahah Bank I)KI Syariah Cabang Wahid Hasyim). Penelitian ini dilakukan dengan menggunakan metode multinomial logit dan model logit. Analisis data menggunakan program SPSS.
Hasil penelitian berdasarkan karakteristik nasabah berusia...
Program Pascasarjana Universitas Indonesia, 2006
T17723
UI - Tesis (Membership) Universitas Indonesia Library
