Forskningsdatasæt
- 25 - 50 ud af 274 resultater
Søgeresultater
-
Algorithms for Reconstruction of Undersampled Atomic Force Microscopy Images Dataset
Oxvig, C. S. (Bidrager), Arildsen, T. (Bidrager) & Larsen, T. (Bidrager), Zenodo, 2017
DOI: 10.5281/zenodo.375833, https://zenodo.org/record/375833
Datasæt
-
Annotated point clouds of buildings: a segmented dataset of single-family houses
Pouliou, P. (Ophavsperson), Horvath, A. (Ophavsperson) & Palamas, G. (Ophavsperson), Mendeley Data, 9 nov. 2022
Datasæt
-
appendix.pdf
Hansen, E. R. (Ophavsperson), Sagi, T. (Ophavsperson), Hose, K. (Ophavsperson), Lip, G. Y. H. (Ophavsperson), Larsen, T. B. (Ophavsperson) & Skjøth, F. (Ophavsperson), Harvard Dataverse, 2020
DOI: 10.7910/dvn/5vtbme/0iue8v, https://dataverse.harvard.edu/file.xhtml?persistentId=doi:10.7910/DVN/5VTBME/0IUE8V
Datasæt
-
Approximate Bayesian Computation method for calibrating the Propagation Graph model using Summaries
Bharti, A. (Bidrager), Adeogun, R. O. (Bidrager) & Pedersen, T. (Ophavsperson), Code Ocean, 25 jan. 2021
DOI: 10.24433/co.1331203.v1, https://codeocean.com/capsule/6694343/tree/v1
Datasæt
-
Area and Population Estimates from Sentinel Data - Ghana and Mediterranean Egypt
Fibaek, C. (Ophavsperson), Mendeley Data, 25 jan. 2022
DOI: 10.17632/gf8v525tm6.1, https://data.mendeley.com/datasets/gf8v525tm6
Datasæt: Supplerende materiale
-
Artefact for: Automatic Synthesis of Transiently Correct Network Updates via Petri Games
Didriksen, M. (Ophavsperson), Jensen, P. G. (Ophavsperson), Jønler, J. F. (Ophavsperson), Katona, A. (Ophavsperson), Lama, S. D. L. (Ophavsperson), Lottrup, F. B. (Ophavsperson), Shajarat, S. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2021
DOI: 10.5281/zenodo.4501982, https://zenodo.org/record/4501982
Datasæt
-
Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"
Hasrat, I. R. (Ophavsperson), Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6548367, https://zenodo.org/record/6548367
Datasæt
-
Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Johansen, N. S. (Ophavsperson), Kær, L. B. (Ophavsperson), Madsen, A. L. (Ophavsperson), Nielsen, K. Ø. (Ophavsperson), Srba, J. (Ophavsperson) & Tollund, R. G. (Ophavsperson), Zenodo, 27 mar. 2022
DOI: 10.5281/zenodo.6411889, https://zenodo.org/record/6411889
Datasæt
-
Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Johansen, N. S. (Bidrager), Kær, L. B. (Bidrager), Madsen, A. L. (Bidrager), Nielsen, K. Ø. (Bidrager), Srba, J. (Bidrager) & Tollund, R. G. (Bidrager), Zenodo, 2022
DOI: 10.5281/zenodo.7258208, https://zenodo.org/record/7258208
Datasæt
-
Artefact for "Playing Wordle with Uppaal Stratego"
Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson) & Mikucionis, M. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6703959, https://zenodo.org/record/6703959
Datasæt
-
Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"
Jensen, P. G. (Ophavsperson), Kristiansen, D. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.4056504, https://zenodo.org/record/4056504
Datasæt
-
Artifact for "NetStack: A Game Approach to Synthesizing Consistent Network Updates"
Schmid, S. (Ophavsperson), Schrenk, B. C. (Ophavsperson) & Torralba, A. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6506194, https://zenodo.org/record/6506194
Datasæt
-
Artifact for "Partial Order Reduction for Reachability Games"
Bønneland, F. M. (Ophavsperson), Jensen, P. G. (Ophavsperson), Larsen, K. G. (Ophavsperson), Mũniz, M. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 2020
DOI: 10.5281/zenodo.4058161, https://zenodo.org/record/4058161
Datasæt
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Bidrager), Srba, J. (Bidrager), Schou, M. K. (Ophavsperson) & Vanerio, J. (Ophavsperson), Zenodo, 13 okt. 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Datasæt
-
Artifact for "Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs"
Jensen, P. G. (Ophavsperson), Zenodo, 2019
DOI: 10.5281/zenodo.3268381, https://zenodo.org/record/3268381
Datasæt
-
-
Association between anti-diabetes treatments and cardiovascular risk in diabetes patients with and without coronary artery disease
Gyldenkerne, C. (Ophavsperson), Olesen, K. K. W. (Ophavsperson), Madsen, M. (Ophavsperson), Thim, T. (Ophavsperson), Jensen, L. O. (Ophavsperson), Raungaard, B. (Ophavsperson), Sørensen, H. (Ophavsperson), Bøtker, H. E. (Ophavsperson) & Maeng, M. (Ophavsperson), Figshare, 2019
DOI: 10.25384/sage.c.4459535, https://sage.figshare.com/collections/Association_between_anti-diabetes_treatments_and_cardiovascular_risk_in_diabetes_patients_with_and_without_coronary_artery_disease/4459535
Datasæt
-
Association between anti-diabetes treatments and cardiovascular risk in diabetes patients with and without coronary artery disease
Gyldenkerne, C. (Ophavsperson), Olesen, K. K. W. (Ophavsperson), Madsen, M. (Ophavsperson), Thim, T. (Ophavsperson), Jensen, L. O. (Ophavsperson), Raungaard, B. (Ophavsperson), Sørensen, H. (Ophavsperson), Bøtker, H. E. (Ophavsperson) & Maeng, M. (Ophavsperson), Figshare, 2019
DOI: 10.25384/sage.c.4459535.v1, https://doi.org/10.25384%2Fsage.c.4459535.v1
Datasæt: Supplerende materiale
-
Associations between the structural and functional aspects of social relations and poor mental health: a cross-sectional register study
Hansen, L. R. (Ophavsperson), Pedersen, S. (Bidrager), Overgaard, C. (Ophavsperson), Torp-Pedersen, C. (Ophavsperson) & Ullits, L. R. (Ophavsperson), Figshare, 2017
DOI: 10.6084/m9.figshare.c.3921928, https://figshare.com/collections/Associations_between_the_structural_and_functional_aspects_of_social_relations_and_poor_mental_health_a_cross-sectional_register_study/3921928
Datasæt
-
Associations between the structural and functional aspects of social relations and poor mental health: a cross-sectional register study
Hansen, L. R. (Ophavsperson), Pedersen, S. (Bidrager), Overgaard, C. (Ophavsperson), Torp-Pedersen, C. (Ophavsperson) & Ullits, L. R. (Ophavsperson), Figshare, 2017
DOI: 10.6084/m9.figshare.c.3921928.v1, https://figshare.com/collections/Associations_between_the_structural_and_functional_aspects_of_social_relations_and_poor_mental_health_a_cross-sectional_register_study/3921928/1
Datasæt
-
A Survey of European Cybersecurity in Higher Education Programs
Dragoni, N. (Ophavsperson), Massacci, F. (Ophavsperson), Lluch-Lafuente, A. (Ophavsperson) & Schlichtkrull, A. (Ophavsperson), IEEE DataPort, 15 jul. 2021
DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs
Datasæt
-
A Theory of Scrum Team Effectiveness: Dataset and Supplementary Materials
Verwijs, C. (Ophavsperson) & Russo, D. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6905812, https://zenodo.org/record/6905812
Datasæt: Supplerende materiale
-
A Theory of Scrum Team Effectiveness: Dataset and Supplementary Materials
Verwijs, C. (Ophavsperson) & Russo, D. (Ophavsperson), Zenodo, 2021
DOI: 10.5281/zenodo.5659120, https://zenodo.org/record/5659120
Datasæt: Supplerende materiale
-
Automatically Extracted SHACL Shapes for WikiData, DBpedia, YAGO-4, and LUBM & Associated Coverage Statistics
Rabbani, K. (Ophavsperson), Lissandrini, M. (Ophavsperson) & Hose, K. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6798849, https://zenodo.org/record/6798849
Datasæt