Judul: Sistem Pendukung Keputusan Penyediaan Dokumen dalam Pengajuan Sertifikasi Halal.
Abstrak: Pemerintah Indonesia mengeluarkan Undang-undang No.33 Tahun 2014 sebagai bentuk perlindungan terhadap konsumen muslim dalam mengatasi masalah halal. Undang-undang tersebut mewajibkan produk yang masuk, beredar dan diperdagangkan di Indonesia memiliki sertifikat halal. MUI (Majelis Ulama Indonesia) memberikan dukungan pendaftaran online, yang dikenal dengan CEROL (certification online) untuk mempermudah proses pengajuan sertifikasi halal. Cepat atau lambatnya proses pengajuan tersebut bergantung pada ketepatan dan kelengkapan dokumen persyaratan yang diajukan. Penelitian ini bertujuan menghindari pengulangan proses pengisian data bahan dan penundaan proses pengajuan sertifikasi halal yang disebabkan karena kesalahan dalam melampirkan dokumen yang diperlukan. Salah satu penyelesaian yang praktis dan akurat adalah dengan mengembangkan sistem pendukung keputusan untuk penentuan dokumen pendukung bahan, yang disebut sebagai SPK PDPB. SPK PDPB telah dikembangkan ke dalam sistem berbasis web dengan menggunakan bahasa pemrograman hypertext prepocessor (PHP) dan database management system MySQL (my structured query language). Jenis dokumen pendukung yang menjadi keluaran dari sistem ini terdiri atas diagram alir proses, spesifikasi teknis, COA (Certificate of Analysis) atau dokumen pembelian bahan, sertifikat halal dan dokumen kosong. Dukungan keputusan yang diberikan oleh sistem berdasarkan pada aturan penentuan kategori titik kritis bahan yang dikeluarkan MUI pada Panduan umum sistem jaminan halal dan 4 parameter tambahan, yaitu sumber bahan baku, sumber bahan tambahan, titik kritis bahan dan ada/tidaknya proses tambahan pada bahan yang digunakan dalam pembuatan suatu produk. Penentuan 4 parameter pengambilan keputusan tersebut berasal dari penerapan metode pohon keputusan dengan model J48 yang diterapkan menggunakan aplikasi Weka. Jumlah data yang digunakan pada tahap analisis penentuan dokumen pendukung bahan ini berjumlah 738 data dan dibedakan menjadi 80% data latih dan 20% data uji. Hasil akurasi aturan pengambilan keputusan yang dihasilkan adalah 99,3%. Fitur yang terdapat pada SPK PDPB, yaitu penentuan dokumen pendukung bahan, pencarian informasi data bahan, jenis dokumen pendukung bahan dan sertifikasi halal, dan juga penampungan aspirasi pengunjung website. Sistem ini dibagun dengan menerapkan SDLC (system development life cycle) dan menghasilkan sistem yang dapat menjadikan proses penentuan dokumen pendukung bahan lebih mudah dengan hasil yang tepat. Saat ini penentuan dokumen pendukung bahan pada parameter proses tambahan hanya berfokus pada ada atau tidaknya proses tersebut. Diharapkan kedepannya nilai dari parameter tersebut dapat mencakup nilai pengolahan bahan secara detail seperti mencantumkan nama proses, bahan tambahan dan bahan penolong yang digunakan.
Keyword: sertifikasi halal, dokumen pendukung bahan, sistem pendukung keputusan, pohon keputusan, berbasis web

Judul: Implementasi Sistem Sertifikasi Halal Berbagai Kategori Industri Pangan dan Uji Coba Implementasinya di Kantin Sapta- Fateta-IPB
Abstrak: Consuming halal food is a mandatory for every Muslim. For this reason, it is important for food producers to provide halal food. Demand of halal food increases significantly in line with the growth of Muslim population and the awareness of Muslim to consuming halal food. Due to the high population of Muslim around the world halal food production has become the concern of food industries in the last twenty years, including in Indonesia. The assurance of halal food production by food industries was done through certification process. In Indonesia, the process of halal certification was conducted by an independent agency under the Indonesian Council of Ulama (MUI), namely the Institute for Foods, Drugs and Cosmetics (LPPOM MUI). Indonesia has become the pioneer in establishment of halal certification system. Currently LPPOM MUI has established Halal Certification Online Service System (CEROL-SS23000) in order to facilitate the registration of manufacturers and halal certification process. The objectives of this internship program was to study the halal certification system for various food industry categories conducted by LPPOM MUI, through the Certification Online Service System (CEROL system), and implementation through the preparation of halal certification in the catering Sapta-Fateta-IPB. The primer data was obtained through survey to some categories of food industries to evaluate Certification Online Service System (CEROL-SS23000) based on producer perception.
Keyword: LPPOM MUI., halal food, halal certificate, CEROL-SS23000

Judul: Metrik Einstein (Anti-) Self-Dual Berdimensi Empat dengan Metode Cartan
Abstrak: Gravitational field equation can be formulated in differential forms (differential geometry), which describes gravity as a manifestation of the curvature of space-time. Curvature of space-time is characterized by a metric that satisfies the gravitational field equation. With differential forms it can be formulated the (anti-) self-dual Einstein equation, which is a modification of the Cartan structure in (anti-) self-dual basis. Calculation of (anti-) self-dual metric with (anti-) self-dual Einstein equation is simpler than the calculation using Christoffel symbols.
Keyword: