Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings
1st Edition 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Natural Language Processing for Electronic Design Automation
1st Edition 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
1st ed. 2020., 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Generation of Verification Artifacts from Natural Language Descriptions
Natural Language Processing for Electronic Design Automation, 2020, p.37-70
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Real-World Events Discovering with TWIST
Natural Language Processing for Electronic Design Automation, 2020, p.71-107
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Semi-Formalization of Requirements for Analogue/Mixed-Signal Products with Application in Automotive Domain
Natural Language Processing for Electronic Design Automation, 2020, p.13-35
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
(Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
Natural Language Processing for Electronic Design Automation, 2020, p.1-11
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Secure Implementation of Lattice-Based Encryption Schemes
Advanced Boolean Techniques, 2019, p.21-49
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Synthesis of Majority Expressions Through Primitive Function Manipulation
Advanced Boolean Techniques, 2019, p.135-158
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards the Structure of a Class of Permutation Matrices Associated with Bent Functions
Advanced Boolean Techniques, 2019, p.83-105
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
New Results on Reversible Boolean Functions Having Component Functions with Specified Properties
Advanced Boolean Techniques, 2019, p.217-236
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Exact Synthesis of ESOP Forms
Advanced Boolean Techniques, 2019, p.177-194
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Literal Selection in Switching Lattice Design
Advanced Boolean Techniques, 2019, p.159-175
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning
Advanced Boolean Techniques, 2019, p.107-133
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Derivative Operations for Classes CN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal {C}_N$$ \end{document} of Boolean Functions
Advanced Boolean Techniques, 2019, p.51-82
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions
Advanced Boolean Techniques, 2019, p.195-215
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Self-explaining Digital Systems: Technical View, Implementation Aspects, and Completeness
Advanced Boolean Techniques, 2019, p.1-20
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Efficient Hardware Operations for the Residue Number System by Boolean Minimization
Advanced Boolean Techniques, 2019, p.237-258
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intro
Natural Language Processing for Electronic Design Automation, 2020
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intro
Advanced Boolean Techniques, 2019
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Derivative Operations for Classes CN of Boolean Functions
Advanced Boolean Techniques, 2019
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Applications and Implementations
Reversible Computation, 2019, Vol.11497
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evaluating the Flexibility of A for Mapping Quantum Circuits
Reversible Computation, 2019, Vol.11497
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Reversible Computation, 2019, Vol.11497
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evaluation of Circuit Synthesis
Reversible Computation, 2019, Vol.11497
2019
Volltextzugriff (PDF)
1 – 25 von 44
Suche als RSS-Feed
Aktive Filter
ThemaScience & Technology
KollektioneBooks on EBSCOhost
Suchergebnisse filtern
Filter anzeigen