23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings / Câmpeanu, Cezar  

Público ISBD Ningún comentario para este registro. Título : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings Tipo de documento: documento electrónico Autores: Câmpeanu, Cezar, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 339 p. 65 ilustraciones ISBN/ISSN/DL: 978-3-319-94812-6 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: Teoría de las máquinas  Information storage and retrieval  Ciencia de los datos  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Sistemas de almacenamiento y recuperación de información  Inteligencia artificial  Informática  Procesamiento de datos Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 23.ª Conferencia Internacional sobre Implementación y Aplicación de Autómatas, CIAA 2018, celebrada en Charlottetown, PE, Canadá, en julio/agosto de 2018. Los 23 artículos regulares presentados en este libro, junto con 4 artículos invitados, fueron cuidadosamente revisados ​​y seleccionados de 39 presentaciones iniciales. Los temas de los artículos incluyen la complejidad de estados de los autómatas, las implementaciones de autómatas y experimentos, las expresiones regulares mejoradas y el análisis de la complejidad. Nota de contenido: State complexity of automata -- Implementations of automata and experiments -- Enhanced regular expressions -- Complexity analysis. 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 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings [documento electrónico] / Câmpeanu, Cezar,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XI, 339 p. 65 ilustraciones. ISBN : 978-3-319-94812-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Teoría de las máquinas  Information storage and retrieval  Ciencia de los datos  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Sistemas de almacenamiento y recuperación de información  Inteligencia artificial  Informática  Procesamiento de datos Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 23.ª Conferencia Internacional sobre Implementación y Aplicación de Autómatas, CIAA 2018, celebrada en Charlottetown, PE, Canadá, en julio/agosto de 2018. Los 23 artículos regulares presentados en este libro, junto con 4 artículos invitados, fueron cuidadosamente revisados ​​y seleccionados de 39 presentaciones iniciales. Los temas de los artículos incluyen la complejidad de estados de los autómatas, las implementaciones de autómatas y experimentos, las expresiones regulares mejoradas y el análisis de la complejidad. Nota de contenido: State complexity of automata -- Implementations of automata and experiments -- Enhanced regular expressions -- Complexity analysis. 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

Descriptional Complexity of Formal Systems / Pighizzini, Giovanni ; Câmpeanu, Cezar  

Público ISBD Ningún comentario para este registro. Título : Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings Tipo de documento: documento electrónico Autores: Pighizzini, Giovanni, ; Câmpeanu, Cezar, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 311 p. 76 ilustraciones ISBN/ISSN/DL: 978-3-319-60252-3 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  Teoría de las máquinas  Algoritmos  Ingeniería de software  Lógica informática y fundamentos de la programación  Teoría de la Computación  Lenguajes formales y teoría de los autómatas Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 19.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas Formales, DCFS 2017, celebrada en Milán, Italia, en julio de 2017. Los 20 artículos completos presentados junto con 4 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. La complejidad es un campo de la informática que se ocupa del tamaño de todo tipo de objetos que aparecen en modelos computacionales, como máquinas de Turing, autómatas finitos, gramáticas, sistemas de empalme y otros. Los temas de esta conferencia están relacionados con todos los aspectos de la complejidad descriptiva. Nota de contenido: Sensing as a Complexity Measure -- Avoiding Overlaps in Pictures -- Descriptional Complexity and Operations - Two non-Classical Cases -- Applications of Transducers in Independent Languages, Word Distances, Codes -- On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages -- On the Average Complexity of Strong Star Normal Form -- Most Complex Non-Returning Regular Languages -- Uncountable realtime probabilistic classes -- A Parametrized Analysis of Algorithms on Hierarchical Graphs -- Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity -- Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors -- Recognizing Union-Find trees built up using union-by-rank strategy is NP-complete -- Self-attraction removal from oritatami systems -- One-Time Nondeterministic Computations -- Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free Languages -- Branching Measures and Nearly Acyclic NFAs -- Square on Deterministic, Alternating, and Boolean Finite Automata -- A Pumping Lemma for Ordered Restarting Automata -- Concise Representations of Reversible Automata -- State Complexity of Unary SV-XNFA with Different Acceptance Conditions -- Reset Complexity of Ideal Languages Over a Binary Alphabet -- 2-state 2-symbol Turing machines with periodic support produce regular sets -- State Complexity of Suffix Distance -- The quotient operation on input-driven pushdown automata. 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 Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings [documento electrónico] / Pighizzini, Giovanni, ; Câmpeanu, Cezar,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - X, 311 p. 76 ilustraciones. ISBN : 978-3-319-60252-3 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  Teoría de las máquinas  Algoritmos  Ingeniería de software  Lógica informática y fundamentos de la programación  Teoría de la Computación  Lenguajes formales y teoría de los autómatas Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 19.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas Formales, DCFS 2017, celebrada en Milán, Italia, en julio de 2017. Los 20 artículos completos presentados junto con 4 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. La complejidad es un campo de la informática que se ocupa del tamaño de todo tipo de objetos que aparecen en modelos computacionales, como máquinas de Turing, autómatas finitos, gramáticas, sistemas de empalme y otros. Los temas de esta conferencia están relacionados con todos los aspectos de la complejidad descriptiva. Nota de contenido: Sensing as a Complexity Measure -- Avoiding Overlaps in Pictures -- Descriptional Complexity and Operations - Two non-Classical Cases -- Applications of Transducers in Independent Languages, Word Distances, Codes -- On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages -- On the Average Complexity of Strong Star Normal Form -- Most Complex Non-Returning Regular Languages -- Uncountable realtime probabilistic classes -- A Parametrized Analysis of Algorithms on Hierarchical Graphs -- Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity -- Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors -- Recognizing Union-Find trees built up using union-by-rank strategy is NP-complete -- Self-attraction removal from oritatami systems -- One-Time Nondeterministic Computations -- Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free Languages -- Branching Measures and Nearly Acyclic NFAs -- Square on Deterministic, Alternating, and Boolean Finite Automata -- A Pumping Lemma for Ordered Restarting Automata -- Concise Representations of Reversible Automata -- State Complexity of Unary SV-XNFA with Different Acceptance Conditions -- Reset Complexity of Ideal Languages Over a Binary Alphabet -- 2-state 2-symbol Turing machines with periodic support produce regular sets -- State Complexity of Suffix Distance -- The quotient operation on input-driven pushdown automata. 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

---

1 (1 - 2 / 2) Por página: 25 50 100 200