Verfasser Suchresultate :: Subito Katalog

1

Exploiting Verified Neural Networks via Floating Point Numerical Error

von Jia, Kai
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Verifying Low-Dimensional Input Neural Networks via Input Quaniization

von Jia, Kai
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Efficient Exact Verification of Binarized Neural Networks

von Jia, Kai
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 3 of 27 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

shen zhou jian wen
神州見聞

von qiao jia cai
Veröffentlicht 1980

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

dai li jiang jun he ta de tong zhi
戴笠將軍和他的同志

von qiao jia cai
Veröffentlicht 1981

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

you liang mu cao zai pei ji shu
优良牧草栽培技术

von su jia kai
Veröffentlicht 198311

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

dong han fu ci xi tong yan jiu
东汉副词系统研究

von ge jia cai
Veröffentlicht 20055

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

quan shi yu jian gou
诠释与建构陈淳与朱子学

von zhang jia cai
Veröffentlicht 20048

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Research on Slotting Optimization in Automated Warehouse of Pharmaceutical Logistics Center

von Ai-min, Deng
Veröffentlicht in 2011 International Conference on Management Science & Engineering 18th annual conference proceedings (ICMSE 2011) ; 1 (2011)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

hao ran ji
浩然集

von qiao jia cai
Veröffentlicht 1981

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

guan shan yan chen ji
關山煙塵記

von qiao jia cai
Veröffentlicht 1981

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

hai yu cong tan
海隅叢談

von qiao jia cai
Veröffentlicht 1981

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

bei jing hua er hua ci dian
北京话儿化词典

von jia cai zhu
Veröffentlicht 19909

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

nong cun xin dai
农村信贷

von huang jia cai
Veröffentlicht 19979

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

fen he
汾河

von qiao jia cai
Veröffentlicht 198308

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

tie xue jing zhong chuan
鐵血精忠傳

von qiao jia cai
Veröffentlicht 1981

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

su yuan wen ji
遡园文集四卷

von jia kai zong
Veröffentlicht 201012

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Shi xue tong lun : han Zhongguo shi xue shi
史學通論含中國史學史

von Jia, Kai 1925-
Veröffentlicht 741985

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

The vehicle deployment and relocation problem for electric vehicle sharing systems considering demand and parking space stochasticity

von Lin, Dung-Ying
Veröffentlicht in Transportation research / E (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

On the Impact of Player Capability on Congestion Games

von Yang, Yichen
Veröffentlicht in SAGT (15. : 2022 : Colchester) Algorithmic game theory (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: