Información del autor
Autor Soeken, Mathias |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda
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. Idioma : Inglés (eng) Palabras clave: Circuitos electrónicos diseño lógico Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Clasificación: 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. Tipo de medio : Computadora Summary : This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
Palabras clave: Circuitos electrónicos diseño lógico Electrónica Circuitos y sistemas electrónicos Electrónica y Microelectrónica Instrumentación Clasificación: 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. Tipo de medio : Computadora Summary : This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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) Clasificación: 621 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. Tipo de medio : Computadora Summary : This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the translation of natural language specifications into formal descriptions. This book brings together leading experts to explain the state-of-the-art in natural language processing, enabling designers to integrate these techniques into algorithms, through existing frameworks. Serves as a single-source reference to natural language processing for electronic design automation; Provides techniques that can be used without a deep understanding of computer linguistics; Includes illustrative examples that make it easy to apply the techniques presented to the reader's own design flow. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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) Clasificación: 621 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. Tipo de medio : Computadora Summary : This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the translation of natural language specifications into formal descriptions. This book brings together leading experts to explain the state-of-the-art in natural language processing, enabling designers to integrate these techniques into algorithms, through existing frameworks. Serves as a single-source reference to natural language processing for electronic design automation; Provides techniques that can be used without a deep understanding of computer linguistics; Includes illustrative examples that make it easy to apply the techniques presented to the reader's own design flow. 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 [...]
