Theory and Practice of Computation-Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2018), September 17-18, 2018, Manila, The Philippines

An investigation of carefulness among students using an educational game for Physics 
M.P. Banawa & M.M.T. Rodrigo
Matrix representation and automation of verification of soundness of Robustness Diagram with Time and Loop Controls 
K.M. Agnes, R. Delos Reyes, J. Malinao & R.A. Juayong
Interoperable system with authentication and authorization for IoT 
J.E.P. Avenido, F.J.R. Caldejon, J.M.D. Ortaliz & G.G. Cu
A characterization on necessary conditions of realizability for reactive system specifications 
T. Tomita, S. Hagihara, M. Shimakawa & N. Yonezaki
An empirical analysis of a combination of the Bradley-Fayyad-Reina clustering algorithm and Kohonen Maps for Big Data applications 
D.D. Delos Santos &A. Azcarraga
A Bayesian network approach for estimating product substitution using only POS data 
J.M.B. Cortez &A.A.R. Yamzon
Reliability rating of news-related posts on Facebook using sentiment analysis 
M.A. Solis, Q.J. San Juan & L.L. Figueroa
Wireless sensor and actuator network: Self-healing and ad-hoc routing protocol with load balancing 
R.K. Medel, L.A. Payofelin, P.G. Tee, J.E. Valle & F.K. Flores
TRICEP: Technologies of RFID and image recognition in a checkout enhancement platform 
F.K. Flores, D.C. Baldemor, A. Espiritu, P.A. Galang & M.C. Toleran
Image classification of Philippine bird species using deep learning 
C.R. Raquel, K.M.A. Alarcon & L.L. Figueroa
Recognition of emotions towards commercial ads based on EEG and facial landmarks 
E.V. Empaynado, H.W. Francisco, N.K. Gardose & J.J. Azcarraga
Digital joint ROM measurement tool for geriatric rehabilitation assessment 
C.Y. Ong, M.M. Paragas & B.C. Huang
Simple type system for call-by-value calculus with first-class continuations and environments 
S. Nishizaki
Secure computation outsourcing of genome-wide association studies using homomorphic encryption 
A.K.Y.C. Ladisla & R.B.L. Chua
Building RDF models of multidisciplinary data sets under the One Health framework in the Philippine setting 
M.L.B. Dela Rosa, N.V. Tesoro, R.V.L. Canseco, J.D.L. Caro, J.A. Malinao &A.R. Codera Jr.
Analyzing the effect of video media on emotion using a VR headset platform and physiological data 
H. Uraji, T. Emsawas, J.L. Hagad, K. Fukui & M. Numao
Dominating tree problem heuristics for scale-free networks 
K.P. Urog, J.Y. Bantang & H.N. Adorna
Safe art: A digital artwork plagiarism detector 
J.H.C. Bayudan, F. Pati Jr., R.E. Slater &T.D. Palaoag
Spatial analysis of voter turnout in Manila 
Ma.C.C.P. Chua, L.L.L. Figueroa, R.P. Feria, A.A.D. Cariaga & Ma.R.C. Solamo
Performance of serial and parallel processing on online sentiment analysis of fast food restaurants 
B. Quijano Jr., M.R. Nabus & L.L. Figueroa
Assessing the quantitative description of the accessibility of buildings in the University of the Philippines Diliman (UPD) 
J.M. Choa, P.G. Santiago, A.A. Cariaga, R.P. Feria, L.L. Figueroa & R.C. Solamo