No abstract

Indonesia faces a food waste problem, particularly at the household level. Food waste causes negative impacts on several aspects such as environment, society, and economy. Ironically, at the same time, Indonesia also has a serious hunger problem. Through community development programs, we aimed to empower households in recycling their food waste by eco enzyme and their awareness through an online challenge. Eco enzyme is an affordable and useful method to recycle food waste being a liquid product with many benefits such as insect repellent, organic fertilizer, general cleaner, air purifier, and laundry cleaner. The total participants of the eco enzyme workshop were 57 people. On the other hand, through an online campaign #MelawanFoodWate, 101 users took action to be conscious customers in shopping behavior. These activities were in collaboration with several stakeholders to ensure the success of the program. These programs can be considered an initiation to develop Food Smart City that focuses on the community-based movement and circular economy.

The purpose of this devotional activity is to provide participants with knowledge in writing scientific papers, (2) to improve students' ability in writing scientific papers (3) to improve and encourage students in writing KTI The methods used in community service are: by method of percentage and lecture and question and answer, discussion method, and practice method of composing scientific paper proposal After participating in this training, the participants have understood the material about the Basic Concept of Scientific Writing, the types of scientific papers, (1) The results of this one-day training exercise provide knowledge to the students of STKIP Andi Matappa, 95% can complete the worksheets that are part of to the participants to answer correctly (2) Ma the students who studied this activity are mostly the final study students, it seems from the enthusiasm of the participants that they want to know and deepen the material because this participant is the final study student or while preparing the thesis, so this material helps the students in facing the process of completing the study, (3) the effort done is to provide opportunities for students to train in preparing scientific papers and making papers, which then perform mentoring Abstrak Tujuan dari kegiatan pengabdian ini adalah untuk memberikan peserta pengetahuan dalam menulis karya tulis ilmiah, (2untuk meningkatkan kemampuan mahasiswa dalam menulis karya tulis ilmiah (3) untuk meningkatkan dan mendorong mahasiswa dalam menulis KTI. Metode yang digunakan dalam pengabdian kepada masyarakat ini adalah: pelatihan dengan metode persentase dan ceramah dan tanya jawab, metode diskusi, dan metode praktek penyusunan proposal karya tulis ilmiah. Setelah mengikut pelatihan ini, para peserta pelatihan telah memahami materi tentang Konsep Dasar Karya Tulis Ilmiah, jenis-jenis karya tulis ilmiah, syarat kerya ilmiah, teknik penulisan karya ilmiah, Pemilihan dan Penentuan Topik, dan Penyusunan Kerangka Isi serta peyusunan daftar pustaka. Hasil kegiatan ini adalah; (1) Hasil pelaksanaan pelatihan yang berlangsung sehari ini memberikan pengetahuan terhadap mahasiswa STKIP Andi Matappa, 95% dapat menyelesaikan lembar kerja yang dibagian kepada peserta menjawab benar. (2) Mahasiswa yang mengikiuti kegaiatn ini sebagian besar mahasiswa studi akhir perkuliahan, tampak dari antusias peserta ingin mengathui dan mendalami materi karena peserta ini adalah mahasiswa studi akhir atau sementara menyusun skripsi, sehingga materi ini membantu mahasiswa dalam menghadapi proses penyelesauai studinya, (3) Upaya yang dilakukan adalah memberikan kesempatan kepada mahasiswa untuk melatih menyusun karya tulis ilmiah dan membuat makalah, yang kemudian melakukan pendampingan Katakunci: Karya Tulis Ilmiah, Mahasiswa PENDAHULUAN Menulis merupakan proses kreatif untuk menuangkan gagasan dalam bentuk bahasa tulis. Menulis mencakup seluruh kegiatan yang melibatkan pikiran, perasaan, khayalan, kemauan serta keyakinan. Dalam perkuliahan, bagi sebagian mahasiswa mengatakan bahwa menulis meru...

The need for adaptive systems is growing with the increasing number of autonomous entities such as software systems and robots. A key characteristic of adaptive systems is that their environment changes, possibly in ways that were not envisaged at design-time. These changes in requirements, model and context mean the functional behaviour of a system cannot be fully defined in many cases, and consequently formal verification of the system is not possible. In this research, we propose a fuzzy representation to describe the result of requirement verification. We use an adaptive assisted living system as the case study. The RELAX language is used to create a flexible system specification. We model and simulate the system using UPPAAL 4 and use a fuzzy approach to translate the simulation result into fuzzy requirement satisfaction. The result shows the benefit of a more flexible representation by describing the degree of requirement satisfaction rather than a strict yes/no Boolean judgment.