Nishizaki S. Theory and Practice of Computation 2021

Textbook in PDF format

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.
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