Autor Weiermann, Andreas
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda17th 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
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
TÃtulo : Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory Tipo de documento: documento electrónico Autores: Schuster, Peter M., ; Seisenberger, Monika, ; Weiermann, Andreas, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 391 p. 103 ilustraciones, 4 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30229-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: Lógica TeorÃa de grafos TeorÃa de las máquinas Matemáticas discretas diseño lógico Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 160 Lógica Resumen: Este libro cierra las brechas entre la lógica, las matemáticas y la informática al profundizar en la teorÃa de los cuasi órdenes bien, también conocidos como wqos. Esta rama altamente activa de la combinatoria está profundamente arraigada en y entre muchos campos de las matemáticas y la lógica, incluida la teorÃa de la prueba, el álgebra conmutativa, los grupos trenzados, la teorÃa de grafos, la combinatoria analÃtica, la teorÃa de las relaciones, las matemáticas inversas y las jerarquÃas subrecursivas. Como concepto unificador para pruebas ingeniosas de finitud o terminación, los wqos han sido redescubiertos en diversos contextos y han demostrado ser extremadamente útiles en informática. El libro presenta a los lectores las múltiples facetas y desarrollos recientes de la wqos a través de capÃtulos aportados por académicos de diversos campos. Como tal, ofrece un activo valioso para lógicos, matemáticos e informáticos, asà como para académicos y estudiantes. Nota de contenido: Well, Better, and in-between -- The Categorical Structure of Well-Quasi Orders -- On Kriz's Theorem -- On the Width of FAC Orders, a Somewhat Rediscovered Notion -- Preliminary Well-quasi Orders in the Study of Hierarchies and Reducibilities -- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings -- Well-Quasi Orders and Regularity -- Well Quasi Ordering and Embeddability of Relational Structures -- A Functional Interpretation of Zorn's Lemma and its Application in Well-Quasi-Order Theory -- The Reverse Mathematics of wqos and bqos -- Well-partial Ordering and the Maximal Order Type -- TBC -- The Worlds of Well-Partial-Orders and Ordinal Notation systems -- Bounds for the Strength of the Graph Minor Theorem. 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 Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory [documento electrónico] / Schuster, Peter M., ; Seisenberger, Monika, ; Weiermann, Andreas, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 391 p. 103 ilustraciones, 4 ilustraciones en color.
ISBN : 978-3-030-30229-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica TeorÃa de grafos TeorÃa de las máquinas Matemáticas discretas diseño lógico Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 160 Lógica Resumen: Este libro cierra las brechas entre la lógica, las matemáticas y la informática al profundizar en la teorÃa de los cuasi órdenes bien, también conocidos como wqos. Esta rama altamente activa de la combinatoria está profundamente arraigada en y entre muchos campos de las matemáticas y la lógica, incluida la teorÃa de la prueba, el álgebra conmutativa, los grupos trenzados, la teorÃa de grafos, la combinatoria analÃtica, la teorÃa de las relaciones, las matemáticas inversas y las jerarquÃas subrecursivas. Como concepto unificador para pruebas ingeniosas de finitud o terminación, los wqos han sido redescubiertos en diversos contextos y han demostrado ser extremadamente útiles en informática. El libro presenta a los lectores las múltiples facetas y desarrollos recientes de la wqos a través de capÃtulos aportados por académicos de diversos campos. Como tal, ofrece un activo valioso para lógicos, matemáticos e informáticos, asà como para académicos y estudiantes. Nota de contenido: Well, Better, and in-between -- The Categorical Structure of Well-Quasi Orders -- On Kriz's Theorem -- On the Width of FAC Orders, a Somewhat Rediscovered Notion -- Preliminary Well-quasi Orders in the Study of Hierarchies and Reducibilities -- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings -- Well-Quasi Orders and Regularity -- Well Quasi Ordering and Embeddability of Relational Structures -- A Functional Interpretation of Zorn's Lemma and its Application in Well-Quasi-Order Theory -- The Reverse Mathematics of wqos and bqos -- Well-partial Ordering and the Maximal Order Type -- TBC -- The Worlds of Well-Partial-Orders and Ordinal Notation systems -- Bounds for the Strength of the Graph Minor Theorem. 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
