17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / De Mol, Liesbeth ; Weiermann, Andreas ; Manea, Florin ; Fernández-Duque, David  

Público ISBD Ningún comentario para este registro. Título : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings Tipo de documento: documento electrónico Autores: De Mol, Liesbeth, ; Weiermann, Andreas, ; Manea, Florin, ; Fernández-Duque, David, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXIV, 506 p. 30 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-80049-9 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  Ciencias de la Computación  Informática  Inteligencia artificial  Estructuras de datos (Informática)  Teoría de la información  Teoría de la Computación  Matemáticas de la Computación  Estructuras de datos y teoría de la información  Lógica informática y fundamentos de la programación Índice Dewey: 518.1 Resumen: Este libro constituye las actas de la 17.ª Conferencia sobre Computabilidad en Europa, CiE 2021, organizada por la Universidad de Gante en julio de 2021. Debido a la pandemia de COVID-19, la conferencia se celebró de forma virtual. Los 48 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 50 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 2021 tuvo como lema Conectar con Computabilidad, un claro reconocimiento de la naturaleza conectora e interdisciplinaria de la serie de conferencias, que es aún más importante en una época en la que las personas están más desconectadas que nunca unas de otras debido a la pandemia de COVID-19. Nota de contenido: Searching for Applicable Versions of Computable Structures -- On Measure Quantifiers in First-Order Arithmetic -- Pistone Learning Languages with Decidable Hypotheses -- Robust Online Algorithms for Dynamic Choosing Problems -- On the degrees of constructively immune sets -- Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry -- The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines -- Randomising Realizability -- Restrictions of Hindman's Theorem: an overview -- Complexity and Categoricity of Automatic Injection structures -- A tale of optimizing the space taken by de Bruijn graphs -- Formally Computing with the Non-Computable -- Cohen Mapping Monotonic Restrictions in Inductive Inference -- Normal Forms for Semantically Witness-Based Learners in Inductive Inference -- xWalk-preserving transformation of overlapped sequence graphs into blunt sequence graphs with GetBlunted -- On 3SUM-hard problems in the Decision Tree Model -- Monotonic Spectra and TheirGeneralizations -- On false Heine/Borel compactness principles in proof mining -- Placing Green Bridges Optimally, with a Multivariate Analysis -- A Church-Turing thesis for randomness? -- Probabilistic Models of k-mer Frequencies -- Defining Formal Explanation in Classical Logic by Substructural Derivability -- Dedekind Cuts and Long Strings of Zeros in Base Expansions -- On the impact of treewidth in the computational complexity of freezing dynamics -- Towards a Map for Incremental Learning in the Limit from Positive and Negative Information -- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy -- n search of the first-order part of Ramsey's theorem for pairs -- On subrecursive representability of irrational numbers: Contractors and Baire sequences -- xiLearning -- Languages in the Limit from Positive Information with Finitely Many Memory Changes. 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 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings [documento electrónico] / De Mol, Liesbeth, ; Weiermann, Andreas, ; Manea, Florin, ; Fernández-Duque, David,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XXIV, 506 p. 30 ilustraciones, 16 ilustraciones en color. ISBN : 978-3-030-80049-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Algoritmos  Ciencias de la Computación  Informática  Inteligencia artificial  Estructuras de datos (Informática)  Teoría de la información  Teoría de la Computación  Matemáticas de la Computación  Estructuras de datos y teoría de la información  Lógica informática y fundamentos de la programación Índice Dewey: 518.1 Resumen: Este libro constituye las actas de la 17.ª Conferencia sobre Computabilidad en Europa, CiE 2021, organizada por la Universidad de Gante en julio de 2021. Debido a la pandemia de COVID-19, la conferencia se celebró de forma virtual. Los 48 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 50 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 2021 tuvo como lema Conectar con Computabilidad, un claro reconocimiento de la naturaleza conectora e interdisciplinaria de la serie de conferencias, que es aún más importante en una época en la que las personas están más desconectadas que nunca unas de otras debido a la pandemia de COVID-19. Nota de contenido: Searching for Applicable Versions of Computable Structures -- On Measure Quantifiers in First-Order Arithmetic -- Pistone Learning Languages with Decidable Hypotheses -- Robust Online Algorithms for Dynamic Choosing Problems -- On the degrees of constructively immune sets -- Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry -- The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines -- Randomising Realizability -- Restrictions of Hindman's Theorem: an overview -- Complexity and Categoricity of Automatic Injection structures -- A tale of optimizing the space taken by de Bruijn graphs -- Formally Computing with the Non-Computable -- Cohen Mapping Monotonic Restrictions in Inductive Inference -- Normal Forms for Semantically Witness-Based Learners in Inductive Inference -- xWalk-preserving transformation of overlapped sequence graphs into blunt sequence graphs with GetBlunted -- On 3SUM-hard problems in the Decision Tree Model -- Monotonic Spectra and TheirGeneralizations -- On false Heine/Borel compactness principles in proof mining -- Placing Green Bridges Optimally, with a Multivariate Analysis -- A Church-Turing thesis for randomness? -- Probabilistic Models of k-mer Frequencies -- Defining Formal Explanation in Classical Logic by Substructural Derivability -- Dedekind Cuts and Long Strings of Zeros in Base Expansions -- On the impact of treewidth in the computational complexity of freezing dynamics -- Towards a Map for Incremental Learning in the Limit from Positive and Negative Information -- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy -- n search of the first-order part of Ramsey's theorem for pairs -- On subrecursive representability of irrational numbers: Contractors and Baire sequences -- xiLearning -- Languages in the Limit from Positive Information with Finitely Many Memory Changes. 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