Información de la indexación
621 Documentos en la biblioteca con la clasificación 621.395 (8)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Logic Functions and Equations : Binary Models for Computer Science Tipo de documento: documento electrónico Autores: Posthoff, Christian, ; Steinbach, Bernd, Mención de edición: 2 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 508 p. 367 ilustraciones, 54 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-02420-8 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: diseño lógico Lógica matemática Ingenieria Eléctrica Ciencias de la Computación Informática Matemáticas discretas Lógica Matemática y Fundamentos IngenierÃa eléctrica y electrónica Lógica informática y fundamentos de la programación. Matemáticas discretas en informática Clasificación: 621.395 Resumen: La segunda edición ampliada y actualizada de este texto clásico ofrece al lector una introducción completa a los conceptos de funciones y ecuaciones lógicas y sus aplicaciones en la informática. El enfoque enfatiza una comprensión profunda de los principios fundamentales, asà como de los métodos de solución numéricos y basados ​​en computadora. Actualizada en su totalidad, algunas adiciones importantes para la segunda edición incluyen: - una sección introductoria ampliada sobre ecuaciones lógicas; - un nuevo capÃtulo sobre conjuntos, redes y clases de funciones lógicas; - un nuevo capÃtulo sobre problemas SAT; - un nuevo capÃtulo sobre métodos para resolver problemas extremadamente complejos; y - una sección ampliada con nuevos métodos de descomposición que utilizan el cálculo diferencial booleano extendido a redes de funciones lógicas. El libro proporciona información sobre aplicaciones en aritmética binaria, codificación, complejidad, diseño lógico, programación, arquitectura informática e inteligencia artificial. Basado en la amplia experiencia docente de los autores, Funciones y ecuaciones lógicas es altamente recomendado para un curso de uno o dos semestres en informática y programas relacionados. Proporciona un acceso directo y de alto nivel a estos métodos y permite aplicaciones sofisticadas, cerrando de manera elegante la brecha entre las matemáticas y los fundamentos teóricos de la ciencia informática. Nota de contenido: Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. Tipo de medio : Computadora Summary : The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. Updated throughout, some major additions for the 2nd edition include: - an expanded introductory section on logic equations; - a new chapter on sets, lattices, and classes of logic functions; - a new chapter about SAT-problems; - a new chapter about methods to solve extremely complex problems; and -an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions. The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Logic Functions and Equations : Binary Models for Computer Science [documento electrónico] / Posthoff, Christian, ; Steinbach, Bernd, . - 2 ed. . - [s.l.] : Springer, 2019 . - XVI, 508 p. 367 ilustraciones, 54 ilustraciones en color.
ISBN : 978-3-030-02420-8
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: diseño lógico Lógica matemática Ingenieria Eléctrica Ciencias de la Computación Informática Matemáticas discretas Lógica Matemática y Fundamentos IngenierÃa eléctrica y electrónica Lógica informática y fundamentos de la programación. Matemáticas discretas en informática Clasificación: 621.395 Resumen: La segunda edición ampliada y actualizada de este texto clásico ofrece al lector una introducción completa a los conceptos de funciones y ecuaciones lógicas y sus aplicaciones en la informática. El enfoque enfatiza una comprensión profunda de los principios fundamentales, asà como de los métodos de solución numéricos y basados ​​en computadora. Actualizada en su totalidad, algunas adiciones importantes para la segunda edición incluyen: - una sección introductoria ampliada sobre ecuaciones lógicas; - un nuevo capÃtulo sobre conjuntos, redes y clases de funciones lógicas; - un nuevo capÃtulo sobre problemas SAT; - un nuevo capÃtulo sobre métodos para resolver problemas extremadamente complejos; y - una sección ampliada con nuevos métodos de descomposición que utilizan el cálculo diferencial booleano extendido a redes de funciones lógicas. El libro proporciona información sobre aplicaciones en aritmética binaria, codificación, complejidad, diseño lógico, programación, arquitectura informática e inteligencia artificial. Basado en la amplia experiencia docente de los autores, Funciones y ecuaciones lógicas es altamente recomendado para un curso de uno o dos semestres en informática y programas relacionados. Proporciona un acceso directo y de alto nivel a estos métodos y permite aplicaciones sofisticadas, cerrando de manera elegante la brecha entre las matemáticas y los fundamentos teóricos de la ciencia informática. Nota de contenido: Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. Tipo de medio : Computadora Summary : The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. Updated throughout, some major additions for the 2nd edition include: - an expanded introductory section on logic equations; - a new chapter on sets, lattices, and classes of logic functions; - a new chapter about SAT-problems; - a new chapter about methods to solve extremely complex problems; and -an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions. The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Principles and Structures of FPGAs Tipo de documento: documento electrónico Autores: Amano, Hideharu, Mención de edición: 1 ed. Editorial: Singapore [Malasia] : Springer Fecha de publicación: 2018 Número de páginas: IX, 231 p. 176 ilustraciones, 34 ilustraciones en color. ISBN/ISSN/DL: 978-981-1308246-- 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: diseño lógico Circuitos electrónicos Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Clasificación: 621.395 Resumen: Este completo libro de texto sobre la matriz de puertas programables en campo (FPGA) cubre su historia, conocimientos fundamentales, arquitecturas, tecnologÃas de dispositivos, tecnologÃas de diseño asistido por computadora, herramientas de diseño, ejemplos de aplicaciones y tendencias futuras. Los dispositivos lógicos programables representados por FPGA se han desarrollado rápidamente en los últimos años y se han convertido en dispositivos electrónicos clave utilizados en la mayorÃa de los productos de TI. Este libro proporciona introducciones completas adecuadas para estudiantes y principiantes, y técnicas de alto nivel útiles para ingenieros e investigadores en este campo. Desarrollado de manera diferente a los circuitos integrados habituales, el FPGA tiene estructuras, metodologÃas de diseño y técnicas de aplicación únicas. Al permitir la programación por parte de los usuarios, el dispositivo puede reducir drásticamente el creciente costo del desarrollo de chips semiconductores avanzados. La FPGA ahora impulsa los procesos de semiconductores más avanzados y es una plataforma todo en uno que combina memoria, CPU y varias interfaces periféricas. Este libro presenta la FPGA desde varios aspectos para lectores de diferentes niveles. Los estudiantes novatos pueden adquirir un conocimiento fundamental de la FPGA, incluida su historia, en el CapÃtulo 1; la primera mitad del CapÃtulo 2; y el CapÃtulo 4. Los profesionales que ya están familiarizados con el dispositivo obtendrán una comprensión más profunda de las estructuras y metodologÃas de diseño de los CapÃtulos 3 y 5. Los CapÃtulos 6 a 8 también proporcionan técnicas avanzadas y aplicaciones y tendencias de vanguardia útiles para los profesionales. Aunque las primeras partes son principalmente adecuadas para estudiantes, las secciones avanzadas del libro serán valiosas para que los profesionales adquieran una comprensión profunda de la FPGA para maximizar el rendimiento del dispositivo. Nota de contenido: Chapter 1: Basic knowledge to understand FPGAs -- Chapter 2: What is an FPGA? -- Chapter 3: FPGA Structure -- Chapter 4: Design flow and design tools -- Chapter 5: Design Methodology -- Chapter 6: Hardware Algorithms -- Chapter 7: Programmable Logic Devices (PLDs) in Practical Applications -- Chapter 8: Advanced Devices and Architectures. Tipo de medio : Computadora Summary : This comprehensive textbook on the field programmable gate array (FPGA) covers its history, fundamental knowledge, architectures, device technologies, computer-aided design technologies, design tools, examples of application, and future trends. Programmable logic devices represented by FPGAs have been rapidly developed in recent years and have become key electronic devices used in most IT products. This book provides both complete introductions suitable for students and beginners, and high-level techniques useful for engineers and researchers in this field. Differently developed from usual integrated circuits, the FPGA has unique structures, design methodologies, and application techniques. Allowing programming by users, the device can dramatically reduce the rising cost of development in advanced semiconductor chips. The FPGA is now driving the most advanced semiconductor processes and is an all-in-one platform combining memory, CPUs, and various peripheral interfaces. This book introduces the FPGA from various aspects for readers of different levels. Novice learners can acquire a fundamental knowledge of the FPGA, including its history, from Chapter 1; the first half of Chapter 2; and Chapter 4. Professionals who are already familiar with the device will gain a deeper understanding of the structures and design methodologies from Chapters 3 and 5. Chapters 6–8 also provide advanced techniques and cutting-edge applications and trends useful for professionals. Although the first parts are mainly suitable for students, the advanced sections of the book will be valuable for professionals in acquiring an in-depth understanding of the FPGA to maximize the performance of the device. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Principles and Structures of FPGAs [documento electrónico] / Amano, Hideharu, . - 1 ed. . - Singapore [Malasia] : Springer, 2018 . - IX, 231 p. 176 ilustraciones, 34 ilustraciones en color.
ISBN : 978-981-1308246--
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: diseño lógico Circuitos electrónicos Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Clasificación: 621.395 Resumen: Este completo libro de texto sobre la matriz de puertas programables en campo (FPGA) cubre su historia, conocimientos fundamentales, arquitecturas, tecnologÃas de dispositivos, tecnologÃas de diseño asistido por computadora, herramientas de diseño, ejemplos de aplicaciones y tendencias futuras. Los dispositivos lógicos programables representados por FPGA se han desarrollado rápidamente en los últimos años y se han convertido en dispositivos electrónicos clave utilizados en la mayorÃa de los productos de TI. Este libro proporciona introducciones completas adecuadas para estudiantes y principiantes, y técnicas de alto nivel útiles para ingenieros e investigadores en este campo. Desarrollado de manera diferente a los circuitos integrados habituales, el FPGA tiene estructuras, metodologÃas de diseño y técnicas de aplicación únicas. Al permitir la programación por parte de los usuarios, el dispositivo puede reducir drásticamente el creciente costo del desarrollo de chips semiconductores avanzados. La FPGA ahora impulsa los procesos de semiconductores más avanzados y es una plataforma todo en uno que combina memoria, CPU y varias interfaces periféricas. Este libro presenta la FPGA desde varios aspectos para lectores de diferentes niveles. Los estudiantes novatos pueden adquirir un conocimiento fundamental de la FPGA, incluida su historia, en el CapÃtulo 1; la primera mitad del CapÃtulo 2; y el CapÃtulo 4. Los profesionales que ya están familiarizados con el dispositivo obtendrán una comprensión más profunda de las estructuras y metodologÃas de diseño de los CapÃtulos 3 y 5. Los CapÃtulos 6 a 8 también proporcionan técnicas avanzadas y aplicaciones y tendencias de vanguardia útiles para los profesionales. Aunque las primeras partes son principalmente adecuadas para estudiantes, las secciones avanzadas del libro serán valiosas para que los profesionales adquieran una comprensión profunda de la FPGA para maximizar el rendimiento del dispositivo. Nota de contenido: Chapter 1: Basic knowledge to understand FPGAs -- Chapter 2: What is an FPGA? -- Chapter 3: FPGA Structure -- Chapter 4: Design flow and design tools -- Chapter 5: Design Methodology -- Chapter 6: Hardware Algorithms -- Chapter 7: Programmable Logic Devices (PLDs) in Practical Applications -- Chapter 8: Advanced Devices and Architectures. Tipo de medio : Computadora Summary : This comprehensive textbook on the field programmable gate array (FPGA) covers its history, fundamental knowledge, architectures, device technologies, computer-aided design technologies, design tools, examples of application, and future trends. Programmable logic devices represented by FPGAs have been rapidly developed in recent years and have become key electronic devices used in most IT products. This book provides both complete introductions suitable for students and beginners, and high-level techniques useful for engineers and researchers in this field. Differently developed from usual integrated circuits, the FPGA has unique structures, design methodologies, and application techniques. Allowing programming by users, the device can dramatically reduce the rising cost of development in advanced semiconductor chips. The FPGA is now driving the most advanced semiconductor processes and is an all-in-one platform combining memory, CPUs, and various peripheral interfaces. This book introduces the FPGA from various aspects for readers of different levels. Novice learners can acquire a fundamental knowledge of the FPGA, including its history, from Chapter 1; the first half of Chapter 2; and Chapter 4. Professionals who are already familiar with the device will gain a deeper understanding of the structures and design methodologies from Chapters 3 and 5. Chapters 6–8 also provide advanced techniques and cutting-edge applications and trends useful for professionals. Although the first parts are mainly suitable for students, the advanced sections of the book will be valuable for professionals in acquiring an in-depth understanding of the FPGA to maximize the performance of the device. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings Tipo de documento: documento electrónico Autores: Kari, Jarkko, ; Ulidowski, Irek, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 353 p. 132 ilustraciones ISBN/ISSN/DL: 978-3-319-99498-7 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: diseño lógico Inteligencia artificial Compiladores (programas informáticos) Red de computadoras IngenierÃa de software Compiladores e intérpretes Redes de comunicación informática Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Computación Reversible, RC 2018, celebrada en Leicester, Reino Unido, en septiembre de 2018. Los 13 artÃculos completos, 7 breves y un tutorial incluidos en este volumen, junto con cuatro charlas invitadas, fueron cuidadosamente revisado y seleccionado entre 28 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: computación concurrente reversible; circuitos cuánticos; lenguajes de programación reversibles; y aplicaciones. Nota de contenido: Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings [documento electrónico] / Kari, Jarkko, ; Ulidowski, Irek, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 353 p. 132 ilustraciones.
ISBN : 978-3-319-99498-7
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: diseño lógico Inteligencia artificial Compiladores (programas informáticos) Red de computadoras IngenierÃa de software Compiladores e intérpretes Redes de comunicación informática Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Computación Reversible, RC 2018, celebrada en Leicester, Reino Unido, en septiembre de 2018. Los 13 artÃculos completos, 7 breves y un tutorial incluidos en este volumen, junto con cuatro charlas invitadas, fueron cuidadosamente revisado y seleccionado entre 28 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: computación concurrente reversible; circuitos cuánticos; lenguajes de programación reversibles; y aplicaciones. Nota de contenido: Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Thomsen, Michael Kirkedal, ; Soeken, Mathias, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: VIII, 247 p. 315 ilustraciones, 24 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-21500-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: diseño lógico Compiladores (programas informáticos) Programación de computadoras Unidades aritméticas y lógicas informáticas. Inteligencia artificial Sistemas informáticos Compiladores e intérpretes Técnicas de programación Estructuras aritméticas y lógicas Implementación de sistema informático Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Computación Reversible, RC 2019, celebrada en Lausana, Suiza, en junio de 2019. Los 12 artÃculos completos y dos artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. También se incluye una charla invitada. Los artÃculos están organizados en las siguientes secciones temáticas: teorÃa y fundamento; lenguajes de programación; sÃntesis de circuitos; evaluación de sÃntesis de circuitos; y aplicaciones e implementaciones. Nota de contenido: Invited Talk -- Concurrent Quantum Strategies -- Theory and Foundation -- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits -- Inversion, Iteration, and the Art of Dual Wielding -- Reversibility vs local creation/destruction -- Characterizing Compatible View Updates in Syntactic Bidirectionalization -- Programming Languages -- Sized Types for low-level Quantum Metaprogramming -- Reversible Imperative Parallel Programs and Debugging -- Circuit Synthesis -- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation -- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid -- Evaluation of Circuit Synthesis -- Evaluating the Flexibility of A* for Mapping Quantum Circuits -- Evaluating ESOP Optimization Methods in Quantum Compilation Flows -- Applications and Implementations -- Implementing NChooseK on IBM Q Quantum Computers -- Reversible Carry-Lookahead Addition With Few Ancillae -- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / [documento electrónico] / Thomsen, Michael Kirkedal, ; Soeken, Mathias, . - 1 ed. . - [s.l.] : Springer, 2019 . - VIII, 247 p. 315 ilustraciones, 24 ilustraciones en color.
ISBN : 978-3-030-21500-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: diseño lógico Compiladores (programas informáticos) Programación de computadoras Unidades aritméticas y lógicas informáticas. Inteligencia artificial Sistemas informáticos Compiladores e intérpretes Técnicas de programación Estructuras aritméticas y lógicas Implementación de sistema informático Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Computación Reversible, RC 2019, celebrada en Lausana, Suiza, en junio de 2019. Los 12 artÃculos completos y dos artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. También se incluye una charla invitada. Los artÃculos están organizados en las siguientes secciones temáticas: teorÃa y fundamento; lenguajes de programación; sÃntesis de circuitos; evaluación de sÃntesis de circuitos; y aplicaciones e implementaciones. Nota de contenido: Invited Talk -- Concurrent Quantum Strategies -- Theory and Foundation -- A Birkhoff Connection between Quantum Circuits and Linear Classical Reversible Circuits -- Inversion, Iteration, and the Art of Dual Wielding -- Reversibility vs local creation/destruction -- Characterizing Compatible View Updates in Syntactic Bidirectionalization -- Programming Languages -- Sized Types for low-level Quantum Metaprogramming -- Reversible Imperative Parallel Programs and Debugging -- Circuit Synthesis -- Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures -- Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation -- An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid -- Evaluation of Circuit Synthesis -- Evaluating the Flexibility of A* for Mapping Quantum Circuits -- Evaluating ESOP Optimization Methods in Quantum Compilation Flows -- Applications and Implementations -- Implementing NChooseK on IBM Q Quantum Computers -- Reversible Carry-Lookahead Addition With Few Ancillae -- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings Tipo de documento: documento electrónico Autores: Lanese, Ivan, ; Rawski, Mariusz, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 281 p. 355 ilustraciones, 56 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-52482-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: diseño lógico Ciencias de la Computación Estructuras de datos (Informática) TeorÃa de la información IngenierÃa Informática Red de computadoras Estructuras de datos y teorÃa de la información IngenierÃa Informática y Redes Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional sobre Computación Reversible, RC 2020, celebrada en Oslo, Noruega, en julio de 2020. Los 17 artÃculos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: teorÃa y fundamento; lenguajes de programación; sÃntesis de circuitos; evaluación de sÃntesis de circuitos; y aplicaciones e implementaciones. Nota de contenido: Reversible Occurrence Nets and Causal Reversible Event Structures -- Involutory Turing Machines -- Event structures for the reversible early internal pi-calculus -- Hermes: A Language for Light-Weight Encryption -- Reversible programming languages capturing complexity classes -- On the expressivity of total reversible programming languages -- Toward a Curry-Howard Correspondence for Linear, Reversible Computation -- A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper -- Fractional Types: Expressive and Safe Space Management for Ancilla Bits -- Circuit Synthesis -- Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem -- Maximality of reversible gate sets -- Search-based Transformation Synthesis for 3-valued Reversible Circuits.-ReverCSP: Time-travelling in CSP computations -- Reversible Computations in Logic Programming -- Towards a formal account for software transactional memory -- Encoding Reversing Petri Nets in Answer Set Programming -- A Reversible Runtime Environment for Parallel Programs. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings [documento electrónico] / Lanese, Ivan, ; Rawski, Mariusz, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 281 p. 355 ilustraciones, 56 ilustraciones en color.
ISBN : 978-3-030-52482-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: diseño lógico Ciencias de la Computación Estructuras de datos (Informática) TeorÃa de la información IngenierÃa Informática Red de computadoras Estructuras de datos y teorÃa de la información IngenierÃa Informática y Redes Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional sobre Computación Reversible, RC 2020, celebrada en Oslo, Noruega, en julio de 2020. Los 17 artÃculos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: teorÃa y fundamento; lenguajes de programación; sÃntesis de circuitos; evaluación de sÃntesis de circuitos; y aplicaciones e implementaciones. Nota de contenido: Reversible Occurrence Nets and Causal Reversible Event Structures -- Involutory Turing Machines -- Event structures for the reversible early internal pi-calculus -- Hermes: A Language for Light-Weight Encryption -- Reversible programming languages capturing complexity classes -- On the expressivity of total reversible programming languages -- Toward a Curry-Howard Correspondence for Linear, Reversible Computation -- A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper -- Fractional Types: Expressive and Safe Space Management for Ancilla Bits -- Circuit Synthesis -- Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem -- Maximality of reversible gate sets -- Search-based Transformation Synthesis for 3-valued Reversible Circuits.-ReverCSP: Time-travelling in CSP computations -- Reversible Computations in Logic Programming -- Towards a formal account for software transactional memory -- Encoding Reversing Petri Nets in Answer Set Programming -- A Reversible Runtime Environment for Parallel Programs. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation: Extending Horizons of Computing / Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla
Permalink
