Autor Soeken, Mathias
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / Thomsen, Michael Kirkedal ; Soeken, Mathias
Título : 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. 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 Índice Dewey: 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. 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 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.
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 Índice Dewey: 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. 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 : Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems Tipo de documento: documento electrónico Autores: Drechsler, Rolf, ; Soeken, Mathias, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: VIII, 265 p. 53 ilustraciones, 34 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-20323-8 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: Circuitos electrónicos diseño lógico Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro describe hallazgos recientes en el dominio de la lógica booleana y el álgebra booleana, cubriendo dominios de aplicación en diseño de circuitos y sistemas, pero también investigación básica en matemáticas e informática teórica. El contenido incluye capítulos invitados y una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos. Proporciona una referencia única a las investigaciones más modernas en el campo de la síntesis lógica y las técnicas booleanas; Incluye una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos; Cubre álgebras booleanas, lógica booleana, modelado booleano, búsqueda combinatoria, aritmética booleana y bit a bit, software y herramientas para la solución de problemas booleanos, aplicaciones de lógica y álgebras booleanas, aplicaciones a problemas del mundo real, resolución de restricciones booleanas y extensiones de booleanas. lógica. Nota de contenido: Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. 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 Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems [documento electrónico] / Drechsler, Rolf, ; Soeken, Mathias, . - 1 ed. . - [s.l.] : Springer, 2020 . - VIII, 265 p. 53 ilustraciones, 34 ilustraciones en color.
ISBN : 978-3-030-20323-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Circuitos electrónicos diseño lógico Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Índice Dewey: 6.213.815 Resumen: Este libro describe hallazgos recientes en el dominio de la lógica booleana y el álgebra booleana, cubriendo dominios de aplicación en diseño de circuitos y sistemas, pero también investigación básica en matemáticas e informática teórica. El contenido incluye capítulos invitados y una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos. Proporciona una referencia única a las investigaciones más modernas en el campo de la síntesis lógica y las técnicas booleanas; Incluye una selección de los mejores artículos presentados en el 13º Taller Internacional Anual sobre Problemas Booleanos; Cubre álgebras booleanas, lógica booleana, modelado booleano, búsqueda combinatoria, aritmética booleana y bit a bit, software y herramientas para la solución de problemas booleanos, aplicaciones de lógica y álgebras booleanas, aplicaciones a problemas del mundo real, resolución de restricciones booleanas y extensiones de booleanas. lógica. Nota de contenido: Chapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. 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 : Natural Language Processing for Electronic Design Automation Tipo de documento: documento electrónico Autores: Soeken, Mathias, ; Drechsler, Rolf, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: VII, 111 p. 68 ilustraciones, 35 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-52273-5 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: Física Circuitos electrónicos Electrónica Ingenieria asistida por computadora Física Aplicada y Técnica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Ingeniería y Diseño Asistidos por Computador (CAD CAE) Índice Dewey: 621 Física aplicada Resumen: Este libro describe enfoques para integrar una mayor automatización en las primeras etapas de los flujos de diseño de EDA. Los lectores aprenderán cómo se pueden utilizar técnicas de procesamiento del lenguaje natural durante las primeras etapas de diseño para automatizar el proceso de ingeniería de requisitos y la traducción de especificaciones del lenguaje natural en descripciones formales. Este libro reúne a destacados expertos para explicar lo último en procesamiento de lenguaje natural, lo que permite a los diseñadores integrar estas técnicas en algoritmos, a través de marcos existentes. Sirve como referencia única sobre el procesamiento del lenguaje natural para la automatización del diseño electrónico; Proporciona técnicas que pueden utilizarse sin un conocimiento profundo de la lingüística informática; Incluye ejemplos ilustrativos que facilitan la aplicación de las técnicas presentadas al propio flujo de diseño del lector. Nota de contenido: Chapter 1. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications -- Chapter 2. Semi-Formalization of Requirements for Analog/Mixed-Signal Products with Application in Automotive Domain -- Chapter 3. Generation of Verification Artifacts from Natural Language Descriptions -- Chapter 4. Real-world Events Discovering with TWIST. 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 Natural Language Processing for Electronic Design Automation [documento electrónico] / Soeken, Mathias, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2020 . - VII, 111 p. 68 ilustraciones, 35 ilustraciones en color.
ISBN : 978-3-030-52273-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Física Circuitos electrónicos Electrónica Ingenieria asistida por computadora Física Aplicada y Técnica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Ingeniería y Diseño Asistidos por Computador (CAD CAE) Índice Dewey: 621 Física aplicada Resumen: Este libro describe enfoques para integrar una mayor automatización en las primeras etapas de los flujos de diseño de EDA. Los lectores aprenderán cómo se pueden utilizar técnicas de procesamiento del lenguaje natural durante las primeras etapas de diseño para automatizar el proceso de ingeniería de requisitos y la traducción de especificaciones del lenguaje natural en descripciones formales. Este libro reúne a destacados expertos para explicar lo último en procesamiento de lenguaje natural, lo que permite a los diseñadores integrar estas técnicas en algoritmos, a través de marcos existentes. Sirve como referencia única sobre el procesamiento del lenguaje natural para la automatización del diseño electrónico; Proporciona técnicas que pueden utilizarse sin un conocimiento profundo de la lingüística informática; Incluye ejemplos ilustrativos que facilitan la aplicación de las técnicas presentadas al propio flujo de diseño del lector. Nota de contenido: Chapter 1. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications -- Chapter 2. Semi-Formalization of Requirements for Analog/Mixed-Signal Products with Application in Automotive Domain -- Chapter 3. Generation of Verification Artifacts from Natural Language Descriptions -- Chapter 4. Real-world Events Discovering with TWIST. 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
