Información del autor
Autor Pighizzini, Giovanni |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsqueda
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. Idioma : Inglés (eng) 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: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017. The 20 full papers presented together with 4 invited talks were carefully reviewed and selected from 26 submissions.Descriptional Complexity is a ï¬eld in Computer Science that deals with the size of all kinds of objects that occur in computational models, such as turing machines, ï¬nite automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity. 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.
Idioma : Inglés (eng)
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: 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017. The 20 full papers presented together with 4 invited talks were carefully reviewed and selected from 26 submissions.Descriptional Complexity is a ï¬eld in Computer Science that deals with the size of all kinds of objects that occur in computational models, such as turing machines, ï¬nite automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Descriptional Complexity of Formal Systems : 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. Idioma : Inglés (eng) 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: 40.151 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions. DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Descriptional Complexity of Formal Systems : 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.
Idioma : Inglés (eng)
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: 40.151 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions. DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Descriptional Complexity of Formal Systems : 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. Idioma : Inglés (eng) 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: 40.151 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 22nd International Conference on Descriptional Complexity of Format Systems, DCFS 2020, which was supposed to take place in Vienna, Austria, in August 2020, but the conference was canceled due to the COVID-19 crisis. The 19 full papers presented in this volume were carefully reviewed and selected from 31 submissions. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Descriptional Complexity of Formal Systems : 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.
Idioma : Inglés (eng)
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: 40.151 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 22nd International Conference on Descriptional Complexity of Format Systems, DCFS 2020, which was supposed to take place in Vienna, Austria, in August 2020, but the conference was canceled due to the COVID-19 crisis. The 19 full papers presented in this volume were carefully reviewed and selected from 31 submissions. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] SOFSEM 2019: Theory and Practice of Computer Science / Catania, Barbara ; KráloviÄ, Rastislav ; Nawrocki, Jerzy ; Pighizzini, Giovanni
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. Idioma : Inglés (eng) 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: 518.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019, held in Nový Smokovec, Slovakia, in January 2019. The 34 full papers presented together with 6 invited talks were carefully reviewed and selected from 92 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2019: Foundations of theoretical Computer Science, foundations of data science and engineering, and foundations of software engineering. 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.
Idioma : Inglés (eng)
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: 518.1 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019, held in Nový Smokovec, Slovakia, in January 2019. The 34 full papers presented together with 6 invited talks were carefully reviewed and selected from 92 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2019: Foundations of theoretical Computer Science, foundations of data science and engineering, and foundations of software engineering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
