Datasets
- 17 results
Search results
-
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
-
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
-
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
-
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
-
What constitutes software? An Empirical, Descriptive Study of Artifacts - Reproduction Dataset
Pfeiffer, H. (Creator), ZENODO, 9 Mar 2020
DOI: 10.5281/zenodo.3701443, https://zenodo.org/record/3701443
Dataset
-
DaSEA - Dataset for Software Ecosystem Analysis 03-18-2022
Buchkova, P. (Creator), Hey Hinnerskov, J. (Creator), Olsen, K. (Creator) & Pfeiffer, H. (Creator), ZENODO, 18 Mar 2022
DOI: 10.5281/zenodo.6369420, https://zenodo.org/record/6369420
Dataset
-
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
-
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
-
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
-
MarinaPipe
Marnet, L. R. (Creator), Grasshof, S. (Creator), Brodskiy, Y. (Creator) & Wasowski, A. (Creator), ZENODO, 9 Apr 2024
Dataset
-
DaSEA - Dataset for Software Ecosystem Analysis 05-22-2022
Hey Hinnerskov, J. (Creator), Olsen, K. (Creator) & Pfeiffer, H. (Creator), ZENODO, 22 May 2022
DOI: 10.5281/zenodo.6570427, https://zenodo.org/record/6570427
Dataset
-
Identifying Critical Projects via PageRank and Truck Factor - Reproduction Code and Data
Pfeiffer, H. (Creator), ZENODO, 19 Mar 2021
DOI: 10.5281/zenodo.4621650, https://zenodo.org/record/4621650
Dataset: Software
-
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
-
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
-
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
-
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
-
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