Ditemukan 16 dokumen yang sesuai dengan query
Sri Harini Mahmudi, author
ABTRAK
Suatu model tree dipakai untuk mempelajari faktorisasi matriks sparse simetris indefinit dengan cara pemilihan pivot diagonal. Struktur dasar yang digunakan adalah eliminasi tree dan eliminasi delay (eliminasi tertunda).
Proses faktorisasi untuk matriks yang indefinit dapat dipandang sebagai suatu barisan transformasi tree yang didasari oleh data/informasi struktural dan data nilai-nilai...
Depok: Universitas Indonesia, 1990
T4111
UI - Tesis (Membership) Universitas Indonesia Library
Cicin Wijaya, author
Clipper merupakan bahasa pemrograman basis data terpusat. Operasi basis data pada Clipper tersebut masih berupa operasi berkas. Setiap berkas data Clipper merupakan satu tabel basis data. berkas-berkas tersebut diletakkan pada satu tempat tertentu, dan untuk pengaksesannya perlu disebutkan dimana berkas tersebut berada. Dampaknya, pemrogram perlu mengetahui letak tabel tersebut. Permasalahan...
Depok: Universitas Indonesia, 1994
T9667
UI - Tesis (Membership) Universitas Indonesia Library
Judhi Santoso, author
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...
Depok: Universitas Indonesia, 1990
T8503
UI - Tesis (Membership) Universitas Indonesia Library
Tjahjadi, author
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1992
S26884
UI - Skripsi (Membership) Universitas Indonesia Library
Usa Sutrisna, author
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1985
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Indrinat, author
Dalam teori komputasi dikenal beberapa kelas problema. Salah satu dari kelas-kelas tersebut adalah kelas NP—problem. Di daiam kelas ini terdapat himpunan problema—problema dimana sampai saat ini belum dapat ditemukan alqoritma—algoritma penyelesaian untuk masing—masing problema tersebut yaitu dapat bekerja dalam waktu polinormial agar menghasilkan solusi yang optimal. Selain kelas HP-problem terdapat...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1992
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Joshua Kurniawan Djafar, author
Penerapan dari pengolahan bahasa alami ini telah banyak dilaksanakan dengan tujuan tertentu. Salah satu tujuannya adalah aplikasi basis data yang dikembangkan oleh program ini. Pada dasarnya program ini akan mengolah bentuk dari kalimat-kalimat query dalam bahasa Indonesia dan merubahnya menjadi bentuk SQL standar. SQL standar inilah yang akan diinterpretasikan oleh...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1992
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Sjarif Abdat, author
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1987
S27224
UI - Skripsi (Membership) Universitas Indonesia Library
Diah Kusumawati, author
Tugas akhir mi membahas cara pembuatan prosedur dan program pembuktian teorema dengan bahasa Turbo Prolog. Dalam hal ini Turbo Prolog digunakan sebagai alat pembukti teorerna. Juga dijelaskan logika dan dasar-dasar cara pembuatan prosedur dan program tersebut, diantaranya yang terpenting adalah dasar dan cara kerja Turbo Prolog, yaitu pembuktian dengan kontradiksi...
Depok: Universitas Indonesia, 1988
S26942
UI - Skripsi (Membership) Universitas Indonesia Library
Indra Asih, author
Tugas akhir ini menyajikan pembahasan metode Davidon-Fletcher—Powell untuk menyelesaikan masalah optimisasi secara numerik. Masalah optimisasi yang dipilih dalam tulisan ini adalah minimisasi fungsi objektif yang non—linier dan tak berkendala, di mana x adalah vektor berdimensi n. Metode ini menggunakan ide metode Newton-Raphson dan arah conjugate gradien secara bersamaan. Dan di...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1992
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
