Información del autor
Autor Pighizzini, Giovanni |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsqueda20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings / Konstantinidis, Stavros ; Pighizzini, Giovanni
TÃtulo : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings Tipo de documento: documento electrónico Autores: Konstantinidis, Stavros, ; Pighizzini, Giovanni, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 251 p. 35 ilustraciones ISBN/ISSN/DL: 978-3-319-94631-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 Procesamiento del lenguaje natural (Informática) Informática Matemáticas discretas Inteligencia artificial Lógica informática y fundamentos de la programación Procesamiento del lenguaje natural (PNL) Matemáticas discretas en informática Ciencia de los datos Clasificación: Resumen: Este libro constituye las actas de la 20.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas Formales, DCFS 2018, celebrada en Halifax, NS, Canadá, en julio de 2018. Los 19 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. DCFS es una conferencia de trabajo internacional anual sobre la complejidad descriptiva de sistemas y estructuras formales y sus aplicaciones. Los temas de interés están relacionados con todos los aspectos de la complejidad descriptiva y mucho más. . Nota de contenido: Formal languages and automata theory -- State complexity -- Grammars -- Randomness -- Automata extensions -- Algebraic language theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings [documento electrónico] / Konstantinidis, Stavros, ; Pighizzini, Giovanni, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 251 p. 35 ilustraciones.
ISBN : 978-3-319-94631-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 Procesamiento del lenguaje natural (Informática) Informática Matemáticas discretas Inteligencia artificial Lógica informática y fundamentos de la programación Procesamiento del lenguaje natural (PNL) Matemáticas discretas en informática Ciencia de los datos Clasificación: Resumen: Este libro constituye las actas de la 20.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas Formales, DCFS 2018, celebrada en Halifax, NS, Canadá, en julio de 2018. Los 19 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. DCFS es una conferencia de trabajo internacional anual sobre la complejidad descriptiva de sistemas y estructuras formales y sus aplicaciones. Los temas de interés están relacionados con todos los aspectos de la complejidad descriptiva y mucho más. . Nota de contenido: Formal languages and automata theory -- State complexity -- Grammars -- Randomness -- Automata extensions -- Algebraic language theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings Tipo de documento: documento electrónico Autores: Jirásková, Galina, ; Pighizzini, Giovanni, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 245 p. 327 ilustraciones, 9 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-62536-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 Inteligencia artificial TeorÃa de las máquinas Gestión de base de datos Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Clasificación: Resumen: Este libro constituye las actas de la 22.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas de Formato, DCFS 2020, que se suponÃa que tendrÃa lugar en Viena, Austria, en agosto de 2020, pero la conferencia fue cancelada debido a la crisis de COVID-19. Los 19 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Se ocupan de todos los aspectos de la complejidad descriptiva y los costos de descripción de objetos en varios modelos computacionales, como máquinas de Turing, autómatas pushdown, autómatas finitos, gramáticas y otros. Nota de contenido: Mutually Accepting Capacitated Automata -- Bad pictures: some structural properties related to overlaps -- Regular Expression Length via Arithmetic Formula Complexity -- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable -- On the Power of Generalized Forbidding Insertion-Deletion Systems -- State Complexity Bounds for the Commutative Closure of Group Languages -- Multiple Concatenation and State Complexity (Extended Abstract) -- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata -- Longer shortest strings in two-way finite automata -- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion -- Descriptional Complexity of Winning Sets of Regular Languages -- State complexity of GF(2)-inverse and GF(2)-star on binary languages -- Complexity of Two-dimensional Rank-reducing Grammars -- Palindromic Length of Words with Many Periodic Palindromes -- Operational Complexity of Straight Line Programs for Regular Languages -- Classifying ω-Regular Aperiodic k-Partitions -- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata -- On the Generative Power of Quasiperiods -- Insertion-Deletion Systems With Substitutions II. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings [documento electrónico] / Jirásková, Galina, ; Pighizzini, Giovanni, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 245 p. 327 ilustraciones, 9 ilustraciones en color.
ISBN : 978-3-030-62536-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 Inteligencia artificial TeorÃa de las máquinas Gestión de base de datos Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Clasificación: Resumen: Este libro constituye las actas de la 22.ª Conferencia Internacional sobre Complejidad Descriptiva de Sistemas de Formato, DCFS 2020, que se suponÃa que tendrÃa lugar en Viena, Austria, en agosto de 2020, pero la conferencia fue cancelada debido a la crisis de COVID-19. Los 19 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Se ocupan de todos los aspectos de la complejidad descriptiva y los costos de descripción de objetos en varios modelos computacionales, como máquinas de Turing, autómatas pushdown, autómatas finitos, gramáticas y otros. Nota de contenido: Mutually Accepting Capacitated Automata -- Bad pictures: some structural properties related to overlaps -- Regular Expression Length via Arithmetic Formula Complexity -- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable -- On the Power of Generalized Forbidding Insertion-Deletion Systems -- State Complexity Bounds for the Commutative Closure of Group Languages -- Multiple Concatenation and State Complexity (Extended Abstract) -- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata -- Longer shortest strings in two-way finite automata -- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion -- Descriptional Complexity of Winning Sets of Regular Languages -- State complexity of GF(2)-inverse and GF(2)-star on binary languages -- Complexity of Two-dimensional Rank-reducing Grammars -- Palindromic Length of Words with Many Periodic Palindromes -- Operational Complexity of Straight Line Programs for Regular Languages -- Classifying ω-Regular Aperiodic k-Partitions -- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata -- On the Generative Power of Quasiperiods -- Insertion-Deletion Systems With Substitutions II. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : SOFSEM 2019: Theory and Practice of Computer Science : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings Tipo de documento: documento electrónico Autores: Catania, Barbara, ; KráloviÄ, Rastislav, ; Nawrocki, Jerzy, ; Pighizzini, Giovanni, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 534 p. 517 ilustraciones, 51 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-10801-4 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 Informática Matemáticas discretas Inteligencia artificial Red de computadoras IngenierÃa de software Procesamiento del lenguaje natural (Informática) Matemáticas discretas en informática Ciencia de los datos Redes de comunicación informática Procesamiento del lenguaje natural (PNL) Clasificación: Resumen: Este libro constituye las actas arbitradas de la 45.ª Conferencia Internacional sobre Tendencias Actuales en TeorÃa y Práctica de la Informática, SOFSEM 2019, celebrada en Nový Smokovec, Eslovaquia, en enero de 2019. Los 34 artÃculos completos presentados junto con 6 charlas invitadas fueron cuidadosamente revisados ​​y seleccionado entre 92 presentaciones. Presentaron nuevos resultados de investigación en la teorÃa y la práctica de la informática en cada subárea de SOFSEM 2019: fundamentos de la informática teórica, fundamentos de la ciencia e ingenierÃa de datos y fundamentos de la ingenierÃa de software. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] SOFSEM 2019: Theory and Practice of Computer Science : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings [documento electrónico] / Catania, Barbara, ; KráloviÄ, Rastislav, ; Nawrocki, Jerzy, ; Pighizzini, Giovanni, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 534 p. 517 ilustraciones, 51 ilustraciones en color.
ISBN : 978-3-030-10801-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Algoritmos Informática Matemáticas discretas Inteligencia artificial Red de computadoras IngenierÃa de software Procesamiento del lenguaje natural (Informática) Matemáticas discretas en informática Ciencia de los datos Redes de comunicación informática Procesamiento del lenguaje natural (PNL) Clasificación: Resumen: Este libro constituye las actas arbitradas de la 45.ª Conferencia Internacional sobre Tendencias Actuales en TeorÃa y Práctica de la Informática, SOFSEM 2019, celebrada en Nový Smokovec, Eslovaquia, en enero de 2019. Los 34 artÃculos completos presentados junto con 6 charlas invitadas fueron cuidadosamente revisados ​​y seleccionado entre 92 presentaciones. Presentaron nuevos resultados de investigación en la teorÃa y la práctica de la informática en cada subárea de SOFSEM 2019: fundamentos de la informática teórica, fundamentos de la ciencia e ingenierÃa de datos y fundamentos de la ingenierÃa de software. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
