All of the articles in this proceedings volume have been presented at the Workshop on Computation: Theory and Practice (WCTP2023) during December 4th -6th in Chitose Arcadia Plaza, Chitose-city, Hokkaido, Japan. These articles have been peer reviewed by the members of the Program Committee and approved...

The Poset Cover Problem aims to find a minimum set of posets that cover a given input set of linear orders. This problem has practical applications in data mining, particularly in constructing directed networks from sequential data. The decision version of the problem is known to be NP-hard. In this...

Two minimum clique problems are considered in this study along with some of their important subclasses. The first is the Minimum Edge-Weighted Clique Problem (MIN-EWCP), which is the problem of finding the clique of order m with the least total weight in a complete edge-weighted graph G. The other one...

The online assignment problem, also known as the onlineweighted bipartite matching, produces the smallest weight perfect matching given a complete bipartite graph. The problem is a variant where one part of the graph is known in advance, while the other part is revealed one vertex at a time. Moreover,...

The COVID-19 pandemic has changed the work style, with an increasing number of companies introducing homeworking. However, there are concerns about decreasing communication between workers and their supervisors, which increases stress and fatigue in workers. Efforts are being made to incorporate virtual...

Vibration patterns or tactile patterns are widely used as user interfaces to alert users about messages from mobile devices. Previous studies suggested that elderly users can understand the meanings of up to three vibration patterns. However, if a vibration pattern evokes a sensory image or emotion,...

A robotic head is one of the most crucial components of a robot in HRI experiments as it provides the potential for interaction using facial expressions and dialogue. Retro-projected robots can be used in the field of affective computing due to their interaction abilities. Unfortunately, most robots...

Interacting with web-based interfaces is often done with a particular objective in mind. However, deceptive patterns could interfere with these inter-actions by taking advantage of cognitive biases to either distract users from this objective or mislead them into non-ideal outcomes. These are found in...

Folk dance is crucial to a country’s intangible cultural heritage and has been overshadowed by modern forms of entertainment in recent decades. Digital archives are a way to preserve cultural heritage by virtually storing different artifacts, making them more accessible. In addition, motion capture technologies...

Functional reactive programming (FRP in short) abstracts values that change over time as time-varying values and the timing of responses as events. Using these abstractions, reactive systems are described as data flows between time-varying values and the occurrence of events. In this paper, we propose...

In this study, we focus on parallel programming in the purely functional language Haskell and try to analyze the execution time statically. Liquid Haskell is a program verification tool that integrates refinement types into the Haskell programming language and relies on SMT solvers for verification....

In this study, we constructed a method for obtaining information that explains the classification results of a long short-term memory (LSTM) trained as an intrusion detection system (IDS). The LSTM learns two types of information: information about system accesses at each time point and time series information...

Although public school teachers considered action research (AR) beneficial to teaching and professional development, data showed that teachers have less access to AR coaching. This research reports the impact of volunteer blended coaching among University of the Philippines Cebu Pahinungod (Volunteerism)...

This study presents three approaches (first: team learning, second: difficulty adjustment, and third: pinch analysis) implemented to motivate students to learn in an IT system development class for students in the College of Business Administration. In particular, we supported to design a small team...

In the Philippines, there is a high dementia prevalence among older adults. Local treatments are mostly limited to drug medication and home care, but there have been non-pharmacological advances that use VR software for dementia therapy. However, these have only been partially implemented, or have yet...

Electronic Health Records (EHRs) contain information such as diagnoses, medications, and allergies of individuals stored in a digital manner. Given the sensitive nature of these information, EHR systems with improper access control may be vulnerable to attacks leading to a breach of confidentiality....

This study presents a novel approach to augment the accuracy and granularity of mental health assessment using a combination of Experience Sampling Methodology (ESM) and the Affective Ising Model. Traditional methods often lack the ability to capture the dynamic and nuanced nature of an individual's...

The Robustness Diagram with Loop and Time Controls is a workflow model for representing systems that can capture all three aspects of a workflow—resource, process, and case. It can be mapped to Class Diagrams – to extract the resource dimension of the system it represents, to Petri Nets – to extract...

This study establishes concepts and strategies for the verification of classical soundness of Robustness Diagrams with Loop and Time Controls(RDLT) that contain reset and join profiles. In contrast to other well-known workflow models such as BPMN, YAWL, Petri Nets, and UML Diagrams, RDLTs are powerful...

Protein structural motifs are recurring patterns in a set of tertiary protein structures in the 3D form. These motifs often play crucial roles in protein function, stability, and interactions. The problem is NP-hard, but a polynomial-time approximation scheme (PTAS) offers efficient solutions with some...

Many studies in the past have proposed various methods to detect protein complexes from protein-protein interaction networks (PPINs) by applying clustering algorithms to the network, relying only on the topology of the PPIN. However, PPINs have a high number of false positives and false negatives, making...

The accurate prediction of the performance of stocks in the stock market has been a longstanding problem in the field of finance and applied mathematics. We use financial statements data from the U.S. SEC and share price data from Kaggle to predict U.S. stock market returns using LightGBM. After training,...

Detection of possible disease outbreak is a vital role of disease surveillance. Previous studies on dengue in Baguio City, Philippines include exploratory and spatiotemporal analysis, modeling and forecasting methods, but lacks approaches for detection of outbreak. This study aims to obtain a model that...

Hit songs from popular music artists have been investigated to help uncover the pattern underlying the unique appeal of their tracks. Given this, intrinsic, extrinsic, and crowdsourced features have been identified as some of the necessary information in determining the popularity of a song. Each of...

Spiking Neural P systems (SN P system) are a kind of distributed and parallel computational model under membrane computing inspired by how neurons typically communicate with each other through the sending of spikes between synapses. To further study SN P systems, various dedicated simulators have been...

Spiking Neural P Systems (SN P Systems) replicate the brain’s information spiking mechanism through synapses. These systems are known for trading memory for time, making them useful in different areas both inside and outside computer science. While web-based simulators likeWebSnapse offer the potential...