14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / Leporati, Alberto ; Martín-Vide, Carlos ; Shapira, Dana ; Zandron, Claudio  

Público ISBD Ningún comentario para este registro. Título : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings Tipo de documento: documento electrónico Autores: Leporati, Alberto, ; Martín-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 449 p. 409 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-40608-0 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  Gestión de base de datos  Sistemas informáticos  Algoritmos  Inteligencia artificial  Lógica informática y fundamentos de la programación  Implementación de sistema informático  Ciencia de los datos Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2020, cuya celebración estaba prevista en Milán, Italia, en marzo de 2020. Debido a la pandemia de corona, la conferencia en sí se pospuso y se celebrado junto con LATA 2021. Los 26 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 59 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; gramáticas; idiomas; árboles y gráficos; y palabras y códigos. El libro también contiene 6 artículos invitados en tamaño completo. . Nota de contenido: Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: AnExcursion into Word Edit Operations. . 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 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings [documento electrónico] / Leporati, Alberto, ; Martín-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XI, 449 p. 409 ilustraciones, 6 ilustraciones en color. ISBN : 978-3-030-40608-0 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  Gestión de base de datos  Sistemas informáticos  Algoritmos  Inteligencia artificial  Lógica informática y fundamentos de la programación  Implementación de sistema informático  Ciencia de los datos Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2020, cuya celebración estaba prevista en Milán, Italia, en marzo de 2020. Debido a la pandemia de corona, la conferencia en sí se pospuso y se celebrado junto con LATA 2021. Los 26 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 59 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; gramáticas; idiomas; árboles y gráficos; y palabras y códigos. El libro también contiene 6 artículos invitados en tamaño completo. . Nota de contenido: Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: AnExcursion into Word Edit Operations. . 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

15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / Leporati, Alberto ; Martín-Vide, Carlos ; Shapira, Dana ; Zandron, Claudio  

Público ISBD Ningún comentario para este registro. Título : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings Tipo de documento: documento electrónico Autores: Leporati, Alberto, ; Martín-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XI, 343 p. 58 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-68195-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: Ciencias de la Computación  Informática  Matemáticas discretas  Sistemas informáticos  Procesamiento del lenguaje natural (Informática)  Inteligencia artificial  Gestión de base de datos  Teoría de la Computación  Matemáticas discretas en informática  Implementación de sistema informático  Procesamiento del lenguaje natural (PNL) Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2021, celebrada en Milán, Italia, en marzo de 2021. Los 26 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 52 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; aprendiendo; lógicas y lenguajes; árboles y gráficos; y palabras y cadenas. Nota de contenido: Algebraic structures -- Automata -- Complexity -- Learning -- Logics and languages -- Trees and graphs -- Words and strings. 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 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings [documento electrónico] / Leporati, Alberto, ; Martín-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XI, 343 p. 58 ilustraciones, 23 ilustraciones en color. ISBN : 978-3-030-68195-1 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  Informática  Matemáticas discretas  Sistemas informáticos  Procesamiento del lenguaje natural (Informática)  Inteligencia artificial  Gestión de base de datos  Teoría de la Computación  Matemáticas discretas en informática  Implementación de sistema informático  Procesamiento del lenguaje natural (PNL) Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2021, celebrada en Milán, Italia, en marzo de 2021. Los 26 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 52 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; aprendiendo; lógicas y lenguajes; árboles y gráficos; y palabras y cadenas. Nota de contenido: Algebraic structures -- Automata -- Complexity -- Learning -- Logics and languages -- Trees and graphs -- Words and strings. 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

Language and Automata Theory and Applications / Klein, Shmuel Tomi ; Martín-Vide, Carlos ; Shapira, Dana  

Público ISBD Ningún comentario para este registro. Título : Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings Tipo de documento: documento electrónico Autores: Klein, Shmuel Tomi, ; Martín-Vide, Carlos, ; Shapira, Dana, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 321 p. 39 ilustraciones ISBN/ISSN/DL: 978-3-319-77313-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: Ciencias de la Computación  Teoría de las máquinas  Algoritmos  Programación de computadoras  Inteligencia artificial  Informática  Estadistica matematica  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Técnicas de programación  Probabilidad y Estadística en Informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 12ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y los Autómatas, LATA 2018, celebrada en Ramat Gan, Israel, en abril de 2018. Los 20 artículos completos revisados ​​presentados junto con 3 artículos invitados fueron cuidadosamente revisados ​​y seleccionados entre 58 presentaciones. Los artículos cubren campos como la teoría del lenguaje algebraico, algoritmos para minería de datos semiestructurados, algoritmos sobre autómatas y palabras, autómatas y lógica, autómatas para análisis de sistemas y verificación de programas, redes de autómatas, estructuras automáticas, códigos, combinatoria sobre palabras, complejidad computacional, concurrencia y redes de Petri, compresión de datos e imágenes, complejidad descriptiva, fundamentos de la tecnología de estados finitos, fundamentos de XML, gramáticas (jerarquía de Chomsky, contextual, unificación, categorial, etc.), inferencia gramatical y aprendizaje algorítmico, grafos y transformación de grafos, variedades de lenguajes y semigrupos, criptografía basada en lenguajes, fundamentos matemáticos y lógicos de metodologías de programación, reescritura paralela y regulada, análisis sintáctico, patrones, series de potencias, algoritmos de procesamiento de cadenas, dinámica simbólica, reescritura de términos, transductores, árboles, lenguajes de árboles y autómatas de árboles, y autómatas ponderados. Nota de contenido: Underlying principles and recurring ideas of formal grammars -- Sliding Window Algorithms for Regular Languages -- Reshaping the context-free model: linguistic and algorithmic aspects -- Disturbance Decoupling in Finite Automata -- On the synchronization of planar automata -- Event-Clock Nested Automata -- On Periodicity Lemma for Partial Words -- Bubble-Flip - A New Generation Algorithm for Prefix Normal Words -- Pomsets and Unfolding of Reset Petri Nets -- Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets -- Measuring Closeness between Cayley Automatic Groups and Automatic Groups -- Permutations sorted by a finite and an infinite stack in series -- Analytic combinatorics of lattice paths with forbidden patterns: enumerative aspects -- Deciding regular intersection emptiness of complete problems for PSPACE and the polynomial hierarchy -- Descriptional and computational complexity of the circuit representation of finite automata -- Model Learning as a Satisfiability Modulo Theories Problem -- Default Logic and Bounded Treewidth -- General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers -- Learners Based on Transducers -- Handling ties correctly and efficiently in Viterbi training using the Viterbi semiring -- Formal languages over GF(2) -- Timed Comparisons of Semi-Markov Processes -- Efficient Translation with Linear Bimorphisms. 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 Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings [documento electrónico] / Klein, Shmuel Tomi, ; Martín-Vide, Carlos, ; Shapira, Dana,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - X, 321 p. 39 ilustraciones. ISBN : 978-3-319-77313-1 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  Programación de computadoras  Inteligencia artificial  Informática  Estadistica matematica  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Técnicas de programación  Probabilidad y Estadística en Informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 12ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y los Autómatas, LATA 2018, celebrada en Ramat Gan, Israel, en abril de 2018. Los 20 artículos completos revisados ​​presentados junto con 3 artículos invitados fueron cuidadosamente revisados ​​y seleccionados entre 58 presentaciones. Los artículos cubren campos como la teoría del lenguaje algebraico, algoritmos para minería de datos semiestructurados, algoritmos sobre autómatas y palabras, autómatas y lógica, autómatas para análisis de sistemas y verificación de programas, redes de autómatas, estructuras automáticas, códigos, combinatoria sobre palabras, complejidad computacional, concurrencia y redes de Petri, compresión de datos e imágenes, complejidad descriptiva, fundamentos de la tecnología de estados finitos, fundamentos de XML, gramáticas (jerarquía de Chomsky, contextual, unificación, categorial, etc.), inferencia gramatical y aprendizaje algorítmico, grafos y transformación de grafos, variedades de lenguajes y semigrupos, criptografía basada en lenguajes, fundamentos matemáticos y lógicos de metodologías de programación, reescritura paralela y regulada, análisis sintáctico, patrones, series de potencias, algoritmos de procesamiento de cadenas, dinámica simbólica, reescritura de términos, transductores, árboles, lenguajes de árboles y autómatas de árboles, y autómatas ponderados. Nota de contenido: Underlying principles and recurring ideas of formal grammars -- Sliding Window Algorithms for Regular Languages -- Reshaping the context-free model: linguistic and algorithmic aspects -- Disturbance Decoupling in Finite Automata -- On the synchronization of planar automata -- Event-Clock Nested Automata -- On Periodicity Lemma for Partial Words -- Bubble-Flip - A New Generation Algorithm for Prefix Normal Words -- Pomsets and Unfolding of Reset Petri Nets -- Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets -- Measuring Closeness between Cayley Automatic Groups and Automatic Groups -- Permutations sorted by a finite and an infinite stack in series -- Analytic combinatorics of lattice paths with forbidden patterns: enumerative aspects -- Deciding regular intersection emptiness of complete problems for PSPACE and the polynomial hierarchy -- Descriptional and computational complexity of the circuit representation of finite automata -- Model Learning as a Satisfiability Modulo Theories Problem -- Default Logic and Bounded Treewidth -- General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers -- Learners Based on Transducers -- Handling ties correctly and efficiently in Viterbi training using the Viterbi semiring -- Formal languages over GF(2) -- Timed Comparisons of Semi-Markov Processes -- Efficient Translation with Linear Bimorphisms. 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

Language and Automata Theory and Applications / Martín-Vide, Carlos ; Okhotin, Alexander ; Shapira, Dana  

Público ISBD Ningún comentario para este registro. Título : Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings Tipo de documento: documento electrónico Autores: Martín-Vide, Carlos, ; Okhotin, Alexander, ; Shapira, Dana, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVII, 470 p. 684 ilustraciones, 17 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-13435-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  Algoritmos  Teoría de las máquinas  Programación lógica  Informática  Matemáticas discretas  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Lógica en IA  Matemáticas discretas en informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2019, celebrada en San Petersburgo, Rusia, en marzo de 2019. Los 31 artículos completos revisados ​​presentados junto con 5 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados. de 98 presentaciones. Los artículos cubren los siguientes temas: Autómatas; Complejidad; Gramáticas; Idiomas; Gráficos, árboles y reescritura; y Palabras y códigos. Nota de contenido: Automata -- Complexity -- Grammars -- Languages -- Graphs, trees and rewriting -- Words and codes. 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 Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings [documento electrónico] / Martín-Vide, Carlos, ; Okhotin, Alexander, ; Shapira, Dana,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XVII, 470 p. 684 ilustraciones, 17 ilustraciones en color. ISBN : 978-3-030-13435-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  Algoritmos  Teoría de las máquinas  Programación lógica  Informática  Matemáticas discretas  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Lógica en IA  Matemáticas discretas en informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2019, celebrada en San Petersburgo, Rusia, en marzo de 2019. Los 31 artículos completos revisados ​​presentados junto con 5 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados. de 98 presentaciones. Los artículos cubren los siguientes temas: Autómatas; Complejidad; Gramáticas; Idiomas; Gráficos, árboles y reescritura; y Palabras y códigos. Nota de contenido: Automata -- Complexity -- Grammars -- Languages -- Graphs, trees and rewriting -- Words and codes. 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 - 4 / 4) Par page : 25 50 100 200