UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Concentric double hollow grid cathode discharges. Spectral investigations and phenomenological approach

Plasma sources science & technology, 2021-08, Vol.30 (8), p.85006

2021

Volltextzugriff (PDF)

Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing

IEEE transactions on computer-aided design of integrated circuits and systems, 2007-07, Vol.26 (7), p.1320-1330

2007

Volltextzugriff (PDF)

Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra

IEEE transactions on very large scale integration (VLSI) systems, 2008-04, Vol.16 (4), p.376-387

2008

Volltextzugriff (PDF)

Hepatorenal Syndrome: Diagnosis and Treatment - newsreel

Revue roumaine de médecine interne (1990), 2016-09, Vol.54 (3), p.143-150

2016

Volltextzugriff (PDF)

Exploiting vanishing polynomials for equivalence verification of fixed-size arithmetic datapaths

2005 International Conference on Computer Design, 2005, p.215-220

2005

Volltextzugriff (PDF)

On rings with small Hilbert-Kunz multiplicity

Proceedings of the American Mathematical Society, 2004-09, Vol.132 (9), p.2505-2509

2004

Volltextzugriff (PDF)

The structure of F-pure rings

Mathematische Zeitschrift, 2005-08, Vol.250 (4), p.791-806

2005

Volltextzugriff (PDF)

On the Behavior of F-Rational Rings under Flat Base Change

Journal of algebra, 2000-11, Vol.233 (2), p.543-566

Enescu, Florian

2000

Volltextzugriff (PDF)

Applications of pseudocanonical covers to tight closure problems

Journal of pure and applied algebra, 2003-03, Vol.178 (2), p.159-167

Enescu, Florian

2003

Volltextzugriff (PDF)

Efficient Gröbner basis reductions for formal verification of galois field multipliers

2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, p.899-904

2012

Volltextzugriff (PDF)

On the upper semi-continuity of the Hilbert–Kunz multiplicity

Journal of algebra, 2005-03, Vol.285 (1), p.222-237

2005

Volltextzugriff (PDF)

Verification of composite Galois field multipliers over GF ((2m)n) using computer algebra techniques

2011 IEEE International High Level Design Validation and Test Workshop, 2011, p.136-143

2011

Volltextzugriff (PDF)

F-injective rings and F-stable primes

Proceedings of the American Mathematical Society, 2003-11, Vol.131 (11), p.3379-3386

Enescu, Florian

2003

Volltextzugriff (PDF)

Strong test modules and multiplier ideals

Manuscripta mathematica, 2003-08, Vol.111 (4), p.487-498

Enescu, Florian

2003

Volltextzugriff (PDF)

Test ideals and base change problems in tight closure theory

Transactions of the American Mathematical Society, 2003-02, Vol.355 (2), p.619-636

2003

Volltextzugriff (PDF)

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005, 2005, p.291-296

2005

Volltextzugriff (PDF)

Equivalence verification of arithmetic datapaths with multiple word-length operands

Proceedings of the Design Automation & Test in Europe Conference, 2006, Vol.1, p.6 pp.

2006

Volltextzugriff (PDF)

AN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS

The Bulletin of the London Mathematical Society, 2004-05, Vol.36 (3), p.351-357

2004

Volltextzugriff (PDF)

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra

International Conference on Computer Aided Design: Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design; 06-10 Nov. 2005, 2005, p.291-296

2005

Volltextzugriff (PDF)

Infinitesimal module deformations in the Thom-Sebastiani Problem

Archiv der Mathematik, 1997-09, Vol.69 (3), p.196-208

1997

Volltextzugriff (PDF)

Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors

2007 IEEE/ACM International Conference on Computer-Aided Design, 2007, p.143-148

2007

Volltextzugriff (PDF)

Optimization of Arithmetic Datapaths with Finite Word-Length Operands

2007 Asia and South Pacific Design Automation Conference, 2007, p.511-516

2007

Volltextzugriff (PDF)

Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands

2006 Formal Methods in Computer Aided Design, 2006, p.179-186

2006

Volltextzugriff (PDF)

Novel phosphorous–nitrogen intumescent flame retardant system. Its effects on flame retardancy and thermal properties of polypropylene

Polymer degradation and stability, 2013-01, Vol.98 (1), p.297-305

2013

Volltextzugriff (PDF)

Applications of Hybrid Photovoltaic Modules with Thermoelectric Cooling

Energy procedia, 2017-03, Vol.111, p.904-913

2017

Volltextzugriff (PDF)

1 – 25 von 97

Menü

Weitere Dienste

Einstellungen

Concentric double hollow grid cathode discharges. Spectral investigations and phenomenological approach

Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing

Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra

Hepatorenal Syndrome: Diagnosis and Treatment - newsreel

Exploiting vanishing polynomials for equivalence verification of fixed-size arithmetic datapaths

On rings with small Hilbert-Kunz multiplicity

The structure of F-pure rings

On the Behavior of F-Rational Rings under Flat Base Change

Applications of pseudocanonical covers to tight closure problems

Efficient Gröbner basis reductions for formal verification of galois field multipliers

On the upper semi-continuity of the Hilbert–Kunz multiplicity

Verification of composite Galois field multipliers over GF ((2m)n) using computer algebra techniques

F-injective rings and F-stable primes

Strong test modules and multiplier ideals

Test ideals and base change problems in tight closure theory

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra

Equivalence verification of arithmetic datapaths with multiple word-length operands

AN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra

Infinitesimal module deformations in the Thom-Sebastiani Problem

Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors

Optimization of Arithmetic Datapaths with Finite Word-Length Operands

Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands

Novel phosphorous–nitrogen intumescent flame retardant system. Its effects on flame retardancy and thermal properties of polypropylene

Applications of Hybrid Photovoltaic Modules with Thermoelectric Cooling

Suchergebnisse filtern