Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025)
118 authors
- Sunahara, Satoru
- An Examination of Performance in Handling Multiple DNS Protocols Concurrently
- Takimoto, Satoshi
- Formalization of Coverage Checking in Agda
- Tan, Jayson Isaiah
- Empirical Competitive Analysis of Online Algorithms With Advice for the Online Facility Location Problem
- Tan, Jose Tristan
- Accelerating Zhang’s Six-Frame Alignment Algorithm via Hybrid SIMT Wavefront Parallelization on CUDA
- Tan, Mark Christian T.
- Machine Learning-Based Detection of SMS Phishing in the Philippine Context
- Tee, Cherica 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
- Tee, Michael 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
- Tighe, Edward P.
- Exploring Emoji-based Synthetic Annotations for Filipino-English Sentiment Analysis
- Tsukamoto, Yoko
- Development of a BLS Self-Training Support System using MR and Sensor Devices
- Uy, Roger Luis
- Accelerating Zhang’s Six-Frame Alignment Algorithm via Hybrid SIMT Wavefront Parallelization on CUDA
- Uy, Roger Luis
- Bi-WaveX: a SIMD AVX-512 implementation of the Bi-directional Wavefront Alignment Algorithm
- Viernes, Genio Brylle
- A Programming Language Type Checking Approach to Workflow Net Verification
- Watanabe, Takuo
- Formalization of Coverage Checking in Agda
- Yap, Jan Michael
- Evaluating Branch Swapping Methods for Topology Search in Machine Learning-Augmented Phylogenetic Tree Inference
- Yukdawan, Bea Alessi
- Lakbayan: Developing a Crowdsourced Public Transportation Mobile Application for the Philippines
- Yumen, Nolan M.
- Data-Driven Teaching Effectiveness Assessment Through Logistic Regression for Enhanced Evaluation Systems and Probabilistic Decision-Making
- Zaragoza, Marie Criz
- Project Bantay: Breadth-First Search and Dijkstra Implementation for Community-Accessible Disaster Response
- de Leon, Chloe Soriano
- Privacy-Preserving Vehicle Intrusion Detection System Using Federated Learning and Homomorphic Encryption