Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025)
118 authors
- Achapero Jr, John
- Development of a Mobile Application for Real-Time Push-Up Progression Feedback via Angle Heuristics
- Addawe, Jozelle
- Development of a Mobile Application for Real-Time Push-Up Progression Feedback via Angle Heuristics
- Addawe, Jozelle
- Lakbayan: Developing a Crowdsourced Public Transportation Mobile Application for the Philippines
- Addawe, Jozelle
- JeePS 2.0: Enhancing a Real-Time PUV Tracking System
- Adorna, Henry
- A Measure-Once 1-way QFA Based on the Quantum Circuit Implementation of a QECC
- Adorna, Henry N.
- Formal Verification of Quantum SWAP Test Using Weakest Precondition Logic and Finite-Sample Performance Bounds for Indoor Localization
- Adorna, Henry N.
- Properties of Some Δ₀ Definable Sets on Models of KPU
- Afable, Mar Elden C.
- On Lazy Soundness of Robustness Diagram with Loop and Time Controls
- Aguila, Maria Eliza R.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Ai, Raphael Jeremiah Tan
- Bi-WaveX: a SIMD AVX-512 implementation of the Bi-directional Wavefront Alignment Algorithm
- Alcantara, Louie Lorenzo M.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Anlacan, Veeda Michelle M.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Arceta, Althea Zyrie
- Accelerating Zhang’s Six-Frame Alignment Algorithm via Hybrid SIMT Wavefront Parallelization on CUDA
- Balde, Nicole Anne
- Secure Paternity Testing with Homomorphic Encryption
- Bolado, Jose Antonio
- Development of a Mobile Application for Real-Time Push-Up Progression Feedback via Angle Heuristics
- Cabarle, Francis George
- Metrocycle 2.0: Enhancing a Road Safety Education App for Motorcycle and Bicycle Riders
- Cabarle, Francis George
- On k-Soundness and Maximal Profiles in Robustness Diagrams with Loop and Time Controls
- Cabarle, Francis George C.
- On Structural Aspect of Parallel Maximal Activities in Enriched Robustness Diagram with Loop and Time Controls
- Canillo, Angie C.
- Data-Driven Teaching Effectiveness Assessment Through Logistic Regression for Enhanced Evaluation Systems and Probabilistic Decision-Making
- Caro, Jaime
- Peer-Review Statements
- Caro, Jaime
- Development of a Mobile Application for Real-Time Push-Up Progression Feedback via Angle Heuristics
- Caro, Jaime
- Lakbayan: Developing a Crowdsourced Public Transportation Mobile Application for the Philippines
- Caro, Jaime D. L.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Castillo, Christian Mir
- Bi-WaveX: a SIMD AVX-512 implementation of the Bi-directional Wavefront Alignment Algorithm
- Chan, Dane Marcus
- Bi-WaveX: a SIMD AVX-512 implementation of the Bi-directional Wavefront Alignment Algorithm
- Chua, Richard Bryann
- Secure Paternity Testing with Homomorphic Encryption
- Clemente, Jhoirene
- Crossing Minimization in k-layered Hierarchical Graphs: A Hybrid Approach
- Clemente, Jhoirene B.
- Empirical Competitive Analysis of Online Algorithms With Advice for the Online Facility Location Problem
- Co, Sean Timothy S.
- Exploring Emoji-based Synthetic Annotations for Filipino-English Sentiment Analysis
- Comia, Camille
- Evaluating Branch Swapping Methods for Topology Search in Machine Learning-Augmented Phylogenetic Tree Inference
- Corpuz, John Exequiel A.
- Machine Learning-Based Detection of SMS Phishing in the Philippine Context
- Cruz, Alexis Louis L.Dela
- Exploring Emoji-based Synthetic Annotations for Filipino-English Sentiment Analysis
- Cruz, Christian Alfredo K.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Curada, John Paul M.
- Project Bantay: Breadth-First Search and Dijkstra Implementation for Community-Accessible Disaster Response
- Custodio, Nicholas Rupert E.
- Exploring Emoji-based Synthetic Annotations for Filipino-English Sentiment Analysis
- Decena, Ryan
- JeePS 2.0: Enhancing a Real-Time PUV Tracking System
- Diaz, Sebastian Q.
- Machine Learning-Based Detection of SMS Phishing in the Philippine Context
- Dispo, Vincent Angelo
- Metrocycle 2.0: Enhancing a Road Safety Education App for Motorcycle and Bicycle Riders
- Ducay, James
- JeePS 2.0: Enhancing a Real-Time PUV Tracking System
- Dy, Julia Katrina
- A Measure-Once 1-way QFA Based on the Quantum Circuit Implementation of a QECC
- Festin, Cedric Angelo
- Privacy-Preserving Vehicle Intrusion Detection System Using Federated Learning and Homomorphic Encryption
- Fukamachi, Ken’ichi
- Development of a BLS Self-Training Support System using MR and Sensor Devices
- Gacho, Loridge Anne
- Crossing Minimization in k-layered Hierarchical Graphs: A Hybrid Approach
- Galecio, Bryan Andrei C.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Garais, Zandrew Peter
- Crossing Minimization in k-layered Hierarchical Graphs: A Hybrid Approach
- Gaspay, Sandy Mae
- Metrocycle 2.0: Enhancing a Road Safety Education App for Motorcycle and Bicycle Riders
- Goto, Shunsuke
- Development of a BLS Self-Training Support System using MR and Sensor Devices
- Hagihara, Shigeki
- Peer-Review Statements
- Hagihara, Shigeki
- Properties of Some Δ₀ Definable Sets on Models of KPU
- Hagihara, Shigeki
- An Examination of Performance in Handling Multiple DNS Protocols Concurrently
- Hernandez, Nestine Hope
- Crossing Minimization in k-layered Hierarchical Graphs: A Hybrid Approach
- Jabanes, Jason Jan C.
- Exploring Emoji-based Synthetic Annotations for Filipino-English Sentiment Analysis
- Jamora, Roland Dominic G.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Juayong, Richelle Ann
- Metrocycle 2.0: Enhancing a Road Safety Education App for Motorcycle and Bicycle Riders
- Juayong, Richelle Ann
- Development of a Mobile Application for Real-Time Push-Up Progression Feedback via Angle Heuristics
- Juayong, Richelle Ann
- On k-Soundness and Maximal Profiles in Robustness Diagrams with Loop and Time Controls
- Juayong, Richelle Ann B.
- On Structural Aspect of Parallel Maximal Activities in Enriched Robustness Diagram with Loop and Time Controls
- Kaneshita, Kosuke
- Destructive Environment Operations in the Lambda Calculus with Procedural Features
- Kasilag, Eugene
- Evaluating Branch Swapping Methods for Topology Search in Machine Learning-Augmented Phylogenetic Tree Inference
- Komatsugawa, Hiroshi
- Development of a BLS Self-Training Support System using MR and Sensor Devices
- Labao, Alfonso
- A Measure-Once 1-way QFA Based on the Quantum Circuit Implementation of a QECC
- Labao, Alfonso B.
- Properties of Some Δ₀ Definable Sets on Models of KPU
- Labao, Alfonso B.
- Formal Verification of Pohlig-Hellman Algorithm for Computing Discrete Logarithms with Coq
- Legara, Sean Ken Cedric
- Metrocycle 2.0: Enhancing a Road Safety Education App for Motorcycle and Bicycle Riders
- Lopez, Ben Anthony A.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Malinao, Jasmine
- On Lazy Soundness of Robustness Diagram with Loop and Time Controls
- Malinao, Jasmine
- On k-Soundness and Maximal Profiles in Robustness Diagrams with Loop and Time Controls
- Malinao, Jasmine A.
- On Structural Aspect of Parallel Maximal Activities in Enriched Robustness Diagram with Loop and Time Controls
- Manguan, Ayen Unice
- Lakbayan: Developing a Crowdsourced Public Transportation Mobile Application for the Philippines
- Mendoza, Antonio Gabriel
- Accelerating Zhang’s Six-Frame Alignment Algorithm via Hybrid SIMT Wavefront Parallelization on CUDA
- Montealto, Meluisa D.
- Formal Verification of Pohlig-Hellman Algorithm for Computing Discrete Logarithms with Coq
- Moriguchi, Sosuke
- Verification for Program Manipulations using Iris
- Moriguchi, Sosuke
- Formalization of Coverage Checking in Agda
- Nagasawa, Hayato
- Facial Expression and Physiological Analysis of Bluffing in Card Game Psychological Warfare
- Nishizaki, Shin-ya
- Peer-Review Statements
- Nishizaki, Shin-ya
- Destructive Environment Operations in the Lambda Calculus with Procedural Features
- Numao, Masayuki
- Peer-Review Statements
- Ohta, Takeru
- Mixed Reality–Enhanced Remote Cello Practice: Design, Prototype, and User Evaluation
- Onohara, Ayaka
- GAN-Based Modeling of Emotional Dynamics in Cultural Evolution and Niche Construction: An Integrated Empirical Approach
- Ouchi, Hiroki
- GAN-Based Modeling of Emotional Dynamics in Cultural Evolution and Niche Construction: An Integrated Empirical Approach
- Palafox, Luis Benedict M.
- Machine Learning-Based Detection of SMS Phishing in the Philippine Context
- Panganiban, Angelo Cedric F.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Paz, Marc Emanuel N. Dela
- Formal Verification of Pohlig-Hellman Algorithm for Computing Discrete Logarithms with Coq
- Perez, Paul Jaren
- Metrocycle 2.0: Enhancing a Road Safety Education App for Motorcycle and Bicycle Riders
- Petilos, Edu S.
- On Structural Aspect of Parallel Maximal Activities in Enriched Robustness Diagram with Loop and Time Controls
- Piamonte, Chris Nicole
- Project Bantay: Breadth-First Search and Dijkstra Implementation for Community-Accessible Disaster Response
- Pontiveros, Marc Jermaine
- Formal Verification of Quantum SWAP Test Using Weakest Precondition Logic and Finite-Sample Performance Bounds for Indoor Localization
- Ramirez II, Ronnie
- On k-Soundness and Maximal Profiles in Robustness Diagrams with Loop and Time Controls
- Regalario, Jeremiah Daniel A.
- Formal Verification of Pohlig-Hellman Algorithm for Computing Discrete Logarithms with Coq
- Saga, Kyousuke
- Emotion-Driven Adaptive Game System: Design and Evaluation
- Salido, Isabel Teresa O.
- Developing Immersive Gamification Technology Systems for the Management of Patients with Alzheimer’s Disease with Behavioral and Psychological Symptoms of Dementia: A Phase 2 Clinical Trial Protocol
- Sanchez, Martin Christopher B.
- Exploring Emoji-based Synthetic Annotations for Filipino-English Sentiment Analysis
- Santos, Nicole Coleen V.
- Formal Verification of Pohlig-Hellman Algorithm for Computing Discrete Logarithms with Coq
- Senatin, Luis Miguel
- Empirical Competitive Analysis of Online Algorithms With Advice for the Online Facility Location Problem
- Shiomi, Saki
- An Examination of Performance in Handling Multiple DNS Protocols Concurrently
- Solomon, Katrina Ysabel C.
- Machine Learning-Based Detection of SMS Phishing in the Philippine Context
- Suarez, Merlin
- Peer-Review Statements
- Sumi, Kaoru
- Mixed Reality–Enhanced Remote Cello Practice: Design, Prototype, and User Evaluation
- Sumi, Kaoru
- Emotion-Driven Adaptive Game System: Design and Evaluation
- Sumi, Kaoru
- Facial Expression and Physiological Analysis of Bluffing in Card Game Psychological Warfare