Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 6 dokumen yang sesuai dengan query
cover
Judhi Santoso
Abstrak :
Dengan suatu program dapat ditunjukkan bahwa kompleksitas waktu simulasi MT 2-pita dengan MPA menggunakan blok memori mempunyai orde yang sama dengan hasil yang diperoleh dari analisa algoritma, yakni T (n) loglog (S (n)). Dalam tugas akhir ini digunakan tiga metoda untuk menguji orde kompleksitas waktu tersebut. Metoda tersebut adalah: 1. metoda blok statis 2. metoda blok dinamis 3. metoda tabel look up
Depok: Universitas Indonesia, 1990
T8503
UI - Tesis Membership  Universitas Indonesia Library
cover
Denta Prayudana Adji
Abstrak :
Klub Motor X merupakan salah satu klub motor yang anggotanya tersebar di seluruh Indonesia, namun untuk penelitian kali ini hanya dibatasi wilayah Jabodetabek saja. Klub motor ini memiliki agenda rutin yaitu melakukan turing. Dalam perjalanan turing tersebut, ditemukan berbagai risiko yang dapat menimbulkan terjadinya kecelakaan. Meski tidak tercatat secara detail, diketahui telah ada kasus kecelakaan bahkan sampai memakan jiwa selama yang terjadi selama perjalanan turing. Penelitian ini dilakukan untuk mengetahui gambaran risiko apa saja yang dapat menyebabkan terjadinya kecelakaan dengan menggunakan metode Human Factor Analysis Classification System (HFACS). Kemudian permasalahan terkait gegagalan dari sistem pertahanan HFACS yang banyak ditemukan adalah adverse physiological states, adverse mental states, personal readiness, routine violations, dan perceptual errors. Hasil analisis penelitian menyarankan tindakan perbaikan pada tingkat individu untuk kegagalan aktif dan tingkat organisasi untuk kegagalan laten guna mengurangi atau bahkan menghilangkan kesalahan-kesalahan yang telah teridentifikasi sehingga akan memperkuat ketahanan sistem terhadap terjadinya risiko kecelakaan. ......Motorcycle Club X is a motorcycle club whose members are scattered throughout Indonesia, but for the present study is limited only Greater Jakarta area alone. The motorcycle club has a regular agenda is to do touring. In the course of touring, found a variety of risks that could lead to accidents. Although not recorded in detail, is known to have no accidents even to eat the souls during that occurred during the trip turing. This study was conducted to describe any risks that can cause accidents by using Human Factor Analysis Classification System (HFACS). Then the problems related gegagalan of HFACS defense system that are found are adverse physiological states, adverse mental states, personal readiness, routine violations, and perceptual errors. The analysis of research suggests corrective actions at the individual level for the failure of active and latent level of the organization for failure to reduce or even eliminate the errors that have been identified that will strengthen the resilience of the system against the risk of accidents.
Depok: Fakultas Kesehatan Masyarakat Universitas Indonesia, 2016
S61998
UI - Skripsi Membership  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012. The 40 revised full papers presented together with invited talks were carefully reviewed and selected from 86 submissions. The papers address 4 special sessions at TAMC 2012 which were algorithms and information in networks, complexity and cryptography, models of computing and networking, programming and verification.
Berlin: Springer-Verlag, 2012
e20410304
eBooks  Universitas Indonesia Library
cover
Ericolas Chandra
Abstrak :
Kurangnya pertanggungjawaban etis pada aksi robot disebabkan oleh ketidakseimbangan antara perkembangan otonomi robot dengan kemampuannya dalam membuat putusan moral. Menanggapi isu ini, skripsi ini berupaya menyediakan justifikasi pada posibilitas Agen Moral Artifisial melalui diskursus filsafat akal budi dan metaetika. Posibilitas ini tersusun atas teori komputasional sebagai pandangan ontologis, naturalisme kognitif sebagai pandangan metaetis dan Moral Turing Test sebagai pandangan epistemologis terhadap akal budi lain. Skripsi ini mengusulkan bahwa posibilitas Agen Moral Artifisial dapat tercapai bukan melalui regulasi tingkah laku, melainkan melalui radikalisasi otonomi. ......Lackness of ethical responsibility upon robot’s action was caused by unbalanced developments between robot’s autonomy and its ability to generate moral judgement. Concerning to this issue, this thesis would provide a justification of the posibility of Artificial Moral Agents through the discourse of philosophy of mind and metaethics. This possibility is constituted by computational theory of mind as ontological view, cognitive naturalism as metaethical view and Moral Turing Test as epistemological view of other minds. This thesis suggests that the possibility of Artificial Moral Agents would not occur by behavioral regulation, yet by radicalization of its autonomy.
Depok: Fakultas Ilmu Pengetahuan Budaya Universitas Indonesia, 2016
S-pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Ericolas Chandra
Abstrak :
ABSTRAK
Kurangnya pertanggungjawaban etis pada aksi robot disebabkan oleh ketidakseimbangan antara perkembangan otonomi robot dengan kemampuannya dalam membuat putusan moral. Menanggapi isu ini, skripsi ini berupaya menyediakan justifikasi pada posibilitas Agen Moral Artifisial melalui diskursus filsafat akal budi dan metaetika. Posibilitas ini tersusun atas teori komputasional sebagai pandangan ontologis, naturalisme kognitif sebagai pandangan metaetis dan Moral Turing Test sebagai pandangan epistemologis terhadap akal budi lain. Skripsi ini mengusulkan bahwa posibilitas Agen Moral Artifisial dapat tercapai bukan melalui regulasi tingkah laku, melainkan melalui radikalisasi otonomi.
2016
S67944
UI - Skripsi Membership  Universitas Indonesia Library
cover
Rich, Elaine
Upper Saddle River NJ: Pearson Prentice hall, 2009
511.3 RIC a
Buku Teks  Universitas Indonesia Library