Theory and Practice of Computation

Shin-ya Nishizaki is Full Professor at the Global Scientific Information and Computing Center, Tokyo Institute of Technology and Associate Professor, Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Japan. He received a Ph.D. in 1994 from Kyoto University for a thesis entitled "Simply Typed Lambda Calculus with First-class Environments".Masayuki Numao is professor at the Information and Physical Sciences, Graduate School of Information Science and Technology, Osaka University. He is performing research on the development of computers provided with learning capability and has supported the completion of information environment by sending to the world numerous new technologies, such as high-efficient algorithms, background knowledge acquirement for learning, applications intended for intelligent tutoring systems (ITS).Merlin Teodosia Suarez is Full Professor at the College of Computer Studies of De La Salle University, where she also earned her PhD in Computer Science in 2008. She worked on automatic analysis of student misconceptions learning object-oriented programming in Java. She proceeded to work on emotion-aware systems focusing on education and health-care applications. She is currently investigating approaches to provide support to individuals diagnosed in the autism spectrum disorder, and stroke patients requiring physical therapy.Jaime Caro is Professor of Computer Science at the University of the Philippines Diliman and heads its Service Science and Software Engineering Laboratory. Dr. Caro was Assistant Vice President for Development of the University of the Philippines for 14 years. Dr Caro’s past positions include President of the Computing Society of the Philippines (CSP), President of the Philippine Society of Information Technology Educators (PSITE), Vice President of the Game Developers Association of the Philippines (GDAP), Vice President of the Mathematical Society of the Philippines and Chairman of the CHED Philippines Technical Panel on Information Technology Education. Dr. Caro received the Doctor of Philosophy in Mathematics degree from the University of the Philippines Diliman in 1996. His research interests include Information Systems, Combinatorial Optimization, and Algorithms. Application areas of researches are in Education, Medical Informatics, and Climate Modeling.

• Updating a Closed-World Pharmacy Information System to an Open-World Pharmacy Information System in the Philippine Context; Dang-awan, R. F., Figueroa, L. L.Comparison of the Performance of MLP, Random Forest, and AdaBoosted Random Forests in Software Cost Estimation; Paderes, I.K.P., Mendez, T.M., Figueroa, L.L.A data-driven approach to web development; Paglinawan-Muñez, N.M., Figueroa, L.L. Analysis on the Adequacy of Current Acceptance Criteria in Developing Scripts for Automation Testing; San Juan, Q.J., Figueroa, L.L.Classification of White Blood Cells Using the Convolutional Neural Network Architecture; del Rosario, R.J., Mayol, P.E.Software Engineering in the Philippines: A Survey and Analysis of the Academe and Industry Practices; Tongco-Rosario, G., Estabillo, C., Figueroa, L.L.Efficiency of Reduction Methods on the Size and Order of Workflow Net Reachability Graphs; Agong, Louis Anthony, Adorna, H.Exploring a flexible blended learning model in technology deficient classroom; Gumalal, J.E., Vilbar, A.P., Bernardez, F.G.Developing Dark Night 2: Analyzing the Experience of Blind Users with a Mobile Role-playing Game; Capiral, H.G.G., Velasquez, K. V., Solamo, Ma.R.C., Feria, R.P.Secure Remote Genome-wide Association Studies Using Fully Homomorphic Encryption; Cruz, J.A.M., Chua, R.B.L.SugarTraces: A Persuasive technology-enabled mobile application for diabetics; Austria, R.B., Caingat, D.C., Feria, R.P., Figueroa, L.L., Solamo, Ma.R.C.Telecollaboration to Promote Preservation of Asian Local Indigenous Knowledge and Intercultural Communicative Competence; Vilbar, A., Yaakub, R., Ahmad, N., Makaramani, R., Bayarchimeg, Z., Laus, M., Malaque, C., Gumalal, J.A Reflective Extension of an FRP Language and its Applications; Watanabe, T.Workflow Models for Integrated Disease Surveillance and Response Systems; Lopez, J.C.L., Bayuga, M.J., Juayong, R.A., Malinao, J., Caro, J., Tee, M.Preservation of Well-handledness in Petri Net Reduction Rules; Agong, L.A. , Adorna, H.Gradual Typing for Environment Calculus; Inamori, K., Matsunaga, T., Nishizaki, S.A directed minimum connected dominating set for protein-protein interaction networks; Briones, Y.L., Castro, M.R., Jalandoni, R.D., Adorna, H., Dizon, J.A., Young, A.T.Author Index