Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
Pada tulisan ini akan dijelaskan berbagai teknik sistem temu kembali informasi dan rancangan integrasi sistem ke basis hiperteks. Sistem pengindeksan yang dijelaskan adalah pengindeksan dengan pembobotan berdasarkana frekuensi dan berdasarkan rumus Savoy [1]. sedangkan teknik temu kembali informasi yang dijelaskan adalah teknik Boolean biasa, teknol Boolean berperingkat dan teknik Extnded Boolean.Kinerja berbagai pengindeksan di ukur dengan menampilkan dokumen yang terambil berikut bobot peringkatnya. Sistem ini dapat digunakan sebagai "bencmarking tool" untuk mengukur kinerja berbagai teknik yang digunakan dalam sistem temu kembali informasi

Abstrak :
Sheaves of algebras over boolean spaces comprehensively covers sheaf theory as applied to universal algebra. The text presents intuitive ideas from topology such as the notion of metric space and the concept of central idempotent from ring theory. These lead to the abstract notions of complex and factor element, respectively. Factor elements are defined by identities, discovered for shells for the first time, explaining why central elements in rings and lattices have their particular form. Categorical formulations of the many representations by sheaves begin with adjunctions and move to equivalences as the book progresses, generalizing stone’s theorem for boolean algebras.

Abstrak :
Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating "global" inferences about the nature of computation.

Abstrak :
This study differs from previous studies by applying multivariate statistical analysis and multi-criterion decision-making methods to the improvement of service quality. We use the rough set theory (RST) with a flow graph approach to determine customer attitudes regarding service quality, which can assist managers in developing strategies to improve service quality and thus satisfy the needs of customers. A set of rules is derived from a large sample of airline customers, and its predictive ability is evaluated. The flow graph and the cause-and-effect relationship of the decision rules are heavily exploited in service quality characteristics. As compared with the results of other data-mining analyses, our results are encouraging. This study demonstrates that the combination of the RST model and flow graphs assists in identifying the needs of customers, determining their characteristics, and facilitating the development of an improvement strategy.

Abstrak :
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay tests, as well as tests with long propagation paths to detect small delay defects.

Abstrak :
Ide dasar dilakukannya penelitian ini adalah untuk mengembangkan dan mengimplementasikan sistem temu kembali informasi dalam lingkungan yang sifatnya terdistribusi (Ditributed Information Retrieval System). Pengertian terdistribusi di sini adalah penggunaan satu prosesor untuk mengakses beberapa koleksi database dokumen. Pengimplementasian sistem temu-kembali informasi terdistribusi menjadi begitu penting karena sifat alamiah dari koleksi dokumen yang letak penyimpanannya tersebar secara fisik (misalnya, koleksi dokumen yang berada di berbagai instansi). Di samping itu, setiap pengelola dokumen tentunya menginginkan adanya kebebasan dalam mengatur koleksi dokumen yang dimilikinya. Sifat dokumen yang seperti inilah yang menyebabkan diperlukannya suatu mekanisme khusus, agar seseorang yang membutuhkan informasi tidak mengalami kesulitan ketika mencari informasi tersebut. Untuk mengatasi hal tersebut di atas, diperlukan suatu sistem temu kembali yang bisa digunakan dalam lingkungan yang terdistribusi. Ada tiga bagian yang harus diperhatikan dalam mengembangkan sistem temu kembali informasi terdistribusi, yaitu (1) antar-muka ke pemakai (user interface), (2) mesin pencari (search engine) dengan kemampuan melakukan pencarian terhadap sumber-sumber dokumen yang ada di dalam berbagai LAN/WAN, (3) basis data dokumen. Pengembangan sistem temu-kembali informasi terdistribusi ini (khususnya bagian mesin pencari) dibagi dalam 3 bagian yaitu: bagian pemeringkatan koleksi, mesin pencari di database lokal, bagian yang menggabungkan hasil pencarian yang diperoleh dari suatu koleksi. Teknik pengindeksan yang dipergunakan adalah pengindeksan frekuensi dan pengindeksan berbasis rumus Savoy. Teknik pemeringkatan yang dipergunakan untuk pemilihan koleksi adalah teknik Lexicon Inspection, D-WISE, dan modifikasi dari rumus Savoy. Sedangkan teknik temu kembali informasi yang dipergunakan untuk mencari koleksi dokumen dalam suatu server adalah teknik Extended Boolean P-Norm Model. Untuk menggabungkan hasil pencarian di berbagai koleksi dokumen, teknik yang dipergunakan adalah raw score dan weighted score. Hasil penelitian menunjukkan bahwa teknik Lexicon Inspection memberikan hasil pemeringkatan yang lebih baik dibandingkan dengan teknik D-WISE dan Savoy Extension. Penelitian juga menunjukkan bahwa penggunaan meta-index berbasis indeks Savoy memberikan hasil yang lebih baik dibandingkan dengan indeks frekuensi. Selain itu penelitian juga menunjukkan bahwa pencarian tidak harus dilakukan di seluruh koleksi yang terambil. Dengan mengambil 90% koleksi teratas dari koleksi yang terambil, dokumen relevan yang terambil mendekati hasil yang diperoleh apabila dilakukan pencarian terhadap seluruh koleksi yang terambil.

Abstrak :
This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and binary arithmetic to sequential networks and finite state machines, together with the essential tools to design and simulate systems composed of a controller and a datapath. The numerous worked examples and solved exercises allow a better understanding and more effective learning. All of the examples and exercises can be run on the Deeds software, freely available online on a webpage developed and maintained by the authors. Thanks to the learning-by-doing approach and the plentiful examples, no prior knowledge in electronics of programming is required. Moreover, the book can be adapted to different level of education, with different targets and depth, be used for self-study, and even independently from the simulator. The book draws on the authors’ extensive experience in teaching and developing learning materials.