Indexaxión 004.015 : Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos.
004 Ciencia de los computadores (Introducción a los computadores)Documentos en la biblioteca con la clasificación 004.015 (43)
Hacer una sugerencia Refinar búsqueda2000 solved problems in discrete mathematics
Título : 2000 solved problems in discrete mathematics Tipo de documento: texto impreso Autores: Lipschutz, Seymour ; Lipson, Marc Editorial: New York, N.Y. [USA] : McGraw-Hill* Fecha de publicación: 1992 Número de páginas: 400 p. ISBN/ISSN/DL: 978-0-07-038031-8 Idioma : Inglés (eng) Palabras clave: Matemáticas discretas Problemas ejercicios Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. Tipo de medio : Sin mediación Tipo de contenido : Texto Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 2000 solved problems in discrete mathematics [texto impreso] / Lipschutz, Seymour ; Lipson, Marc . - New York, N.Y. [USA] : McGraw-Hill*, 1992 . - 400 p.
ISBN : 978-0-07-038031-8
Idioma : Inglés (eng)
Palabras clave: Matemáticas discretas Problemas ejercicios Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. Tipo de medio : Sin mediación Tipo de contenido : Texto Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Reserva
Reservar este documento
Ejemplares(1)
Código de barras Ubicación Ver Signatura Tipo de medio Ubicación Estado Estado 17064 004.015 1 / L767 Libro Impreso Biblioteca Principal En circulación Disponible E002B1 E002
Título : Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs Tipo de documento: documento electrónico Autores: Ayala-Rincón, Mauricio, Autor ; de Moura, Flávio L. C., Autor 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. 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 Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. 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. 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 Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs [documento electrónico] / Ayala-Rincón, Mauricio, Autor ; de Moura, Flávio L. C., Autor . - 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.
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 Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. 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. 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 : Arbres pour l'Algorithmique Tipo de documento: documento electrónico Autores: Chauvin, Brigitte, Autor ; Clément, Julien, Autor ; Gardy, Danièle, Autor 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. 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 Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. 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. 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 Arbres pour l'Algorithmique [documento electrónico] / Chauvin, Brigitte, Autor ; Clément, Julien, Autor ; Gardy, Danièle, Autor . - 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.
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 Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. 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. 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 : 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, MA [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. 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 Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. 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. 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 Cellular Automata : A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition [documento electrónico] / Adamatzky, Andrew, . - 1 ed. . - Boston, MA [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.
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 Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. 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. 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 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. 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 Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. 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. 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 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.
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 Índice Dewey: 004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. 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. 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
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
Permalink
PermalinkPermalink
