IT University of Copenhagen

Search results

• 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

• 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

• Comparison of a system using the MROS metacontroller to a benchmark system (Baseline) for a navigation mission

  Bozhinoski, D. (Creator), Oviedo, M. A. G. (Creator), Garcia, N. H. (Creator), van der Hoorn, G. (Creator), Tjerngren, J. (Creator), Wasowski, A. (Creator) & Corbato, C. H. (Creator), ZENODO, 31 Aug 2021

  DOI: 10.5281/zenodo.5340886, https://zenodo.org/record/5340886

  Dataset

• 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

• 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

• delilah-csp/delilah-pt: v0.1

  Hedam, N. (Creator) & Lee, S. (Creator), ZENODO, 11 May 2023

  DOI: 10.5281/zenodo.7924286, https://zenodo.org/record/7924286 and 3 more links, https://zenodo.org/record/7924259, https://zenodo.org/record/7924320, https://zenodo.org/record/7924235 (show fewer)

  Dataset: Software

• 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

• Political Stance in Danish

  Lehmann, R. (Creator) & Derczynski, L. (Creator), ZENODO, 28 May 2020

  DOI: 10.5281/zenodo.3862148, https://zenodo.org/record/3862148

  Dataset: Software

• Sentiment Analysis Multitool - lucaspuvis/SAM

  Ejbye Christensen, S. (Creator), Chavannes, L. P. D. (Creator), Derczynski, L. (Supervisor), Due Jensen, P. (Creator) & Kongsbak, M. (Creator), ZENODO, 28 May 2020

  DOI: 10.5281/zenodo.3862733, https://zenodo.org/record/3862733

  Dataset: Software

• MarinaPipe

  Marnet, L. R. (Creator), Grasshof, S. (Creator), Brodskiy, Y. (Creator) & Wasowski, A. (Creator), ZENODO, 9 Apr 2024

  DOI: 10.5281/zenodo.10951362

  Dataset

• Epidemic Dreams: Dreaming about health during the COVID-19 pandemic

  Aiello, L. M. (Creator), ZENODO, 15 Jul 2021

  DOI: 10.5061/dryad.r7sqv9scc, https://zenodo.org/record/5109021

  Dataset