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: Theileriosis pada domba dan kambing akibat infeksi theileria ovis dan theileria hirci
Abstrak: Theileriosis adalah penyakit menular yang disebabkan Boleh protozoa dari genus Theileria dan ditularkan melalui vektor caplak. Theileria ovis dan Theileria hirci pernah dimasukkan dalam genus Gonderia sehingga penyakit yang disebabkan oleh penyakit ini mempunyai beberapa nama diantaranya Benign Ovine and Caprine Gonderiosis atau Benign Ovine and Caprine Theileriosis (disebabkan oleh infeksi Theile- ria ovis). Sedang yang disebabkan oleh infeksi Theileria hirci diberi nama Malignant Ovine and Caprine Gonderiosis Malignant Ovine and Caprine Theileriosis (Levine, 1961). Soulsby (1982) dan Jensen (1983), memasukkan Theileria hirci dan Theileria ovis dalam genus Theileria, famili Theileriidae, ordo Piroplasmida, subklas Piroplasmia dan dalam kelas Sporozoa. Menurut hasil pemeriksaan theileriosis pada domba dan kambing di Indonesia periode 1 April 1981 sampai 31 Maret 1982 di Propinsi Sumatera Barat di Daerah Tingkat II Pasaman Kecamatan Talamun ditemukan pada 2 ekor kambing kacang, Kecamatan Sungai Beremas ditemukan pada 3 ekor kambing kacang dan di Daerah Tingkat II Padang Pariaman, Kecamatan Pariaman ditemukan pada 1 ekor kambing kacang (Informasi Keswan, 1982). Daerah penyebaran Theileria ovis yang pernah dilapor- kan adalah Afrika Tengah, Afrika Barat, Afrika Timur, Afrika Selatan, Perancis, Jerman, Hongaria, Sardinia dan diduga India. Sedangkan penyebaran Theileria hirci meli- puti Afrika Utara, Eropa Selatan, Irak dan Turki. Bentuk Theileria ovis dan Theileria hirci pada domba dan kambing dalam eritrosit disebut piroplasma dan bentuk dalam limfosit disebut Koch bodies atau skizon. Bentuk dalam vektor caplak adalah zigot dan kinet. Di dalam eritrosit parasit ini mempunyai beberapa macam bentuk yaitu, bentuk bulat, oval, batang, bentuk buah pir atau koma dan bentuk seperti anaplasma. Bentuk dalam limfosit berupa skizon yang terdiri dari makroskizon dan mikroskizon. Penularan Theileria ovis dan Theileria hirci dari hewan satu ke hewan lain secara alam dilakukan oleh vektor caplak secara stage to stage. Vektor dari Theileria ovis adalah caplak dari genus Rhipicephalus, Dermacentor, Hae- mophysalis dan Ornithodorus. Sedangkan vektor dari Thei- leria hirci yaitu caplak dari genus Rhipicephalus dan di- duga Ornithodorus. Penularan secara buatan dapat dilakukan dengan cara mekanik (penyuntikan dengan aplikasi intravena, subkutan dan intraperitoneal)…dst
Keyword: