Información de la indexación
5.115 Documentos en la biblioteca con la clasificación 5.131 (55)
Crear una solicitud de compra Refinar búsquedaAbstract State Machines, Alloy, B, TLA, VDM, and Z / Butler, Michael ; Raschke, Alexander ; Hoang, Thai Son ; Reichl, Klaus
TÃtulo : Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / Tipo de documento: documento electrónico Autores: Butler, Michael, ; Raschke, Alexander, ; Hoang, Thai Son, ; Reichl, Klaus, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 432 p. 83 ilustraciones ISBN/ISSN/DL: 978-3-319-91271-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: TeorÃa de las máquinas Algoritmos Ciencias de la Computación Compiladores (programas informáticos) Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Compiladores e intérpretes Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Máquinas de Estados Abstractos, Alloy, B, TLA, VDM y Z, ABZ 2016, celebrada en Southampton, Reino Unido, en junio de 2018. Los 20 artÃculos completos y 11 breves presentados en este El volumen fue cuidadosamente revisado y seleccionado entre 60 presentaciones. Registran los últimos desarrollos de investigación en métodos formales basados ​​en estados: Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM y Z. Nota de contenido: Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / [documento electrónico] / Butler, Michael, ; Raschke, Alexander, ; Hoang, Thai Son, ; Reichl, Klaus, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 432 p. 83 ilustraciones.
ISBN : 978-3-319-91271-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: TeorÃa de las máquinas Algoritmos Ciencias de la Computación Compiladores (programas informáticos) Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Compiladores e intérpretes Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Máquinas de Estados Abstractos, Alloy, B, TLA, VDM y Z, ABZ 2016, celebrada en Southampton, Reino Unido, en junio de 2018. Los 20 artÃculos completos y 11 breves presentados en este El volumen fue cuidadosamente revisado y seleccionado entre 60 presentaciones. Registran los últimos desarrollos de investigación en métodos formales basados ​​en estados: Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM y Z. Nota de contenido: Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra : In Honour of Peter Paule on his 60th Birthday Tipo de documento: documento electrónico Autores: Pillwein, Veronika, ; Schneider, Carsten, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVII, 410 p. 55 ilustraciones, 19 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-44559-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 Manipulación simbólica y algebraica Aplicaciones matemáticas en informática Clasificación: 5.131 Resumen: El libro se centra en las áreas de investigación de combinatoria, funciones especiales y álgebra informática. Lo que comparten estos campos de investigación es que muchos de sus destacados resultados no sólo tienen aplicaciones en Matemáticas, sino también en otras disciplinas, como la informática, la fÃsica, la quÃmica, etc. Un encanto particular de estas áreas es cómo interactúan e influyen entre sÃ. . Por ejemplo, las técnicas combinatorias o de funciones especiales han motivado el desarrollo de nuevos algoritmos simbólicos. En particular, las primeras pruebas de problemas desafiantes en combinatoria y funciones especiales se obtuvieron haciendo un uso esencial del álgebra informática. Este libro aborda estos aspectos interdisciplinarios. Se enfatizan los aspectos algorÃtmicos y se introducen los paquetes de software correspondientes para la resolución de problemas concretos. Los lectores abarcarán desde estudiantes de posgrado, investigadores hasta profesionales interesados ​​en resolver problemas concretos dentro de las matemáticas y otras disciplinas de investigación. Nota de contenido: When the search for solutions can be terminated -- Euler's partition theorem and refinement without appeal to infinit -- Sequences in partitions, double q-series and the Mock Theta Function -- Refine q-trinomial coecients and two infinit hierarchies of q-series identities -- Large scale analytic calculations in quantum field theories -- An eigenvalue problem for the associated Askey–Wilson polynomials -- Context-free grammars and stable multivariate polynomials over Stirling permutations -- An interesting class of Hankel determinants -- A sequence of polynomials generated by a Kapteyn series of the second kind -- Comparative analysis of random generators.-Difference equation theory meets mathematical finance -- Evaluations as L-subsets -- Exact lower bounds for monochromatic Schur triples and generalizations -- Evaluation of binomial double sums involving absolute values -- On two subclasses of Motzkin paths and their relation to ternary trees -- A theorem to reduce certain modular form relations modulo primes -- Trying to solve a linear system for strict partitions in 'closed form' -- Untying the Gordian Knot via experimental mathematics. Tipo de medio : Computadora Summary : The book is centered around the research areas of combinatorics, special functions, and computer algebra. What these research fields share is that many of their outstanding results do not only have applications in Mathematics, but also other disciplines, such as computer science, physics, chemistry, etc. A particular charm of these areas is how they interact and influence one another. For instance, combinatorial or special functions' techniques have motivated the development of new symbolic algorithms. In particular, first proofs of challenging problems in combinatorics and special functions were derived by making essential use of computer algebra. This book addresses these interdisciplinary aspects. Algorithmic aspects are emphasized and the corresponding software packages for concrete problem solving are introduced. Readers will range from graduate students, researchers to practitioners who are interested in solving concrete problems within mathematics and other research disciplines. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra : In Honour of Peter Paule on his 60th Birthday [documento electrónico] / Pillwein, Veronika, ; Schneider, Carsten, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 410 p. 55 ilustraciones, 19 ilustraciones en color.
ISBN : 978-3-030-44559-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 Manipulación simbólica y algebraica Aplicaciones matemáticas en informática Clasificación: 5.131 Resumen: El libro se centra en las áreas de investigación de combinatoria, funciones especiales y álgebra informática. Lo que comparten estos campos de investigación es que muchos de sus destacados resultados no sólo tienen aplicaciones en Matemáticas, sino también en otras disciplinas, como la informática, la fÃsica, la quÃmica, etc. Un encanto particular de estas áreas es cómo interactúan e influyen entre sÃ. . Por ejemplo, las técnicas combinatorias o de funciones especiales han motivado el desarrollo de nuevos algoritmos simbólicos. En particular, las primeras pruebas de problemas desafiantes en combinatoria y funciones especiales se obtuvieron haciendo un uso esencial del álgebra informática. Este libro aborda estos aspectos interdisciplinarios. Se enfatizan los aspectos algorÃtmicos y se introducen los paquetes de software correspondientes para la resolución de problemas concretos. Los lectores abarcarán desde estudiantes de posgrado, investigadores hasta profesionales interesados ​​en resolver problemas concretos dentro de las matemáticas y otras disciplinas de investigación. Nota de contenido: When the search for solutions can be terminated -- Euler's partition theorem and refinement without appeal to infinit -- Sequences in partitions, double q-series and the Mock Theta Function -- Refine q-trinomial coecients and two infinit hierarchies of q-series identities -- Large scale analytic calculations in quantum field theories -- An eigenvalue problem for the associated Askey–Wilson polynomials -- Context-free grammars and stable multivariate polynomials over Stirling permutations -- An interesting class of Hankel determinants -- A sequence of polynomials generated by a Kapteyn series of the second kind -- Comparative analysis of random generators.-Difference equation theory meets mathematical finance -- Evaluations as L-subsets -- Exact lower bounds for monochromatic Schur triples and generalizations -- Evaluation of binomial double sums involving absolute values -- On two subclasses of Motzkin paths and their relation to ternary trees -- A theorem to reduce certain modular form relations modulo primes -- Trying to solve a linear system for strict partitions in 'closed form' -- Untying the Gordian Knot via experimental mathematics. Tipo de medio : Computadora Summary : The book is centered around the research areas of combinatorics, special functions, and computer algebra. What these research fields share is that many of their outstanding results do not only have applications in Mathematics, but also other disciplines, such as computer science, physics, chemistry, etc. A particular charm of these areas is how they interact and influence one another. For instance, combinatorial or special functions' techniques have motivated the development of new symbolic algorithms. In particular, first proofs of challenging problems in combinatorics and special functions were derived by making essential use of computer algebra. This book addresses these interdisciplinary aspects. Algorithmic aspects are emphasized and the corresponding software packages for concrete problem solving are introduced. Readers will range from graduate students, researchers to practitioners who are interested in solving concrete problems within mathematics and other research disciplines. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : An Introduction to the Technique of Formative Processes in Set Theory Tipo de documento: documento electrónico Autores: Cantone, Domenico, ; Ursino, Pietro, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 154 p. 15 ilustraciones ISBN/ISSN/DL: 978-3-319-74778-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: TeorÃa de las máquinas Lógica matemática Lenguajes formales y teorÃa de los autómatas Lógica Matemática y Fundamentos Clasificación: 5.131 Resumen: Este libro presenta un enfoque intuitivo y orientado a imágenes de la técnica de los procesos formativos y sus aplicaciones. En la primera parte, los autores introducen la terminologÃa y las propiedades básicas de la teorÃa de conjuntos, el problema de decisión en la teorÃa de conjuntos y los procesos formativos. La segunda parte del libro está dedicada a las aplicaciones de la técnica de los procesos formativos a problemas de decisión. Todos los capÃtulos contienen ejercicios y el libro es apropiado para investigadores y estudiantes de posgrado en el área de la lógica informática. Nota de contenido: Part I: Theoretical Apparatus -- Basics of Set Theory -- The Decision Problem in Set Theory -- Formative Processes -- Part II: Applications -- Decidability of MLSSP -- Decidability of MLSSPF. Tipo de medio : Computadora Summary : This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems. All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] An Introduction to the Technique of Formative Processes in Set Theory [documento electrónico] / Cantone, Domenico, ; Ursino, Pietro, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 154 p. 15 ilustraciones.
ISBN : 978-3-319-74778-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: TeorÃa de las máquinas Lógica matemática Lenguajes formales y teorÃa de los autómatas Lógica Matemática y Fundamentos Clasificación: 5.131 Resumen: Este libro presenta un enfoque intuitivo y orientado a imágenes de la técnica de los procesos formativos y sus aplicaciones. En la primera parte, los autores introducen la terminologÃa y las propiedades básicas de la teorÃa de conjuntos, el problema de decisión en la teorÃa de conjuntos y los procesos formativos. La segunda parte del libro está dedicada a las aplicaciones de la técnica de los procesos formativos a problemas de decisión. Todos los capÃtulos contienen ejercicios y el libro es apropiado para investigadores y estudiantes de posgrado en el área de la lógica informática. Nota de contenido: Part I: Theoretical Apparatus -- Basics of Set Theory -- The Decision Problem in Set Theory -- Formative Processes -- Part II: Applications -- Decidability of MLSSP -- Decidability of MLSSPF. Tipo de medio : Computadora Summary : This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems. All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Arithmetic of Finite Fields : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Budaghyan, Lilya, ; RodrÃguez-HenrÃquez, Francisco, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 309 p. 23 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-05153-2 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 CriptografÃa Cifrado de datos (Informática) Red informática Red de computadoras TeorÃa de la codificación TeorÃa de la información Manipulación simbólica y algebraica CriptologÃa Seguridad móvil y de red Redes de comunicación informática TeorÃa de la codificación y la información Clasificación: 5.131 Resumen: Este libro constituye las actas posteriores al taller, exhaustivamente arbitradas, del Séptimo Taller Internacional sobre Aritmética de Campos Finitos, WAIFI 2018, celebrado en Bergen, Noruega, en junio de 2018. Los 14 artÃculos completos revisados ​​y las seis charlas invitadas presentadas fueron cuidadosamente revisados ​​y seleccionados. de 26 presentaciones. Los artÃculos están organizados en secciones temáticas sobre charlas invitadas; curvas elÃpticas; implementaciones de hardware; aritmética y aplicaciones de campos finitos y criptografÃa. Nota de contenido: Pre- and post-quantum diffie-hellman from groups, actions, and isogenies -- A new family of pairing-friendly elliptic curves -- superspecial hyperelliptic curves of genus 4 over small finite fields -- Fast computation of isomorphisms between finite fields using elliptic curves -- construction of some codes suitable for both side channel and fault injection attacks -- On hardware implementation of tang-maitra boolean functions -- rapid hardware design for cryptographic modules with filtering structures over small finite fields -- Sequences with low correlation -- Vector-valued modular forms on finite upper half planes -- Normal basis exhaustive search -- On symmetry and differential properties of generalized boolean functions -- Characterizations of partially bent and plateaued functions over finite fields -- Codes of length two correcting single errors of limited size II -- Fractional jumps: complete characterisation and an explicit infinite family -- Some sextics of genera five and seven attaining the serre bound -- Direct constructions of (involutory) MDS matrices from block vandermonde and cauchy-like matrices -- Exploiting preprocessing for quantum search to break parameters for MQ cryptosystems. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on the Arithmetic of Finite Field, WAIFI 2018, held in Bergen, Norway, in June 2018. The 14 revised full papers and six invited talks presented were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on invited talks; elliptic curves; hardware implementations; arithmetic and applications of finite fields and cryptography. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Arithmetic of Finite Fields : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers [documento electrónico] / Budaghyan, Lilya, ; RodrÃguez-HenrÃquez, Francisco, . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 309 p. 23 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-030-05153-2
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 CriptografÃa Cifrado de datos (Informática) Red informática Red de computadoras TeorÃa de la codificación TeorÃa de la información Manipulación simbólica y algebraica CriptologÃa Seguridad móvil y de red Redes de comunicación informática TeorÃa de la codificación y la información Clasificación: 5.131 Resumen: Este libro constituye las actas posteriores al taller, exhaustivamente arbitradas, del Séptimo Taller Internacional sobre Aritmética de Campos Finitos, WAIFI 2018, celebrado en Bergen, Noruega, en junio de 2018. Los 14 artÃculos completos revisados ​​y las seis charlas invitadas presentadas fueron cuidadosamente revisados ​​y seleccionados. de 26 presentaciones. Los artÃculos están organizados en secciones temáticas sobre charlas invitadas; curvas elÃpticas; implementaciones de hardware; aritmética y aplicaciones de campos finitos y criptografÃa. Nota de contenido: Pre- and post-quantum diffie-hellman from groups, actions, and isogenies -- A new family of pairing-friendly elliptic curves -- superspecial hyperelliptic curves of genus 4 over small finite fields -- Fast computation of isomorphisms between finite fields using elliptic curves -- construction of some codes suitable for both side channel and fault injection attacks -- On hardware implementation of tang-maitra boolean functions -- rapid hardware design for cryptographic modules with filtering structures over small finite fields -- Sequences with low correlation -- Vector-valued modular forms on finite upper half planes -- Normal basis exhaustive search -- On symmetry and differential properties of generalized boolean functions -- Characterizations of partially bent and plateaued functions over finite fields -- Codes of length two correcting single errors of limited size II -- Fractional jumps: complete characterisation and an explicit infinite family -- Some sextics of genera five and seven attaining the serre bound -- Direct constructions of (involutory) MDS matrices from block vandermonde and cauchy-like matrices -- Exploiting preprocessing for quantum search to break parameters for MQ cryptosystems. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on the Arithmetic of Finite Field, WAIFI 2018, held in Bergen, Norway, in June 2018. The 14 revised full papers and six invited talks presented were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on invited talks; elliptic curves; hardware implementations; arithmetic and applications of finite fields and cryptography. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Arithmetic of Finite Fields : 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / Tipo de documento: documento electrónico Autores: Bajard, Jean Claude, ; TopuzoÄŸlu, Alev, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVIII, 273 p. 21 ilustraciones, 13 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-68869-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 TeorÃa de la codificación TeorÃa de la información Análisis numérico Red de computadoras CriptografÃa Cifrado de datos (Informática) Manipulación simbólica y algebraica TeorÃa de la codificación y la información Aplicaciones matemáticas en informática Redes de comunicación informática CriptologÃa Clasificación: 5.131 Resumen: Este libro constituye las actas posteriores al taller, exhaustivamente arbitradas, del 8º Taller Internacional sobre Aritmética de Campos Finitos, WAIFI 2020, celebrado en Rennes, Francia, en julio de 2020. Debido a la COVID-19, el taller se llevó a cabo en lÃnea. Los 12 artÃculos completos revisados ​​y las 3 charlas invitadas presentadas fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas sobre charlas invitadas, aritmética de campos finitos, teorÃa de codificación, seguridad de redes y mucho más. Nota de contenido: Finite Field Arithmetic -- Coding Theory -- Sequences -- Special Functions over Finite Fields -- Bases. . Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020. Due to the COVID-19, the workshop was held online. The 12 revised full papers and 3 invited talks presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on invited talks, Finite Field Arithmetic, Coding Theory, Network Security and much more. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Arithmetic of Finite Fields : 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / [documento electrónico] / Bajard, Jean Claude, ; TopuzoÄŸlu, Alev, . - 1 ed. . - [s.l.] : Springer, 2021 . - XVIII, 273 p. 21 ilustraciones, 13 ilustraciones en color.
ISBN : 978-3-030-68869-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 TeorÃa de la codificación TeorÃa de la información Análisis numérico Red de computadoras CriptografÃa Cifrado de datos (Informática) Manipulación simbólica y algebraica TeorÃa de la codificación y la información Aplicaciones matemáticas en informática Redes de comunicación informática CriptologÃa Clasificación: 5.131 Resumen: Este libro constituye las actas posteriores al taller, exhaustivamente arbitradas, del 8º Taller Internacional sobre Aritmética de Campos Finitos, WAIFI 2020, celebrado en Rennes, Francia, en julio de 2020. Debido a la COVID-19, el taller se llevó a cabo en lÃnea. Los 12 artÃculos completos revisados ​​y las 3 charlas invitadas presentadas fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. Los artÃculos están organizados en secciones temáticas sobre charlas invitadas, aritmética de campos finitos, teorÃa de codificación, seguridad de redes y mucho más. Nota de contenido: Finite Field Arithmetic -- Coding Theory -- Sequences -- Special Functions over Finite Fields -- Bases. . Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020. Due to the COVID-19, the workshop was held online. The 12 revised full papers and 3 invited talks presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on invited talks, Finite Field Arithmetic, Coding Theory, Network Security and much more. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
PermalinkPermalinkPermalink
Permalink
