Personensuche
X
?
Materials for energy conversion devices ,
1
Defect disorder, transport and photoelectrochemical propert..:
, In:
?
Materials for Energy Conversion Devices ,
3
Defect disorder, transport and photoelectrochemical propert..:
, In:
?
Materials for energy conversion devices ,
4
Defect disorder, transport and photoelectrochemical propert..:
, In:
?
7th International Hybrid Power Plants & Systems Workshop (HYB 2023) ,
6
Procedure for parameter identification and validation of go..:
, In:
?
2021 IEEE International Electron Devices Meeting (IEDM) ,
8
28nm CIS-Compatible Embedded STT-MRAM for Frame Buffer Memo..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
9
Robustness Verification of Semantic Segmentation Neural Net..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
10
NNV: The Neural Network Verification Tool for Deep Neural N..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
11
Improved Geometric Path Enumeration for Verifying ReLU Neur..:
, In:
?
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) ,
12
Demo: The Neural Network Verification (NNV) Tool:
, In:
?
2020 IEEE International Electron Devices Meeting (IEDM) ,
13
28-nm 0.08 mm2/Mb Embedded MRAM for Frame Buffer Memory:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
14
Verification of Deep Convolutional Neural Networks Using Im..:
, In:
?
Lecture Notes in Electrical Engineering; Proceedings of the 21st International Symposium on High Voltage Engineering ,
15