Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 5667 dokumen yang sesuai dengan query
cover
Luke, Yudell L.
New York: Academic Press, 1977
515.5 LUK a
Buku Teks SO  Universitas Indonesia Library
cover
Gil, Amparo
"The first part of the book (basic methods) covers convergent and divergent series, Chebyshev expansions, numerical quadrature, and recurrence relations. Its focus is on the computation of special functions; however, it is suitable for general numerical courses. Pseudoalgorithms are given to help students write their own algorithms. In addition to these basic tools, the authors discuss other useful and efficient methods, such as methods for computing zeros of special functions, uniform asymptotic expansions, Pad approximations, and sequence transformations. The book also provides specific algorithms for computing several special functions (like Airy functions and parabolic cylinder functions, among others)."
Philadelphia: Society for Industrial and Applied Mathematics, 2007
e20450837
eBooks  Universitas Indonesia Library
cover
Varga, Richard S.
"Studies the use of scientific computation as a tool in attacking a number of mathematical problems and conjectures. In this case, scientific computation refers primarily to computations that are carried out with a large number of significant digits, for calculations associated with a variety of numerical techniques such as the (second) Remez algorithm in polynomial and rational approximation theory, Richardson extrapolation of sequences of numbers, the accurate finding of zeros of polynomials of large degree, and the numerical approximation of integrals by quadrature techniques.
The goal of this book is not to delve into the specialized field dealing with the creation of robust and reliable software needed to implement these high-precision calculations, but rather to emphasize the enormous power that existing software brings to the mathematician's arsenal of weapons for attacking mathematical problems and conjectures.
Scientific Computation on Mathematical Problems and Conjectures includes studies of the Bernstein Conjecture of 1913 in polynomial approximation theory, the "1/9" Conjecture of 1977 in rational approximation theory, the famous Riemann Hypothesis of 1859, and the Polya Conjecture of 1927. The emphasis of this monograph rests strongly on the interplay between hard analysis and high-precision calculations."
Philadelphia: Society for Industrial and Applied Mathematics, 1990
e0450885
eBooks  Universitas Indonesia Library
cover
Traub, J.F.
New York: Academic Press, 1980
511.4 TRA g
Buku Teks  Universitas Indonesia Library
cover
Pachos, Jiannis K.
Cambridge, UK: Cambridge University Press, 2012
530.120 1 PAC i
Buku Teks  Universitas Indonesia Library
cover
New York: John Wiley & Sons, 1985
511.5 GRA
Buku Teks  Universitas Indonesia Library
cover
Higham, Nicholas J., 1961-
"Matrix functions are of growing interest due to their fascinating theory and the many applications in which they provide insight and succinct solutions. Functions of Matrices: Theory and Computation gives a thorough treatment of the theory of matrix functions and numerical methods for computing them, as well as an overview of applications."
Philadelphia: Society for Industrial and Applied Mathematics, 2008
e20450771
eBooks  Universitas Indonesia Library
cover
Shammas, Namir Clement, 1954-
New York : McGraw-Hill, 1995
519.4 SHA c
Buku Teks  Universitas Indonesia Library
cover
Nadilah Tyassistha
"ABSTRAK
Mengolah data dalam bentuk graf dapat dilakukan dengan cara clustering graf, yaitu mengelompokkan graf ke dalam cluster-cluster dimana data pada satu cluster memiliki karakter yang relatif sama. Two way spectral clustering adalah salah satu cara clustering graf yang menggunakan informasi dari dua nilai eigen untuk mendapatkan dua cluster setiap melakukan proses clustering. Pada skripsi ini akan dibahas bagaimana cara clustering graf dengan metode two way spectral clustering berdasarkan kriteria partisi graf dan akan dilakukan simulasi untuk melihat hasil clustering menggunakan graf terhubung dan graf tidak terhubung.

ABSTRACT
Data processing of graph data can be done by graph clustering, where data are grouped into clusters which data on each cluster have the similar characteristic. Two way spectral clustering is one of a graph clustering which using the smallest two eigenvalues to obtain two clusters. This skripsi will discuss how to clustering graph with two way spectral clustering method based on graph partitioning criteria and moreover data simulations will be conducted to see the results of clustering using a connected and disconnected graphs.
"
2015
S61798
UI - Skripsi Membership  Universitas Indonesia Library
cover
Suciwati Nursiam
"ABSTRAK
PT XYZ telah menjalankan banyak kontrol TI untuk menjaga agar proses bisnis yang dijalankan dapat terhindar dari risiko-risiko kesalahan dan kecurangan. Kontrol tersebut diuji keefektifitasannya oleh Internal Audit Group IAG . Terdapat area dan kontrol yang diujikan secara berulang setiap tahun yang dilakukan secara manual oleh auditor menggunakan metode sampling. Selain itu, IAG juga melakukan pemantauan secara berkala terhadap temuan-temuan audit yang dikeluarkan. Pemantauan audit dilakukan berdasarkan dokumen tertulis oleh setiap divisi dengan mengacu pada timeline yang disepakati dengan Auditee.Berdasarkan hasil analisis dari permasalahan pengujian kontrol dan pemantauan hasil audit, penelitian ini bertujuan untuk membuat rancangan spesifikasi kebutuhan Sistem Pengujian Kontrol dan Pemantauan Hasil Audit yang dapat digunakan oleh IAG PT XYZ. Spesifikasi kebutuhan sistem dirancang menggunakan proses rekayasa perangkat lunak Rational Unified Process RUP pada satu iterasi fase inception dan dua iterasi fase elaboration dengan ruang lingkup business modeling workflow dan requirements workflow. Hasil dari penelitian didapatkan 18 stakeholder request STRQ , 19 NEED, 27 fitur FEAT , 33 kebutuhan spesifikasi sistem SRS dengan 10 kebutuhan fungsional UCS dan 28 kebutuhan non-fungsional SUPP . Seluruh hasil tersebut didokumentasikan pada artefak Requirement Management Plan, Stakeholder Request, Vision, Software Requirement Specification, Use Case Specification, Supplementary Specification, dan Glossary.

ABSTRACT
PT XYZ has implemented many IT controls to prevent the business process from risk of fraudulent. The effectiveness of the controls are tested by conducting audit activities performed by the Internal Audit Group IAG . There are recurring audit of controls that are performed manually by the auditor using sampling method. In addition, IAG also conducts regular monitoring of audit findings. Audit monitoring is done manually by each division based on the agreed timeline with Auditee.Based on the problem analysis of control testing and monitoring audit results, this study aims to make the requirement specification design for continuous auditing and monitoring system that can be used by IAG PT XYZ. The requirement specification is designed using the Rational Unified Process RUP software process through inception and elaboration phases with the scope of business modeling workflow and requirements, analysis and design workflow.The result of this research are 18 stakeholder request STRQ , 19 NEED, 27 features FEAT , 33 software requirement specifications SRS that consist of 10 functional requirements UCS and 28 non functional requirements SUPP . All the results are documented in Requirement Management Plan, Stakeholder Request, Vision, Software Requirement Specification, Use Case Specification, Supplementary Specification, and Glossary artifacts."
2018
TA-Pdf
UI - Tugas Akhir  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>