Información del autor
Autor Verlan, Sergey |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / Durand-Lose, Jérôme ; Verlan, Sergey
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 Clasificación: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Membrane Computing Models: Implementations Tipo de documento: documento electrónico Autores: Zhang, Gexiang, ; Pérez-Jiménez, Mario J., ; Riscos-Núñez, AgustÃn, ; Verlan, Sergey, ; Konur, Savas, ; Hinze, Thomas, ; Gheorghe, Marian, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: XXII, 279 p. 121 ilustraciones, 58 ilustraciones en color. ISBN/ISSN/DL: 978-981-1615665-- 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: Simulación por ordenador IngenierÃa de software Sistemas informáticos Programación de computadoras Compiladores (programas informáticos) Lenguajes de programación (computadoras electrónicas) Modelado por computadora Implementación de sistema informático Técnicas de programación Compiladores e intérpretes Lenguaje de programación Clasificación: 003 Teoría general de sistemas Resumen: La base teórica de la computación de membrana se estableció a principios de la década de 2000 con una investigación fundamental sobre el poder computacional, los aspectos de complejidad y las relaciones con otros paradigmas informáticos (no) convencionales. Aunque esta investigación teórica central ha seguido creciendo rápida y vigorosamente, desde entonces se ha agregado otra área de investigación, centrándose en las aplicaciones de este modelo en muchas áreas, sobre todo en biologÃa sintética y de sistemas, optimización de ingenierÃa, diagnóstico de fallas de sistemas eléctricos y tecnologÃa móvil. Diseño de controladores de robots. El mayor desarrollo de estas aplicaciones y su amplia adopción por parte de otros investigadores, asà como la expansión del paradigma de modelado de computación de membrana a otras aplicaciones, exigen un conjunto de herramientas sólidas, eficientes, confiables y fáciles de usar que respalden los aspectos más importantes. Modelos de computación de membrana. Este trabajo proporciona descripciones completas de dichas herramientas, lo que lo convierte en un recurso valioso para cualquier persona interesada en los modelos de computación de membrana. . Nota de contenido: Chapter 1 Introduction -- Chapter 2 P systems Implementation on P-Lingua framework -- Chapter 3 Software implementation for P systems -- Chapter 4 Infobiotics Workbench - In Silico Software Suite for Computational Biology -- Chapter 5 Molecular Physics and Chemistry in Membranes: The Java Environment for Nature-inspired Approaches (JENA) -- Chapter 6 P systems Implementation on CUDA.-Chapter 7 P systems Implementation on FPGA -- Chapter 8 Hardware implementations and applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Membrane Computing Models: Implementations [documento electrónico] / Zhang, Gexiang, ; Pérez-Jiménez, Mario J., ; Riscos-Núñez, AgustÃn, ; Verlan, Sergey, ; Konur, Savas, ; Hinze, Thomas, ; Gheorghe, Marian, . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XXII, 279 p. 121 ilustraciones, 58 ilustraciones en color.
ISBN : 978-981-1615665--
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Simulación por ordenador IngenierÃa de software Sistemas informáticos Programación de computadoras Compiladores (programas informáticos) Lenguajes de programación (computadoras electrónicas) Modelado por computadora Implementación de sistema informático Técnicas de programación Compiladores e intérpretes Lenguaje de programación Clasificación: 003 Teoría general de sistemas Resumen: La base teórica de la computación de membrana se estableció a principios de la década de 2000 con una investigación fundamental sobre el poder computacional, los aspectos de complejidad y las relaciones con otros paradigmas informáticos (no) convencionales. Aunque esta investigación teórica central ha seguido creciendo rápida y vigorosamente, desde entonces se ha agregado otra área de investigación, centrándose en las aplicaciones de este modelo en muchas áreas, sobre todo en biologÃa sintética y de sistemas, optimización de ingenierÃa, diagnóstico de fallas de sistemas eléctricos y tecnologÃa móvil. Diseño de controladores de robots. El mayor desarrollo de estas aplicaciones y su amplia adopción por parte de otros investigadores, asà como la expansión del paradigma de modelado de computación de membrana a otras aplicaciones, exigen un conjunto de herramientas sólidas, eficientes, confiables y fáciles de usar que respalden los aspectos más importantes. Modelos de computación de membrana. Este trabajo proporciona descripciones completas de dichas herramientas, lo que lo convierte en un recurso valioso para cualquier persona interesada en los modelos de computación de membrana. . Nota de contenido: Chapter 1 Introduction -- Chapter 2 P systems Implementation on P-Lingua framework -- Chapter 3 Software implementation for P systems -- Chapter 4 Infobiotics Workbench - In Silico Software Suite for Computational Biology -- Chapter 5 Molecular Physics and Chemistry in Membranes: The Java Environment for Nature-inspired Approaches (JENA) -- Chapter 6 P systems Implementation on CUDA.-Chapter 7 P systems Implementation on FPGA -- Chapter 8 Hardware implementations and applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Unconventional Computation and Natural Computation : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings Tipo de documento: documento electrónico Autores: Stepney, Susan, ; Verlan, Sergey, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVIII, 217 p. 68 ilustraciones ISBN/ISSN/DL: 978-3-319-92435-9 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: Ciencias de la Computación IngenierÃa de software Inteligencia artificial Dispositivos de almacenamiento informático Gestión de memoria (Informática) CriptografÃa Cifrado de datos (Informática) Lógica informática y fundamentos de la programación Estructura de la memoria de la computadora CriptologÃa Clasificación: Resumen: Este libro constituye las actas de la 17.ª Conferencia Internacional sobre Computación No Convencional y Computación Natural, UCNC 2018, celebrada en Fontainebleau, Francia, en junio de 2018. Los 15 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. El artÃculo cubre temas como la hipercomputación; computación basada en caos y sistemas dinámicos; computación granular, difusa y aproximada; informática mecánica; computación celular, evolutiva, molecular, neuronal y cuántica; computación de membrana; computación amorfa, inteligencia de enjambre; sistemas inmunológicos artificiales; fÃsica de la computación; computación quÃmica; hardware en evolución; la naturaleza computacional del autoensamblaje, los procesos de desarrollo, la comunicación bacteriana y los procesos cerebrales. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Unconventional Computation and Natural Computation : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings [documento electrónico] / Stepney, Susan, ; Verlan, Sergey, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVIII, 217 p. 68 ilustraciones.
ISBN : 978-3-319-92435-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación IngenierÃa de software Inteligencia artificial Dispositivos de almacenamiento informático Gestión de memoria (Informática) CriptografÃa Cifrado de datos (Informática) Lógica informática y fundamentos de la programación Estructura de la memoria de la computadora CriptologÃa Clasificación: Resumen: Este libro constituye las actas de la 17.ª Conferencia Internacional sobre Computación No Convencional y Computación Natural, UCNC 2018, celebrada en Fontainebleau, Francia, en junio de 2018. Los 15 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. El artÃculo cubre temas como la hipercomputación; computación basada en caos y sistemas dinámicos; computación granular, difusa y aproximada; informática mecánica; computación celular, evolutiva, molecular, neuronal y cuántica; computación de membrana; computación amorfa, inteligencia de enjambre; sistemas inmunológicos artificiales; fÃsica de la computación; computación quÃmica; hardware en evolución; la naturaleza computacional del autoensamblaje, los procesos de desarrollo, la comunicación bacteriana y los procesos cerebrales. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
