Theory and Practice of Computation: Proceedings of the Workshop on Computation: Theory and Practice (Wctp 2018), September 17-18, 2018, Manila, the Ph

ISBN-13: 9780367204174 / Angielski / Twarda / 2019 / 200 str.

Shin-Ya Nishizaki; Masayuki Numao; Jaime Caro

Opis

 The proceedings provide a broad view of the recent developments in computer science research in Asia. 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.

Spis treści

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