Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/854
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Durand-Lose, Jereme. ; | en_US |
| dc.contributor.author | Verlan, Sergey. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:22:43Z | - |
| dc.date.available | 2020-05-17T08:22:43Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319924021 ; | en_US |
| dc.identifier.isbn | 9783319924014 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/854 | - |
| dc.description | Printed edition: ; 9783319924014. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018. The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.). ; | en_US |
| dc.description.statementofresponsibility | edited by Jereme Durand-Lose, Sergey Verlan. | en_US |
| dc.description.tableofcontents | Control Mechanisms for Array Grammars on Cayley Grids -- A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality -- Sequential Grammars with Activation and Blocking of Rules -- The Language (and Series) of Hammersley-type Processes -- Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case -- Minimal Useful Size of Counters for (Real-Time) Multicounter Automata -- A Framework for (De)composing with Boolean Automata Networks -- An Extension of Interval-valued Computing Equivalent to Red-green Turing Machines -- Physical Computation and First-Order Logic. . ; | en_US |
| dc.format.extent | XVII, 171 p. 27 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10881. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10881. ; | en_US |
| dc.relation.haspart | 9783319924014.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Special Purpose Computers | en_US |
| dc.subject | Architecture, Computer. ; | en_US |
| dc.subject | Algorithms | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Algorithm Analysis and Problem Complexity. ; | en_US |
| dc.subject | Computer System Implementation. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Special Purpose and Application-Based Systems. ; | en_US |
| dc.subject.lcc | QA76.9.A43 ; | en_US |
| dc.title | Machines, Computations, and Universality | en_US |
| dc.title.alternative | 8th International Conference, MCU 2018, Fontainebleau, France, June 28ee30, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319924014.pdf | 4.08 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Durand-Lose, Jereme. ; | en_US |
| dc.contributor.author | Verlan, Sergey. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:22:43Z | - |
| dc.date.available | 2020-05-17T08:22:43Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319924021 ; | en_US |
| dc.identifier.isbn | 9783319924014 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/854 | - |
| dc.description | Printed edition: ; 9783319924014. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018. The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.). ; | en_US |
| dc.description.statementofresponsibility | edited by Jereme Durand-Lose, Sergey Verlan. | en_US |
| dc.description.tableofcontents | Control Mechanisms for Array Grammars on Cayley Grids -- A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality -- Sequential Grammars with Activation and Blocking of Rules -- The Language (and Series) of Hammersley-type Processes -- Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case -- Minimal Useful Size of Counters for (Real-Time) Multicounter Automata -- A Framework for (De)composing with Boolean Automata Networks -- An Extension of Interval-valued Computing Equivalent to Red-green Turing Machines -- Physical Computation and First-Order Logic. . ; | en_US |
| dc.format.extent | XVII, 171 p. 27 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10881. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10881. ; | en_US |
| dc.relation.haspart | 9783319924014.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Special Purpose Computers | en_US |
| dc.subject | Architecture, Computer. ; | en_US |
| dc.subject | Algorithms | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Algorithm Analysis and Problem Complexity. ; | en_US |
| dc.subject | Computer System Implementation. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Special Purpose and Application-Based Systems. ; | en_US |
| dc.subject.lcc | QA76.9.A43 ; | en_US |
| dc.title | Machines, Computations, and Universality | en_US |
| dc.title.alternative | 8th International Conference, MCU 2018, Fontainebleau, France, June 28ee30, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319924014.pdf | 4.08 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Durand-Lose, Jereme. ; | en_US |
| dc.contributor.author | Verlan, Sergey. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:22:43Z | - |
| dc.date.available | 2020-05-17T08:22:43Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319924021 ; | en_US |
| dc.identifier.isbn | 9783319924014 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/854 | - |
| dc.description | Printed edition: ; 9783319924014. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018. The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.). ; | en_US |
| dc.description.statementofresponsibility | edited by Jereme Durand-Lose, Sergey Verlan. | en_US |
| dc.description.tableofcontents | Control Mechanisms for Array Grammars on Cayley Grids -- A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality -- Sequential Grammars with Activation and Blocking of Rules -- The Language (and Series) of Hammersley-type Processes -- Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case -- Minimal Useful Size of Counters for (Real-Time) Multicounter Automata -- A Framework for (De)composing with Boolean Automata Networks -- An Extension of Interval-valued Computing Equivalent to Red-green Turing Machines -- Physical Computation and First-Order Logic. . ; | en_US |
| dc.format.extent | XVII, 171 p. 27 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10881. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10881. ; | en_US |
| dc.relation.haspart | 9783319924014.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Special Purpose Computers | en_US |
| dc.subject | Architecture, Computer. ; | en_US |
| dc.subject | Algorithms | en_US |
| dc.subject | Computer logic. ; | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Algorithm Analysis and Problem Complexity. ; | en_US |
| dc.subject | Computer System Implementation. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Logics and Meanings of Programs. ; | en_US |
| dc.subject | Special Purpose and Application-Based Systems. ; | en_US |
| dc.subject.lcc | QA76.9.A43 ; | en_US |
| dc.title | Machines, Computations, and Universality | en_US |
| dc.title.alternative | 8th International Conference, MCU 2018, Fontainebleau, France, June 28ee30, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319924014.pdf | 4.08 MB | Adobe PDF | Preview File |