Judul: Pengaruh Etil Metan Sulfonat (Ems) Terhadap Mikroalga Spesies Dunaliella Sp.
Abstrak: Buah merah Pandanus Conoideus merupakan salah satu tanaman endemik Papua yang mengandung makro dan mikro nutrien, salah satu diantaranya adalah Vitamin E (tokoferol ) sebesar 11.000 mg/l dalam 100 g. Vitamin E merupakan mikro nutrien yang dibutuhkan dalam masa reproduksi ikan yaitu berperan dalam pembelahan sel. Penelitian ini bertujuan untuk mengevaluasi pengaruh penambahan minyak buah merah melalui pakan terhadap rematurasi ikan mas koki. Penelitian ini dilakukan selama 28 hari dengan perlakuan pemberian dosis minyak buah merah (MBM) dan Kontrol (A) yaitu pakan tanpa MBM. Perlakuan MBM terdiri dari dosis MBM 175 mg/kg pakan (B), MBM 375 mg/kg pakan (C), MBM 500 mg/kg pakan (D). Hasil penelitian menunjukkan bahwa pemberian MBM melalui pakan menghasilkan nilai kebuntingan pada hari ke- 15, dengan hasil terbaik yaitu perlakuan MBM 500 mg/kg dengan presentase 66,67%, pergerakan inti telur (GVBD) 80% mulai hari ke-21, tingkat ovulasi 37%.
Keyword: Ikan mas koki, kebuntingan, minyak buah merah, rematurasi

Judul: Rematuration of Goldfish Carassius auratus with the addition of Red Fruit Oil Pandanus conoideus through Feed.
Abstrak: Buah merah Pandanus Conoideus merupakan salah satu tanaman endemik Papua yang mengandung makro dan mikro nutrien, salah satu diantaranya adalah Vitamin E (tokoferol ) sebesar 11.000 mg/l dalam 100 g. Vitamin E merupakan mikro nutrien yang dibutuhkan dalam masa reproduksi ikan yaitu berperan dalam pembelahan sel. Penelitian ini bertujuan untuk mengevaluasi pengaruh penambahan minyak buah merah melalui pakan terhadap rematurasi ikan mas koki. Penelitian ini dilakukan selama 28 hari dengan perlakuan pemberian dosis minyak buah merah (MBM) dan Kontrol (A) yaitu pakan tanpa MBM. Perlakuan MBM terdiri dari dosis MBM 175 mg/kg pakan (B), MBM 375 mg/kg pakan (C), MBM 500 mg/kg pakan (D). Hasil penelitian menunjukkan bahwa pemberian MBM melalui pakan menghasilkan nilai kebuntingan pada hari ke- 15, dengan hasil terbaik yaitu perlakuan MBM 500 mg/kg dengan presentase 66,67%, pergerakan inti telur (GVBD) 80% mulai hari ke-21, tingkat ovulasi 37%.
Keyword: Goldfish, Oil red fruit, Pregnancy, Rate, Rematuration, Macronutrients, Micro nutrients, Vitamin E, Fish reproduction, Cell Cleavage, Feed, MBM

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: