Institut for Datalogi

Søgeresultater

• Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"

  Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 12 jun. 2023

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

  Datasæt

• The Yelp Collaborative Knowledge Graph

  Corfixen, M. (Ophavsperson), Olesen, M. (Ophavsperson), Heede, T. (Ophavsperson), Nielsen, C. F. P. (Ophavsperson), Lissandrini, M. (Bidrager), Dell'Aglio, D. (Bidrager) & Jendal, T. E. (Bidrager), Zenodo, 7 maj 2023

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

  Datasæt

• Additional file 3 of The Danish-American Research Exchange (DARE): a cross-sectional study of a binational research education program

  Mehta, K. M. (Ophavsperson), Petersen, K. L. (Ophavsperson), Goodman, S. (Ophavsperson), Sørensen, H. (Ophavsperson), Bøgsted, M. (Ophavsperson), Olesen, J. D. (Ophavsperson), Burks, S. (Ophavsperson), Shaw, R. E. (Ophavsperson), Hove, J. D. (Ophavsperson), Ousager, J. (Ophavsperson), Milla, C. (Ophavsperson), Andersen, V. (Ophavsperson), Ejskjær, N. (Ophavsperson), Brix-Christensen, V. (Ophavsperson), Ghose, S. (Ophavsperson), Kjær, A. (Ophavsperson) & Chin-Hong, P. V. (Ophavsperson), Figshare, 6 feb. 2023

  DOI: 10.6084/m9.figshare.22604626.v1, https://springernature.figshare.com/articles/dataset/Additional_file_3_of_The_Danish-American_Research_Exchange_DARE_a_cross-sectional_study_of_a_binational_research_education_program/22604626/1

  Datasæt: Supplerende materiale

• Additional file 3 of The Danish-American Research Exchange (DARE): a cross-sectional study of a binational research education program

  Mehta, K. M. (Ophavsperson), Petersen, K. L. (Ophavsperson), Goodman, S. (Ophavsperson), Sørensen, H. (Ophavsperson), Bøgsted, M. (Ophavsperson), Olesen, J. D. (Ophavsperson), Burks, S. (Ophavsperson), Shaw, R. E. (Ophavsperson), Hove, J. D. (Ophavsperson), Ousager, J. (Ophavsperson), Milla, C. (Ophavsperson), Andersen, V. (Ophavsperson), Ejskjær, N. (Ophavsperson), Brix-Christensen, V. (Ophavsperson), Ghose, S. (Ophavsperson), Kjær, A. (Ophavsperson) & Chin-Hong, P. V. (Ophavsperson), Figshare, 6 feb. 2023

  DOI: 10.6084/m9.figshare.22604626, https://springernature.figshare.com/articles/dataset/Additional_file_3_of_The_Danish-American_Research_Exchange_DARE_a_cross-sectional_study_of_a_binational_research_education_program/22604626

  Datasæt: Supplerende materiale

• Exploratory Search Workload (ESW) Collection

  Lissandrini, M. (Bidrager) & Silvello, G. (Bidrager), Zenodo, 2023

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

  Datasæt

• Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package

  Dierl, S. (Bidrager), Howar, F. M. (Bidrager), Kauffman, S. (Bidrager), Kristjansen, M. (Bidrager), Larsen, K. G. (Bidrager), Lorber, F. (Bidrager) & Mauritz, M. (Bidrager), Zenodo, 2023

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

  Datasæt

• Exploratory Search Workflows (ESW) collection

  Lissandrini, M. (Bidrager) & Silvello, G. (Bidrager), Zenodo, 2023

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

  Datasæt

• The Double-Edged Sword Of Diversity: How Diversity, Conflict, and Psychological Safety Impacts Agile Software Teams: Dataset and Supplementary Materials

  Verwijs, C. (Ophavsperson) & Russo, D. (Ophavsperson), Zenodo, 2023

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

  Datasæt: Supplerende materiale

• Semantic Table Search Dataset

  Leventidis, A. (Ophavsperson), Christensen, M. P. (Ophavsperson), Lissandrini, M. (Ophavsperson), Di Rocco, L. (Ophavsperson), Miller, R. J. (Ophavsperson) & Hose, K. (Ophavsperson), Zenodo, 2023

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

  Datasæt

• Semantic Table Search Dataset

  Leventidis, A. (Bidrager), Lissandrini, M. (Bidrager), Di Rocco, L. (Bidrager), Miller, R. J. (Bidrager) & Hose, K. (Bidrager), Zenodo, 2023

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

  Datasæt

• Automatically Extracted SHACL Shapes for WikiData, DBpedia, YAGO-4, and LUBM & Associated Coverage Statistics

  Rabbani, K. (Bidrager), Lissandrini, M. (Bidrager) & Hose, K. (Bidrager), Zenodo, 2023

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

  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

• Additional file 2 of Targeted AntiBiotics for Chronic pulmonary diseases (TARGET ABC): can targeted antibiotic therapy improve the prognosis of Pseudomonas aeruginosa-infected patients with chronic pulmonary obstructive disease, non-cystic fibrosis bronchiectasis, and asthma? A multicenter, randomized, controlled, open-label trial

  Eklöf, J. (Ophavsperson), Alispahic, I. A. (Ophavsperson), Sivapalan, P. (Ophavsperson), Wilcke, T. (Ophavsperson), Seersholm, N. (Ophavsperson), Armbruster, K. (Ophavsperson), Kjærgaard, J. L. (Ophavsperson), Saeed, M. I. (Ophavsperson), Nielsen, T. L. (Ophavsperson), Browatzki, A. (Ophavsperson), Overgaard, R. H. (Ophavsperson), Fenlev, C. S. (Ophavsperson), Harboe, Z. B. (Ophavsperson), Andreassen, H. F. (Ophavsperson), Lapperre, T. S. (Ophavsperson), Pedersen, L. (Ophavsperson), Johnsen, S. (Ophavsperson), Ulrik, C. S. (Ophavsperson), Janner, J. (Ophavsperson), Moberg, M. (Ophavsperson), Heidemann, M. (Ophavsperson), Weinreich, U. M. (Ophavsperson), Vijdea, R. (Ophavsperson), Linde, H. (Ophavsperson), Titlestad, I. (Ophavsperson), Johansson, S. L. (Ophavsperson), Rosenvinge, F. S. (Ophavsperson), Østergaard, C. (Ophavsperson), Ghathian, K. S. A. (Ophavsperson), Gundersen, L. (Ophavsperson), Christensen, C. W. (Ophavsperson), Bangsborg, J. (Ophavsperson), Jensen, T. T. (Ophavsperson), Sørensen, V. M. (Ophavsperson), Ellingsgaard, T. (Ophavsperson), Datcu, R. (Ophavsperson), Coia, J. E. (Ophavsperson), Bodtger, U. (Ophavsperson) & Jensen, J. U. S. (Ophavsperson), Figshare, 27 sep. 2022

  DOI: 10.6084/m9.figshare.21218498.v1, https://springernature.figshare.com/articles/journal_contribution/Additional_file_2_of_Targeted_AntiBiotics_for_Chronic_pulmonary_diseases_TARGET_ABC_can_targeted_antibiotic_therapy_improve_the_prognosis_of_Pseudomonas_aeruginosa-infected_patients_with_chronic_pulmonary_obstructive_disease_non-cystic_fibr/21218498/1

  Datasæt: Supplerende materiale

• Additional file 2 of Targeted AntiBiotics for Chronic pulmonary diseases (TARGET ABC): can targeted antibiotic therapy improve the prognosis of Pseudomonas aeruginosa-infected patients with chronic pulmonary obstructive disease, non-cystic fibrosis bronchiectasis, and asthma? A multicenter, randomized, controlled, open-label trial

  Eklöf, J. (Ophavsperson), Alispahic, I. A. (Ophavsperson), Sivapalan, P. (Ophavsperson), Wilcke, T. (Ophavsperson), Seersholm, N. (Ophavsperson), Armbruster, K. (Ophavsperson), Kjærgaard, J. L. (Ophavsperson), Saeed, M. I. (Ophavsperson), Nielsen, T. L. (Ophavsperson), Browatzki, A. (Ophavsperson), Overgaard, R. H. (Ophavsperson), Fenlev, C. S. (Ophavsperson), Harboe, Z. B. (Ophavsperson), Andreassen, H. F. (Ophavsperson), Lapperre, T. S. (Ophavsperson), Pedersen, L. (Ophavsperson), Johnsen, S. (Ophavsperson), Ulrik, C. S. (Ophavsperson), Janner, J. (Ophavsperson), Moberg, M. (Ophavsperson), Heidemann, M. (Ophavsperson), Weinreich, U. M. (Ophavsperson), Vijdea, R. (Ophavsperson), Linde, H. (Ophavsperson), Titlestad, I. (Ophavsperson), Johansson, S. L. (Ophavsperson), Rosenvinge, F. S. (Ophavsperson), Østergaard, C. (Ophavsperson), Ghathian, K. S. A. (Ophavsperson), Gundersen, L. (Ophavsperson), Christensen, C. W. (Ophavsperson), Bangsborg, J. (Ophavsperson), Jensen, T. T. (Ophavsperson), Sørensen, V. M. (Ophavsperson), Ellingsgaard, T. (Ophavsperson), Datcu, R. (Ophavsperson), Coia, J. E. (Ophavsperson), Bodtger, U. (Ophavsperson) & Jensen, J. U. S. (Ophavsperson), Figshare, 27 sep. 2022

  DOI: 10.6084/m9.figshare.21218498, https://springernature.figshare.com/articles/journal_contribution/Additional_file_2_of_Targeted_AntiBiotics_for_Chronic_pulmonary_diseases_TARGET_ABC_can_targeted_antibiotic_therapy_improve_the_prognosis_of_Pseudomonas_aeruginosa-infected_patients_with_chronic_pulmonary_obstructive_disease_non-cystic_fibr/21218498

  Datasæt: Supplerende materiale

• Additional file 1 of Targeted AntiBiotics for Chronic pulmonary diseases (TARGET ABC): can targeted antibiotic therapy improve the prognosis of Pseudomonas aeruginosa-infected patients with chronic pulmonary obstructive disease, non-cystic fibrosis bronchiectasis, and asthma? A multicenter, randomized, controlled, open-label trial

  Eklöf, J. (Ophavsperson), Alispahic, I. A. (Ophavsperson), Sivapalan, P. (Ophavsperson), Wilcke, T. (Ophavsperson), Seersholm, N. (Ophavsperson), Armbruster, K. (Ophavsperson), Kjærgaard, J. L. (Ophavsperson), Saeed, M. I. (Ophavsperson), Nielsen, T. L. (Ophavsperson), Browatzki, A. (Ophavsperson), Overgaard, R. H. (Ophavsperson), Fenlev, C. S. (Ophavsperson), Harboe, Z. B. (Ophavsperson), Andreassen, H. F. (Ophavsperson), Lapperre, T. S. (Ophavsperson), Pedersen, L. (Ophavsperson), Johnsen, S. (Ophavsperson), Ulrik, C. S. (Ophavsperson), Janner, J. (Ophavsperson), Moberg, M. (Ophavsperson), Heidemann, M. (Ophavsperson), Weinreich, U. M. (Ophavsperson), Vijdea, R. (Ophavsperson), Linde, H. (Ophavsperson), Titlestad, I. (Ophavsperson), Johansson, S. L. (Ophavsperson), Rosenvinge, F. S. (Ophavsperson), Østergaard, C. (Ophavsperson), Ghathian, K. S. A. (Ophavsperson), Gundersen, L. (Ophavsperson), Christensen, C. W. (Ophavsperson), Bangsborg, J. (Ophavsperson), Jensen, T. T. (Ophavsperson), Sørensen, V. M. (Ophavsperson), Ellingsgaard, T. (Ophavsperson), Datcu, R. (Ophavsperson), Coia, J. E. (Ophavsperson), Bodtger, U. (Ophavsperson) & Jensen, J. U. S. (Ophavsperson), Figshare, 27 sep. 2022

  DOI: 10.6084/m9.figshare.21218495, https://springernature.figshare.com/articles/journal_contribution/Additional_file_1_of_Targeted_AntiBiotics_for_Chronic_pulmonary_diseases_TARGET_ABC_can_targeted_antibiotic_therapy_improve_the_prognosis_of_Pseudomonas_aeruginosa-infected_patients_with_chronic_pulmonary_obstructive_disease_non-cystic_fibr/21218495

  Datasæt: Supplerende materiale

• Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"

  Schlichtkrull, A. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson) & Traytel, D. (Ophavsperson), Zenodo, 2 aug. 2022

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

  Datasæt

• Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"

  Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 1 aug. 2022

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

  Datasæt

• The Impact of Working From Home on the Success of Scrum Projects: A Multi-Method Study

  Cucolas, A. (Ophavsperson) & Russo, D. (Ophavsperson), Zenodo, 24 jun. 2022

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

  Datasæt

• Data for domains without generator for the ICAPS 2021 paper "Automatic Instance Generation for Classical Planning"'

  Torralba, A. (Ophavsperson), Seipp, J. (Ophavsperson) & Sievers, S. (Ophavsperson), Zenodo, 22 jun. 2022

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

  Datasæt

• Tutorial for the 2022 ACM SIGMOD Conference: Spatial Data Quality in the IoT Era: Management and Exploitation

  Li, H. (Ophavsperson), Tang, B. (Ophavsperson), Lu, H. (Ophavsperson), Cheema, M. A. (Ophavsperson) & Jensen, C. S. (Ophavsperson), Zenodo, 17 jun. 2022

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

  Datasæt

• Models for "Optimal Control Strategies for Stormwater Detention Ponds"

  Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson), Srba, J. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 30 maj 2022

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

  Datasæt

• The Project of Efficient and Error-bounded Spatiotemporal Quantile Monitoring in Edge Computing Environments

  Li, H. (Ophavsperson), Yi, L. (Ophavsperson), Tang, B. (Ophavsperson), Lu, H. (Ophavsperson) & Jensen, C. S. (Ophavsperson), Zenodo, 25 maj 2022

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

  Datasæt

• Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets

  Kristensen, A. B. (Ophavsperson), Jensen, P. G. (Ophavsperson), Pedersen, T. (Ophavsperson), Srba, J. (Ophavsperson) & Taankvist, P. H. (Ophavsperson), Zenodo, 6 apr. 2022

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

  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

• Distributed Fleet Management in Noisy Environments via Model-Predictive Control: Reproducibility package for the accepted ICAPS '22 submission

  Bøgh, S. (Ophavsperson), Jensen, P. G. (Ophavsperson), Kristjansen, M. (Ophavsperson), Nyman, U. (Ophavsperson) & Larsen, K. G. (Ophavsperson), Zenodo, 25 mar. 2022

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

  Datasæt