Theory and Practice of Computation

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

Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Suarez

• Publisher: CRC Press
• Year: 2019
• Print ISBN:
  9780367776633
• eBook ISBN:
  9780429523472
• Topic: Informatica
• Subtopic: Ingegneria informatica

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

• Cover
• Half Title
• Title Page
• Copyright Page
• Table of Contents
• Preface
• Scientific committee
• Organizing committee
• Acknowledgement
• Biographies
• An investigation of carefulness among students using an educational game for Physics
• Matrix representation and automation of verification of soundness of Robustness Diagram with Time and Loop Controls
• Interoperable system with authentication and authorization for IoT
• A characterization on necessary conditions of realizability for reactive system specifications
• An empirical analysis of a combination of the Bradley-Fayyad-Reina clustering algorithm and Kohonen Maps for Big Data applications
• A Bayesian network approach for estimating product substitution using only POS data
• Reliability rating of news-related posts on Facebook using sentiment analysis
• Wireless sensor and actuator network: Self-healing and ad-hoc routing protocol with load balancing
• TRICEP: Technologies of RFID and image recognition in a checkout enhancement platform
• Image classification of Philippine bird species using deep learning
• Recognition of emotions towards commercial ads based on EEG and facial landmarks
• Digital joint ROM measurement tool for geriatric rehabilitation assessment
• Simple type system for call-by-value calculus with first-class continuations and environments
• Secure computation outsourcing of genome-wide association studies using homomorphic encryption
• Building RDF models of multidisciplinary data sets under the One Health framework in the Philippine setting
• Analyzing the effect of video media on emotion using a VR headset platform and physiological data
• Dominating tree problem heuristics for scale-free networks
• Safe art: A digital artwork plagiarism detector
• Spatial analysis of voter turnout in Manila
• Performance of serial and parallel processing on online sentiment analysis of fast food restaurants
• Assessing the quantitative description of the accessibility of buildings in the University of the Philippines Diliman (UPD)
• Author index