Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024)
66 authors
- Adorna, Henry N.
- Formalizing Resource Ownership Semantics of Spinlocks with the Coq Proof Assistant
- Azarraga, Danielle Cyrele D.
- Machine Learning Classifiers on Predicting the Survival of Pediatric Hematologic Transplant Patients
- Bagnol, John Riz
- VoltCast: A Medium-term Multivariate Forecasting Web App for Electricity Demand, Price, and Supply Using Deep Learning
- Balatibat, Ralf Michael
- Project Privacy: A Correlational Study on Immersion and the Level of Perceived Seriousness
- Cagampang, Juliet
- Image Classification of White Blood Cells Using Convolutional Neural Network
- Calderon, Jaimielle Kyle
- Hierarchical Community Detection on Co-expression Networks for Functional Classification of Cell-Cycle Regulated Genes of Saccharomyces cerevisiae
- Calibuyot, Dhone Matthews
- PredictED: An Explainable ESI Level Classification and Length of Stay Prediction Using Machine Learning
- Caro, Jaime
- Peer-Review Statements
- Choa, Tustin Annika
- Evaluation and Comparison of GBDT ML Models in Behavior-Based Malware Detection
- Chua, Richard Bryann
- Evaluation of Concrete ML for Secure Viral Strain Classification with Homomorphic Encryption
- Clemente, Jhoirene
- Hierarchical Community Detection on Co-expression Networks for Functional Classification of Cell-Cycle Regulated Genes of Saccharomyces cerevisiae
- Cordova, Jose Marie C.
- “It’s All in Your Head!”: Identifying Potential Biomarkers for Bipolar Disorder, Schizophrenia, and Major Depressive Disorder from the Gene Expression Data of Postmortem Human Dorsolateral Prefrontal Cortex
- Cu, Jocelynn
- Evaluation and Comparison of GBDT ML Models in Behavior-Based Malware Detection
- Diaz, Joey Mark S.
- “It’s All in Your Head!”: Identifying Potential Biomarkers for Bipolar Disorder, Schizophrenia, and Major Depressive Disorder from the Gene Expression Data of Postmortem Human Dorsolateral Prefrontal Cortex
- Diaz, Joey Mark S.
- Machine Learning Classification Models using RNA-seq Gene Expression Data for Early- and Late-Stage Kidney Renal Clear Cell Carcinoma
- Ednalan, Emmanuel
- PythoPharmVis: A Network Analysis tool to Identify Key Entities and Communities for Phytomedicine and Pharmacogenomics
- Enriquez, Justin Gabriel R.
- Formalizing Resource Ownership Semantics of Spinlocks with the Coq Proof Assistant
- Escalona, Jose Miguel
- Evaluation and Comparison of GBDT ML Models in Behavior-Based Malware Detection
- Feria, Rommel P.
- Project Privacy: A Correlational Study on Immersion and the Level of Perceived Seriousness
- Feria, Rommel P.
- Developing a Web-based Tool for Detecting Deceptive Designs in Cookie Banners
- Figueroa, Ligaya Leah
- Project Privacy: A Correlational Study on Immersion and the Level of Perceived Seriousness
- Figueroa, Ligaya Leah
- Developing a Web-based Tool for Detecting Deceptive Designs in Cookie Banners
- Figueroa, Ligaya Leah
- Image Classification of White Blood Cells Using Convolutional Neural Network
- Fortiz, Patrick Ryan
- Evaluation and Comparison of GBDT ML Models in Behavior-Based Malware Detection
- Gasmen, Perlita
- VoltCast: A Medium-term Multivariate Forecasting Web App for Electricity Demand, Price, and Supply Using Deep Learning
- Gasmen, Perlita
- PredictED: An Explainable ESI Level Classification and Length of Stay Prediction Using Machine Learning
- Gasmen, Perlita
- ColoSensus: A Spatiotemporal CNN-based Application for Gastrointestinal Disease Classification
- Gonzaga, Alex C.
- “It’s All in Your Head!”: Identifying Potential Biomarkers for Bipolar Disorder, Schizophrenia, and Major Depressive Disorder from the Gene Expression Data of Postmortem Human Dorsolateral Prefrontal Cortex
- Hagihara, Shigeki
- Peer-Review Statements
- Herbieto, Kermichil A.
- SayawMo: A Recognition Model for Western-Influenced Philippine Folk Dance
- Hernandez, Nestine Hope S.
- Still Lifes and Oscillators in the Game of Life on the Hyperbolic Plane
- Isip-Tan, Iris Thiele
- Multilabel Social Support Classification of Filipino-English Endocrinology Facebook Comments Using Machine Learning Classification Models
- Jo, Braullo Jose A.
- Developing a Web-based Tool for Detecting Deceptive Designs in Cookie Banners
- Kaneshita, Kosuke
- Strong Normalizability of the Simply-Typed Lambda Calculus with Environment Extraction from Function Closures
- Labao, Alfonso B.
- Formalizing Resource Ownership Semantics of Spinlocks with the Coq Proof Assistant
- Macalalad, Lawrence S.
- Machine Learning Classification Models using RNA-seq Gene Expression Data for Early- and Late-Stage Kidney Renal Clear Cell Carcinoma
- Magboo, Ma Sheila A.
- Machine Learning Classifiers on Predicting the Survival of Pediatric Hematologic Transplant Patients
- Magboo, Vincent Peter C.
- Machine Learning Classifiers on Predicting the Survival of Pediatric Hematologic Transplant Patients
- Malonzo, Angelo
- VoltCast: A Medium-term Multivariate Forecasting Web App for Electricity Demand, Price, and Supply Using Deep Learning
- Manalastas, Pablo
- Computing 32-Place Tables of Zeroes and Weights for Gauss-Legendre Quadrature
- Moriguchi, Sosuke
- Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists
- Nishizaki, Shin-ya
- Peer-Review Statements
- Nishizaki, Shinya
- Strong Normalizability of the Simply-Typed Lambda Calculus with Environment Extraction from Function Closures
- Numao, Masayuki
- Peer-Review Statements
- Olino, Shanea J.
- Developing a Web-based Tool for Detecting Deceptive Designs in Cookie Banners
- Omisol, Michael Sean Brian B.
- Project Privacy: A Correlational Study on Immersion and the Level of Perceived Seriousness
- Ortiz, Sebastian Luis S.
- Formalizing Resource Ownership Semantics of Spinlocks with the Coq Proof Assistant
- Pascual, Jasmin Victoria L.
- Still Lifes and Oscillators in the Game of Life on the Hyperbolic Plane
- Regala, Romaine Dara
- Multilabel Social Support Classification of Filipino-English Endocrinology Facebook Comments Using Machine Learning Classification Models
- Roxas, Robert R.
- SayawMo: A Recognition Model for Western-Influenced Philippine Folk Dance
- Ruiz, Marvic Gabriel
- Machine Learning Classifiers on Predicting the Survival of Pediatric Hematologic Transplant Patients
- Saluta, Seth Jared
- ColoSensus: A Spatiotemporal CNN-based Application for Gastrointestinal Disease Classification
- Shirai, Mizuki
- Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists
- Solamo, Ma. Rowena C.
- Project Privacy: A Correlational Study on Immersion and the Level of Perceived Seriousness
- Solamo, Ma. Rowena C.
- Developing a Web-based Tool for Detecting Deceptive Designs in Cookie Banners
- Solano, Geoffrey
- PythoPharmVis: A Network Analysis tool to Identify Key Entities and Communities for Phytomedicine and Pharmacogenomics
- Solano, Geoffrey
- Multilabel Social Support Classification of Filipino-English Endocrinology Facebook Comments Using Machine Learning Classification Models
- Solano, Geoffrey A.
- Machine Learning Classification Models using RNA-seq Gene Expression Data for Early- and Late-Stage Kidney Renal Clear Cell Carcinoma
- Suarez, Merlin
- Peer-Review Statements
- Subingsubing, Bryan S.
- Machine Learning Classifiers on Predicting the Survival of Pediatric Hematologic Transplant Patients
- Takimoto, Satoshi
- Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists
- Toledo, Jeanne Clarisse S.
- Still Lifes and Oscillators in the Game of Life on the Hyperbolic Plane
- Ventures, Princess Angel
- Hierarchical Community Detection on Co-expression Networks for Functional Classification of Cell-Cycle Regulated Genes of Saccharomyces cerevisiae
- Vivas, Johann Benjamin
- Evaluation of Concrete ML for Secure Viral Strain Classification with Homomorphic Encryption
- Watanabe, Takuo
- Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists
- de Veyra, Julianne Amor
- Evaluation and Comparison of GBDT ML Models in Behavior-Based Malware Detection