| TÃtulo : |
8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Durand-Lose, Jérôme, ; Verlan, Sergey, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XVII, 171 p. 27 ilustraciones |
| ISBN/ISSN/DL: |
978-3-319-92402-1 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Algoritmos Sistemas informáticos TeorÃa de las máquinas Ciencias de la Computación Computadoras Propósitos especiales Implementación de sistema informático Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Sistemas de propósito especial y basados ​​en aplicaciones |
| Ãndice Dewey: |
518.1 |
| Resumen: |
Este libro constituye las actas arbitradas de la 8.ª Conferencia Internacional sobre Máquinas, Computaciones y Universalidad, MCU 2018, celebrada en Fontainebleau, Francia, en junio de 2018. Los 9 artÃculos completos revisados ​​presentados junto con 5 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre numerosos presentaciones. MCU explora la computación en el contexto de varios modelos discretos (máquinas de Turing, máquinas de registro, autómatas celulares, sistemas de ensamblaje de mosaicos, sistemas de reescritura, modelos de computación molecular, modelos neuronales, sistemas concurrentes, etc.) y modelos analógicos e hÃbridos (máquinas BSS, infinitas). autómatas celulares del tiempo, máquinas reales, computación cuántica, etc.). |
| Nota de contenido: |
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 lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings [documento electrónico] / Durand-Lose, Jérôme, ; Verlan, Sergey, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVII, 171 p. 27 ilustraciones. ISBN : 978-3-319-92402-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Algoritmos Sistemas informáticos TeorÃa de las máquinas Ciencias de la Computación Computadoras Propósitos especiales Implementación de sistema informático Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Sistemas de propósito especial y basados ​​en aplicaciones |
| Ãndice Dewey: |
518.1 |
| Resumen: |
Este libro constituye las actas arbitradas de la 8.ª Conferencia Internacional sobre Máquinas, Computaciones y Universalidad, MCU 2018, celebrada en Fontainebleau, Francia, en junio de 2018. Los 9 artÃculos completos revisados ​​presentados junto con 5 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre numerosos presentaciones. MCU explora la computación en el contexto de varios modelos discretos (máquinas de Turing, máquinas de registro, autómatas celulares, sistemas de ensamblaje de mosaicos, sistemas de reescritura, modelos de computación molecular, modelos neuronales, sistemas concurrentes, etc.) y modelos analógicos e hÃbridos (máquinas BSS, infinitas). autómatas celulares del tiempo, máquinas reales, computación cuántica, etc.). |
| Nota de contenido: |
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 lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |