Información del autor
Autor Hinze, Thomas |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / Hinze, Thomas ; Rozenberg, Grzegorz ; Salomaa, Arto ; Zandron, Claudio
TÃtulo : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Hinze, Thomas, ; Rozenberg, Grzegorz, ; Salomaa, Arto, ; Zandron, Claudio, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 275 p. 167 ilustraciones, 21 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-12797-8 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 IngenierÃa Informática Red de computadoras Inteligencia artificial TeorÃa de la Computación IngenierÃa Informática y Redes Operaciones de TI Clasificación: Resumen: Este libro contiene artÃculos seleccionados revisados ​​de la 19.ª Conferencia Internacional sobre Computación de Membranas (CMC19), CMC 2018, que se celebró en Dresden, Alemania, en septiembre de 2018. Los 15 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 20 presentaciones. Las contribuciones tienen como objetivo abstraer ideas y modelos informáticos de la estructura y el funcionamiento de las células vivas, asà como de la forma en que las células están organizadas en tejidos o estructuras de orden superior. Nota de contenido: Invited Papers -- Impacts of Membrane Computing on Theoretical Computer Science -- Time and Space Complexity of P Systems - And Why They Matter -- A Brute-Force Solution to the 27-Queens Puzzle Using a Distributed Computation -- Regular Papers. -Tissue P Systems with Point Mutation Rules -- Adaptive P Systems -- Chain Code P System Generating a Variant of the Peano Space-filling Curve -- APCol Systems with Agent Creation -- APCol Systems with Verifier Agents -- A Semantic Investigation of Spiking Neural P Systems -- Towards Automated Analysis of Belousov-Zhabotinsky Reactions in a Petri Dish by Membrane Computing using Optic Flow -- Testing Identifiable Kernel P Systems using an X-machine Approach -- Actor-like cP Systems -- Solving QSAT in Sublinear Depth -- Design of specific P systems simulators on GPUs -- Construction of Stable and Lightweight Technical Structures Inspired by Ossification of Bones using Osteogenetic P Systems -- On Small Universality of Spiking Neural P Systems with Multiple Channels -- Modeling Plant Development with M Systems -- An Improved Quicksort Algorithm Based on Tissue-Like P Systems with Promoters. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers [documento electrónico] / Hinze, Thomas, ; Rozenberg, Grzegorz, ; Salomaa, Arto, ; Zandron, Claudio, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 275 p. 167 ilustraciones, 21 ilustraciones en color.
ISBN : 978-3-030-12797-8
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 IngenierÃa Informática Red de computadoras Inteligencia artificial TeorÃa de la Computación IngenierÃa Informática y Redes Operaciones de TI Clasificación: Resumen: Este libro contiene artÃculos seleccionados revisados ​​de la 19.ª Conferencia Internacional sobre Computación de Membranas (CMC19), CMC 2018, que se celebró en Dresden, Alemania, en septiembre de 2018. Los 15 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 20 presentaciones. Las contribuciones tienen como objetivo abstraer ideas y modelos informáticos de la estructura y el funcionamiento de las células vivas, asà como de la forma en que las células están organizadas en tejidos o estructuras de orden superior. Nota de contenido: Invited Papers -- Impacts of Membrane Computing on Theoretical Computer Science -- Time and Space Complexity of P Systems - And Why They Matter -- A Brute-Force Solution to the 27-Queens Puzzle Using a Distributed Computation -- Regular Papers. -Tissue P Systems with Point Mutation Rules -- Adaptive P Systems -- Chain Code P System Generating a Variant of the Peano Space-filling Curve -- APCol Systems with Agent Creation -- APCol Systems with Verifier Agents -- A Semantic Investigation of Spiking Neural P Systems -- Towards Automated Analysis of Belousov-Zhabotinsky Reactions in a Petri Dish by Membrane Computing using Optic Flow -- Testing Identifiable Kernel P Systems using an X-machine Approach -- Actor-like cP Systems -- Solving QSAT in Sublinear Depth -- Design of specific P systems simulators on GPUs -- Construction of Stable and Lightweight Technical Structures Inspired by Ossification of Bones using Osteogenetic P Systems -- On Small Universality of Spiking Neural P Systems with Multiple Channels -- Modeling Plant Development with M Systems -- An Improved Quicksort Algorithm Based on Tissue-Like P Systems with Promoters. 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 [...]
