Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Mathias Soeken
| Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Mathias Soeken |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (268 pages) |
| Disciplina | 511.324 |
| Soggetto topico |
Electronic circuits
Logic design Electronics Microelectronics Circuits and Systems Logic Design Electronics and Microelectronics, Instrumentation |
| ISBN | 3-030-20323-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910366584903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Natural Language Processing for Electronic Design Automation [[electronic resource] /] / edited by Mathias Soeken, Rolf Drechsler
| Natural Language Processing for Electronic Design Automation [[electronic resource] /] / edited by Mathias Soeken, Rolf Drechsler |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (115 pages) |
| Disciplina | 006.35 |
| Soggetto topico |
Physics
Electronic circuits Electronics Microelectronics Computer-aided engineering Applied and Technical Physics Circuits and Systems Electronics and Microelectronics, Instrumentation Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-030-52273-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996418434503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Natural Language Processing for Electronic Design Automation / / edited by Mathias Soeken, Rolf Drechsler
| Natural Language Processing for Electronic Design Automation / / edited by Mathias Soeken, Rolf Drechsler |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (115 pages) |
| Disciplina | 006.35 |
| Soggetto topico |
Physics
Electronic circuits Electronics Microelectronics Computer-aided engineering Applied and Technical Physics Circuits and Systems Electronics and Microelectronics, Instrumentation Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-030-52273-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910427689303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reversible Computation [[electronic resource] ] : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / / edited by Michael Kirkedal Thomsen, Mathias Soeken
| Reversible Computation [[electronic resource] ] : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / / edited by Michael Kirkedal Thomsen, Mathias Soeken |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 247 p. 315 illus., 24 illus. in color.) |
| Disciplina | 621.395 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Logic design
Programming languages (Electronic computers) Computer programming Arithmetic and logic units, Computer Artificial intelligence Architecture, Computer Logic Design Programming Languages, Compilers, Interpreters Programming Techniques Arithmetic and Logic Structures Artificial Intelligence Computer System Implementation |
| ISBN | 3-030-21500-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466292703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / / edited by Michael Kirkedal Thomsen, Mathias Soeken
| Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings / / edited by Michael Kirkedal Thomsen, Mathias Soeken |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 247 p. 315 illus., 24 illus. in color.) |
| Disciplina |
621.395
004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Logic design
Compilers (Computer programs) Computer programming Computer arithmetic and logic units Artificial intelligence Computer systems Logic Design Compilers and Interpreters Programming Techniques Arithmetic and Logic Structures Artificial Intelligence Computer System Implementation |
| ISBN | 3-030-21500-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910337857103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||