Ernst Althaus, Markus Blumenstock, Nick Rassau, Felix Martin Schuhknecht, Anton Quentin Zimdars

Sorting Colored Balls in Colored Tubes

Informatics

We consider a game that was played in a German television show that is similar to the sorting balls puzzle. In it, we are assumed to move one colored...

Review:

This paper introduces a formal analysis of a "colored balls in colored tubes" puzzle, drawing inspiration from a German television game show. The prob...

View Full Research

Forest Agostinelli

A Conflict-Driven Approach for Reaching Goals Specified with Negation as Failure

Informatics

In the context of pathfinding, first-order logic allows for the expressive specification of goals. Using negation as failure, one can specify what mus...

Review:

This paper introduces a novel approach, Conflict-Driven Goal Reaching (CDGR), designed to address the challenges of integrating negation as failure (N...

View Full Research

Maxim Likhachev, Hana Rudová, Enrico Scala

Frontmatter

Informatics

This frontmatter introduces the proceedings of the Eighteenth International Symposium on Combinatorial Search (SoCS 2025), held from August 12–15, 202...

Review:

This submission, titled "Frontmatter," serves as the essential introductory material for the proceedings of the Eighteenth International Symposium on...

View Full Research

Rangga Restu Kusuma, Haisyam Maulana, Rian Dwicahya Supriatman

SISTEM INFORMASI MANAJEMEN INVENTARIS BERBASIS WEB DI PANADA COFFEE MENGGUNAKAN METODE RAPID APPLICATION DEVELOPMENT

Informatics

For small and medium-sized businesses (SMEs) such as cafes, technological advances, particularly the internet and web-based applications, offer soluti...

Review:

This paper addresses a pertinent issue for small and medium-sized enterprises (SMEs) such as cafes, specifically focusing on inventory management at P...

View Full Research

Nana Yudi Permana, Luki Seftian, Maulana Sidiq

SISTEM INFORMASI PEMBAYARAN SPP BERBASIS WEB MENGGUNAKAN METODE RAD (RAPID APPLICATION DEVELOPMENT) DI SMK MUHAMMADIYAH KAWALI

Informatics

The goal of this project is to establish a web-based SPP payment system in order to provide a digital solution. Designing and developing an applicatio...

View Full Research

Ade Kusdiana, Rian Dwicahya Supriatman, Nana Yudi Permana

PERANCANGAN USER INTERFACE WEBSITE MENGGUNAKAN KANSEI ENGINEERING DI SMK LPS 1 CIAMIS

Informatics

Website is a digital-based information, which is used for e-commerce, news, school information, and other related functions. For schools, a website is...

View Full Research

Zein Dity Aulia Zein, Dadan Mulyana, Maulana Sidiq

DESAIN AUGMENTED REALITY BERBASIS CERITA CIUNG WANARA DENGAN METODE PROTOTIPE DI KARANGKAMULYAN KABUPATEN CIAMIS

Informatics

The Karangkamulyan site in Ciamis Regency, as a historical relic of the Galuh Kingdom, faces challenges in maintaining its appeal to tourists in the d...

View Full Research

Andi Surya, Ida Wahyuni

Traffic Density Detection on Public CCTV of Malang City Government Using YOLOv8

Informatics

The increasing number of motor vehicles in Malang City has led to a rise in traffic volume, resulting in a higher risk of congestion, especially on ma...

Review:

This paper addresses a highly relevant and practical problem: urban traffic congestion, specifically in Malang City. The authors propose an automated...

View Full Research

Nur Fajri Azhar, Bowo Nugroho , M. Ihsan Alfani Putera, Muhammad Nasa'i Kairupan, Rizky Irswanda Ramadhana

Evolution of the Research & Community Service Information System (SIMPAS LPPM) - Institut Teknologi Kalimantan

Informatics

The Research and Community Service Information System (SIMPAS) at the Institute for Research and Community Service (LPPM) of the Kalimantan Institute...

Review:

This paper, "Evolution of the Research & Community Service Information System (SIMPAS LPPM) - Institut Teknologi Kalimantan," outlines the continuous...

View Full Research

Raftonado Situmorang, Muhammad Ridho Dewanto, Barokatun Hasanah, Kholiq Deliasgarin, Bagus Gilang Oktafian

State Of Charge Estimation on Lithium ION Batteries Using Quantum Neural Network

Informatics

Battery applications can be found in electric vehicles, renewable energy power plants and various other portable devices. In this final project resear...

Review:

This research explores the application of Quantum Neural Networks (QNN) for estimating the State of Charge (SoC) in lithium-ion batteries, a highly pe...

View Full Research