4,891 to 4,900 of 5,046 Results
May 27, 2020 - Software Reliability and Security Lab
Liu, Ye; Li, Yi; Lin, Shang-Wei, 2020, "Replication Data for: Towards Automated Verification of Smart Contract Fairness", https://doi.org/10.21979/N9/0BEVRT, DR-NTU (Data), V1
Software artifacts created for the paper titled "Towards Automated Verification of Smart Contract Fairness" accepted at FSE'20. |
TAR Archive - 4.8 MB -
MD5: 9c829d07a4d2a0208aa442b159087a67
Tarball containing contract code and raw console logs from the experiments. |
Markdown Text - 11.5 KB -
MD5: bc233c7fde39d83eccec490a7de3ba14
Information on how to obtain FairCon. |
Markdown Text - 8.2 KB -
MD5: c0a424f42840678f2362a5cf23ae6513
Information about the dataset usage. |
May 12, 2020 - Wen Yonggang
Hu, Weizheng; Li, Jie; Zhu, Chenxiao; Zhang, Wei; Wen, Yonggang, 2020, "Related data for: Heterogeneous Transfer Learning for Thermal Comfort Modeling", https://doi.org/10.21979/N9/56MTEH, DR-NTU (Data), V2, UNF:6:PfZTy8hHFxpEL725OduxrA== [fileUNF]
These datasets are collected for the GBIC project to conduct research about indoor human thermal comfort. The GBIC research project proposes to develop online thermal comfort models via a deep-learning approach and apply them to behavioral studies to drive “greener, smarter and h... |
Tabular Data - 694.7 KB - 15 Variables, 6689 Observations - UNF:6:PoNs4FzlIgmgecCNzhvvuw==
|
Tabular Data - 35.6 KB - 15 Variables, 346 Observations - UNF:6:KF2TNS3vYMelgCoIWfVCZQ==
|
Tabular Data - 39.6 KB - 15 Variables, 385 Observations - UNF:6:S/Jh31eeHROsDyPz+Z+awA==
|
Tabular Data - 35.3 KB - 15 Variables, 345 Observations - UNF:6:G1Z6eOZqhS6R5+yreez1fQ==
|
Tabular Data - 46.0 KB - 15 Variables, 448 Observations - UNF:6:bffgCqD6ZFs9yZfl0PZ//g==
|
