This paper describes the exploitation of a Validation and Verification technique aiming at enriching the support capabilities of the KnowledgE ENgineering (KEEN) software environment. In particular, the work reports on the formal synthesis of a plan controller associated to a flexible temporal plan. The controller synthesis exploits Timed Game Automata (TGA) for formal modeling and UPPAAL-TIGA ...

Penelitian ini bertujuan mengembangkan model latihan passing berbasis teamwork untuk atlet futsal. Agar keterampilan Teknik dasar futsal meningkat serta aspek nilai kerja sama tim atau terjalin dengan erat. Metode penelitian yang digunakan yaitu Research and Development 4-D. Expert judgment dalam adalah ahli materi dan media Instrumen kuesioner. analisis data deskriptif persentase (%). Subjek u...

Currently, nutrition and health linkages focused on emerging strategy of diet based regimen to combat various physiological threats including cardiovascular disorders, oxidative stress, diabetes mellitus, etc. In this context, consumption of fruits and vegetables is gaining considerable importance as safeguard to maintain human health. Likewise, their phytochemicals and bioactive molecules are ...

Trotoar di Koridor Jalan R. Suprapto mengalami permasalahan fungsi. selayaknya dimanfaatkan untuk berjalan kaki, namun terdapat kegiatan lain seperti parkir sepeda dan kendaraan bermotor, transit pembongkaran barang serta beberapa toko menggelar dagangannya. Kondisi tersebut mengakibatkan lebar ruang trotoar menjadi berkurang pejalan kaki yang akan melintas. Tujuan penelitian ini adalah memberi...

The prevalence of mental health disorders continues to rise worldwide, such that it is estimated that 1in 4 individuals will be affected by a mental health disorder at some point in their lifetime. Research has found that the most prevalent mental health disorders are depressive disorder. Depression is a common condition, particularly within the aging population. The development of depression, ...

Ischialgia merupakan rasa sakit yang dimulai dari punggung bawah dan menjalar ketungkai, terkadang sampai kaki. keluhan berupa nyeri di sepanjang nervus ischiadicus, L4-S3. Selain sakit, ischialgia atau sciatica ini biasanya disertai dengan saraf ada juga merasa kesemutan, kelemahan, mati kaki (Laroche & Perrot, 2013). Tujuan: Untuk memberikan informasi kepada lansia apa dimaksud bagaimana ...

Pengabdian ini bertujuan untuk Meningkatkan Kreatifitas Pengolahan Kain Perca Dalam Bentuk Furniture (Pembuatan Keset Kaki) Ibu-ibu PKK Srikandi di Desa Siraman. Metode penyampaian materi pelatihan adalah metode demonstrasi dimana tutor menyampaikan sekaligus mempraktekannya secara langsung depan peserta pelatihan. Adapun yang disampaikan memperkenalkan keset kaki dari kain perca serta kegunaan...

We have developed sparsely cross-linked "nanogels", sub-colloidal polymer structures composed of covalently linked, linear polyacrylamide chains, as novel DNA sequencing matrices for capillary electrophoresis. The presence of covalent cross-links affords nanogel matrices with enhanced network stability relative to standard, linear polyacrylamide (LPA), improving the separation of large DNA frag...

Penelitian ini bertujuan untuk mengetahui sejauh mana Pemerintah Kota Yogyakarta melakukan penataan terhadap Pedagang Kaki Lima di jalan D.I. Pandjaitan yang merupakan kawasan sumbu filosofi. Metode penelitian digunakan adalah kualitatif deskriptif. Objek dilaksanakan Jalan Pandajaitan Kemantren Mantrijeron Yogyakarta. Data data diperoleh secara langsung kepada responden dan sekunder berupa dok...