Return to home page
Searching: Otterbein library catalog
  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
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