Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
51 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Publikation

Sprache

51 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq.
    Wang, Qian ; Song, Xiaoyu ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 34 (2015), Heft 1, S. 150-154
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover.
    Chen, Gang
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 29 (2010), Heft 1, S. 149-153
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Neutron-Induced Failure Dependence on Reverse Gate Voltage for SiC Power MOSFETs in Atmospheric Environment.
    Niskanen, K. ; Coq Germanicus, R. ; et al.
    In: IEEE Transactions on Nuclear Science, Jg. 68 (2021-08-01), Heft 8, S. 1623-1632
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formally Verified Argument Reduction with a Fused Multiply-Add.
    Boldo, Sylvie ; Daumas, Marc ; et al.
    In: IEEE Transactions on Computers, Jg. 58 (2009-08-01), Heft 8, S. 1139-1145
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven.
    Boldo, Sylvie
    In: IEEE Transactions on Computers, Jg. 58 (2009-02-01), Heft 2, S. 220-225
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Emulation of FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd.
    Boldo, Sylvie ; Melquiond, Guillaume
    In: IEEE Transactions on Computers, Jg. 57 (2008-04-01), Heft 4, S. 462-471
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Fast Antenna Far-Field Characterization via Sparse Spherical Harmonic Expansion.
    Fuchs, Benjamin ; Le Coq, Laurent ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 65 (2017-10-01), Heft 10, S. 5503-5510
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    On the Interpolation of Electromagnetic Near Field Without Prior Knowledge of the Radiating Source.
    Fuchs, Benjamin ; Le Coq, Laurent ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 65 (2017-07-01), Heft 7, S. 3568-3574
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Fast Antenna Array Diagnosis from a Small Number of Far-Field Measurements.
    Fuchs, Benjamin ; Coq, Laurent Le ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 64 (2016-06-01), Heft 6, S. 2227-2235
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Excitation Retrieval of Microwave Linear Arrays From Phaseless Far-Field Data.
    Fuchs, Benjamin ; Le Coq, Laurent
    In: IEEE Transactions on Antennas & Propagation, Jg. 63 (2015-02-01), Heft 2, S. 748-754
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Miniaturized C-Band SIW Filters Using High-Permittivity Ceramic Substrates.
    Le Coq, Michel ; Rius, Eric ; et al.
    In: IEEE Transactions on Components, Packaging & Manufacturing Technology, Jg. 5 (2015-05-01), Heft 5, S. 620-626
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Design Optimization of Multishell Luneburg Lenses.
    Fuchs, Benjamin ; Le Coq, Laurent ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 55 (2007-02-01), Heft 2, S. 283-289
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    On the Antenna Position to Improve the Radiation Pattern Characterization.
    Mezieres, Nicolas ; Fuchs, Benjamin ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 69 (2021-09-01), Heft 9, S. 5335-5344
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Memory State Verification Based on Inductive and Deductive Reasoning.
    Li, Shaofeng ; Qiao, Lei ; et al.
    In: IEEE Transactions on Reliability, Jg. 70 (2021-09-01), Heft 3, S. 1026-1039
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Fast Antenna Characterization Improvement by Pattern Rotation.
    Mezieres, Nicolas ; Fuchs, Benjamin ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 69 (2021-05-01), Heft 5, S. 2952-2957
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Impact of Electrical Stress and Neutron Irradiation on Reliability of Silicon Carbide Power MOSFET.
    Niskanen, K. ; Touboul, A. D. ; et al.
    In: IEEE Transactions on Nuclear Science, Jg. 67 (2020-07-01), Heft 7, S. 1365-1373
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A Low-Profile and High-Gain Frequency Beam Steering Subterahertz Antenna Enabled by Silicon Micromachining.
    Gomez-Torrent, Adrian ; Garcia-Vigueras, Maria ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 68 (2020-02-01), Heft 2, S. 672-682
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A Wide-Angle Scanning Switched-Beam Antenna System in LTCC Technology With High Beam Crossing Levels for V-Band Communications.
    Foglia Manzillo, Francesco ; Smierzchalski, Maciej ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 67 (2019), Heft 1, S. 541-553
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Robust Ultraminiature Capsule Antenna for Ingestible and Implantable Applications.
    Nikolayev, Denys ; Zhadobov, Maxim ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 65 (2017-11-01), Heft 11, S. 6107-6119
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Improvement of the Scanning Performance of the Extended Hemispherical Integrated Lens Antenna Using a Double Lens Focusing System.
    Nguyen, N. T. ; Boriskin, A. V. ; et al.
    In: IEEE Transactions on Antennas & Propagation, Jg. 64 (2016-08-01), Heft 8, S. 3698-3702
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -