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

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

ISBN 9780367204174
Published September 17, 2019 by CRC Press
200 Pages

SAVE ~ $29.99
was $149.95
USD $119.96

Prices & shipping based on shipping country


Book Description

This volume contains the papers presented at the 8th Workshop on Computing: Theory and Practice, WCTP 2018 and is devoted to theoretical and practical approaches to computation. The conference was organized by four top universities in Japan and the Philippines: the Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad view of the recent developments in computer science research in Asia, with an emphasis on Japan and the Philippines. The papers focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, empathic computing, and various applications of information technology.
The book will be of interest to academic and industrial researchers interested in recent developments in computer science research.

Table of Contents

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

View More



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 professor at the College of Computer Studies, Software Technology at 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 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.