Theory and Practice of Computation
Proceedings of Workshop on Computation: Theory and Practice WCTP2014
Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Programming, Software Development, General Computing
| Author: | Shin-ya Nishizaki, Masayuki Numao, Jaime D L Caro;Merlin Teodosia C Suarez | ISBN: | 9789814730471 |
| Publisher: | World Scientific Publishing Company | Publication: | November 30, 2015 |
| Imprint: | WSPC | Language: | English |
| Author: | Shin-ya Nishizaki, Masayuki Numao, Jaime D L Caro;Merlin Teodosia C Suarez |
| ISBN: | 9789814730471 |
| Publisher: | World Scientific Publishing Company |
| Publication: | November 30, 2015 |
| Imprint: | WSPC |
| Language: | English |
This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2014 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines – Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.
Contents:
- Sandal: A Modeling Language Supporting Exhaustive Fault-Injection (Suzuki, M., Watanabe, T.)
- An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints (Tomita, T., Kimura, T., Hagihara, S., Yonezaki, N.)
- Lazy RPC and RMI calculi (Araki, S., Nishizaki, S.)
- Learning better strategies with a combination of complementary reinforcement learning algorithms (Fujita, W., Moriyama, K., Fukui, K. Numao, M.)
- Fighter or Explorer? — Classifying Player Types in a Japanese-Style Role-Playing Game from Game Metrics (Fischer, K., Moriyama, K., Fukui, K., Numao, M.)
- Node Energy and Location-based Cluster Head Selection for the LEACH Routing Algorithm (Damasco, R. P., Tolentino, M. A., Lim, Y., Ong, A. V.)
- Genre Classification of OPM Songs Through the Use of Musical Features (Deja, J. A., Blanquera, K., Carabeo, C. E., Copiaco, J. R.)
- Dynamic and Individual Emotion Recognition Based on EEG during Music Listening (Thammasan, N., Fukui, K., Moriyama, K., Numao, M.)
- Protocol for Data Collection of Mobile Wireless Sensor Nodes (Cu, G. G., Arriola, S. J., Balares, J. L., Santuyo, K. G., Yanela, J. A.)
- Using Machine Learning to Provide Rapid Rainfall Forecasts Based on Radar-Derived Data (Panaligan, D., Razon, J. A., Caro, J., David, C. P.)
- Internet of Things: Managing Wireless Sensor Network with REST API for Smart Homes (Flores, F. K., Magdaong, C. K., Cu, G.)
Readership: Graduate students, academics and researchers in the field of artificial intelligence, software engineering and programming.
Key Features:
- There are few books on research topics in both Japan and Philippines. Especially, if readers who wants to know the research preferences in the Philippines, this book is one of the most important material
This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2014 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines – Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.
Contents:
- Sandal: A Modeling Language Supporting Exhaustive Fault-Injection (Suzuki, M., Watanabe, T.)
- An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints (Tomita, T., Kimura, T., Hagihara, S., Yonezaki, N.)
- Lazy RPC and RMI calculi (Araki, S., Nishizaki, S.)
- Learning better strategies with a combination of complementary reinforcement learning algorithms (Fujita, W., Moriyama, K., Fukui, K. Numao, M.)
- Fighter or Explorer? — Classifying Player Types in a Japanese-Style Role-Playing Game from Game Metrics (Fischer, K., Moriyama, K., Fukui, K., Numao, M.)
- Node Energy and Location-based Cluster Head Selection for the LEACH Routing Algorithm (Damasco, R. P., Tolentino, M. A., Lim, Y., Ong, A. V.)
- Genre Classification of OPM Songs Through the Use of Musical Features (Deja, J. A., Blanquera, K., Carabeo, C. E., Copiaco, J. R.)
- Dynamic and Individual Emotion Recognition Based on EEG during Music Listening (Thammasan, N., Fukui, K., Moriyama, K., Numao, M.)
- Protocol for Data Collection of Mobile Wireless Sensor Nodes (Cu, G. G., Arriola, S. J., Balares, J. L., Santuyo, K. G., Yanela, J. A.)
- Using Machine Learning to Provide Rapid Rainfall Forecasts Based on Radar-Derived Data (Panaligan, D., Razon, J. A., Caro, J., David, C. P.)
- Internet of Things: Managing Wireless Sensor Network with REST API for Smart Homes (Flores, F. K., Magdaong, C. K., Cu, G.)
Readership: Graduate students, academics and researchers in the field of artificial intelligence, software engineering and programming.
Key Features:
- There are few books on research topics in both Japan and Philippines. Especially, if readers who wants to know the research preferences in the Philippines, this book is one of the most important material
