Buffered Simulation Games for B\"uchi Automata

Simulation relations are an important tool in automata theory because they provide efficiently computable approximations to language inclusion. In recent years, extensions of ordinary simulations have been studied, for instance multi-pebble and multi-letter simulations which yield better approximations and are still polynomial-time computable. In this paper we study the limitations of approximating language inclusion in this way: we introduce a natural extension of multi-letter simulations called buffered simulations. They are based on a simulation game in which the two players share a FIFO buffer of unbounded size. We consider two variants of these buffered games called continuous and look-ahead simulation which differ in how elements can be removed from the FIFO buffer. We show that look-ahead simulation, the simpler one, is already PSPACE-hard, i.e. computationally as hard as language inclusion itself. Continuous simulation is even EXPTIME-hard. We also provide matching upper bounds for solving these games with infinite state spaces.Comment: In Proceedings AFL 2014, arXiv:1405.527

Application of the AHP-TOPSIS Method to Determine the Feasibility of Fund Loans

This study aims to produce a decision support system (DSS) for the feasibility of providing loan funds as a tool and recommendation for cooperatives with several criteria as the basis for decision making, namely: business ownership status, ability, character, collateral, income, and salary. The system implementation uses the Visual Studio 2010 and Microsoft Access 2010 programming languages. This application is designed for effective and efficient decision-making. This program uses two methods, namely AHP, to determine the weight of the criteria and TOPSIS for determining to rank. This combination is designed for high-accuracy applications. The results of the pairwise comparison matrix calculation show that the weights obtained are acceptable and consistent. This application generates alternative customer data from the highest preference value (feasible to get a loan) to the lowest (not feasible)

OPTIMALISASI PERAN MAHASISWA, PRAKTISI, DAN AKADEMISI UNTUK PEDULI SESAMA DI DESA NOLOTAN, SABAH MALAYSIA

Peduli untuk sesama adalah perilaku yang sulit ditemukan dikehidupan sosial di era industri 4.0. Sebagian besar orang sudah sibuk dengan dirinya sendiri dan tidak peduli kepada sesama. Tujuan program pengabdian masyarakat ini adalah agar para mahasiswa, akademisi, dan praktisi dapat mengimplementasikan rasa peduli kepada sesama dengan melakukan tindakan-tindakan kasih. Metode yang digunakan adalah seminar kepada mahasiswa yang akan mengadakan pengabdian masayarakat, dan pembagian bantuan sosial kepada masyarakat di kampung Nolotan, Sabah, Malaysia.  Hasilnya, berdasarkan laporan dari penduduk, selama mahasiswa melakukan pengabdian masyarakat kehadiran mereka sangat menolong penduduk. Mereka juga bersukacita atas bantuan sosisal berupa sandang dan dana yang mereka telah terima

TINGKAT AKURASI SMS DAN EFEKTIVITAS SOP PERINGATAN DINI HUJAN EKSTRIM DI KOTA MEDAN (STUDI KASUS BBMKG WILAYAH I DAN STASIUN METEOROLOGI KLAS I KUALANAMU)

Bencana alam banyak terjadi di Indonesia khususnya wilayah Medan. Bencana yang timbul akibat cuaca ekstrim sering menimbulkan kerugian bagi masyarakat, sehingga masyarakat membutuhkan sistem peringatan dini yang tepat dan akurat. Penelitian ini dilakukan untuk mengetahui tingkat akurasi SMS peringatan dini dan efektivitas SOP peringatan dini cuaca ekstrim khususnya hujan ekstrim. Teknik penelitian adalah bersifat semi kualitatif yang deskriptif. Data yang digunakan untuk mengetahui tingkat akurasi peringatan dini hujan ekstrim adalah data SMS peringatan dini hujan ekstrim dan data curah hujan tiap jam selama satu tahun (2014). Pengolahan data menggunakan program excel dan tabel kontigensi sebagai metode verifikasi data. Penilaian efektivitas data yang digunakan berasal dari kuisioner yang disebarkan kepada para responden yaitu forecaster/analis yang melaksanakan pemberian informasi peringatan dini hujan ekstrim. Pengolahan data menggunakan program excel yang kemudian hasil pengolahan digambarkan menggunakan spider chart. Hasil penelitian menunjukkan bahwa tingkat akurasi informasi peringatan dini hujan ekstrim tertinggi terjadi pada bulan september 69,56 %, yang terendah terjadi pada bulan Juli sebesar 18.75%. Rata-rata tingkat akurasi SMS peringatan dini hujan ekstrim tahun 2014 adalah 47.69% dengan kategori sedang. Dari rata-rata tingkat akurasi selama setahun masih dibawah 50 %. Secara umum efektivitas SOP sudah cukup baik dilaksanakan, para forecaster/analis dalam membuat peringatan dini telah melaksanakan sesuai dengan SOP. Sedangkan untuk efektivitas SOP dalam membuat analisa cuaca ekstrim khususnya hujan ekstrim, forecaster/analis telah melakukan pengamatan unsur-unsur pendukung baik skala lokal, skala synoptik (regional), dan skala planetary (Global). Proses pengiriman menyangkut waktu pengiriman dan elemen cara pengiriman, masih perlu di kaji ulang serta dievaluasi oleh BMKG. Kata kunci: Akurasi, Efektivitas, Peringatan dini, SOP, Hujan Ekstrim

HUBUNGAN ANTARA FASILITAS PERPUSTAKAAN SEKOLAH DENGAN MINAT BACA PADA SISWA DI SMK DIPONEGORO I JAKARTA

CHRISTINA H. Correlation Between School Libraries Facilities With Interest Read Of Students in SMK I DIPONEGORO East Jakarta. This study aims to obtain empirical data and facts are valid and reliable and valid on the relationship between school library facilities with vocational students reading at DIPONEGORO I East Jakarta. The research was conducted at the Vocational School District DIPONEGORO I, East Jakarta for three months, ie from the month of March until May 2012. The method used is survey method with the correlational approach. The study population is a vocational school student I Diponegorori East Jakarta. While the population of inaccessibility is a class X student of Accounting Studies, Computer Network Engineering Program, and Administrative Studies Program as many as 76 people. Technique is the technique of random sampling proportional (proportional random sampling technique) were 63 samples of sampling error of 5%. The instrument used to obtain the data variable X (the school library facilities), scale-shaped instrument used to vary the form of a questionnaire of 27 items of questions to the variable X with range score 52 and for the Y variable (students' interest in reading) used a variety of instrument-shaped form of the questionnaire scales as many as 21 points question for the variable X with range score 43. Before the instrument is used, tested the validity of the content and the results obtained for the variables X Test requirements analysis is the normality test error of estimated regression Y on X to produce L liliefors test count = 0079, while the L table for n = 63 at 0.05 significant level is 0.1116 count Since L Ftabel, ie 9.90> 3.99, meaning that the regression equation is significant. Correlation coefficient of Pearson Product Moment generating rxy = 0.374, then the correlation coefficient keberartian tested using t test and the resulting t count = 3.15 and t table = 1.671. It can be concluded that the correlation coefficient rxy = 0.374 is significant. The coefficient of determination obtained by 13.96% which indicates that 13.96% of students reading is determined by the school library facilities. Calculation results concluded there is a positive relationship between school library facilities with vocational students reading at DIPONEGORO I East Jakarta

Studi Komparatif Kontrak Pengadaan Barang dan Jasa Pemerintah Secara Online (E-procurement) di Indonesia dan Australia

Bina Hutagalung. E0012086. 2016. STUDI KOMPARATIF KONTRAK PENGADAAN BARANG DAN JASA PEMERINTAH SECARA ONLINE (E-PROCUREMENT) DI INDONESIA DAN AUSTRALIA. Penulisan Hukum (Skripsi). Fakultas Hukum Universitas Sebelas Maret Surakarta. Penelitian hukum ini bertujuan untuk mengetahui konsep pelaksanaan sistem E-Procurement dalam kontrak pengadaan barang dan jasa pemerintah serta mengetahui kelebihan dan kekurangan penerapan sistem ini dalam pengadaan barang dan jasa pemerintah di Indonesia dan Australia. Penelitian ini merupakan penelitian hukum yang bersifat preskriptif. Penulisan hukum ini menggunakan pendekatan konseptual dan pendekatan komparatif. Bahan hukum yang digunakan dalam penulisan hukum ini adalah bahan hukum primer dan bahan hukum sekunder. Teknik pengumpulan bahan hukum yang dilakukan adalah dengan studi kepustakaan dan teknis analisis dengan metode deduktif. E-Procurement sudah diterapkan di Indonesia walaupun belum secara keseluruhan. Konsep E-Procurement di Indonesia dan Australia menggunakan modul dan aplikasi pengadaan berbasis web. Negara Australia yang telah berhasil dengan sistem E-Procurement dalam pengadaan barang dan jasa pemerintahnya. Sistem E-Procurement di Indonesia dan Australia memiliki kelebihan dalam penghematan anggaran belanja Negara dan sistem lelang yang lebih terstrruktur dan transparan. Kekurangan dari sistem ini meliputi infrastruktur dan pemeliharaan sistem di Negara Indonesia dan Australia. Kata kunci: Studi Komparatif, E-Procurement, Kontrak Pengadaan barang dan Jasa Pemerinta

PARTISIPASI IBU RUMAH TANGGA DALAM MENDUKUNG PENINGKATAN EKONOMI KELUARGA DI DESA SEI SEMAYANG KECAMATAN SUNGGAL KABUPATEN DELI SERDANG

Permasalahan dalam penelitian ini adalah seberapa besar partisipasi iburumah tangga mendukung ekonomi keluarga di Desa Sei Semayang, KecamatanSunggal, Kabupaten Deli Serdang. Serta penelitian ini bertujuan Untukmengetahui seberapa tinggi tingkat partisipasi ibu rumah tangga mendukungpeningkatan ekonomi keluarga di Desa Sei Semayang, Kecamatan Sunggal,Kabupaten Deli Serdang.Penelitian menggunakan jenis penelitian deskriptif kuantitatif untuk inginmengetahui bagaimana Partisipasi Ibu Rumah Tangga dalam MendukungPeningkatan Ekonomi Keluarga di Desa Sei Semayang yang berjumlah berjumlahsekitar 63 Kepala Keluarga. Untuk memperoleh data yang diperlukan digunakandengan mengunakan angket berbentuk semi tertutup yang berjumlah 25 item.Ekonomi keluarga merupakan suatu cara bagaimana keluarga mengaturperekonomiannya untuk memenuhi kebutuhan hidupnya sehingga kehidupanekonominya selalu berkembang dan lebih baik. Seorang istri memiliki perananyang sangat besar dalam upaya peningkatan ekonomi keluarga baik sebagaiseorang PNS, Pedagang, Jasa, Petani dan Buruh. Sebagai seorang istri sangatmenentukan keadaan suatu ekonomi keluarga baik dalam perencanaan,pelaksanaan, pemanfaatan dan evaluasi peningkatan ekonomi keluarga.Hasil penelitian yang dilakukan di Desa Sei Semayang diperoleh bahwapartisipasi seorang ibu rumah tangga dalam usaha peningkatan ekonomi keluargamasih sudah cukup baik, yaitu dalam perencanaan PNS memberikan partisipasiperencanaan 72%, pelaksanaan 82%, pemanfaatan 56%, dan evaluasi 56%.Pedagang memberikan partisipasi perencanaan 55%, pelaksanaan 59%,pemanfaatan 61%, dan evaluasi 59%. Jasa memberikan partisipasi perencanaan60%, pelaksanaan 67,5%, pemanfaatan 52,50%, dan evaluasi 42,50%. Petanimemberikan partisipasi perencanaan 50%, pelaksanaan 58,33%, pemanfaatan57,78%, dan evaluasi 45,56%. Serta buruh memberikan partisipasi perencanaan66,67%, pelaksanaan 60,83%, pemanfaatan 60%, dan evaluasi 48,33%. Halmenunjukkan bahwa partisipasi ibu rumah tangga dalam peningkatan ekonomikeluarga secara keseluruhan sudah cukup tinggi

ANALISA PELUANG DAN STRATEGI UKM dan UMKM DI ERA DIGITAL 4.0 BAGI MASYARAKAT SORKAM TENGAH

As UKM and UMKM, they must be worried about being displaced due to increasingly tight competition in business. can be seen from the fundamental challenges in the industrial world such as logistics costs, energy costs, and other things that affect production costs. But actually there is nothing that MSMEs or businesses with a larger scale need to fear. The existence of UMKM in rural areas also needs to be maintained, so that they can absorb productive age workforce. This can be done simultaneously with creating a transformation in marketing the form of business it has, especially UMKM. Sorkam is a sub-district in Central Tapanuli Regency, North Sumatra, Indonesia. The capital of this sub-district is in the Sorkam sub-district. The population of this sub-district in 2021 is 16,511 people, with a population density of 205 people/km². the people in Sorkam Tengah village have home-based businesses such as cassava chips, chips made from salted fish, and various types of Sorkam specialties. This is a local product that needs to be developed by utilizing the results of natural sources that support the regional economy. Keywords: UKM and UMKM, business opportunities, Revolution 4.

PENGUJIAN EFEKTIVITAS PENYEMBUHAN LUKA BAKAR GEL EKSTRAK ETANOL DAUN TEMBAKAU (Nicotiana tabacum L.) PADA TIKUS

Tobacco leaves (Nicotiana tabacum L.) have secondary metabolites namely alkaloids as antibacterial, flavonoids and steroids / terpenoids as antimicrobials and adstringers which play a role in wound shrinkage, efficacious saponins stimulate collagen formation. This study aims to determine the effectiveness of tobacco leaf gel ethanol extract in the healing of burns. Tobacco leaf extract was prepared using a 96% ethanol immersion process. This study of tobacco leaf extract is prescribed in the form of gels at 5%, 10%, and 15% concentrations. There were five groups in this study. The first group (positive control), the second group (negative control), and the third group are tobacco leaf ethanol extract gels 5%, 10%, and 15%. In this study, 15 rats with burns on the backs of mice coated with the test preparation will be measured and photographed once daily. This is done until the wound is 0 cm in diameter or covered with new tissue. The data results of the mean wound healing rate data were statistically tested using the SPSS program. We analyzed the data using Oneway, ANOVA, TukeysB, and LSD to see the actual differences between the processes. The data results of the analysis on day 16 showed that the 15% tobacco leaf ethanol extract had a wound healing effect that was not significantly different from the positive control (Bioplasenton) (p> 0.05). cure burns that are comparable to comparable drugs (Bioplasenton). The conclusion of this study is that the most effective gel concentration is 15% with the day of recovery on the 16th day

SISTEM INFORMASI PELAPORAN AKADEMIK BERBASIS WEB (STUDI PADA FAKULTAS SAIN, TEKNOLOGI DAN INFORMASI UNIVERSITAS SARI MUTIARA INDONESIA)

Perkembangan ilmu pengetahuan dan teknologi saat ini khususnya di bidang sistem informasi dan telekomunikasi, memberi banyak dampak dalam perkembangan kebutuhan hidup manupsia. Khususnya teknologi komputer. Adapun salah satu teknologi yang paling mendominasi dan paling digemari oleh seluruh lapisan masyarakat di dunia adalah penggunaan internet melalui teknologi komputer. Begitu juga hal nya dengan perguruan tinggi Fakultas Sain, Teknologi dan Informasi Universitas Sari Mutiara Indonesia yang masih mengalami masalah dalam pelaporan akademik. Untuk mengatasi masalah tersebut diperlukan suatu sistem yang dapat meningkatkan efektifitas dan efisien kerja dalam memberikan informasi yang dibutuhkan secara cepat, demi meningkatka kinerja akademik. Untuk itu peneliti mencoba merancang sistem yang baru berbasis web dengan menggunakan pemograman php dan MySQL sebagai database penyimpan data akademik yang diharapkan nantinya dapat mengatasi masalah-masalah yang dihadapi di suatu perguruan tinggi akademik. Dengan menggunakan sistem yang telah dirancang maka dapat mempermudah administrasi mahasiswa dapat lebih cepat dan akurat karena dilakukan secara online