16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings / Anselmo, Marcella ; Della Vedova, Gianluca ; Manea, Florin ; Pauly, Arno  

Público ISBD Ningún comentario para este registro. Título : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings Tipo de documento: documento electrónico Autores: Anselmo, Marcella, ; Della Vedova, Gianluca, ; Manea, Florin, ; Pauly, Arno, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXXVII, 379 p. 21 ilustraciones ISBN/ISSN/DL: 978-3-030-51466-2 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  Informática  Red de computadoras  Inteligencia artificial  Teoría de la Computación  Lenguajes formales y teoría de los autómatas  Matemáticas de la Computación  Redes de comunicación informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 16.ª Conferencia sobre Computabilidad en Europa, CiE 2020, que estaba prevista para celebrarse en Fisciano, Italia, del 29 de junio al 3 de julio de 2020. La conferencia pasó a un formato virtual debido a la pandemia de coronavirus. Los 30 artículos completos y 5 breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 72 presentaciones. CiE promueve el desarrollo de ciencias relacionadas con la computabilidad, que abarcan las matemáticas, la informática y aplicaciones en diversas ciencias naturales y de ingeniería, como la física y la biología, así como campos relacionados, como la filosofía y la historia de la informática. CiE 2020 tuvo como lema Más allá del horizonte de la computabilidad, lo que refleja el interés de CiE en la investigación que transgrede los límites tradicionales de la teoría de la computabilidad. Nota de contenido: A Note on Computable Embeddings for Ordinals and Their Reverses -- Clockability for Ordinal Turing Machines -- Some notes on spaces of ideals and computable topology -- Parallelizations in Weihrauch reducibility and constructive reverse mathematics -- Liouville Numbers and the Computational Complexity of Changing Bases -- On Interpretability between some weak essential undecidable theories -- On the Complexity of Conversion between Classic Real Number Representations -- Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power -- Computable analysis and classification problems -- Non-coding enumeration operators -- On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings -- An interactive proof system for Program extraction -- ASNP: a tame fragment of existential second-order logic -- Ackermannian Goodstein sequences of intermediate growth -- On the complexity of validity degrees in Łukasiewicz logic -- Degrees of non-computability of homeomorphism types of Polish spaces -- Time-aware uniformization of winning strategies -- Quantitative Representation Theory of Compact Metric Spaces -- Functions of Baire class one over a Bishop topology -- Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences -- The Computational Significance of Hausdorff's Maximal Chain Principle -- Prefix of trace languages: clique polynomials and dependency graphs -- Repetitions in Toeplitz words and the Thue threshold -- Simulation of automata networks -- Theoretical and Implementation Aspects of the Formal Language Server (LaSer) -- Balancing Straight-Line Programs for Strings and Trees -- Two-dimensional codes -- Formal Languages in Graph Databases and Information Extraction -- On the perceptron's compression -- #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method -- Faster Online Computation of the Succinct Longest Previous Factor Array -- Recent advances in text-to-pattern distance algorithms -- Insertion-Deletion Systems With Substitutions: The Context-free Case. 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 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings [documento electrónico] / Anselmo, Marcella, ; Della Vedova, Gianluca, ; Manea, Florin, ; Pauly, Arno,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XXXVII, 379 p. 21 ilustraciones. ISBN : 978-3-030-51466-2 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  Informática  Red de computadoras  Inteligencia artificial  Teoría de la Computación  Lenguajes formales y teoría de los autómatas  Matemáticas de la Computación  Redes de comunicación informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 16.ª Conferencia sobre Computabilidad en Europa, CiE 2020, que estaba prevista para celebrarse en Fisciano, Italia, del 29 de junio al 3 de julio de 2020. La conferencia pasó a un formato virtual debido a la pandemia de coronavirus. Los 30 artículos completos y 5 breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 72 presentaciones. CiE promueve el desarrollo de ciencias relacionadas con la computabilidad, que abarcan las matemáticas, la informática y aplicaciones en diversas ciencias naturales y de ingeniería, como la física y la biología, así como campos relacionados, como la filosofía y la historia de la informática. CiE 2020 tuvo como lema Más allá del horizonte de la computabilidad, lo que refleja el interés de CiE en la investigación que transgrede los límites tradicionales de la teoría de la computabilidad. Nota de contenido: A Note on Computable Embeddings for Ordinals and Their Reverses -- Clockability for Ordinal Turing Machines -- Some notes on spaces of ideals and computable topology -- Parallelizations in Weihrauch reducibility and constructive reverse mathematics -- Liouville Numbers and the Computational Complexity of Changing Bases -- On Interpretability between some weak essential undecidable theories -- On the Complexity of Conversion between Classic Real Number Representations -- Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power -- Computable analysis and classification problems -- Non-coding enumeration operators -- On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings -- An interactive proof system for Program extraction -- ASNP: a tame fragment of existential second-order logic -- Ackermannian Goodstein sequences of intermediate growth -- On the complexity of validity degrees in Łukasiewicz logic -- Degrees of non-computability of homeomorphism types of Polish spaces -- Time-aware uniformization of winning strategies -- Quantitative Representation Theory of Compact Metric Spaces -- Functions of Baire class one over a Bishop topology -- Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences -- The Computational Significance of Hausdorff's Maximal Chain Principle -- Prefix of trace languages: clique polynomials and dependency graphs -- Repetitions in Toeplitz words and the Thue threshold -- Simulation of automata networks -- Theoretical and Implementation Aspects of the Formal Language Server (LaSer) -- Balancing Straight-Line Programs for Strings and Trees -- Two-dimensional codes -- Formal Languages in Graph Databases and Information Extraction -- On the perceptron's compression -- #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method -- Faster Online Computation of the Succinct Longest Previous Factor Array -- Recent advances in text-to-pattern distance algorithms -- Insertion-Deletion Systems With Substitutions: The Context-free Case. 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 - 1 / 1) Par page : 25 50 100 200