Return to home page
Searching: Otterbein library catalog
In response to the COVID-19 outbreak, statewide lending via OhioLINK and SearchOhio has been suspended. OPAL member libraries have closed or are operating at reduced service levels. Please contact your library with specific lending requests or if you need assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
Title Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 / editors, Shin-ya Nishizaki, Masayuki Numao, Jaime D.L. Caro, Merlin Teodosia C. Suarez.
Imprint New Jersey : World Scientific, 2014.

Subject Computable functions -- Congresses.
Alt Name Nishizaki, Shin-ya,
Numao, Masayuki, 1961-
Caro, Jaime D. L.,
Suarez, Merlin Teodosia C.,
Workshop on Computation Theory and Practice (2013: Diliman, Philippines)
Description 1 online resource
polychrome rdacc
Contents Preface; Organizing Committee; Call-by-Name Evaluation of RPC and RMI Calculi; 1. Introduction; 1.1. Evaluation Strategies; 1.2. The RPC Calculi; 1.3. The RMI Calculi; 1.4. Research Purpose; 2. Call-by-name Evaluation of the RPC Calculus; 3. Call-by-name Evaluation of the RMI Calculus; 3.1. Translation of the Call-by-Name RPC Calculus into the Call-by-Name RMI Calculus; 4. Concluding Remarks; References; Notes in Delays and Bisimulations of Spiking Neural P Systems Using SNP Algebra; 1. Introduction; 2. Preliminaries; 3. Results; 3.1. Sequential Routing; 3.2. Iteration Routing.
3.3. Join Routing3.4. Split Routing; 4. Final Remarks; Acknowledgments; References; Probing the Hardness of the Approximate Gene Cluster Discovery Problem (AGCDP); 1. Introduction; 2. Basic Definitions and Notations; 2.1. Median String Problem (MSP); 2.2. Approximate Gene Cluster Discovery Problem (AGCDP); 3. Main Results; 3.1. Proof Idea; 3.2. Reduction of MSP to AGCDP; 3.2.1. MSP Input Transformation; 3.2.2. Transformation of MSP into Approximate Gene Cluster Discovery Problem (AGCDP); 3.2.3. Correctness of the Reduction; 4. Conclusion; References.
Weak Bisimulation Between Two Biogeochemical Cycles1. Introduction; 2. Carbon Cycle; 3. Nitrogen Cycle; 4. Labeled Transition System Construction; 4.1. Preliminaries; 4.2. The Nitrogen and Carbon Cycle LTSs; 4.2.1. Assumptions; 4.2.2. Carbon Cycle LTS; 4.2.3. Nitrogen Cycle LTS; 4.2.4. LTS with Merged State and Transition Spaces; 5. Reduction of Derived LTS; 6. Discussion; 6.1. Construction of S; 6.2. Further Analysis; 7. Conclusion and Future Works; References; A Simulation of Transition P Systems in Weighted Spiking Neural P Systems; 1. Introduction; 2. Preliminaries; 3. Main Results.
4. Final RemarksAcknowledgments; References; Robustness Analysis on Human-made Faults in Procedural Manuals; 1. Introduction; 2. A Motivating Example; 3. Preliminaries; 3.1. Process Algebra; 3.2. Linear Temporal Logic; 3.3. Relationships between Agents and Formulae; 4. Workflow Model; 4.1. Mapping to Process Algebra; 5. Injection of Human-Made Faults; 6. Robustness Test; 6.1. Framework for Verification; 6.2. Model Checking; 7. Conclusion; References; Compositional Construction of Group-wide Meta-level Architectures; 1. Introduction; 2. A Simple Actor Language; 2.1. The Actor Model.
2.2. Our Actor Language3. The Operational Semantics of the Core Language; 3.1. The Semantics of the Sequential Sublanguage; 3.2. The Semantics of the Actor Primitives; 4. Compositional Construction of Meta-Level Actors; 4.1. Actor Groups; 4.2. Composition of Actor Groups; 4.3. Abstract Definition of the Meta-Level Behaviors; 5. Concluding Remarks; Acknowledgments; References; An Application Programming Interface for the Communication and Storage Protocol for the TALA Empathic Space; 1. Introduction; 2. Review of Related Works; 2.1. Centralized Data Acquisition Unit for the Empathic Space.
Summary This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2013 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 comprehensive view of the current development of fundamental research in formal method, programming language and programming development environment, bioinformatics, empathic and intelligent systems, and computing gam.
Note Online resource; title from PDF title page (EBSCO, viewed October 15, 2014).
ISBN 9789814612883 (electronic bk.)
981461288X (electronic bk.)
OCLC # 892970851
Additional Format Print version: Nishizaki, Shin-ya. Theory and Practice of Computation : Proceedings of Workshop on Computation: Theory and Practice WCTP2013. Singapore : World Scientific Publishing Company, ©2014 9789814612876