Theory and practice of computation : proceedings of Workshop on Computation : Theory and Practice WCTP2014 : Century Park Hotel, Manila, Philippines, 6 - 7 October 2014 / editors, Shin-ya Nishizaki, Tokyo Institute ot Technology, Japan [and three others].

Format:

Book

Conference/Event

Author/Creator:

Workshop on Computation : Theory and Practice, Corporate Author.

Contributor:

Nishizaki, Shin-ya, editor.

Conference Name:

Workshop on Computation: Theory and Practice (2014 : Manila, Philippines), issuing body.

Workshop on Computation: Theory and Practice

Language:

English

Subjects (All):

Computer science--Congresses.

Computer science.

Information theory--Congresses.

Information theory.

Physical Description:

1 online resource (154 p.)

Place of Publication:

Singapore ; Hackensack, New Jersey : World Scientific, [2016]

Language Note:

English

Summary:

"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."-- Provided by publisher.

Contents:

CONTENTS; Preface; Program Committees; Sandal: A Modeling Language Supporting Exhaustive Fault-Injection; 1. Introduction; 2. The Modeling Language Sandal; 3. Fault-Injection Semantics; 3.1. Processes; 3.2. Message Sending and Reception; 3.3. Timeout in Message Reception; 3.4. Unexpected Process Termination; 3.5. Random Loss of Messages; 4. Case study; 5. Concluding Remark; References; An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints; 1. Introduction; 2. Preliminaries; 2.1. LTLmp; 2.2. Büchi Automata; 3. Procedure; 4. Implementation and Experiments

4.1. Implementation4.2. Experiments; 4.3. Discussion; 5. Conclusions; References; Appendix A. Sample Specification; Lazy RPC and RMI calculi; 1. Introduction; 1.1. The Call-by-Name RMI Calculi; 1.2. Research Purpose; 2. Call-by-Need RPC Calculus; 3. Call-by-Need RMI Calculus; 4. Translation of Lazy RMI Calculus into Lazy RPC Calculus; 5. Conclusions; References; Learning better strategies with a combination of complementary reinforcement learning algorithms; 1. Introduction; 2. Background; 2.1. Game Theory; 2.2. Reinforcement Learning; 3. Proposal

3.1. Two Complementary Reinforcement Learning Algorithms3.1.1. M-Qubed; 3.1.2. Satisficing algorithm; 3.2. Problems of M-Qubed and Satisficing Algorithm; 3.3. Ensemble Algorithm in Reinforcement Learning; 4. Experiments; 4.1. Experiment 1; 4.2. Experiment 2; 4.3. Experiment 3; 5. Conclusion; References; Fighter or Explorer? - Classifying Player Types in a Japanese-Style Role-Playing Game from Game Metrics; 1. Introduction; 2. Game Description; 2.1. Gameplay; 2.2. Scene Overview; 3. Experimental Procedure; 4. Results; 5. Discussion; 5.1. Underrepresentation of Fighters

5.2. Labeling Methodology5.3. Validity of Proposed Classes; 6. Conclusion; References; Node Energy and Location-based Cluster Head Selection for the LEACH Routing Algorithm; 1. Introduction; 2. Low Energy Adaptive Clustering Hierarchy (LEACH); 3. ClusterNet; 3.1. First Round Operations; 3.2. Succeeding Round Operations; 4. Performance Evaluation; 4.1. Node Residual Energy Evaluation; 4.2. Network Lifetime Evaluation; 5. Conclusion; References; Genre Classification of OPM Songs Through the Use of Musical Features; 1. Introduction; 2. Review of Related Literature; 3. Methodology

3.1. Data Set Building3.2. Feature Selection and Extraction; 3.3. Model-building and Classification; 4. Results and Discussion; 5. Conclusion and Future Work; References; Dynamic and Individual Emotion Recognition Based on EEG during Music Listening; 1. Introduction; 2. Data Collection Methods; 2.1. Questionnaire and song selection; 2.2. Music listening and emotion annotation; 3. Data Analysis Methodology; 3.1. Fractal dimension values calculation by Higuchi algorithm; 3.2. Feature extraction and classification; 4. Experimental Results; 4.1. Arousal classification; 4.2. Valence classification

4.3. Effect of familiarity to arousal classification

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on print version record.

ISBN:

981-4730-46-7