Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Theory and Practice of Computation

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

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)

Sections

Buy it now

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

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

Table of contents (22 papers)

  1. Front Matter

    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

  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

  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

  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

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation