- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Auer, Ekaterina; Ahrens, Andreas: Uses of Methods with Result Verification in the Context of MIMO Systems. In: 13th Summer Workshop on Interval Methods - Book of Abstracts. Hannover : Gottfried Wilhelm Leibniz Universität, 2022
- Classification
-
Elektrotechnik, Elektronik
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2022
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2022
- Creator
-
Auer, Ekaterina
Ahrens, Andreas
- DOI
-
10.15488/13213
- URN
-
urn:nbn:de:101:1-2023032117175498025233
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:58 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Auer, Ekaterina
- Ahrens, Andreas
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2022
Other Objects (12)
Interval Analysis and Automatic Result Verification
Compiler verification in the context of pervasive system verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
From Compact MIMO to Massive MIMO
MiMo
MiMO
TLB virtualization in the context of hypervisor verification
Analysis of integrated UWB MIMO and CR antenna system using transmission line model with functional verification
No Influence of Masked Priming on the Multiplication Fact Retrieval in a Result Verification Task
9. Result
De mimo Oxyrhynchio altero.
Interval Analysis and Automatic Result Verification
Compiler verification in the context of pervasive system verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
From Compact MIMO to Massive MIMO
MiMo
MiMO
TLB virtualization in the context of hypervisor verification
Analysis of integrated UWB MIMO and CR antenna system using transmission line model with functional verification
No Influence of Masked Priming on the Multiplication Fact Retrieval in a Result Verification Task
9. Result
De mimo Oxyrhynchio altero.
Interval Analysis and Automatic Result Verification
Compiler verification in the context of pervasive system verification
Iterative solution of linear systems with improved arithmetic and result verification
Iterative solution of linear systems with improved arithmetic and result verification
From Compact MIMO to Massive MIMO
MiMo
MiMO
TLB virtualization in the context of hypervisor verification
Analysis of integrated UWB MIMO and CR antenna system using transmission line model with functional verification
No Influence of Masked Priming on the Multiplication Fact Retrieval in a Result Verification Task
9. Result