Información de la indexación
004 Ciencia de los computadores (Introducción a los computadores)Documentos en la biblioteca con la clasificación 004.0151 (33)
Crear una solicitud de compra Refinar búsqueda
Título : A Course in Algebraic Error-Correcting Codes Tipo de documento: documento electrónico Autores: Ball, Simeon, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIII, 177 p. 12 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-41153-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Informática Teoría de la codificación Teoría de la información Álgebra conmutativa Anillos conmutativos Aplicaciones matemáticas en informática Teoría de la codificación y la información Anillos conmutativos y álgebras Clasificación: 004.0151 Resumen: Este libro de texto proporciona una perspectiva matemática rigurosa sobre los códigos de corrección de errores, comenzando con lo básico y avanzando hasta lo más moderno. Se adoptan enfoques algebraicos, combinatorios y geométricos de la teoría de la codificación con el objetivo de resaltar cómo la codificación puede tener un impacto importante en el mundo real. Debido a que equilibra cuidadosamente tanto la teoría como las aplicaciones, este libro será un recurso indispensable para los lectores que buscan un tratamiento oportuno de los códigos de corrección de errores. Los primeros capítulos cubren conceptos fundamentales, introduciendo el teorema de Shannon, códigos asintóticamente buenos y códigos lineales. Luego, el libro continúa cubriendo otros tipos de códigos, incluidos capítulos sobre códigos cíclicos, códigos de distancia máxima separable, códigos LDPC, códigos p-adic, entre otros. Quienes realicen un estudio independiente apreciarán los útiles ejercicios con soluciones seleccionadas. Un curso en códigos algebraicos de corrección de errores se adapta a una audiencia interdisciplinaria a nivel de maestría, incluidos estudiantes de matemáticas, ingeniería, física e informática. Los estudiantes universitarios avanzados también encontrarán este recurso útil. Se supone una comprensión del álgebra lineal. Nota de contenido: Euclidean Plane -- Sphere -- Stereographic Projection and Inversions -- Hyperbolic Plane -- Lorentz-Minkowski Plane -- Geometry of Special Relativity -- Answers to Selected Exercises -- Index. Tipo de medio : Computadora Summary : This textbook provides a rigorous mathematical perspective on error-correcting codes, starting with the basics and progressing through to the state-of-the-art. Algebraic, combinatorial, and geometric approaches to coding theory are adopted with the aim of highlighting how coding can have an important real-world impact. Because it carefully balances both theory and applications, this book will be an indispensable resource for readers seeking a timely treatment of error-correcting codes. Early chapters cover fundamental concepts, introducing Shannon's theorem, asymptotically good codes and linear codes. The book then goes on to cover other types of codes including chapters on cyclic codes, maximum distance separable codes, LDPC codes, p-adic codes, amongst others. Those undertaking independent study will appreciate the helpful exercises with selected solutions. A Course in Algebraic Error-Correcting Codes suits an interdisciplinary audience at the Masters level, including students of mathematics, engineering, physics, and computer science. Advanced undergraduates will find this a useful resource as well. An understanding of linear algebra is assumed. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] A Course in Algebraic Error-Correcting Codes [documento electrónico] / Ball, Simeon, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIII, 177 p. 12 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-030-41153-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Informática Teoría de la codificación Teoría de la información Álgebra conmutativa Anillos conmutativos Aplicaciones matemáticas en informática Teoría de la codificación y la información Anillos conmutativos y álgebras Clasificación: 004.0151 Resumen: Este libro de texto proporciona una perspectiva matemática rigurosa sobre los códigos de corrección de errores, comenzando con lo básico y avanzando hasta lo más moderno. Se adoptan enfoques algebraicos, combinatorios y geométricos de la teoría de la codificación con el objetivo de resaltar cómo la codificación puede tener un impacto importante en el mundo real. Debido a que equilibra cuidadosamente tanto la teoría como las aplicaciones, este libro será un recurso indispensable para los lectores que buscan un tratamiento oportuno de los códigos de corrección de errores. Los primeros capítulos cubren conceptos fundamentales, introduciendo el teorema de Shannon, códigos asintóticamente buenos y códigos lineales. Luego, el libro continúa cubriendo otros tipos de códigos, incluidos capítulos sobre códigos cíclicos, códigos de distancia máxima separable, códigos LDPC, códigos p-adic, entre otros. Quienes realicen un estudio independiente apreciarán los útiles ejercicios con soluciones seleccionadas. Un curso en códigos algebraicos de corrección de errores se adapta a una audiencia interdisciplinaria a nivel de maestría, incluidos estudiantes de matemáticas, ingeniería, física e informática. Los estudiantes universitarios avanzados también encontrarán este recurso útil. Se supone una comprensión del álgebra lineal. Nota de contenido: Euclidean Plane -- Sphere -- Stereographic Projection and Inversions -- Hyperbolic Plane -- Lorentz-Minkowski Plane -- Geometry of Special Relativity -- Answers to Selected Exercises -- Index. Tipo de medio : Computadora Summary : This textbook provides a rigorous mathematical perspective on error-correcting codes, starting with the basics and progressing through to the state-of-the-art. Algebraic, combinatorial, and geometric approaches to coding theory are adopted with the aim of highlighting how coding can have an important real-world impact. Because it carefully balances both theory and applications, this book will be an indispensable resource for readers seeking a timely treatment of error-correcting codes. Early chapters cover fundamental concepts, introducing Shannon's theorem, asymptotically good codes and linear codes. The book then goes on to cover other types of codes including chapters on cyclic codes, maximum distance separable codes, LDPC codes, p-adic codes, amongst others. Those undertaking independent study will appreciate the helpful exercises with selected solutions. A Course in Algebraic Error-Correcting Codes suits an interdisciplinary audience at the Masters level, including students of mathematics, engineering, physics, and computer science. Advanced undergraduates will find this a useful resource as well. An understanding of linear algebra is assumed. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs Tipo de documento: documento electrónico Autores: Ayala-Rincón, Mauricio, ; de Moura, Flávio L. C., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 150 p. 4 ilustraciones ISBN/ISSN/DL: 978-3-319-51653-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación Teoría de las máquinas Informática Lógica informática y fundamentos de la programación. Lenguajes formales y teoría de los autómatas Aplicaciones matemáticas en informática Clasificación: 004.0151 Resumen: Este libro proporciona una introducción a la lógica y la inducción matemática que son la base de cualquier marco computacional deductivo. Una base matemática sólida de los motores lógicos disponibles en los asistentes de prueba modernos, como el sistema de verificación PVS, es esencial para que los informáticos, matemáticos e ingenieros incrementen sus capacidades para proporcionar pruebas formales de teoremas y certificar la solidez de los sistemas de software y hardware. . Los autores presentan una descripción concisa de los aspectos computacionales y matemáticos necesarios de la "lógica", poniendo énfasis tanto en la deducción natural como en el cálculo secuencial. Las diferencias entre la lógica constructiva y la clásica se destacan a través de varios ejemplos y ejercicios. Sin descuidar los aspectos clásicos de la lógica computacional, los autores también destacan las conexiones entre las reglas de deducción lógica y los comandos de prueba en los asistentes de prueba, presentando ejemplos simples de formalizaciones de la corrección de funciones algebraicas y algoritmos en PVS. La Lógica Aplicada para Científicos en Computación no solo beneficiará a los estudiantes de informática y matemáticas, sino también a los ingenieros de software, hardware, automatización, electricidad y mecatrónica que estén interesados en la aplicación de métodos formales y las herramientas computacionales relacionadas para proporcionar certificados matemáticos de calidad y precisión. de sus productos y tecnologías. . Nota de contenido: Foreword. - Preface -- Introduction -- Derivation and Proofs in the Propositional Logic -- Derivations and Proofs in the Predicate Logic -- Deductions in the Style of Gentzen's Sequent Calculus -- Derivations and Formalizations -- Algebraic and Computational Examples -- Suggested Readings -- Index. Tipo de medio : Computadora Summary : This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems. The authors present a concise overview of the necessary computational and mathematical aspects of 'logic', placing emphasis on both natural deduction and sequent calculus. Differences between constructive and classical logic are highlighted through several examples and exercises. Without neglecting classical aspects of computational logic, the authors also highlight the connections between logical deduction rules and proof commands in proof assistants, presenting simple examples of formalizations of the correctness of algebraicfunctions and algorithms in PVS. Applied Logic for Computer Scientists will not only benefit students of computer science and mathematics but also software, hardware, automation, electrical and mechatronic engineers who are interested in the application of formal methods and the related computational tools to provide mathematical certificates of the quality and accuracy of their products and technologies. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs [documento electrónico] / Ayala-Rincón, Mauricio, ; de Moura, Flávio L. C., . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 150 p. 4 ilustraciones.
ISBN : 978-3-319-51653-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ciencias de la Computación Teoría de las máquinas Informática Lógica informática y fundamentos de la programación. Lenguajes formales y teoría de los autómatas Aplicaciones matemáticas en informática Clasificación: 004.0151 Resumen: Este libro proporciona una introducción a la lógica y la inducción matemática que son la base de cualquier marco computacional deductivo. Una base matemática sólida de los motores lógicos disponibles en los asistentes de prueba modernos, como el sistema de verificación PVS, es esencial para que los informáticos, matemáticos e ingenieros incrementen sus capacidades para proporcionar pruebas formales de teoremas y certificar la solidez de los sistemas de software y hardware. . Los autores presentan una descripción concisa de los aspectos computacionales y matemáticos necesarios de la "lógica", poniendo énfasis tanto en la deducción natural como en el cálculo secuencial. Las diferencias entre la lógica constructiva y la clásica se destacan a través de varios ejemplos y ejercicios. Sin descuidar los aspectos clásicos de la lógica computacional, los autores también destacan las conexiones entre las reglas de deducción lógica y los comandos de prueba en los asistentes de prueba, presentando ejemplos simples de formalizaciones de la corrección de funciones algebraicas y algoritmos en PVS. La Lógica Aplicada para Científicos en Computación no solo beneficiará a los estudiantes de informática y matemáticas, sino también a los ingenieros de software, hardware, automatización, electricidad y mecatrónica que estén interesados en la aplicación de métodos formales y las herramientas computacionales relacionadas para proporcionar certificados matemáticos de calidad y precisión. de sus productos y tecnologías. . Nota de contenido: Foreword. - Preface -- Introduction -- Derivation and Proofs in the Propositional Logic -- Derivations and Proofs in the Predicate Logic -- Deductions in the Style of Gentzen's Sequent Calculus -- Derivations and Formalizations -- Algebraic and Computational Examples -- Suggested Readings -- Index. Tipo de medio : Computadora Summary : This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems. The authors present a concise overview of the necessary computational and mathematical aspects of 'logic', placing emphasis on both natural deduction and sequent calculus. Differences between constructive and classical logic are highlighted through several examples and exercises. Without neglecting classical aspects of computational logic, the authors also highlight the connections between logical deduction rules and proof commands in proof assistants, presenting simple examples of formalizations of the correctness of algebraicfunctions and algorithms in PVS. Applied Logic for Computer Scientists will not only benefit students of computer science and mathematics but also software, hardware, automation, electrical and mechatronic engineers who are interested in the application of formal methods and the related computational tools to provide mathematical certificates of the quality and accuracy of their products and technologies. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Arbres pour l'Algorithmique Tipo de documento: documento electrónico Autores: Chauvin, Brigitte, ; Clément, Julien, ; Gardy, Danièle, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XXXI, 513 p. 223 ill., 51 ill. en couleurs. ISBN/ISSN/DL: 978-3-319-93725-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Informática Inteligencia artificial Probabilidades Algoritmos Matemáticas discretas Aplicaciones matemáticas en informática Ciencia de los datos Teoría de probabilidad Clasificación: 004.0151 Resumen: Esto ouvrage presenta los tipos de árboles más utilizados en informática, bajo los ángulos algorítmicos y matemáticos. Para cada tipo, utilizamos algoritmos asociados y ejemplos de utilización, dirección o modelización, y estudiamos actuaciones de un punto de vista matemático. Nuestras herramientas son matemáticas discretas, probabilidades y combinatorias analíticas, presentes aquí simultáneamente. Le public visé est d''abord celui des étudiants de niveau master scientifique o en el último año de escuela de ingenieros con un cursus préalable en informática o en matemáticas, o ceux visant una doble competencia en matemáticas e informática; Además de que todas las personas tienen un bagaje científico «mínimo» y disfrutan de la utilización de estructuras arborescentes relacionadas con algoritmos, lo que les permitirá tener un mejor conocimiento de estas estructuras y una idea del rendimiento de los algoritmos asociados sin demora en los trabajos originales. Este libro presenta una amplia gama de estructuras de árbol, tanto desde el punto de vista informático como matemático. Para cada una de estas estructuras damos los algoritmos que permiten visitar o actualizar la estructura, y discutimos sus usos potenciales, ya sea directamente (para almacenar datos) o en el modelado de una variedad de situaciones. Presentamos una aproximación matemática a sus actuaciones; esto se hace mediante el uso sistemático y paralelo de herramientas de matemáticas discretas, probabilidad y combinatoria analítica. El libro está dirigido a estudiantes de posgrado en matemáticas o informática (o ambas) y a escuelas de ingeniería. También es adecuado para cualquier persona con un nivel básico de conocimientos científicos que tenga que utilizar estructuras de árbol y algoritmos relacionados, y que desee obtener un conocimiento riguroso de su rendimiento sin tener que volver a los resultados originales, a menudo especializados. Nota de contenido: Introduction -- Partie I Modèles -- 1.Botanique -- 2.Aléa sur les arbres -- 3.Arbres, algorithmes et données -- Partie II Analyses -- 4.Approche combinatoire -- 5.Approche probabiliste -- 6.Arbres binaires de recherche -- 7.Arbres digitaux -- 8.Arbres m-aires et quadrants -- 9.Urnes de Pólya et applications -- A.Rappels algorithmiques -- B.Rappels mathématiques : combinatoire -- C.Rappels mathématiques : probabilités -- D.Un peu d'histoire -- E.Rappel des notations utilisées -- References -- Index -- Liste des auteurs. Tipo de medio : Computadora Summary : Cet ouvrage présente les types d'arbres les plus utilisés en informatique, sous les angles algorithmique et mathématique. Pour chaque type, nous donnons les algorithmes courants associés et des exemples d'utilisation, directe ou en modélisation, puis nous étudions leurs performances d'un point de vue mathématique. Nos outils sont les mathématiques discrètes, les probabilités et la combinatoire analytique, présentés ici simultanément. Le public visé est d'abord celui des étudiants de niveau master scientifique ou en dernière année d'école d'ingénieurs avec un cursus préalable en informatique ou en mathématiques, ou ceux visant une double compétence en mathématiques et informatique; ainsi que toute personne dotée d'un bagage scientifique «minimal» et amenée à utiliser des structures arborescentes liées à des algorithmes, qui souhaiterait avoir une meilleure connaissance de ces structures et une idée des performances des algorithmes associés sans se plonger dans les travaux originaux. This book presents a wide range of tree structures, from both a computer science and a mathematical point of view. For each of these structures we give the algorithms that allow to visit or update the structure, and discuss their potential uses, either directly (for storing data) or in modelling a variety of situations. We present a mathematical approach to their performances; this is done by the systematic and parallel use of tools from discrete mathematics, probability and analytic combinatorics. The book is intended for graduate students in mathematics or computer science (or both) and in engineering schools. It is also suitable for anyone with a basic level of scientific knowledge who may have to use tree structures and related algorithms, and who wishes to get a rigorous knowledge of their performance without going back to the original, often specialized, results. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Arbres pour l'Algorithmique [documento electrónico] / Chauvin, Brigitte, ; Clément, Julien, ; Gardy, Danièle, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXXI, 513 p. 223 ill., 51 ill. en couleurs.
ISBN : 978-3-319-93725-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Informática Inteligencia artificial Probabilidades Algoritmos Matemáticas discretas Aplicaciones matemáticas en informática Ciencia de los datos Teoría de probabilidad Clasificación: 004.0151 Resumen: Esto ouvrage presenta los tipos de árboles más utilizados en informática, bajo los ángulos algorítmicos y matemáticos. Para cada tipo, utilizamos algoritmos asociados y ejemplos de utilización, dirección o modelización, y estudiamos actuaciones de un punto de vista matemático. Nuestras herramientas son matemáticas discretas, probabilidades y combinatorias analíticas, presentes aquí simultáneamente. Le public visé est d''abord celui des étudiants de niveau master scientifique o en el último año de escuela de ingenieros con un cursus préalable en informática o en matemáticas, o ceux visant una doble competencia en matemáticas e informática; Además de que todas las personas tienen un bagaje científico «mínimo» y disfrutan de la utilización de estructuras arborescentes relacionadas con algoritmos, lo que les permitirá tener un mejor conocimiento de estas estructuras y una idea del rendimiento de los algoritmos asociados sin demora en los trabajos originales. Este libro presenta una amplia gama de estructuras de árbol, tanto desde el punto de vista informático como matemático. Para cada una de estas estructuras damos los algoritmos que permiten visitar o actualizar la estructura, y discutimos sus usos potenciales, ya sea directamente (para almacenar datos) o en el modelado de una variedad de situaciones. Presentamos una aproximación matemática a sus actuaciones; esto se hace mediante el uso sistemático y paralelo de herramientas de matemáticas discretas, probabilidad y combinatoria analítica. El libro está dirigido a estudiantes de posgrado en matemáticas o informática (o ambas) y a escuelas de ingeniería. También es adecuado para cualquier persona con un nivel básico de conocimientos científicos que tenga que utilizar estructuras de árbol y algoritmos relacionados, y que desee obtener un conocimiento riguroso de su rendimiento sin tener que volver a los resultados originales, a menudo especializados. Nota de contenido: Introduction -- Partie I Modèles -- 1.Botanique -- 2.Aléa sur les arbres -- 3.Arbres, algorithmes et données -- Partie II Analyses -- 4.Approche combinatoire -- 5.Approche probabiliste -- 6.Arbres binaires de recherche -- 7.Arbres digitaux -- 8.Arbres m-aires et quadrants -- 9.Urnes de Pólya et applications -- A.Rappels algorithmiques -- B.Rappels mathématiques : combinatoire -- C.Rappels mathématiques : probabilités -- D.Un peu d'histoire -- E.Rappel des notations utilisées -- References -- Index -- Liste des auteurs. Tipo de medio : Computadora Summary : Cet ouvrage présente les types d'arbres les plus utilisés en informatique, sous les angles algorithmique et mathématique. Pour chaque type, nous donnons les algorithmes courants associés et des exemples d'utilisation, directe ou en modélisation, puis nous étudions leurs performances d'un point de vue mathématique. Nos outils sont les mathématiques discrètes, les probabilités et la combinatoire analytique, présentés ici simultanément. Le public visé est d'abord celui des étudiants de niveau master scientifique ou en dernière année d'école d'ingénieurs avec un cursus préalable en informatique ou en mathématiques, ou ceux visant une double compétence en mathématiques et informatique; ainsi que toute personne dotée d'un bagage scientifique «minimal» et amenée à utiliser des structures arborescentes liées à des algorithmes, qui souhaiterait avoir une meilleure connaissance de ces structures et une idée des performances des algorithmes associés sans se plonger dans les travaux originaux. This book presents a wide range of tree structures, from both a computer science and a mathematical point of view. For each of these structures we give the algorithms that allow to visit or update the structure, and discuss their potential uses, either directly (for storing data) or in modelling a variety of situations. We present a mathematical approach to their performances; this is done by the systematic and parallel use of tools from discrete mathematics, probability and analytic combinatorics. The book is intended for graduate students in mathematics or computer science (or both) and in engineering schools. It is also suitable for anyone with a basic level of scientific knowledge who may have to use tree structures and related algorithms, and who wishes to get a rigorous knowledge of their performance without going back to the original, often specialized, results. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Cellular Automata : A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition Tipo de documento: documento electrónico Autores: Adamatzky, Andrew, Mención de edición: 1 ed. Editorial: Boston [USA] : Springer Fecha de publicación: 2018 Número de páginas: 425 ilustraciones, 190 ilustraciones en color. eReference. ISBN/ISSN/DL: 978-1-4939-8700-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación Matemáticas discretas teoría del sistema Matemáticas de ingeniería Ingeniería Informática Lógica informática y fundamentos de la programación. Sistemas complejos Aplicaciones de ingeniería matemática y computacional Teoría de la Computación Matemáticas discretas en informática Clasificación: 004.0151 Resumen: Este volumen de la Encyclopedia of Complexity and Systems Science, segunda edición, proporciona una introducción autorizada y una descripción general de las últimas investigaciones en modelos de autómatas celulares (CA) de sistemas físicos, fenómenos emergentes, universalidad computacional, caos, fenómenos de crecimiento, transiciones de fase, autocontrol. -Criticidad organizada, sistemas de reacción-difusión, autorreplicaciones, computación paralela y más. Se abordan temas fundamentales de complejidad algorítmica, grupos algebraicos, teoría del lenguaje, CA en evolución, teoría ergódica, sincronización, problemas de mosaico e indecidibilidad y dinámica topológica de CA. Los autómatas celulares son redes uniformes regulares de máquinas de estados finitos conectadas localmente y representan sistemas discretos con comportamiento no trivial, incluidas ondas, patrones y localizaciones itinerantes. Las AC son ubicuas: son modelos matemáticos de computación y modelos informáticos de sistemas naturales. Las clases de CA presentadas en este libro incluyen CA aditiva, autómatas en espacios hiperbólicos y espacios no compactos, CA en teselaciones triangulares, pentagonales y hexagonales, autómatas con memoria, autómatas cuánticos y reversibles, CA estructuralmente dinámica y autómatas asincrónicos. Los temas agregados a la segunda edición incluyen: autómatas celulares asíncronos, autómatas celulares estocásticos como modelos de procesos de reacción-difusión, implementación de hardware de autómatas celulares, cuencas de atracción de autómatas celulares, órbitas de medidas de Bernoulli en autómatas celulares y gráficos relacionados con la reversibilidad y la complejidad en celular. Esta referencia de vanguardia es única al reunir experiencia inigualable en estudios interdisciplinarios en el borde de las matemáticas, la informática y la física. Nota de contenido: Additive Cellular Automata -- Algorithmic Complexity and Cellular Automata -- Asymptotic Behaviour and a Formalization of Wolfram's Classes -- Asynchronous Cellular Automata -- Basins of Attraction of Cellular Automata and Discrete Dynamical Networks -- Cellular Automata and Groups -- Cellular Automata and Language Theory -- Cellular Automata as Models of Parallel Computation -- Cellular Automata Hardware Implementation -- Cellular Automata in Hyperbolic Spaces -- Cellular Automata in Triangular, Pentagonal and Hexagonal Tessellations -- Cellular Automata Modeling of Physical Systems -- Cellular Automata with Memory -- Classification of Cellular Automata -- Emergent Phenomena in Cellular Automata -- Universality of Cellular Automata -- Chaotic Behavior of Cellular Automata -- Dynamics of Cellular Automata in Non-compact Spaces -- Ergodic Theory of Cellular Automata -- Evolving Cellular Automata -- Firing Squad Synchronization Problem in Cellular Automata -- Gliders in Cellular Automata -- Graphs Related to Reversibility and Complexity in Cellular Automata -- Growth Phenomena in Cellular Automata -- Identification of Cellular Automata -- Introduction to Mathematical Basis of Cellular Automata -- Orbits of Bernoulli Measures in Cellular Automata -- Phase Transitions in Cellular Automata -- Quantum Cellular Automata -- Reversible Cellular Automata -- Self-Organized Criticality and Cellular Automata -- Self-Replication and Cellular Automata -- Stochastic Cellular Automata as models of Reaction-Diffusion processes -- Structurally Dynamic Cellular Automata -- Tiling Problem and Undecidability in Cellular Automata -- Topological Dynamics of Cellular Automata. Tipo de medio : Computadora Summary : This volume of the Encyclopedia of Complexity and Systems Science, Second Edition, provides an authoritative introduction and overview of the latest research in cellular automata (CA) models of physical systems, emergent phenomena, computational universality, chaos, growth phenomena, phase transitions, self-organised criticality, reaction-diffusion systems, self-replications, parallel computation, and more. Fundamental topics of algorithmic complexity, algebraic groups, language theory, evolving CA, ergodic theory, synchronisation, tiling problems and undecidability and topological dynamics of CA are addressed. Cellular automata are regular uniform networks of locally-connected finite-state machines, and represent discrete systems with non-trivial behavior, including waves, patterns and travelling localisations. CA are ubiquitous: they are mathematical models of computation and computer models of natural systems. Classes of CA presented in this book include additive CA, automata in hyperbolic spaces and non-compact spaces, CA in triangular, pentagonal and hexagonal tessellations, automata with memory, quantum and reversible automata, structurally-dynamic CA, and asynchronous automata. Topics added to the second edition include: asynchronous cellular automata, stochastic cellular automata as models of reaction-diffusion processes, cellular automata hardware implementation, cellular automata basins of attraction, orbits of Bernoulli measures in cellular automata, and graphs related to reversibility and complexity in cellular. This state-of-the-art reference is unique in bringing together unequalled expertise of interdisciplinary studies at the edge of mathematics, computer science, and physics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Cellular Automata : A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition [documento electrónico] / Adamatzky, Andrew, . - 1 ed. . - Boston [USA] : Springer, 2018 . - 425 ilustraciones, 190 ilustraciones en color. eReference.
ISBN : 978-1-4939-8700-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ciencias de la Computación Matemáticas discretas teoría del sistema Matemáticas de ingeniería Ingeniería Informática Lógica informática y fundamentos de la programación. Sistemas complejos Aplicaciones de ingeniería matemática y computacional Teoría de la Computación Matemáticas discretas en informática Clasificación: 004.0151 Resumen: Este volumen de la Encyclopedia of Complexity and Systems Science, segunda edición, proporciona una introducción autorizada y una descripción general de las últimas investigaciones en modelos de autómatas celulares (CA) de sistemas físicos, fenómenos emergentes, universalidad computacional, caos, fenómenos de crecimiento, transiciones de fase, autocontrol. -Criticidad organizada, sistemas de reacción-difusión, autorreplicaciones, computación paralela y más. Se abordan temas fundamentales de complejidad algorítmica, grupos algebraicos, teoría del lenguaje, CA en evolución, teoría ergódica, sincronización, problemas de mosaico e indecidibilidad y dinámica topológica de CA. Los autómatas celulares son redes uniformes regulares de máquinas de estados finitos conectadas localmente y representan sistemas discretos con comportamiento no trivial, incluidas ondas, patrones y localizaciones itinerantes. Las AC son ubicuas: son modelos matemáticos de computación y modelos informáticos de sistemas naturales. Las clases de CA presentadas en este libro incluyen CA aditiva, autómatas en espacios hiperbólicos y espacios no compactos, CA en teselaciones triangulares, pentagonales y hexagonales, autómatas con memoria, autómatas cuánticos y reversibles, CA estructuralmente dinámica y autómatas asincrónicos. Los temas agregados a la segunda edición incluyen: autómatas celulares asíncronos, autómatas celulares estocásticos como modelos de procesos de reacción-difusión, implementación de hardware de autómatas celulares, cuencas de atracción de autómatas celulares, órbitas de medidas de Bernoulli en autómatas celulares y gráficos relacionados con la reversibilidad y la complejidad en celular. Esta referencia de vanguardia es única al reunir experiencia inigualable en estudios interdisciplinarios en el borde de las matemáticas, la informática y la física. Nota de contenido: Additive Cellular Automata -- Algorithmic Complexity and Cellular Automata -- Asymptotic Behaviour and a Formalization of Wolfram's Classes -- Asynchronous Cellular Automata -- Basins of Attraction of Cellular Automata and Discrete Dynamical Networks -- Cellular Automata and Groups -- Cellular Automata and Language Theory -- Cellular Automata as Models of Parallel Computation -- Cellular Automata Hardware Implementation -- Cellular Automata in Hyperbolic Spaces -- Cellular Automata in Triangular, Pentagonal and Hexagonal Tessellations -- Cellular Automata Modeling of Physical Systems -- Cellular Automata with Memory -- Classification of Cellular Automata -- Emergent Phenomena in Cellular Automata -- Universality of Cellular Automata -- Chaotic Behavior of Cellular Automata -- Dynamics of Cellular Automata in Non-compact Spaces -- Ergodic Theory of Cellular Automata -- Evolving Cellular Automata -- Firing Squad Synchronization Problem in Cellular Automata -- Gliders in Cellular Automata -- Graphs Related to Reversibility and Complexity in Cellular Automata -- Growth Phenomena in Cellular Automata -- Identification of Cellular Automata -- Introduction to Mathematical Basis of Cellular Automata -- Orbits of Bernoulli Measures in Cellular Automata -- Phase Transitions in Cellular Automata -- Quantum Cellular Automata -- Reversible Cellular Automata -- Self-Organized Criticality and Cellular Automata -- Self-Replication and Cellular Automata -- Stochastic Cellular Automata as models of Reaction-Diffusion processes -- Structurally Dynamic Cellular Automata -- Tiling Problem and Undecidability in Cellular Automata -- Topological Dynamics of Cellular Automata. Tipo de medio : Computadora Summary : This volume of the Encyclopedia of Complexity and Systems Science, Second Edition, provides an authoritative introduction and overview of the latest research in cellular automata (CA) models of physical systems, emergent phenomena, computational universality, chaos, growth phenomena, phase transitions, self-organised criticality, reaction-diffusion systems, self-replications, parallel computation, and more. Fundamental topics of algorithmic complexity, algebraic groups, language theory, evolving CA, ergodic theory, synchronisation, tiling problems and undecidability and topological dynamics of CA are addressed. Cellular automata are regular uniform networks of locally-connected finite-state machines, and represent discrete systems with non-trivial behavior, including waves, patterns and travelling localisations. CA are ubiquitous: they are mathematical models of computation and computer models of natural systems. Classes of CA presented in this book include additive CA, automata in hyperbolic spaces and non-compact spaces, CA in triangular, pentagonal and hexagonal tessellations, automata with memory, quantum and reversible automata, structurally-dynamic CA, and asynchronous automata. Topics added to the second edition include: asynchronous cellular automata, stochastic cellular automata as models of reaction-diffusion processes, cellular automata hardware implementation, cellular automata basins of attraction, orbits of Bernoulli measures in cellular automata, and graphs related to reversibility and complexity in cellular. This state-of-the-art reference is unique in bringing together unequalled expertise of interdisciplinary studies at the edge of mathematics, computer science, and physics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Compressed Sensing and its Applications / Boche, Holger ; Caire, Giuseppe ; Calderbank, Robert ; März, Maximilian ; Kutyniok, Gitta ; Mathar, Rudolf
Título : Compressed Sensing and its Applications : Second International MATHEON Conference 2015 Tipo de documento: documento electrónico Autores: Boche, Holger, ; Caire, Giuseppe, ; Calderbank, Robert, ; März, Maximilian, ; Kutyniok, Gitta, ; Mathar, Rudolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIX, 388 p. 77 ilustraciones, 57 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-69802-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Informática Análisis numérico Procesamiento de la señal Teoría de la codificación Teoría de la información Álgebras lineales Matemáticas Aplicaciones matemáticas en informática Procesamiento de señales voz e imágenes Teoría de la codificación y la información Álgebra lineal Ciencias e Ingeniería Computacional Clasificación: 004.0151 Resumen: Este volumen contribuido contiene artículos escritos por el plenario y oradores invitados del segundo taller internacional MATHEON 2015 que se centran en las aplicaciones de la detección comprimida. Los autores del artículo abordan sus técnicas para resolver los problemas de la detección comprimida, así como conexiones con áreas relacionadas, como la detección de estructuras similares a comunidades en gráficos, curvaturas en Grassmanianos y descomposiciones aleatorias de valores singulares de trenes tensoriales. Algunas de las nuevas aplicaciones cubiertas incluyen reducción de dimensionalidad, teoría de la información, matrices aleatorias, aproximación dispersa y recuperación dispersa. Este libro está dirigido tanto a estudiantes de posgrado como a investigadores en las áreas de matemáticas aplicadas, ciencias de la computación e ingeniería, así como a otros científicos aplicados que exploran las aplicaciones potenciales de la novedosa metodología de detección comprimida. También se proporciona una introducción al tema de la detección comprimida para investigadores interesados en el campo que no estén tan familiarizados con él. . Nota de contenido: Preface -- On the Global-Local Dichotomy in Sparsity Modeling, Batenkov, Romano, Elad -- Fourier Phase Retrieval: Uniqueness and Algorithms, Bendory, Beinert, Eldar -- Compressed Sensing Approaches for Polynomial Approximation of High-Dimensional Functions, Adcock, Brugiapaglia, Webster -- Multisection in the Stochastic Block Model using Semidefinite Programming, Agarwal, Bandeira, Koiliaris, Kolla -- Recovering Signals with Unknown Sparsity in Multiple Dictionaries, Ahmad, Schniter -- Compressive Classification and the Rare Eclipse Problem, Bandeira, Mixon, Recht -- Weak Phase Retrieval, Bothelo-Andrade, Casazza, Ghoreishi, Jose, Tremain -- Cubatures on Grassmannians: Moments, Dimension Reduction, and Related Topics, Breger, Ehler, Gräf, Peter -- A Randomized Tensor Train Singular Value Decomposition, Huber, Schneider, Wolf -- Versatile and Scalable Cosparse Methods for Phsyics-driven Inverse Problems, Kitić, Bensiad, Albera, Bertin, Gribonval -- Total Variation Minimization in Compressed Sensing, Felix Krahmer, Kruschel, Sandbichler -- Compressed Sensing in Hilbert Spaces, Traonmilin, Puy, Gribonval, Davies. Tipo de medio : Computadora Summary : This contributed volume contains articles written by the plenary and invited speakers from the second international MATHEON Workshop 2015 that focus on applications of compressed sensing. Article authors address their techniques for solving the problems of compressed sensing, as well as connections to related areas like detecting community-like structures in graphs, curbatures on Grassmanians, and randomized tensor train singular value decompositions. Some of the novel applications covered include dimensionality reduction, information theory, random matrices, sparse approximation, and sparse recovery. This book is aimed at both graduate students and researchers in the areas of applied mathematics, computer science, and engineering, as well as other applied scientists exploring the potential applications for the novel methodology of compressed sensing. An introduction to the subject of compressed sensing is also provided for researchers interested in thefield who are not as familiar with it. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Compressed Sensing and its Applications : Second International MATHEON Conference 2015 [documento electrónico] / Boche, Holger, ; Caire, Giuseppe, ; Calderbank, Robert, ; März, Maximilian, ; Kutyniok, Gitta, ; Mathar, Rudolf, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIX, 388 p. 77 ilustraciones, 57 ilustraciones en color.
ISBN : 978-3-319-69802-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Informática Análisis numérico Procesamiento de la señal Teoría de la codificación Teoría de la información Álgebras lineales Matemáticas Aplicaciones matemáticas en informática Procesamiento de señales voz e imágenes Teoría de la codificación y la información Álgebra lineal Ciencias e Ingeniería Computacional Clasificación: 004.0151 Resumen: Este volumen contribuido contiene artículos escritos por el plenario y oradores invitados del segundo taller internacional MATHEON 2015 que se centran en las aplicaciones de la detección comprimida. Los autores del artículo abordan sus técnicas para resolver los problemas de la detección comprimida, así como conexiones con áreas relacionadas, como la detección de estructuras similares a comunidades en gráficos, curvaturas en Grassmanianos y descomposiciones aleatorias de valores singulares de trenes tensoriales. Algunas de las nuevas aplicaciones cubiertas incluyen reducción de dimensionalidad, teoría de la información, matrices aleatorias, aproximación dispersa y recuperación dispersa. Este libro está dirigido tanto a estudiantes de posgrado como a investigadores en las áreas de matemáticas aplicadas, ciencias de la computación e ingeniería, así como a otros científicos aplicados que exploran las aplicaciones potenciales de la novedosa metodología de detección comprimida. También se proporciona una introducción al tema de la detección comprimida para investigadores interesados en el campo que no estén tan familiarizados con él. . Nota de contenido: Preface -- On the Global-Local Dichotomy in Sparsity Modeling, Batenkov, Romano, Elad -- Fourier Phase Retrieval: Uniqueness and Algorithms, Bendory, Beinert, Eldar -- Compressed Sensing Approaches for Polynomial Approximation of High-Dimensional Functions, Adcock, Brugiapaglia, Webster -- Multisection in the Stochastic Block Model using Semidefinite Programming, Agarwal, Bandeira, Koiliaris, Kolla -- Recovering Signals with Unknown Sparsity in Multiple Dictionaries, Ahmad, Schniter -- Compressive Classification and the Rare Eclipse Problem, Bandeira, Mixon, Recht -- Weak Phase Retrieval, Bothelo-Andrade, Casazza, Ghoreishi, Jose, Tremain -- Cubatures on Grassmannians: Moments, Dimension Reduction, and Related Topics, Breger, Ehler, Gräf, Peter -- A Randomized Tensor Train Singular Value Decomposition, Huber, Schneider, Wolf -- Versatile and Scalable Cosparse Methods for Phsyics-driven Inverse Problems, Kitić, Bensiad, Albera, Bertin, Gribonval -- Total Variation Minimization in Compressed Sensing, Felix Krahmer, Kruschel, Sandbichler -- Compressed Sensing in Hilbert Spaces, Traonmilin, Puy, Gribonval, Davies. Tipo de medio : Computadora Summary : This contributed volume contains articles written by the plenary and invited speakers from the second international MATHEON Workshop 2015 that focus on applications of compressed sensing. Article authors address their techniques for solving the problems of compressed sensing, as well as connections to related areas like detecting community-like structures in graphs, curbatures on Grassmanians, and randomized tensor train singular value decompositions. Some of the novel applications covered include dimensionality reduction, information theory, random matrices, sparse approximation, and sparse recovery. This book is aimed at both graduate students and researchers in the areas of applied mathematics, computer science, and engineering, as well as other applied scientists exploring the potential applications for the novel methodology of compressed sensing. An introduction to the subject of compressed sensing is also provided for researchers interested in thefield who are not as familiar with it. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
PermalinkPermalinkPermalinkPermalinkPermalinkPermalink
PermalinkPermalinkPermalink
Permalink
