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

Nishizaki, Shin-ya (EDT)/ Numao, Masayuki (EDT)/ Caro, Jaime (EDT)

CRC Press（2019/09発売）

• 製本 Hardcover:ハードカバー版／ページ数 200 p.
• 言語 ENG
• 商品コード 9780367204174
• DDC分類 004

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

Contents

1. Theoretical Approaches to Computations: Logical approach to software and hardware verification; Formal approaches to computation; Formal frameworks for bioinformatics. 2: Practical Approaches to Computation; Modeling of user's emotion, mood, intention, motion, posture and/or gesture; User behavior and/or activity modeling; Social signal processing; Ambient intelligence; Intelligent user interfaces. 3: Computation for Real World Applications: Information Technology in Education; Information Technology in Medical Fields.