| Título : |
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Gąsieniec, Leszek Antoni, ; Jansson, Jesper, ; Levcopoulos, Christos, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XIII, 365 p. 266 ilustraciones, 27 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-25027-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: |
Algoritmos Gráficos de computadora Informática Matemáticas discretas Inteligencia artificial Red de computadoras Matemáticas discretas en informática Ciencia de los datos Redes de comunicación informática |
| Índice Dewey: |
518.1 |
| Resumen: |
Este libro constituye las actas del 22º Simposio Internacional sobre Fundamentos de Teoría de la Computación, FCT 2019, celebrado en Copenhague, Dinamarca, en agosto de 2019. Los 21 artículos completos incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 45 presentaciones. Además, el libro contiene 3 charlas invitadas en papel completo. Los artículos se organizaron en secciones temáticas denominadas: métodos formales, complejidad y algoritmos. |
| Nota de contenido: |
Invited papers -- Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps -- Some Observations on Dynamic Random Walks and Network Renormalization -- Highly Succinct Dynamic Data Structures -- Formal methods -- Largest Common Prefix of a Regular Tree Language -- Winning Strategies for Streaming Rewriting Games -- Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting -- Two characterizations of finite-state dimension -- Complexity -- Optimal channel utilization with limited feedback -- Deterministic Preparation of Dicke States -- Complete Disjoint coNP-Pairs but no Complete Total Polynomial Search Problems Relative to an Oracle -- On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties -- Algorithms -- An Efficient Algorithm for the Fast Delivery Problem -- Extension of some edge graph problems: standard and parameterized complexity -- Space Efficient Algorithms for Breadth-Depth Search -- Circular Pattern Matching with k Mismatches -- SuccinctRepresentations of Finite Groups -- On the Tractability of Covering a Graph with 2-Clubs -- On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest -- Maximum rectilinear convex subsets -- Computing Digraph Width Measures on Directed Co-Graphs -- Fault-tolerant parallel scheduling of arbitrary length jobs on a shared channel -- Rare Siblings Speed-up Deterministic Detection and Counting of Small Pattern Graphs -- Bivariate B-splines from convex pseudo-circle configurations -- The Fault-Tolerant Metric Dimension of Cographs. |
| 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 |
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings [documento electrónico] / Gąsieniec, Leszek Antoni, ; Jansson, Jesper, ; Levcopoulos, Christos, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 365 p. 266 ilustraciones, 27 ilustraciones en color. ISBN : 978-3-030-25027-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Algoritmos Gráficos de computadora Informática Matemáticas discretas Inteligencia artificial Red de computadoras Matemáticas discretas en informática Ciencia de los datos Redes de comunicación informática |
| Índice Dewey: |
518.1 |
| Resumen: |
Este libro constituye las actas del 22º Simposio Internacional sobre Fundamentos de Teoría de la Computación, FCT 2019, celebrado en Copenhague, Dinamarca, en agosto de 2019. Los 21 artículos completos incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 45 presentaciones. Además, el libro contiene 3 charlas invitadas en papel completo. Los artículos se organizaron en secciones temáticas denominadas: métodos formales, complejidad y algoritmos. |
| Nota de contenido: |
Invited papers -- Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps -- Some Observations on Dynamic Random Walks and Network Renormalization -- Highly Succinct Dynamic Data Structures -- Formal methods -- Largest Common Prefix of a Regular Tree Language -- Winning Strategies for Streaming Rewriting Games -- Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting -- Two characterizations of finite-state dimension -- Complexity -- Optimal channel utilization with limited feedback -- Deterministic Preparation of Dicke States -- Complete Disjoint coNP-Pairs but no Complete Total Polynomial Search Problems Relative to an Oracle -- On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties -- Algorithms -- An Efficient Algorithm for the Fast Delivery Problem -- Extension of some edge graph problems: standard and parameterized complexity -- Space Efficient Algorithms for Breadth-Depth Search -- Circular Pattern Matching with k Mismatches -- SuccinctRepresentations of Finite Groups -- On the Tractability of Covering a Graph with 2-Clubs -- On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest -- Maximum rectilinear convex subsets -- Computing Digraph Width Measures on Directed Co-Graphs -- Fault-tolerant parallel scheduling of arbitrary length jobs on a shared channel -- Rare Siblings Speed-up Deterministic Detection and Counting of Small Pattern Graphs -- Bivariate B-splines from convex pseudo-circle configurations -- The Fault-Tolerant Metric Dimension of Cographs. |
| 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 |
|  |
Hacer una sugerencia Refinar búsqueda5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings / Jansson, Jesper ; Martín-Vide, Carlos ; Vega-Rodríguez, Miguel A.
