IT-Universitetet i København

Søgeresultater

• Formal Specification and Testing for Reinforcement Learning (Supplementary Material )

  Varshosaz, M. (Ophavsmand), Ghaffari, M. (Ophavsmand), Johnsen, E. B. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 26 jun. 2023

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

  Datasæt: Software

• Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Accompanying Artifact)

  Rønneberg, R. C. (Ophavsmand), Pardo, R. (Ophavsmand) & Wąsowski, A. (Ophavsmand), ZENODO, 22 jul. 2023

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

  Datasæt: Software

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

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

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

  Datasæt

• git-afsantos/haros: HAROS v3.10.16

  Santos, A. (Ophavsmand), Krichenbauer, M. (Bidrager), Laezza, D. (Bidrager), Bordignon, M. (Bidrager), Hechtbauer, J. (Bidrager), Rogleva, E. (Bidrager), Arguedas, M. (Bidrager), Wąsowski, A. (Bidrager), García, N. H. (Bidrager), Hoorn, G. A. V. (Bidrager), Limpert, N. (Bidrager), Paques, A. (Bidrager), Deshpande, H. (Bidrager) & Carvalho, R. (Bidrager), ZENODO, 4 sep. 2021

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

  Datasæt: Software

• MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark

  Hahyeon Kim, E. (Ophavsmand), Dyhre Nielsen, T. (Ophavsmand), Ghaffari, M. (Ophavsmand), Goorden, M. (Ophavsmand), Holck Høeg-Petersen, A. (Ophavsmand), Guldstrand Larsen, K. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 14 nov. 2024

  DOI: 10.5281/zenodo.14160730, https://zenodo.org/records/14160730

  Datasæt

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

  Hedam, N. (Ophavsmand) & Lee, S. (Ophavsmand), ZENODO, 11 maj 2023

  DOI: 10.5281/zenodo.7924286, https://zenodo.org/record/7924286 Og 3 flere links, https://zenodo.org/record/7924259, https://zenodo.org/record/7924320, https://zenodo.org/record/7924235 (vis færre)

  Datasæt: Software

• Artifacts for the VaMoS 2022 Paper - Unified Operations for Variability in Space and Time

  Ananieva, S. (Ophavsmand), Greiner, S. (Ophavsmand), Krüger, J. (Ophavsmand), Linsbauer, L. (Ophavsmand), Grüner, S. (Ophavsmand), Kehrer, T. (Ophavsmand), Kühn, T. (Ophavsmand), Seidl, C. (Ophavsmand) & Reussner, R. (Ophavsmand), ZENODO, 6 jan. 2022

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

  Datasæt

• Political Stance in Danish

  Lehmann, R. (Ophavsmand) & Derczynski, L. (Ophavsmand), ZENODO, 28 maj 2020

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

  Datasæt: Software

• Sentiment Analysis Multitool - lucaspuvis/SAM

  Ejbye Christensen, S. (Ophavsmand), Chavannes, L. P. D. (Ophavsmand), Derczynski, L. (Vejleder), Due Jensen, P. (Ophavsmand) & Kongsbak, M. (Ophavsmand), ZENODO, 28 maj 2020

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

  Datasæt: Software

• MarinaPipe

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

  DOI: 10.5281/zenodo.10951362

  Datasæt

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

  Aiello, L. M. (Ophavsmand), ZENODO, 15 jul. 2021

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

  Datasæt