T WCTP2014

WCTP 2014 — Workshop on Computation: Theory and Practice—
October 6 — 7, 2014, Century Park Hotel, Manila, the Philippines
Satellite Workshop: October 3, 2014, University of the Philippines Cebu

Main Workshop

Venue

Century Park Hotel (Map)
Room: Corregidor A, the 2nd Floor (First Day)
Room: Corregidor B, the 2nd Floor (Second Day)
Please be careful. The venue of WCTP 2014 is changed.

Program

October 6, 2014 (Monday)

 

08:00—09:00 Registration
09:00—09:30 Opening Ceremonies, Welcoming Remarks, Opening Remarks
  Session 1
09:30—10:00 Sandal: A Modeling Language Supporting Exhaustive Fault-Injection
Masaya Suzuki and Takuo Watanabe (Tokyo Institute of Technology)
10:00—10:30 Lazy RPC and RMI calculi
Shota Araki and Shinya Nishizaki (Tokyo Institute of Technology)
10:30—10:45 Morning Refreshments
  Session 2
10:45—11:15 An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints
Takashi Tomita, Takahito Kimura, Shigeki Hagihara and Naoki Yonezaki (Tokyo Institute of Technology)
11:15—11:45 Learning better strategies with a combination of complementary reinforcement learning algorithms
Wataru Fujita, Koichi Moriyama, Ken-Ichi Fukui and Masayuki Numao (Osaka University)
12:45—13:30 Lunch
  Session 3
13:30—14:00 Node Energy and Location-based Cluster Head Selection for the LEACH Routing Algorithm
Robert Paul Damasco, Yali Lim, Mark Anthony Tolentino and Arlyn Verina Ong (De La Salle University)
14:00—14:30 Genre Classification of OPM Songs Through the Use of Musical Features
Jordan Aiko Deja, Kim Blanquera, Carlo Eliczar Carabeo and Jo Rupert Copiaco (De La Salle University)
  Session 4
14:30—15:00 Dynamic and Individual Emotion Recognition Based on EEG during Music Listening
Nattapong Thammasan, Ken-Ichi Fukui, Koichi Moriyama and Masayuki Numao (Osaka University)
15:00—15:30 Protocol for Data Collection of Mobile Wireless Sensor Nodes
Jose Luis B. Balares, Shedrick John S. Arriola, Jellie Ann B. Yanela, Kaydine Grace M. Santuyo and Gregory Cu (De La Salle University)
15:30—16:00 Fighter or Explorer? - Classifying Player Types in a Japanese-Style Role-Playing Game from Game Metrics
Kevin Fischer (Bielefeld University), Koichi Moriyama, Ken-ichi Fukui, Masayuki Numao (Osaka University)
16:00—16:30 Afternoon Refreshments
   
  Session 5: Works in Progress
16:30—16:50 Detection of Concept Drift on an Adaptive Monitoring System
Yusuke Sakamoto, Kenichi Fukui, Daniela Nicklas, Koichi Moriyama, Masayuki Numao (Osaka University)
16:50—17:10 A Practical Method of Group Competition as an Educational Event for Information Security using a Hacking Contest CTF
Hiroyuki Tominaga (Kagawa University)
17:10—17:30 Measuring Academic Affective States of Adult Learners using Brainwave Signal
Vanlalhruaii Swansi, Jocelynn Cu (De La Salle University)
17:30—17:50 Toward Virtual Rehabilitation: Recognizing Upper Body Exercises using Machine Learning Approach
Renz Paolo Abergos, David John Ricafort, Edwill Dave Tan, Paolo Josef and Merlin Teodosia Suarez (De La Salle University)
17:50—18:10 Beyond Multi-Core: A Survey of Architectural Innovations on Microprocessor
Roger Luis Uy (De La Salle University)
   
19:00—21:00 Dinner

 

October 7, 2014 (Tuesday)

08:00—09:00 Registration
  Session 5
09:00—09:30 Using Machine Learning to Provide Rapid Rainfall Forecasts Based on Radar-Derived Data
Daryll Panaligan, Justine Arnon Razon, Jaime Caro and Carlos Primo David (University of the Philippines Diliman)
09:30—10:00 Internet of Things: Managing Wireless Sensor Network with REST API for Smart Homes
Fritz Kevin Flores, Christian Kay Magdaong and Gregory Cu
(De La Salle University)
10:00—10:30 Morning Refreshments
10:30—11:45 Skills talk(slides)(Dr. Chikako Morimoto, Tokyo Insitute of Technology)
12:00—13:00 Lunch
13:00—15:00 Workshop on Project Management(slides) Dr. Chikako Morimoto, Tokyo Insitute of Technology)
15:00— Closing Session
   
   

Satellite Workshop

Venue

Union Building,
University of the Philippines Cebu
Lahug Campus, Cebu City, Cebu, the Philippines.

Program

08:00—09:00 Registration
09:00—09:30 Opening Ceremonies
Opening Remarks
Atty. Liza D. Corro (Dean, UP Cebu)
  Session 1
09:30—09:50 Sandal: A Modeling Language Supporting Exhaustive Fault-Injection
M. Suzuki, T. Watanabe (Tokyo Tech.)
09:50—10:10 Lazy RPC and RMI calculi
S. Araki, S. Nishizaki(Tokyo Tech.)
10:10—10:30 Learning better strategies with a combination of complementary reinforcement learning algorithms
W. Fujita, K. Moriyama, K. Fukui, M. Numao(Osaka Univ.)
10:30—10:45 Break
  Session 2
10:45—11:05 Fighter or Explorer? - Classifying Player Types in a Japanese-Style Role-Playing Game from Game Metrics
K. Fisher, K. Moriyama, K. Fukui, M. Numao(Osaka Univ.)
11:05—11:25 Dynamic and Individual Emotion Recognition Based on EEG during Music Listening
N. Thammasan, K. Fukui, Moriyama, M. Numao(Osaka Univ.)
11:25—11:45 Human iris localization using circular hough transformation
Jordan Gases and Kurt Junshean Espinosa(UP Cebu)
11:45—13:30 Lunch
  Sesson 3
13:30—13:50 eAmigo: A Mobile Learning Tool for Pre-Schoolers of Silliman University Early Childhood Department
J. A. Forster, S. Rodriguez, L.l Lariba, A. D. Cabanag (Silliman Univ.)
13:50—14:10 Responsive Real-Time Collaborator with Audio Channel
Jomelyn Aldave (CIT-Univ.)
14:10—14:30 Guitar Chord Recognizer with Recorded Audio as Input
Danica Singayan CIT-Univ.)
14:30—14:50 Cebuano Text-to-Speech System using Concatenative Synthesis
Nim Langcoy (CIT-Univ.)
14:50—15:10 Tin Can Counter
Arjay Cagaitan (CIT-Univ.)
15:10—15:25 Break
  Session 4
15:20—15:55 Categorizing typefaces with their data-centric and user-centric attributes
Gideon Bautista (CIT-Univ.)
15:55—16:15 A Notation Software for A Capella Music with Automatic Rendering of Shape Notes and Capable of Converting an Open Score to a Closed Score
Robert R. Roxas, Anna Rosa N. Cortes (UP Cebu)
16:15—16:35 Predictive Modeling for Academic Churn Risk
Jovelyn C. Cuizon (USJ-R)
16:35—16:55 Probabilistic Text Classification of Course Reference using Na├»ve Bayes Algorithm
Dae Habalo (USJ-R)
16:55—17:15 Adopting Twitter Data as Corpus for Opinion Mining of Public Opinion
Resty Louis Artiaga, Warren John Caruana, Janine Alexis Gallaron (USJ-R)
17:17— Closing

6 speakers are from Japan: T. Watanabe, S. Nishizaki (Tokyo Institute of Technology), W.Fujita, K.Moriyama, N. Thammasan, and Y. Sakamoto (Osaka University).

8 speaker are from the Philippines: Silliman University, University of San Jose - Recoletos, and Cebu Institute of Technology University.