The rapid growth of Indonesian text content on social media has increased the need for automatic systems capable of accurately detecting humor, as humor often contains implicit meanings, wordplay, and cultural context. This study develops an Indonesian short-text humor detection system using a fine-tuning approach on the IndoBERT model. The objective of this research is to classify text into tw…
Water quality is a fundamental aspect of life, particularly in regions that rely on rivers as the primary source of raw water. However, anthropogenic activities such as industrial, agricultural, and domestic processes have contributed to increasing water pollution, while the demand for clean water continues to rise in line with population growth. This study aims to develop a water quality class…
Sleep quality plays a critical role in maintaining physical, mental, and emotional wellbeing. Early detection of sleep disorders such as insomnia and sleep apnea is essential for enabling more effective clinical interventions. This study investigates the optimization of sleep disorder classification using Long Short-Term Memory (LSTM) networks based on time-series data incorporating 13 physiolo…
Fires are unexpected events that often occur in daily life, causing significant threats and losses to the public. Early fire detection plays a crucial role in disaster mitigation and environmental protection efforts, especially in areas prone to fire incidents such as forests and open lands. Delays in detecting the presence of fire can lead to wider and harder-to-control spread. Therefore, a sy…
Dalam penelitian ini untuk mencari Tegangan, Regangan pada kait (hook) kapasitas 7.5 ton. Menggunakan Software Autodesk Inventor 2018. Material yang digunakan AISI 4140 QT, Benda yang digunakan adalah overhead crane kapasitas 7.5 ton pada kait (hook) pada penelitian ini untuk mengetahui seberapa besar tegangan regangan pada kait (hook) overhead crane dan dimana saja yang akan mengami tegaggan d…
This study examines the implementation and analysis of Dynamic Traffic Management on Software Defined Network (SDN) networks with performance assessment through Quality of Service (QoS) parameters using the t-Test method. The aim is to assess the impact of implementing dynamic traffic management on network performance by comparing conditions before and after the use of intent based routing on t…
Dalam era digital yang terus berkembang, efisiensi dalam penyediaan dan pengelolaan infrastruktur aplikasi menjadi aspek krusial, terutama pada lingkungan private cloud. Penelitian ini bertujuan untuk menganalisis perbedaan efisiensi antara metode manual dan automasi dalam proses provisioning infrastruktur pengembangan aplikasi berbasis Proxmox Virtual Environment (PVE). Automasi dilakukan meng…
Untuk menentukan cadangan migas suatu reservoir (lapangan) dapat dilakukan dengan metode kurva penurunan produksi (decline curve). Berdasarkan hasil evaluasinya, maka metode kurva penurunan produksi hanya menggunakan data laju produksi, data kumulatif produksi dan waktu produksi. Metode kurva penurunan produksi ini digunakan untuk menentukan Recoverable Reserve, Remaining Reserves, dan Remainin…
PT. Nusantara Termal Coal merupakan salah satu perusahaan yang bergerak dalam bidang pertambangan yang berlokasi di Kabupaten Muara Bungo, Jambi. Metode penambangan yang dipakai adalah metode Stripmine, dengan menggunakan kombinasi antara alat gali-muat dan alat angkut (Exccivator dan Dumptruck). Pada tahun 2012, penambangan dilakukan di Pit411 dengan target produksi sebesar 1.200.000 ton batub…
Untuk mengetahui litologi, porositas serta jenis hidrokarbon yeng terdapat pada 3 sumur baru Lapangan Braga terlebih dahulu dilakukan analisa data log sumur tersebut. Untuk mendapatkan hasil analisa yang tepat dan akurat penulis menggunakan Software petrofisika yang dikembangkan oleh Senergy Ltd. yaitu Interactive petrophysics. Meskipun telah menggunakan Software tapi tahapan dalam proses pengo…
The rapid and widespread flow of information highlights the importance of efficient text data management, making it even more important to organize and classify information from text data as more news is published online all the time. Topic modeling is useful in clustering news texts from the ever-growing sea of online news based on the topic of each text data. One method of topic modeling is t…
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2…
This book constitutes revised selected papers from the proceedings of the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in Grenada during May 2022. The 32 full papers and 4 short papers included in this book were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: tokenomics; MPC (most…
This book comprises the proceedings of the 2nd International Conference on Computer Vision, High-Performance Computing, Smart Devices, and Networks (CHSN 2021). This book highlights the high-quality research articles in machine learning, computer vision, and networks. The content of this volume gives the reader an up-to-date picture of the state-of-the-art connection between computational intel…
The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022. The papers included in the HCII-CCD volume set were organized in topical sections as follows: Part I: Cross-Cultural Interaction Design; …
This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2021, held in Athens, Greece, in December 2021. The 17 full papers and 6 short papers presented in ths volume were thoroughly reviewed and selected from 310 submissions. The pape…
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions.
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between progra…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program …
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 pre…