Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 14 dokumen yang sesuai dengan query
cover
Debby Sanjaya
Sudut antara dua subruang dari suatu ruang hasil kali dalam-n = Angle between two subspaces of an n-inner product space
" Dalam tesis ini diperkenalkan ruang hasil kali dalam-n dan ruang norm-n sebagai perluasan dari ruang hasil kali dalam dan ruang norm. Setiap ruang hasil kali dalam dapat dilengkapi dengan suatu hasil kali dalam-n sederhana ... Tugas akhir ini membahas tentang sudut antara dua subruang dari suatu ruang hasil kali dalam-n dan representasinya secara geometris. Lebih lanjut, dipelajari hubungannya dengan sudut-sudut kanonik yang selama ini telah digunakan untuk mendeskripsikan sudut antara dua ruang. ...... The definitions of n-inner ... "
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2012
T40781
UI - Tesis Open  Universitas Indonesia Library
cover
I Putu Edy Suardiyana Putra
Centroid-Based Adaptive Random Testing (CB-ART) untuk Object Oriented Program = Centroid-Based Adaptive Random Testing (CB-ART) for Object Oriented Program / I Putu Edy Suardiyana Putra
" ABSTRAK
Random Testing (RT) merupakan teknik pengujian perangkat lunak yang cukup umum digunakan oleh para pengembang perangkat lunak. RT memiliki beberapa kelebihan yaitu sederhana secara konseptual, mudah untuk diimplementasikan, dan telah dibuktikan efektif dalam mendeteksi error. Untuk meningkatkan performa RT, maka dibentuklah suatu teknik baru yang diberi nama Adaptive Random Testing (ART) yang sudah terbukti mampu mengungguli RT dalam hal kecepatan dalam mendeteksi error yang pertama. Namun dalam perkembangannya, ART memiliki kelemahan yang cukup vital yaitu ... "
Fakultas Ilmu Komputer Universitas Indonesia, 2013
T32132
UI - Tesis Membership  Universitas Indonesia Library
cover
Daniel Salim
Keortogonalan di ruang ber norm 2 = Orthogonality in 2 normed space
" Salah satu bahan yang dibahas di ruang vektor adalah keortogonalan antara dua vektor. Konsep keortogonalan umumnya dikenal di ruang hasil kali dalam. Di ruang ber-norm terdapat konsep keortogonalan Pythagoras, sama kaki (Isosceles), dan Birkhoff James. Kemudian, Gahler memperkenalkan ruang ber-norm-2 dan ruang hasil kali dalam-2. Di tesis ini, dibahas konsep keortogonalan Pythagoras, sama kaki, dan Birkhoff James di ruang ber-norm-2 dan konsep keortogonalan-G di ruang hasil kali dalam-2. Kemudian, dibahas hubungan keekuivalenan antara konsep keortogonalan ... "
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2015
T43319
UI - Tesis Membership  Universitas Indonesia Library
cover
Dwi Teguh Priyantini
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover = Formalization of arithmetic algorithm and the related constructions in VHDL by using HOL theorem prover
" Pada pengembangan sistem, dibutuhkan sebuah mekanisme untuk menjamin bahwa sistem tersebut berjalan dengan benar tanpa error atau rsquo;bug rsquo;. Sejauh ini, hal yang biasa dilakukan adalah dengan testing, tetapi hal ini sulit dilakukan untuk mencakup semua kemungkinan. Untuk sistem yang membutuhkan tingkat correctness yang tinggi, seperti misalnya pada hardware , perlu mekanisme yang dapat menjamin kebenaran program untuk semua kemungkinan input. Ada solusi lain yang dapat menjamin kebenaran program untuk semua kemungkinan input, yaitu dengan ... "
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2017
T-Pdf
UI - Tesis Membership  Universitas Indonesia Library
cover
Esti Merindasari
Pengunaan deep belief network-deep neural network (dbn-dnn) untuk pengenalan emosi dasar dengan Singular Value Decomposition (SVD) = Deep Belief Network-Deep Neural Network (DBN-DNN) for facial emotion recognition using Singular Value Decompotion (SVD)
"

Pengenalan emosi dasar melalui ekspresi wajah menjadi domain penelitian yang berkembang saat ini. Berbagai metode machine learning telah digunakan untuk permasalahan ini. Dewasa ini, metode deep learning terbukti lebih robust untuk penyelesaian domain pengenalan emosi dasar. Salah satu metode deep learning yang dapat digunakan adalah deep belief network-deep neural network (DBN). Metode ini sebelumnya berhasil diujikan untuk pengenalan citra CIFAR-10 dan MNIST, namun masih belum digunakan untuk dataset citra emosi wajah. Oleh karena ... "

T54428
UI - Tesis Membership  Universitas Indonesia Library
cover
Sofiyanti Indriasari
Faktor-Faktor yang Berpengaruh Terhadap Knowledge Sharing dan Pengaruhnya Terhadap Kinerja Institusi Pendidikan Tinggi Teknis dan Kejuruan di Bidang Pertanian = Factors affecting Knowledge Sharing and Its Effect towards The Performance of Higher Education Technic Institutions and Vocational Agriculture
" Pendidikan pertanian kekurangan sumber daya dalam rangka menciptakan lulusan yang memiliki kompetensi spesifik untuk memenuhi kebutuhan tenaga kerja di dunia usaha. Hal ini dapat diantisipasi dengan cara meningkatkan knowledge sharing di antara para pendidik. Oleh karena itu, sangat perlu untuk mengetahui faktor-faktor yang memengaruhi knowledge sharing di antara para pendidik di pendidikan tinggi teknis dan kejuruan bidang pertanian. Selain itu, perlu diketahui juga apakah knowledge sharing berpengaruh terhadap kinerja para pendidik dan berpengaruh ... "
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2014
T-pdf
UI - Tesis Membership  Universitas Indonesia Library
cover
Sri Syamsiah Wardhani
Barisan ultimately geometric pada Aljabar max-plus = Ultimately geometric sequences in the Max-Plus algebra
" Dalam tesis ini dibahas beberapa pengertian dasar Aljabar Max-plus serta barisan ultimately geometric. Selanjutnya dibahas hubungan antara barisan aritmetika pada aljabar biasa dengan barisan geometri pada Aljabar Max-plus. Penjumlahan dan perkalian dari beberapa barisan geometri pada Aljabar Max-plus menghasilkan barisan periodic. Dari pembahasan ini diperoleh bahwa matriks irredusibel mempunyai nilai eigen yang bersesuaian dengan bobot rata-rata maksimum dari semua sirkuit di graf presedent. Nilai eigen dari matriks irredusibel berhubungan dengan barisan pangkat terurut matriks. ......In ... "
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2011
T29863
UI - Tesis Open  Universitas Indonesia Library
cover
Mulyadi
Perbandingan sistem persamaan linier dalam aljabar klasik dan aljabar max-plus = Comparison of linear equation systems in classical algebra and max-plus algebra
" Aljabar Max-plus mempunyai karakteristik yang berbeda dengan aljabar klasik. Dalam tesis ini dikaji struktur Aljabar Max-plus dan perbedaan sistem persamaan linier dalam Aljabar Max-plus dan aljabar klasik. ......Max-Plus algebra has characteristics that are different from clasisical algebra. In this thesis, algebraic structure of Max-plus algebra studied. Differences of linear equation systems in Max-plus algebra and classical algebra are explored ... "
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2011
T29706
UI - Tesis Open  Universitas Indonesia Library
cover
Dessy
Menentukan lintasan terpendek dengan menggunakan aljabar Max-Plus = Determining shortest path in Max-Plus algebra
" Dalam tesis ini dibahas cara menentukan lintasan terpendek dengan menggunakan Aljabar Max-Plus. Dengan menjumlahkan sebanyak hingga perkalian matriks bobot busur, diperoleh matriks bobot lintasan terpendek dari suatu simpul ke simpul lainnya. Untuk memudahkan operasi perkalian dan penjumlahan matriks dalam Aljabar Max-Plus, dibuat suatu fungsi dalam Matlab. ......In this thesis it is discussed how to determine the shortest-path by using Maxplus algebra. By adding a finite number of power matrix of a weight matrix, a shortest-path ... "
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2011
T30021
UI - Tesis Open  Universitas Indonesia Library
cover
Riesa Anandya Elfitri
Uji variabel yang diduga mempergaruhi tingkat perkembangan teknologi informasi dan komunikasi (TIK) pada Sekolah Menengah Atas dan Sederajatnya di Bekasi.
" Perkembangan Teknologi Informasi dan Komunikasi (TIK) telah memberikan pengaruh terhadap dunia pendidikan khususnya dalam proses pembelajaran. Dalam tugas akhir ini diselidiki variabel yang mempengaruhi tingkat perkembangan TIK pada Sekolah Menengah Atas dan Sederajat di Bekasi. Untuk memperoleh variabel tingkat perkembangan TIK, dilakukan analisis two step cluster berdasarkan 2 variabel, yaitu kualitas guru dan sarana prasarana TIK. Lalu, analisis regresi logistik biner dilakukan untuk mengetahui variabel yang mempengaruhi tingkat perkembangan TIK pada Sekolah Menengah Atas dan Sederajat di Bekasi. Diperoleh variabel yang mempengaruhi tingkat perkembangan ... "
Universitas Indonesia, 2009
S27879
UI - Skripsi Open  Universitas Indonesia Library
<<   1 2   >>