Datasets
- 13 results
Search results
-
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Ghorbani, A. (Creator), Cassee, N. W. (Creator), Robinson, D. (Creator), Alami, A. (Creator), Ernst, N. (Creator), Serebrenik, A. (Creator) & Wasowski, A. (Creator), ZENODO, 1 Sept 2022
DOI: 10.5281/zenodo.7040317, https://zenodo.org/records/7040317
Dataset
-
MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Høeg-Petersen, A. H. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 May 2024
DOI: 10.5281/zenodo.11191543, https://zenodo.org/records/11191543
Dataset: Software
-
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 1 Jun 2025
DOI: 10.5281/zenodo.14288652, https://zenodo.org/records/14288652
Dataset: Software
-
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Accompanying Artifact)
Rønneberg, R. C. (Creator), Pardo, R. (Creator) & Wąsowski, A. (Creator), ZENODO, 22 Jul 2023
DOI: 10.5281/zenodo.8173905, https://zenodo.org/record/8173905
Dataset: Software
-
Model-Checking the Implementation of Consent (Accompanying Artifact)
Pardo, R. (Creator) & Métayer, D. L. (Creator), ZENODO, 26 Jun 2024
DOI: 10.5281/zenodo.12550375, https://zenodo.org/records/12550375
Dataset: Software
-
SeagrassFinder: An Underwater Eelgrass Image Classification Dataset
Elsäßer, J. (Creator), Weihl, L. (Creator), Tangaa Nielsen, L. (Creator) & Veronika, C. (Creator), ZENODO, 8 Oct 2024
DOI: 10.5281/zenodo.13904604, https://zenodo.org/records/13904604
Dataset
-
Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality?
Adam, A. (Creator), Raul, P. (Data Collector) & Johan, L. (Contributor), ZENODO, 26 Apr 2024
DOI: 10.5281/zenodo.11069770, https://zenodo.org11069770 and one more link, https://zenodo.org/records/10625578 (show fewer)
Dataset
-
Artifacts for the VaMoS 2022 Paper - Unified Operations for Variability in Space and Time
Ananieva, S. (Creator), Greiner, S. (Creator), Krüger, J. (Creator), Linsbauer, L. (Creator), Grüner, S. (Creator), Kehrer, T. (Creator), Kühn, T. (Creator), Seidl, C. (Creator) & Reussner, R. (Creator), ZENODO, 6 Jan 2022
DOI: 10.5281/zenodo.5825135, https://zenodo.org/record/5825135
Dataset
-
MarinaPipe
Marnet, L. R. (Creator), Grasshof, S. (Creator), Brodskiy, Y. (Creator) & Wasowski, A. (Creator), ZENODO, 9 Apr 2024
Dataset
-
Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
Varshosaz, M. (Creator), Ghaffari, M. (Creator), Johnsen, E. B. (Creator) & Wasowski, A. (Creator), ZENODO, 26 Jun 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Dataset: Software
-
git-afsantos/haros: HAROS v3.10.16
Santos, A. (Creator), Krichenbauer, M. (Contributor), Laezza, D. (Contributor), Bordignon, M. (Contributor), Hechtbauer, J. (Contributor), Rogleva, E. (Contributor), Arguedas, M. (Contributor), Wąsowski, A. (Contributor), García, N. H. (Contributor), Hoorn, G. A. V. (Contributor), Limpert, N. (Contributor), Paques, A. (Contributor), Deshpande, H. (Contributor) & Carvalho, R. (Contributor), ZENODO, 4 Sept 2021
DOI: 10.5281/zenodo.5442452, https://zenodo.org/record/5442452
Dataset: Software
-
Artifact for Symbolic Semantics for Probabilistic Programs
Voogd, E. (Creator), Johnsen, E. B. (Creator), Silva, A. (Creator), Susag, Z. J. (Creator) & Wąsowski, A. (Creator), ZENODO, 12 Jul 2023
DOI: 10.5281/zenodo.8139552, https://zenodo.org/record/8139552
Dataset: Software
-
MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 Nov 2024
DOI: 10.5281/zenodo.14160730, https://zenodo.org/records/14160730
Dataset