Judul: The effect of added african leave juice (Vernonia  amygdalina)  in  the  drinking  water  on  blood  status  of  quail  (Coturnix Coturnix Japonica)
Abstrak: Tujuan penelitian ini untuk mendeskripsikan pengaruh pemberian daun afrika (Vernonia amygdalina) ke dalam air minum terhadap profil darah burung puyuh (Coturnix coturnix japonica). Jumlah hewan dalam penelitian ini adalah 120 ekor burung puyuh jepang berumur 57 hari. Pakan dalam penelitian ini menggunakan pakan komersil crumble, desain yang digunakan dalam penelitian ini adalah Rancangan Acak Lengkap (RAL) (tiga perlakuan dan tiga ulangan). Perlakuan dalam penelitian ini adalah kontrol P0 (0 mL jus daun afrika), P1 (jus daun afrika 3 mL), dan P2 (jus daun afrika 6 mL). Data dianalisis dengan analisis varian (ANOVA). Parameternya adalah profil darah (eritrosit, leukosit, hematokrit, hemoglobin) dan leukosit diferensiasi (eosinofil, basofil, heterofil, monosit, dan limfosit). Hasil penelitian menunjukkan bahwa penambahan 3 mL atau 6 mL sari daun afrika pada air minum secara nyata (P <0,05) menurunkan hemoglobin darah. Tidak ada efek pada eritrosit, leukosit, hematokrit, dan diferensiasi leukosit.
Keyword: African Leaf (Vernonia amygdalina), Blood profile, apanese quail (Cotur  nix coturnix japonica)

Judul: Africa Leaf (Vernonia amygdalina) Extract Supplement in Dringking Water on physical characteristic of egg and internal organ of Japanese Quail (Coturnix coturnix japonica)
Abstrak: ABSTRAK SYINDI RIZKI SAFITRI. Suplemen Ekstrak Daun Afrika (Vernonia amygdalina) dalam Air Minum terhadap Sifat Fisik Telur dan Organ Dalam Puyuh Petelur (Coturnix coturnix japonica). Dibimbing oleh DWI MARGI SUCI dan WIDYA HERMANA. Tujuan dari penelitian ini adalah untuk mengevaluasi efek dari suplemen ekstrak Daun Afrika (Vernonia amygdalina) yang diberikan ke dalam air minum terhadap sifat fisik telur dan organ dalam burung puyuh petelur (Coturnix coturnix japonica). Penelitian ini menggunakan 120 ekor puyuh petelur umur 57 hari dan puyuh diberikan pakan puyuh layer komersial. Penelitian ini terdiri dari tiga perlakuan dan lima ulangan pada masing-masing perlakuan. Penelitian menggunakan Rancangan Acak Lengkap (RAL) dengan perlakuan pemberian dosis 0 ml ekor -1 hari -1, 3 ml ekor -1 hari -1, dan 6 ml ekor -1 hari -1. Variabel yang diukur yaitu bobot organ dalam (gizzard, jantung, ginjal, pankreas, hati, lambung, limfa, usus halus, usus besar, sekum) diambil pada minggu ke 6 setelah perlakuan dan sifat fisik telur (bobot telur, bobot putih telur, bobot kerabang, bobot kuning telur dan warna kuning telur) diambil sampel sebanyak 3 minggu berturut- turut. Data dianalisis varian (ANOVA). Pemberian ekstrak daun Afrika dalam air minum sebanyak 3- 6 ml ekor-1hari-1 pada puyuh petelur tidak mempengaruhi sifat fisik telur tetapi pada pemberian ekstrak 6 ml ekor-1hari-1 berpengaruh menurunkan persentase bobot jantung.
Keyword: egg yolk, egg white, heart, Japanese quail (Coturnix coturnix japonica), Vernonia amygdalina

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: