Theory and Practice of Computation

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines

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

• Publisher: CRC Press
• Year: 2020
• Print ISBN:
  9780367545888
• eBook ISBN:
  9781000360400
• Topic: Computer Science
• Subtopic: Mathematics General
• Index: Computer Science

This book provides a collection of papers from the Ninth Workshop on Computing: Theory and Practice, WCTP 2019 devoted to theoretical and practical approaches to computation, which was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad overview of recent research trends in computer science research in Asia, particularly in these two countries. The papers included in the proceedings focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, applications of machine learning, empathic computing, and various applications of information technology.

Table of contents

• Cover
• Half Title
• Title Page
• Copyright Page
• Table of Contents
• Preface
• Scientific committee
• Organizing committee
• Acknowledgement
• Updating a closed-world pharmacy information system to an open-world pharmacy information system in the Philippine context
• Comparison of the performance of MLP, random forest, and adaboosted random forests in software cost estimation
• A data-driven approach to web development
• Analysis on the adequacy of current acceptance criteria in developing scripts for automation testing
• Classification of white blood cells using the convolutional neural network architecture
• Software engineering in the Philippines: A survey and analysis of the academe and industry practices
• Efficiency of reduction methods on the size and order of workflow net reachability graphs
• Exploring a flexible blended learning model in technology deficient classroom
• Developing Dark Night 2: Analyzing the experience of blind users with a mobile role-playing game
• Secure remote genome-wide association studies using fully homomorphic encryption
• SugarTraces: A persuasive technology-enabled mobile application for diabetics
• Telecollaboration to promote preservation of Asian local indigenous knowledge and intercultural communicative competence
• A reflective extension of a FRP language and its applications
• Workflow models for integrated disease surveillance and response systems
• Preservation of well-handledness in Petri net reduction rules
• Gradual typing for environment calculus
• A directed minimum connected dominating set for protein-protein interaction networks
• Author Index