UID:
almafu_9959243632302883
Format:
1 online resource (266 p.)
ISBN:
981-4612-88-X
Content:
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:
Description based upon print version of record.
,
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
,
2.2. TALA Empathic Space: Integrating Affect and Activity Recognition into a Smart Space
,
English
Additional Edition:
ISBN 1-322-22424-2
Additional Edition:
ISBN 981-4612-87-1
Language:
English
