Judul: Profil eritrogram Domba Garut yang Terinfeksi Miasis dengan Pemberian Salep Sirih Merah ( Pipercrocatum )
Abstrak: Miasis pada domba merupakan salah satu penyakit merugikan karena menurunkan produksi dan kualitas daging. ada berbagai cara untuk mengobati infeksi miasis tersebut, salah satunya yaitu dengan pemberian pemberian ekstrak tanaman sirih merah (Pipercrocatum) yang diolah dalam bentuk salep. Penelitian bertujuan untuk mengetahui efektivitas salep sirih merah 2 % dan sirih merah 4% terhadap perubahan gambaran eritrogram pada domba garut yang terinfeksi miasis. Sebanyak 15 ekor domba Garut betina di bagi menjadi 5 kelompok dendan masing-masing kelompok terdiri atas 3 ekor domba. Kelompok pertama yaitu Kelompok Kontrol (K) Kesehatanpaperlakuan, sedangkan kelompok lainnya diinfestasilarva Chrysomyabezziana. Kelompok ke dua yaitu kelompok kontrol positif (K+) yang di beri obat asuntol 2%, kelompok ke tiga yaitu kelompok kontrol negatif (K-) yang tidak di beri pengobatan, kelompok ke empat yaitu kelompok perlakuan pertama (KP1) dengan pemberian salep sirih merah 2%, kelompok ke lima yaitu kelompok perlakuan kedua (KP2) dengan pemberian salep sirih merah 4%. Domba garut dilukai pada daerah punggung dan di beri 50 larva. Setiap hari luka diolesi dengan salep yang di uji. Pengambilan sampel darah melalui venajugularis pada hari ke-0, ke-3 dan ke-7. Sampel darah di periksa untuk mengetahui jumlah eritrosit, nilai hematokrit (PCV), dan kadar hemoglobin (Hb). Pemberian salep sirih merah tidak menyebabkan perubahan secara signifikan terhadap jumlah eritrosit, kadar hemoglobin dan nilai hematokrit pada domba garut yang diinfestasilarva Chrysomyabezziana. gambaran eritrogram dengan pemberian salep sirih merah 4% sebagai terapi miasis lebih baik di banding pemberian salep sirih merah 2%.
Keyword: Chrysomyabezziana, Darah, Domba Garut, Miasis

Judul: Gambaran Eritrogram Domba Garut yang Terinfeksi Miasis dan Diberi Salep Kombinasi Sirih Merah dan Binahong.
Abstrak: Penelitian ini bertujuan untuk mengetahui pengaruh pemberian salep kombinasi sirih merah dan binahong terhadap profil eritrogram domba Garut yang terinfeksi oleh larva lalat Chrysomya bezziana. Sebanyak 15 ekor domba Garut, dibagi menjadi lima kelompok: kelompok kontrol (K) tanpa perlakuan, kelompok kontrol positif (K+) yang diberi obat asuntol 2%, kelompok kontrol negatif (K-) yang tidak diberi pengobatan, kelompok perlakuan pertama (KP1) diberi salep kombinasi sirih merah dan binahong 2%, dan kelompok perlakuan kedua (KP2) diberi salep kombinasi sirih merah dan binahong 4%. Domba Garut dilukai pada daerah punggung dan diberi larva lalat sebanyak 50. Darah diambil melalui vena jugularis pada hari ke-0, 3, dan 7. Sampel darah diperiksa untuk mengetahui jumlah eritrosit, nilai hematokrit, dan kadar hemoglobin. Gambaran eritrogram tidak berbeda secara signifikan antar kelompok perlakuan. Jumlah eritrosit, nilai hematokrit dan kadar hemaglobin masih berada pada nilai kisaran normal. Salep kombinasi sirih merah dan binahong 2% memperlihatkan gambaran eritrogram lebih baik dibandingkan salep kombinasi sirih merah dan binahong 4%.
Keyword: Chrysomya bezziana, eritrogram, domba, miasis

Judul: autonomous mobile robot menggunakan metode formal logika temporal linear
Abstrak: Logika temporal linear (LTL) dikontruksi dari formulasi logika tingkah laku sistem yang diharapkan dari waktu ke waktu secara linear. Dengan demikian jika pada bagian atau waktu tertentu terjadi kesalahan pada sistem, kesalahan itu dapat segera diantisipasi. Dalam hal ini penggunaan perencanaan logika temporal linear tidak hanya digunakan pada autonomous mobile robot untuk mencapai sebuah tujuan atau menghindari rintangan, tetapi juga untuk perangkaian, perluasan atau penugasan sementara (temporal ordering) pada sebuah rangkaian tugas yang berbeda dalam satu waktu. Dalam LTL untuk menghasilkan lintasan robot dilakukan tiga tahap tahap aktivitas, yaitu pendefinisan abstraksi diskrit pergerakan robot, perencanaan logika temporal menggunakan model checking, dan implementasi kontinu rencana diskret (continuous implementations of discrete plan).
Keyword: