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...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New Jersey :
World Scientific,
2014.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource |
| ISBN: | 9789814612883 981461288X |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn892970851 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.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 |d OCLCL | ||
| 019 | |a 893332820 | ||
| 020 | |a 9789814612883 |q (electronic bk.) | ||
| 020 | |a 981461288X |q (electronic bk.) | ||
| 020 | |z 9789814612876 | ||
| 035 | |a (OCoLC)892970851 |z (OCoLC)893332820 | ||
| 050 | 4 | |a QA9.59 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 7 | |a 511.3/52 |2 23 | |
| 049 | |a MAIN | ||
| 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. | ||
| 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) | |
| 758 | |i has work: |a Theory and practice of computation (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH6ggCJf4pqhTt3vCCmqkP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 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 | 1 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=862335 |3 Volltext | |
| 856 | 1 | |l CBO01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=862335 |3 Volltext | |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1812631 | ||
| 938 | |a EBSCOhost |b EBSC |n 862335 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn892970851 |
|---|---|
| _version_ | 1813903664358621185 |
| adam_text | |
| any_adam_object | |
| author2 | Nishizaki, Shin-ya Numao, Masayuki Caro, Jaime D. L. Suarez, Merlin Teodosia C. |
| author2_role | edt edt edt edt |
| author2_variant | s y n syn m n mn j d l c jdl jdlc m t c s mtc mtcs |
| author_corporate | Workshop on Computation Theory and Practice |
| author_corporate_role | |
| author_facet | Nishizaki, Shin-ya Numao, Masayuki Caro, Jaime D. L. Suarez, Merlin Teodosia C. Workshop on Computation Theory and Practice |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.59 |
| callnumber-search | QA9.59 |
| callnumber-sort | QA 19.59 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| 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. |
| ctrlnum | (OCoLC)892970851 |
| dewey-full | 511.3/52 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/52 |
| dewey-search | 511.3/52 |
| dewey-sort | 3511.3 252 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06024cam a2200565 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn892970851</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">141015s2014 nju o 100 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCF</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">STF</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">893332820</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814612883</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">981461288X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789814612876</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)892970851</subfield><subfield code="z">(OCoLC)893332820</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.59</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3/52</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Theory and practice of computation :</subfield><subfield code="b">proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 /</subfield><subfield code="c">editors, Shin-ya Nishizaki, Masayuki Numao, Jaime D.L. Caro, Merlin Teodosia C. Suarez.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">2014.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed October 15, 2014).</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computable functions</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Fonctions calculables</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computable functions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nishizaki, Shin-ya,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Numao, Masayuki,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Caro, Jaime D. L.,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Suarez, Merlin Teodosia C.,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Workshop on Computation Theory and Practice</subfield><subfield code="n">(2013th :</subfield><subfield code="d">Diliman, Philippines)</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Theory and practice of computation (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCH6ggCJf4pqhTt3vCCmqkP</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Nishizaki, Shin-ya.</subfield><subfield code="t">Theory and Practice of Computation : Proceedings of Workshop on Computation: Theory and Practice WCTP2013.</subfield><subfield code="d">Singapore : World Scientific Publishing Company, ©2014</subfield><subfield code="z">9789814612876</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=862335</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">CBO01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=862335</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1812631</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">862335</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn892970851 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-25T16:22:17Z |
| institution | BVB |
| isbn | 9789814612883 981461288X |
| language | English |
| oclc_num | 892970851 |
| open_access_boolean | |
| owner | MAIN |
| owner_facet | MAIN |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | World Scientific, |
| record_format | marc |
| spelling | 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. New Jersey : World Scientific, 2014. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Online resource; title from PDF title page (EBSCO, viewed October 15, 2014). 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. 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. Computable functions Congresses. Fonctions calculables Congrès. MATHEMATICS General. bisacsh Computable functions fast Conference papers and proceedings fast Nishizaki, Shin-ya, editor. Numao, Masayuki, editor. Caro, Jaime D. L., editor. Suarez, Merlin Teodosia C., editor. Workshop on Computation Theory and Practice (2013th : Diliman, Philippines) has work: Theory and practice of computation (Text) https://id.oclc.org/worldcat/entity/E39PCH6ggCJf4pqhTt3vCCmqkP https://id.oclc.org/worldcat/ontology/hasWork 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 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=862335 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=862335 Volltext |
| spellingShingle | 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 / 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. Computable functions Congresses. Fonctions calculables Congrès. MATHEMATICS General. bisacsh Computable functions fast |
| 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 / |
| title_auth | 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 / |
| title_exact_search | 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 / |
| title_full | 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. |
| title_fullStr | 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. |
| title_full_unstemmed | 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. |
| title_short | Theory and practice of computation : |
| title_sort | 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 |
| title_sub | proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 / |
| topic | Computable functions Congresses. Fonctions calculables Congrès. MATHEMATICS General. bisacsh Computable functions fast |
| topic_facet | Computable functions Congresses. Fonctions calculables Congrès. MATHEMATICS General. Computable functions Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=862335 |
| work_keys_str_mv | AT nishizakishinya theoryandpracticeofcomputationproceedingsofworkshoponcomputationtheoryandpracticewctp2013universityofthephilippinesdilimanphilippines30september1october2013 AT numaomasayuki theoryandpracticeofcomputationproceedingsofworkshoponcomputationtheoryandpracticewctp2013universityofthephilippinesdilimanphilippines30september1october2013 AT carojaimedl theoryandpracticeofcomputationproceedingsofworkshoponcomputationtheoryandpracticewctp2013universityofthephilippinesdilimanphilippines30september1october2013 AT suarezmerlinteodosiac theoryandpracticeofcomputationproceedingsofworkshoponcomputationtheoryandpracticewctp2013universityofthephilippinesdilimanphilippines30september1october2013 AT workshoponcomputationtheoryandpractice theoryandpracticeofcomputationproceedingsofworkshoponcomputationtheoryandpracticewctp2013universityofthephilippinesdilimanphilippines30september1october2013 |