Datasets
- 25 - 50 out of 123 results
Search results
-
PDDL Generators
Seipp, J. (Creator), Torralba, A. (Creator) & Hoffmann, J. (Creator), Zenodo, 24 Mar 2022
DOI: 10.5281/zenodo.6382174, https://zenodo.org/record/6382174
Dataset
-
DBpedia RDF2Vec Graph Embeddings
Christensen, M. P. (Creator), Lissandrini, M. (Creator) & Hose, K. (Creator), Zenodo, 22 Mar 2022
DOI: 10.5281/zenodo.6384728, https://zenodo.org/record/6384728
Dataset
-
EXIOBASE
Consortium, E. (Creator) & Hansen, E. R. (Contributor), Harvard Dataverse, 16 Mar 2022
DOI: 10.7910/dvn/xkzqua, https://dataverse.harvard.edu/citation?persistentId=doi:10.7910/DVN/XKZQUA
Dataset
-
Supplementary Materials: Developers Activity Satisfaction and Performance during the COVID-19 Pandemic
Russo, D. (Creator), Hanel, P. H. P. (Creator), Altnickel, S. (Creator) & van Berkel, N. (Creator), Zenodo, 14 Feb 2022
DOI: 10.5281/zenodo.5907035, https://zenodo.org/record/5907035
Dataset: Supplementary material
-
Nfer capsule demonstrating command-line use with the LANL spec
Kauffman, S. (Creator), Code Ocean, 2022
DOI: 10.24433/co.0237670.v1, https://codeocean.com/capsule/0105336/tree/v1
Dataset
-
Resources for Lothbrok: Optimizing SPARQL Queries over Decentralized Knowledge Graphs
Aebeloe, C. T. (Contributor), Montoya, G. (Contributor) & Hose, K. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6538999, https://zenodo.org/record/6538999
Dataset
-
A Theory of Scrum Team Effectiveness: Dataset and Supplementary Materials
Verwijs, C. (Creator) & Russo, D. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6905812, https://zenodo.org/record/6905812
Dataset: Supplementary material
-
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
Hasrat, I. R. (Creator), Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Srba, J. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6548367, https://zenodo.org/record/6548367
Dataset
-
Seroprevalence of SARS-CoV-2 antibodies in social housing areas in Denmark
Fogh, K. (Creator), Eriksen, A. R. R. (Creator), Hasselbalch, R. B. (Creator), Kristensen, E. S. (Creator), Bundgaard, H. (Creator), Nielsen, S. D. (Creator), Jørgensen, C. S. (Creator), Scharff, B. F. S. S. (Creator), Erikstrup, C. (Creator), Sækmose, S. G. (Creator), Holm, D. K. (Creator), Aagaard Jensen, B. (Creator), Norsk, J. (Creator), Nielsen, P. B. (Creator), Kristensen, J. H. (Creator), Østergaard, L. (Creator), Ellermann-Eriksen, S. (Creator), Andersen, B. (Creator), Nielsen, H. (Creator), Johansen, I. S. (Creator), Wiese, L. (Creator), Simonsen, L. (Creator), Fischer, T. K. (Creator), Folke, F. (Creator), Lippert, F. (Creator), Ostrowski, S. R. (Creator), Ethelberg, S. (Creator), Koch, A. (Creator), Vangsted, A. (Creator), Krause, T. G. (Creator), Fomsgaard, A. (Creator), Nielsen, C. (Creator), Ullum, H. (Creator), Skov, R. (Creator) & Iversen, K. (Creator), Figshare, 2022
DOI: 10.6084/m9.figshare.c.5837485, https://springernature.figshare.com/collections/Seroprevalence_of_SARS-CoV-2_antibodies_in_social_housing_areas_in_Denmark/5837485
Dataset
-
Additional file 2 of Seroprevalence of SARS-CoV-2 antibodies in social housing areas in Denmark
Skov, R. (Creator), Johansen, I. S. (Creator), S?kmose, S. G. (Creator), Nielsen, H. (Creator), Ellermann-Eriksen, S. (Creator), ?stergaard, L. (Creator), Ethelberg, S. (Creator), Wiese, L. (Creator), J?rgensen, C. S. (Creator), Erikstrup, C. (Creator), Iversen, K. (Creator), Hasselbalch, R. B. (Creator), Krause, T. G. (Creator), Kristensen, J. H. (Creator), Koch, A. (Creator), Folke, F. (Creator), Bundgaard, H. (Creator), Aagaard Jensen, B. (Creator), Vangsted, A. (Creator), Ullum, H. (Creator), Simonsen, L. (Creator), Norsk, J. (Creator), Ostrowski, S. R. (Creator), Andersen, B. (Creator), Nielsen, P. B. (Creator), Fomsgaard, A. (Creator), Lippert, F. (Creator), Fogh, K. (Creator), Scharff, B. F. S. S. (Creator), Nielsen, S. D. (Creator), Eriksen, A. R. R. (Creator), Holm, D. K. (Creator), Nielsen, C. (Creator), Kristensen, E. S. (Creator) & Fischer, T. K. (Creator), Figshare, 2022
DOI: 10.6084/m9.figshare.19159315.v1, https://springernature.figshare.com/articles/journal_contribution/Additional_file_2_of_Seroprevalence_of_SARS-CoV-2_antibodies_in_social_housing_areas_in_Denmark/19159315/1
Dataset
-
How Scrum Adds Value to Achieving Software Quality?
Alami, A. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6624064, https://zenodo.org/record/6624064
Dataset
-
Resources for Lothbrok: Optimizing SPARQL Queries over Decentralized Knowledge Graphs
Aebeloe, C. T. (Contributor), Montoya, G. (Contributor) & Hose, K. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.7219832, https://zenodo.org/record/7219832
Dataset
-
Evaluation Artifacts for: Solving String Theories involving Regular Membership Predicates Using SAT
Kulczynski, M. (Creator), Lotz, K. (Creator), Nowotka, D. (Creator) & Poulsen, D. B. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6384326, https://zenodo.org/record/6384326
Dataset
-
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Kochdumper, N. (Creator), Schilling, C. (Creator), Althoff, M. (Creator) & Bak, S. (Creator), Code Ocean, 2022
DOI: 10.24433/co.0983169.v1, https://codeocean.com/capsule/8237552/tree/v1
Dataset
-
Automatically Extracted SHACL Shapes for WikiData, DBpedia, YAGO-4, and LUBM & Associated Coverage Statistics
Rabbani, K. (Creator), Lissandrini, M. (Creator) & Hose, K. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6798849, https://zenodo.org/record/6798849
Dataset
-
Code, Benchmarks, and Data of "Towards Believable Non-Player Characters with Domain-Independent Planning"
Johansen, N. S. (Contributor), Kær, L. B. (Contributor), Tollund, R. G. (Contributor) & Torralba, A. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6594835, https://zenodo.org/record/6594835
Dataset
-
Artifact for "NetStack: A Game Approach to Synthesizing Consistent Network Updates"
Schmid, S. (Creator), Schrenk, B. C. (Creator) & Torralba, A. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6506194, https://zenodo.org/record/6506194
Dataset
-
Artefact for "Playing Wordle with Uppaal Stratego"
Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Mikucionis, M. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6703959, https://zenodo.org/record/6703959
Dataset
-
SARS-CoV-2 antibody prevalence among homeless people and shelter workers in Denmark: a nationwide cross-sectional study
Eriksen, A. R. R. (Creator), Fogh, K. (Creator), Hasselbalch, R. B. (Creator), Bundgaard, H. (Creator), Nielsen, S. D. (Creator), Jørgensen, C. S. (Creator), Scharff, B. F. S. S. (Creator), Erikstrup, C. (Creator), Sækmose, S. G. (Creator), Holm, D. K. (Creator), Aagaard Jensen, B. (Creator), Kristensen, J. H. (Creator), Bødker, C. A. (Creator), Norsk, J. B. (Creator), Nielsen, P. B. (Creator), Østergaard, L. (Creator), Ellermann-Eriksen, S. (Creator), Andersen, B. (Creator), Nielsen, H. (Creator), Johansen, I. S. (Creator), Wiese, L. (Creator), Simonsen, L. (Creator), K.Fischer, T. (Creator), Folke, F. (Creator), Lippert, F. (Creator), Ostrowski, S. R. (Creator), Ethelberg, S. (Creator), Koch, A. (Creator), Vangsted, A. (Creator), Krause, T. (Creator), Fomsgaard, A. (Creator), Nielsen, C. (Creator), Ullum, H. (Creator), Skov, R. (Creator) & Iversen, K. (Creator), Figshare, 2022
DOI: 10.6084/m9.figshare.c.6067880.v1, https://springernature.figshare.com/collections/SARS-CoV-2_antibody_prevalence_among_homeless_people_and_shelter_workers_in_Denmark_a_nationwide_cross-sectional_study/6067880/1
Dataset
-
Seroprevalence of SARS-CoV-2 antibodies in social housing areas in Denmark
Fogh, K. (Creator), Eriksen, A. R. R. (Creator), Hasselbalch, R. B. (Creator), Kristensen, E. S. (Creator), Bundgaard, H. (Creator), Nielsen, S. D. (Creator), Jørgensen, C. S. (Creator), Scharff, B. F. S. S. (Creator), Erikstrup, C. (Creator), Sækmose, S. G. (Creator), Holm, D. K. (Creator), Aagaard Jensen, B. (Creator), Norsk, J. (Creator), Nielsen, P. B. (Creator), Kristensen, J. H. (Creator), Østergaard, L. (Creator), Ellermann-Eriksen, S. (Creator), Andersen, B. (Creator), Nielsen, H. (Creator), Johansen, I. S. (Creator), Wiese, L. (Creator), Simonsen, L. (Creator), Fischer, T. K. (Creator), Folke, F. (Creator), Lippert, F. (Creator), Ostrowski, S. R. (Creator), Ethelberg, S. (Creator), Koch, A. (Creator), Vangsted, A. (Creator), Krause, T. G. (Creator), Fomsgaard, A. (Creator), Nielsen, C. (Creator), Ullum, H. (Creator), Skov, R. (Creator) & Iversen, K. (Creator), Figshare, 2022
DOI: 10.6084/m9.figshare.c.5837485.v1, https://springernature.figshare.com/collections/Seroprevalence_of_SARS-CoV-2_antibodies_in_social_housing_areas_in_Denmark/5837485/1
Dataset
-
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G. (Contributor), Mariegaard, A. (Contributor), Schmid, S. (Contributor) & Srba, J. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.6534949, https://zenodo.org/record/6534949
Dataset
-
Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Johansen, N. S. (Contributor), Kær, L. B. (Contributor), Madsen, A. L. (Contributor), Nielsen, K. Ø. (Contributor), Srba, J. (Contributor) & Tollund, R. G. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.7258208, https://zenodo.org/record/7258208
Dataset
-
Code-level experimental result data of deep learning based diagnosis code prediction using patient medication history
Hansen, E. R. (Creator), Sagi, T. (Creator), Hose, K. (Creator), Larsen, T. B. (Creator), Skjøth, F. (Creator), Lip, G. Y. H. (Creator) & Hansen, E. R. (Contributor), Harvard Dataverse, 2022
DOI: 10.7910/dvn/olnjma, https://dataverse.harvard.edu/citation%3FpersistentId=doi:10.7910/DVN/OLNJMA
Dataset
-
Supplementary Materials: Developers Activity Satisfaction and Performance during the COVID-19 Pandemic
Russo, D. (Contributor), Hanel, P. H. P. (Contributor), Altnickel, S. (Contributor) & van Berkel, N. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.7298506, https://zenodo.org/record/7298506
Dataset: Supplementary material
-
Additional file 1 of Seroprevalence of SARS-CoV-2 antibodies in social housing areas in Denmark
Johansen, I. S. (Creator), ?stergaard, L. (Creator), Nielsen, S. D. (Creator), Kristensen, J. H. (Creator), Wiese, L. (Creator), Nielsen, P. B. (Creator), Skov, R. (Creator), Ethelberg, S. (Creator), Bundgaard, H. (Creator), Erikstrup, C. (Creator), Koch, A. (Creator), Krause, T. G. (Creator), Nielsen, C. (Creator), Iversen, K. (Creator), Aagaard Jensen, B. (Creator), Ellermann-Eriksen, S. (Creator), S?kmose, S. G. (Creator), Vangsted, A. (Creator), Simonsen, L. (Creator), Ullum, H. (Creator), Fomsgaard, A. (Creator), Ostrowski, S. R. (Creator), Fischer, T. K. (Creator), Hasselbalch, R. B. (Creator), Nielsen, H. (Creator), Folke, F. (Creator), Fogh, K. (Creator), Scharff, B. F. S. S. (Creator), Andersen, B. (Creator), Lippert, F. (Creator), J?rgensen, C. S. (Creator), Holm, D. K. (Creator), Eriksen, A. R. R. (Creator), Norsk, J. (Creator) & Kristensen, E. S. (Creator), Figshare, 2022
DOI: 10.6084/m9.figshare.19159309.v1, https://springernature.figshare.com/articles/journal_contribution/Additional_file_1_of_Seroprevalence_of_SARS-CoV-2_antibodies_in_social_housing_areas_in_Denmark/19159309/1
Dataset