arulpm/tripletsmall huggingface dataset:
Judul: Sistem Penjadwalan Ujian Menggunakan Answer Set Programming
Abstrak: Scheduling tasks have been known to be computationally expensive. Several scheduling problems have been shown to be NP-complete. This research deals with the problem of scheduling exams for the undergraduate Major-Minor System in Bogor Agricultural University. We employ Answer Set Programming (ASP) to tackle this problem. ASP has been, in the last decade, the subject of active research in the field of logic programming, knowledge representation, and reasoning. ASP allows for an intuitive representation of computationally hard problems as well as efficient solving using state-of-the-art solvers, such as DLV. In this research, a representation of scheduling problem in the context of undergraduate Major-Minor System in Bogor Agricultural University has been formulated and a prototype application system written using C# .Net and DLV has also been implemented. Experimental results show that the system is capable of generating feasible exam scheduling in acceptable time for smaller-sized datasets, but still needs performance improvement for bigger-sized dataset
Keyword: 

Judul: Peningkatan Efisiensi Sistem Penjadwalan Ujian Menggunakan Answer Set Programming
Abstrak: Scheduling tasks has been known to be computationally expensive and some of this problem has been shown to be NP-complete. Previous research has been done to build a system that applied Answer Set Programming (ASP) to solve the problem of exam scheduling for the undergraduate Major-Minor System in Bogor Agricultural University. The results showed that the system is capable of generating exam schedule in acceptable time for relatively small-sized datasets, but not for bigger-sized datasets. The purpose of this research is to improve the performance of the exam scheduling system. In this research, we used clingo, a part of Potassco, as the ASP solver. The results of this system showed that there were efficiency improvements in the process time by 33,72% and the space used during the process by 51,93%. This system is also capable of generating exam schedule for bigger-sized data than the previous system.
Keyword: 

Judul: Trichomonas Gallinae Penyebab Trichomonosis Pada Unggas
Abstrak: Trichomonas gallinae adalah protozoa yang bergerak aktof dengan keempat flagella yang mempunyai layar dan pada salah satu sisinya terdapat membran seperti sirip ikan yang berombak. Spesies dari genus Trichomonas ini mempunyai arti penting pada unggas, karena dapat menyebabkan infeksi pada alat pencernaan bagian atas.
Keyword:
Judul: IPB (Bogor Agricultural University)
Abstrak: Penelitian bertujuan untuk (1) mengetahui karakter morfofisiologi dan respon pertumbuhan eksplan beberapa galur kedelai yang mengalami cekaman Al pada kultur in vifro, (2) mengetahui apakah ada kesesuaian kedelai toleran Al secara Mtur in viiro (generasi awal/Ro) dengan penanaman pada tanah masam di rumah kaca hingga pengujian tanaman generasi kedua (R₂), (3) memperoleh informasi pertumbuhan dan produksi beberapa galur kedelai toleran Al hasil penapisan kultur in vitro hingga tanaman generasi kedua yang ditanam di rumah kaca.
Keyword: 

Judul: IPB (Bogor Agricultural University)
Abstrak: Penelitian ini bertujuan untuk mengetahui pengaruh umur tanaman, inokulan, kandungan N d i dalam medium tumbuh, dan varietas kedelai terhadap perembesan senyawa. N dari perakaran dan bintil akar kedelai ke dalam medium tumbuh, serta manfaatnya bagi tanaman lain yang ditumpangsarikan dengan kedelai, Untuk ini telah dilakukan empat percobaan secara berturut-turut di rumah kaca Bagian Fisiologi Tumbuh-tumbuhan Fakultas Pertanian, Institut Pertanian Bogor, dari bulan Juni 1980 s/d Nopember 1982.
Keyword: 

Judul: Truncated Stop Loss as a Optimal Solution of Reinsurance Agreement in One-Period Model
Abstrak: Reinsurance is one of risk management efforts of an insurance company, which is called the cedent. Similar with insurance, reinsurance constitutes the cedent to pay the premium. We consider one-period reinsurance model and derive a rule which minimizes the ruin probability of the cedent for a fixed reinsurance premium. Therefore, it is needed to construct an optimal reinsurance agreement for the cedent. The premium is calculated according to four different principles, i.e. economic, generalized zero-utility, Esscher, and mean-variance principles. Stop loss is a reinsurance contract which protect the insurance company for losses that exceed a certain amount. The result of this research shows that a truncated stop loss is an optimal agreement in the class of all reinsurance contracts with various premiums calculated using above mentioned principles.
Keyword:
Judul: Pendugaan densitas ikan dengan metode hidroakustik split beam di perairan selatan Jawa
Abstrak: Perairan Selatan Jawa memiliki sumber daya ikan yang cukup potensial. Perairan ini diperkirakan memiliki potensi perikanan yang jauh lebih besar bila dibandingkan dengan perairan Utara Jawa. Akan tetapi potensi perikanan tersebut belum dimanfaatkan secara optimal.
Keyword: 

Judul: Pendugaan Densitas dan Sebaran Ikan Pelagis Dengan Sistem Akustik BIM Terbagi (Split Beam Acoustic System)  Serta Hubungannya Dengan Faktor Oseanografi Di Perairan Laut Cina Selatan
Abstrak: Potensi sumberdaya perikanan dan kelautan Indonesia yang melimpah belum termanfaatkan secara maksimal. Informasi mengenai sumberdaya perikanan dan kelautan sampai saat ini masih merupakan suatu permasalahan, Ekplorasi sumberdaya perikanan dan kelautan harus didukung oleh penguasaan Ilmu Pengetahuan dan Teknologi untuk menentukan potensi dan metode yang tepat, efektif dan efisien serta tetap menunjang keletatian sumberdaya, Salah satunya dengan menggunakan metode akustik.
Keyword: 

Judul: Analysis of M/G/1 Queue Model with Two Phases of Service and Bernoulli Feedback System
Abstrak: Model antrean M/G/1 dengan sistem feedback Bernoulli adalah model antrean dengan proses kedatangan mengikuti proses Poisson. Pada karya ilmiah ini dibahas sistem antrean M/G/1 dengan dua fase layanan. Setelah layanan pertama selesai, pelanggan dapat memilih untuk meninggalkan sistem dengan peluang ... dst, The M/G/1 queueing model with the Bernoulli feedback system is a queueing model with the arrival process following the Poisson process. In this manuscript M/G/1 queueing system with two phases of service is discussed. After the first service is completed, the customer can choose to leave the system with probability ... dst
Keyword: queue, Bernoulli, probability generating function, expected value
Judul: Studi Biologi Reproduksi Ikan Blodok Boleophthalmus boddarti di Perairan Ujung Pangkah, Jawa Timur
Abstrak: Penelitian ini dilaksanakan sejak bulan Maret 1999 sampai dengan bulan Februari 2000 di Laboratorium Hidrobiologi, bertujuan untuk mengetahui aspek-aspek reproduksi ikan blodok Boleophthalmus boddarti di perairan Ujung Pangkah, Jawa Timur. Hasil penelitian diharapkan dapat menjadi bahan informasi dalam upaya pengelolaan dan pemanfaatan perairan tersebut. Penentuan lokasi penangkapan ikan sampel dilakukan berdasarkan lokasi penangkapan ikan blodok Boleophthalmus boddarti oleh nelayan setempat, yaitu daerah-daerah pertambakan ikan dan udang dan daerah muara sungai disekitar perairan Ujung Pangkah, Jawa Timur. Ikan contoh ditangkap dengan menggunakan tangan dan gill net dalam selang waktu satu bulan sebanyak 12 kali dan diawetkan dengan formalin 10%.
Keyword: 

Judul: Studi Pertumbuhan Ikan Blodok Boleophthalmus boddarti di Perairan Ujung Pangkah, Jawa Timur
Abstrak: Ikan Blodok Boleophthalmus boddarti merupakan salah satu spesies ikan dari famili Gobiidae dan tergolong ikan "mudskipper" yaitu hidup meloncat-loncat di permukaan lumpur pantai. Jumlah ikan ini di alam masih sangat melimpah khususnya di Indonesia karena pemanfaatan dan pengelolaannya belum dilakukan secara optimal. Penelitian-penelitian spesies ikan blodok pun belum banyak dilakukan. Tujuan penelitian ini adalah untuk mengetahui aspek-aspek pertumbuhan ikan B. boddarti dari Perairan Ujung Pangkah, Jawa Timur berdasarkan data sebaran panjang, otolith dan sisik. Hasil penelitian diharapkan dapat digunakan sebagai data dasar dalam melakukan pengelolaan sumber daya perikanan B. boddarti khususnya di perairan Ujung Pangkah, Jawa Timur dan di seluruh perairan Indonesia pada umumnya.
Keyword: 

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:
Judul: Pengaruh persilangan tetua ( Parents ) puyuh yang berbeda warna bulunya terhadap pertumbuhan dan konversi makanan anaknya selama lima minggu
Abstrak: Penelitian ini dilakukan di lokasi peternakan pusuh "The Golden Quail " Cikembar, Sukabumi. Penelitian dimulai sejak bulan Mei sampai dengan bulan Juli 1983. Tujuan penelitian adalah untuk mengetahui pengaruh persilangan tetua (parents) puyuh yang berbeda warna bulunya pertumbuhan dan konversi makanan anaknya selama lima minggu. Perkawinan pada tetua (parents) yang dilakukan terdiri dari perkawinan antara jantan warna bulu putih x betina warna bulu coklat hitam, jantan warna bulu coklat hitam x betina warna bulu putih, jantan warna bulu coklat hitam x betina Warna bulu coklat hitam serta jantan warna bulu putih x betina warna bulu putih. Rancangan percobaan yang digunakan adalah rancangan Acak Kelompok pola Faktorial 5 x 4. Nilai rata-rata hasil pengamatan diuji dengan Uji Beda Nyata Jujur. Hasil penelitian menunjukkan bahwa persilangan pada tetua puyuh yang berbeda warna bulunya tidak berpengaruh nyata (P0.05) terhadap bobot awal anak puyuh, berpengaruh sangat nyata ( P 2 0.01) terhadap pertambahan bobot badan dan konversi makanan per minggu selama lima minggu. Umur anak berpengaruh sangat nyata (F/0.01) terhadap pertambahan bobot badan dan konversi makanan per minggu selama lima minggu. Terdapat interaksi antara perkawinan pada tetua dengan umur anak terhadap pertambahan bobot badan per minggu, tetapi interaksi tidak nyata pada konversi makanannya.
Keyword: 

Judul: Pengaruh persilangan terhadap bobot telur tetas, fertilitas dan daya tetas puyuh
Abstrak: Tujuan penelitian ini adalah untuk mengetahui sebagian sifat-sifat reproduksi seperti bobot telur tetas, fertilitas dan daya tetas dari hasil persilangan puyuh berdasarkan warna bulu antara puyuh coklat (C) dan puyuh coklat hitam (CH). Persilangan puyuh berdasarkan warna bulu terdiri empat persilangan yaitu betina CH (bCH) X Jantan CH (jCH), betina C (bC) X Jantan C (jC), betina CH X jantan C dan betina C X jantan CH.
Keyword: 

Judul: The Exploration of Discrete Logarithm over Finite Field GF(3m)
Abstrak: The security of many public~key algorithms is based on the problem of finding discrete logarithms. The generalized discrete logarithm problem is the following: given a finite cyclic group G of order n, a generator a of G, and an element fl E G, find the integer x, 0 ~ x ~ n - 1, such that 0: = fl. Algorithm for discrete logarithm problem focused on Menezes et al. (1997) that consist of exhaustive search algorithm, the baby-step giant-step algorithm, Pollard's rho algorithm, Pohlig-Hellman algorithm, and index-calculus algorithm. These algorithms are explorated to be used in discrete logarithm problem over finite field GF(3m ). The exploration also produces some algorithms, i.e. naif negative algorithm, baby-step mother-step algorithm, baby-step mother free-step algorithm, and baby-step free-step algorithm. All algorithms implemented using Maple 11. The Pohlig-Hellman and baby-step giant-step algorithms are efficient enough to be used in discrete logarithm problem over finite field GF(3m ) for m < 20.
Keyword:
Judul: Evaluasi Perkembangan Usaha Lebah Madu (Apis mellifera) (Studi Kasus pada Perusahaan Industri Kecil Madu Odeng Cibubur, Jakarta).
Abstrak: Perusahaan Industri Kecil Madu Odeng merupakan salah satu perusahaan yang bergerak di bidang produksi, pengolahan dan pemasaran madu jenis lebab Apis mellifera yang berdiri sejak lima belas tahun yang lalu. Seperti perusahaan lain pada umumnya, Perusahaan Madu Odeng mempunyai dua tujuan pokok dalam mendirikan usahanya, yaitu mencari laba atas investasi dan mempertahankan kelanggengan perusahaan. Untuk mengetahui kinerja usaha atau perkembangan Perusahaan Madu Odeng dalam mencapai tujuannya, perlu dilakukan tindakan evaluasi melalui analisis terhadap kondisi usaha yaitu menyangkut kondisi fisik dan finansialnya.
Keyword: 

Judul: Analisis Profitabilitas Perusahaan dan Peramalan Penjualan Produk Lebah Madu (Studi Kasus pada Unit Usaha Apiari Pramuka di Cibubur-Jakarta)
Abstrak: Indonesia memiliki potensi sumberdaya yang besar untuk pengembangan lebah madu, sehingga penelitian tentang berbagai produk perlebahan sangat menarik dan perlu dilakukan. Walaupun deinikiali pemasaran berbagai produk perlebahan di Indonesia masih menghadapi beberapa kendala antara lain: persepsi ~nasyarakat yang menganggap rnadu sebagai obat sehingga konsu~nsim adu sangat terbatas, pendapatan perkapita sebagian besar ~nasyarakat masih rendah, lnutu madu yang bervariasi dan adanpa saingan dari madu impor. Kondisi ini merupakan tantangan bagi unit-unit usaha yang bergerak di bidang perlebahan terutama untuk pengembangan pemasarannya.
Keyword: 

Judul: Hydroxyapatite-Chitosan Composite Coating on Stainless Steel 316 to Improve Corrosion Resistance
Abstrak: Metals that were used in bone implantation should have good corrosion resistance that were not easily corroded when implanted into the body. Metal corrosion resistance of stainless steel 316 can be enhanced through the metal coating by hydroxyapatite-chitosan composite with composition ratio of hydroxyapatite (gram) and chitosan 3% (mL) 0.2:0, 0.2:0.1, 0.2:0.5, 0.2:1.0, and 0.2:1.5. Besides improving the corrosion resistance of metal, the presence of chitosan also maintain the position of hydroxyapatite on metal surfaces. Corrosion resistance increases with increasing amount of chitosan added and the best composition of hydroxyapatite-chitosan composite was 0.2:1.0.
Keyword:
Judul: Reduksi Sulfat Menggunakan Bakteri Campuran Anaerob
Abstrak: Permasalahan lingkungan di dunia saat ini semakin kompleks yang antara lain ditandai dengan semakin tingginya tingkat pencemaran. Sulfur dioksida merupakan salah satu komponen polutan di atmosfer. Jumlah S02 berlebih di atmosfer menyebabkan hujan asam dan peningkatan jumlah penderita penyakit pernafasan akut dan kronis. Pada tahun 1990, total emisi S02 di Asia diperkirakan mencapai sekitar 38 juta ton. Sebesar 81% di antaranya bersumber dari penggunaan bahan bakar fosil. Pencemaran oleh emisi S02 terutama terjadi di area pertambangan dan industri. Salah satu upaya penanganan telah dilakukan yaitu dengan penerapan FGD (Flue Gas Desulfurization). Teknologi FGD yang sudah diterapkan adalah penggunaan adsorben padat, proses recovery dan perpaduan proses kimiawi-biologis. Masing-masing teknologi tersebut masih memiliki beberapa kelemahan.
Keyword: 

Judul: Pemilihan Media dan Kondisi Fisik Pada Biodesulfurisasi Secara Aerob
Abstrak: Fenomena hujan asam dewasa ini telah menjadi masalah yang sangat serius dan mengancam kehidupan manusia di belahan dunia mana pun. Penyebab utama terjadinya hujan asam adalah emisi sulfur dioksida. Emisi sulfur dioksida terutama berasal dari pembakaran bahan bakar fosil. Pencemaran oleh emisi sulfur dioksida banyak terjadi di area pertambangan, industri, serta lalu lintas. Beberapa upaya penanganan telah dilakukan dan kebanyakan menggunakan cara konvensional, yaitu penyerapan emisi dengan menggunakan sorbent. Cara ini relatif sederhana tetapi memerlukan penanganan lanjutan seperti landfill. Dewasa ini sedang diupayakan penanganan secara biologis sebagai penanganan altematif dan mendapat tanggapan positif. Prosesnya dikenal dengan istilah biodesulfurisasi. Biodesulfurisasi melibatkan biooksidasi pada kondisi aerob dan bioreduksi pada kondisi anaerob. Dalam biooksidasi digunakan bakteri pengoksidasi sulfur seperti Thiobacillus sp. dan Sulfolobus sp. sebagai akseptor elektron yang mengoksidasi sulfur menjadi sulfat, atau dapat pula digunakan kultur campuran.
Keyword: 

Judul: Penentuan Nilai Eigen dan Vektor Eigen dari Matriks Tridiagonal 2-Toeplitz dengan Pendekatan Polinomial Chebyshev
Abstrak: The eigenvalues and eigenvectors of a matrix can be determined by finding its characteristic polynomials. The characteristic polynomials of a tridiagonal 2-Toeplitz matrix is shown to be closely connected to polynomials which satisfy the Chebyshev recurrence relationship. If the order of the matrix is odd, then the eigenvalues are found explicitly in terms of the Chebyshev zeros and the eigenvectors are found in terms of the polynomials satisfying the recurrence relationship. For even ordered matrices, the situation is more complicated. The problem in these cases is that although the Chebyshev recurrence formula is still applied, its initial values are not generating Chebyshev polynomials
Keyword:
Judul: Aplikasi Hazard Analysis Critical Control Point (HACCP) pada Produk Es Krim di PT. Uoilever Indonesia Tbk
Abstrak: Sistem perdagangan yang semakin ketal dan kompetitif serta penerapan pasar bebas di era g10balisasi menuntut peningkatan kualitas produk suatu perusahaan agar dapat memenangkan kompetisi dengan perusahaan lain. Keamanan pangan merupakan hal serius yang menentukan kualitas produk. Untuk memenuhi tuntutan ini maka dikenal suatu sistem pengendalian bahaya yang dikenal dengan nama HACCP. HACCP adalah suatu sistem yang mengidentifikasi bahaya spesifik yang mungkin timbul dalam mata rantai produksi makanan dan tindakan pencegahan untuk mengendalikan bahaya tersebut dengan tujuan untuk menjamin keamanan pangan.
Keyword: 

Judul: Aplikasi Sistem HACCP Pada Produk Teh Celup Di PT Unilever Indonesia Tbk. Pabrik TBB Cikarang-Bekasi
Abstrak: Produk teh celup sebagai salah satu produk pangan yang diperuntukkan bagi konsumsi manusia harus aman ketika dikonsumsi. Oleh karena itu harus memiliki jaminan keamanan pangan agar tidak menimbulkan bahaya kesehatan ketika dikonsumsi oleh konsumen. Sistem jaminan keamanan pangan yang telah dikembangkan dan diakui oleh dunia industri pangan adalah sistem HACCP (Hazard Analysis Critical Control Point). Oleh karena itu penerapan sistem HACCP pada proses produksinya mutlak diperlukan. Sebab HACCP adalah suatu sistem pencegahan yang memberikan kepercayaan bahwa keamanan pangan telah dikelola secara efektif.
Keyword: 

Judul: Karakteristik Suara Song Burung Kenari (Serinus canaria) Postur Besar dan Kecil.
Abstrak: Burung kenari (Serinus canaria) memiliki nyanyian yang sangat bervariasi dengan durasi yang panjang dan merupakan tipe burung bernyanyi open learners. Penelitian ini bertujuan menganalisis karakteristik suara song burung kenari (Serinus canaria). Penelitian dilakukan pada bulan April sampai Juni 2017 di Bogor, Jawa Barat. Perekaman suara song terhadap 12 ekor burung kenari jantan dilakukan dengan menggunakan mikrofon Sennheiser ME66 dan alat perekam Sony PCM-D50. Burung kenari yang digunakan merupakan burung yang pernah mengikuti kontes burung kicau dan memiliki predikat juara kontes burung. Amplitudo, durasi suara, frekuensi, dan volume suara burung dianalisis dengan menggunakan software Raven Pro 1.4. Data tersebut selanjutnya dianalisis deskriptif. Hasil analisis suara menunjukkan bahwa burung kenari memiliki banyak syllable, suara song rapat dan tidak terputus-putus, tempo yang cepat, dan adanya pengulangan suku kata pada setiap suara song. Burung kenari postur kecil memiliki rataan durasi lebih panjang dibandingkan dengan kenari postur besar, tetapi burung kenari besar memiliki rataan max amplitudo, average power, max power, min amplitudo, peak amplitudo, dan peak frekuensi.
Keyword: karakteristik suara (song), kenari, syllable
Judul: Perbanyakan Gloriosa superba L. Melalui Metode Kultur Jaringan
Abstrak: Penelitian ini bertujuan untuk mengetahui komposisi media yang cocok untuk usaha perbanyakan Gloriosa melalui metode kultur jaringan. Penelitian dilaksanakan di Laboratorium Kultur Jaringan Tanaman, Jurusan Budi Daya, Fakultas Pertanian IPB dan berlangsung sejak bulan November 1988 sampai Desember 1989.
Keyword: 

Judul: Kultur Jaringan Begonia tuberhybrida
Abstrak: Penelitian ini bertujuan untuk melihat kemungkinan penyediaan bibit Begonia tuberhybrida secara kultur jaringan melalui perangsangan multiplikasi tunas dengan pemberian berbagai konsentrasi zat pengatur tumbuh BAP. Penelitian dilakukan di Laboratorium Kultur Jaringan Jurusan Budidaya Pertanian, Fakultas Pertanian, IPB, dari Oktober 1991 sampai April 1992.
Keyword: 

Judul: Hamiltonian formulation for linear waves motion in two layers fluid
Abstrak: The surface wave could be considered as a wave that separates two fluids, namely water and air. Based on this assumption, it is introduced the interfacial wave, a wave between two layers of fluid with different density. The formulation of interfacial waves motion begins with deriving the base equation of irrotational ideal fluid. Furthermore, according to irrotational fluid assumption, the base equation can be stated in velocity potential. In this derivation, the fluids domain is assumed to be restricted by rigid lid boundary conditions, both at the upper and lower limit. Therefore, the interfacial waves motion can be explained in a hamiltonian formulation. In the hamiltonian formulation, total energy is defined as the sum of kinetic and potential energy. The hamiltonian system is obtained from reduction of kinetic energy by using the Dirichlet Neumann Operator. The resulted kinetic energy equation is nonlinear. Therefore, this form is linearized by first part of the Taylor expansion. This linearization gives a dispersion relation of linear wave. Based on this dispersion relation, the phase speed of the linear wave depends on the density ratio of the two layers fluid.
Keyword: