Skip to main content
SpringerLink
Log in
Book cover

Theory and Practice of Computation

2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Shin-ya Nishizaki

    1. Tokyo Institute of Technology, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Masayuki Numao

    1. Osaka University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jaime Caro

    1. University of the Philippines Diliman, The Philippines

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Merlin Teodosia Suarez

    1. De La Salle University-Manila, The Philippines

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Recent research trend of Computer Science Study in Japan and Philippines
  • Advanced studies in theoretical computer science, especially, programming language theory and bioinformatics
  • Practical studies in computer science, especially, human behavior modeling
  • Papers highlight the seamless integration and blend of theoretical and practical computer science in developing working systems

Part of the book series: Proceedings in Information and Communications Technology (PICT, volume 7)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. On Generating Soft Real-Time Programs for Non-Real-Time Environments

    • Ilankaikone Senthooran, Takuo Watanabe
    Pages 1-12

  3. A Formal Ontology of Interactions with Intensional Quantitative Semantics

    • Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
    Pages 13-33

  4. An Object Calculus with Remote Method Invocation

    • Shohei Matsumoto, Shin-ya Nishizaki
    Pages 34-49

  5. A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams

    • Jasmine A. Malinao, Kristhian B. Tiu, Louise Michelle O. Lozano, Sonia M. Pascua, Richard Bryann Chua, Ma. Sheila A. Magboo et al.
    Pages 50-63

  6. Some Improvements of Parallel Random Projection for Finding Planted (l,d)-Motifs

    • Jhoirene B. Clemente, Henry N. Adorna
    Pages 64-81

  7. Time after Time: Notes on Delays in Spiking Neural P Systems

    • Francis George C. Cabarle, Kelvin C. Buño, Henry N. Adorna
    Pages 82-92

  8. A Grammar for Detecting Well-Handled 2-split, 2-join Workflow Nets without Cycles

    • Nestine Hope S. Hernandez, Richelle Ann B. Juayong, Henry N. Adorna
    Pages 93-106

  9. A Process Algebra Model of Interleukin-2 Trafficking in Hematopoeitic Cells

    • John Justine S. Villar, Adrian Roy L. Valdez
    Pages 107-115

  10. Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem

    • Pablo Manalastas
    Pages 116-123

  11. Solving the Exact Pattern Matching Problem Constrained to Single Occurrence of Pattern P in String S Using Grover’s Quantum Search Algorithm

    • Brian Kenneth A. de Jesus, Jeffrey A. Aborot, Henry N. Adorna
    Pages 124-142

  12. Design of a Scala-Based Monitoring Server for Web-Based Programming Environments

    • Koji Kagawa
    Pages 143-150

  13. Recognizing Historical KANA Texts Using Constraints

    • Yuta Arai, Tetsuya Suzuki, Akira Aiba
    Pages 151-164

  14. PedInfoSys: An OpenMRS Based Pediatric Information System

    • Ryan Steven D. Caro, Dinah Marie A. Maghuyop, Ingrid R. Silapan, Rommel P. Feria
    Pages 165-177

  15. Correlation of Stress Inducers and Physiological Signals with Continuous Stress Annotations

    • Gemilene Uy, Charlene Frances Ngo, Rhia Trogo, Roberto Legaspi, Merlin Suarez
    Pages 178-183

  16. Towards the Design and Development of Anticipation-Based Event Selection Modeling for Survival Horror Games

    • Vanus Vachiratamporn, Roberto Legaspi, Masayuki Numao
    Pages 184-194

  17. Sidekick Retrospect: A Self-regulation Tool for Unsupervised Learning Environments

    • Paul Salvador Inventado, Roberto Legaspi, Rafael Cabredo, Masayuki Numao
    Pages 195-205

  18. Extensible Network Appliance Platform (e-NAP)

    • Russell Cua, Wrenz Go, Kaiser Wee, Mary Joy Yu, Karlo Shane Campos
    Pages 206-220

  19. Marker-Less Gesture and Facial Expression Based Affect Modeling

    • Sherlo Yvan Cantos, Jeriah Kjell Miranda, Melisa Renee Tiu, Mary Czarinelle Yeung
    Pages 221-241

  20. Mobile Indoor Positioning Using Wi-fi Localization and Image Processing

    • Jeleen Chua Ching, Carolyn Domingo, Kyla Iglesia, Courtney Ngo, Nellie Chua
    Pages 242-256
Back to top

Keywords

About this book

This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)–2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research–Osaka University, the University of the Philippines Diliman, and De La Salle University–Manila and was devoted to theoretical and practical approaches to computation. The 22 revised full papers presented in this volume were carefully reviewed. They deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing.

Editors and Affiliations

  • Tokyo Institute of Technology, Japan

    Shin-ya Nishizaki

  • Osaka University, Japan

    Masayuki Numao

  • University of the Philippines Diliman, The Philippines

    Jaime Caro

  • De La Salle University-Manila, The Philippines

    Merlin Teodosia Suarez

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation