Cargando…
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 /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New Jersey :
World Scientific,
2014.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn892970851 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141015s2014 nju o 100 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d OCLCF |d EBLCP |d OCL |d OCLCQ |d AGLDB |d OCLCQ |d VTS |d STF |d M8D |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 893332820 | ||
| 020 | |a 9789814612883 |q (electronic bk.) | ||
| 020 | |a 981461288X |q (electronic bk.) | ||
| 020 | |z 9789814612876 | ||
| 029 | 1 | |a AU@ |b 000058200428 | |
| 029 | 1 | |a DEBBG |b BV043030739 | |
| 029 | 1 | |a DEBSZ |b 446511838 | |
| 029 | 1 | |a NZ1 |b 15919227 | |
| 029 | 1 | |a AU@ |b 000073140677 | |
| 035 | |a (OCoLC)892970851 |z (OCoLC)893332820 | ||
| 050 | 4 | |a QA9.59 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3/52 |2 23 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Theory and practice of computation : |b proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 / |c editors, Shin-ya Nishizaki, Masayuki Numao, Jaime D.L. Caro, Merlin Teodosia C. Suarez. |
| 264 | 1 | |a New Jersey : |b World Scientific, |c 2014. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed October 15, 2014). | |
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 520 | |a 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computable functions |v Congresses. | |
| 650 | 6 | |a Fonctions calculables |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Computable functions |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Nishizaki, Shin-ya, |e editor. | |
| 700 | 1 | |a Numao, Masayuki, |e editor. | |
| 700 | 1 | |a Caro, Jaime D. L., |e editor. | |
| 700 | 1 | |a Suarez, Merlin Teodosia C., |e editor. | |
| 710 | 2 | |a Workshop on Computation Theory and Practice |n (2013th : |d Diliman, Philippines) | |
| 776 | 0 | 8 | |i Print version: |a Nishizaki, Shin-ya. |t Theory and Practice of Computation : Proceedings of Workshop on Computation: Theory and Practice WCTP2013. |d Singapore : World Scientific Publishing Company, ©2014 |z 9789814612876 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=862335 |z Texto completo |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1812631 | ||
| 938 | |a EBSCOhost |b EBSC |n 862335 | ||
| 994 | |a 92 |b IZTAP | ||