Software Technology

Search results

• User Interaction Dataset for CSCW 2023 paper "How Stated Accuracy of an AI System and Analogies to Explain Accuracy Affect Human Reliance on the System."

  Gadiraju, U. K. (Creator), He, G. (Creator) & Buijsman, S. N. R. (Creator), TU Delft - 4TU.ResearchData, 6 Feb 2025

  DOI: 10.4121/F211863D-331B-44E5-A184-C21A18AC831A

  Dataset/Software: Dataset

• Data and scripts underlying the manuscript: Revealing Hidden Leachate Dynamics in a Coupled Travel-Time Landfill Model Using a Particle Filter–Markov Chain Monte Carlo Approach

  Wang, L. (Creator) & Heimovaara, T. J. (Creator), TU Delft - 4TU.ResearchData, 2025

  DOI: 10.4121/49911025-10EE-492F-973D-CA50D7A330A9

  Dataset/Software: Dataset

• Data and scripts underlying the manuscript: Quantifying water content of a landfill with ERT data by Bayesian evidential learning

  Wang, L. (Creator) & Heimovaara, T. J. (Creator), TU Delft - 4TU.ResearchData, 2025

  DOI: 10.4121/3D08EE40-04F3-4B8F-94C1-018090AD2A09

  Dataset/Software: Dataset

• Code underlying the publication: Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language

  Liesnikov, B. (Creator) & Cockx, J. G. H. (Creator), TU Delft - 4TU.ResearchData, 16 Aug 2024

  DOI: 10.4121/6F239149-2526-42A0-8D07-D0E9D6714F7F, https://conf.researchr.org/details/aplas-2024/aplas-2024-research-papers/13/Building-A-Correct-By-Construction-Type-Checker-for-a-Dependently-Typed-Core-Language

  Dataset/Software: Dataset

• Data underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance

  Gadiraju, U. K. (Creator), Salimzadeh, S. (Creator) & He, G. (Creator), TU Delft - 4TU.ResearchData, 1 Jul 2024

  DOI: 10.4121/7B1ACA0D-B1FA-4EF0-85FE-C21F12D2FD60

  Dataset/Software: Dataset

• Code underlying the PhD thesis: Label Alchemy: Transforming Noisy Data into Precious Insights in Deep Learning

  Ghiassi, S. (Creator), TU Delft - 4TU.ResearchData, 22 Apr 2024

  DOI: 10.4121/B00277A6-9431-47DC-9369-E9A477031E66

  Dataset/Software: Dataset

• Code underlying the publication: Dealing with Uncertainty: Understanding the Impact of Prognostic Versus Diagnostic Tasks on Trust and Reliance in Human-AI Decision Making

  Gadiraju, U. K. (Creator), Salimzadeh, S. (Creator) & He, G. (Creator), TU Delft - 4TU.ResearchData, 1 Jul 2024

  DOI: 10.4121/9DDB327D-1E4C-439F-A736-4B12EB58C54F, https://doi.org/10.1145/3613904.3641905

  Dataset/Software: Dataset

• Data underlying the publication: Dealing with Uncertainty: Understanding the Impact of Prognostic Versus Diagnostic Tasks on Trust and Reliance in Human-AI Decision Making

  Gadiraju, U. K. (Creator), Salimzadeh, S. (Creator) & He, G. (Creator), TU Delft - 4TU.ResearchData, 1 Jul 2024

  DOI: 10.4121/76D36276-9D77-4CAD-95B5-C866EF196F89

  Dataset/Software: Dataset

• V1Quantum Demo, source code underlying the publication "QuIP: A P4 Quantum Internet Protocol Prototyping Framework"

  Kuipers, F. A. (Creator), Kozlowski, W. (Creator), Smets, N. J. J. M. (Creator) & Turkovic, B. (Creator), TU Delft - 4TU.ResearchData, 10 Jan 2024

  DOI: 10.4121/8077CCF1-9967-4B95-8B1C-EBBFDC395039

  Dataset/Software: Dataset

• SpiderDec, the decomposed version of the Spider dev data set

  Gadiraju, U. K. (Creator), Salimzadeh, S. (Creator), Hauff, C. (Creator) & van Deursen, A. (Creator), TU Delft - 4TU.ResearchData, 1 Jul 2024

  DOI: 10.4121/66AB9AB1-A08A-4C63-BD92-D11E2C3C06F8

  Dataset/Software: Dataset

• Code underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance

  Gadiraju, U. K. (Creator) & Salimzadeh, S. (Creator), TU Delft - 4TU.ResearchData, 1 Jul 2024

  DOI: 10.4121/FFF831DF-8900-44D1-96E0-1E9DA9BC2D2C, https://doi.org/10.1145/3627043.3659567

  Dataset/Software: Dataset

• Data underlying the Bachelor's thesis: Adapting existing bug taxonomies to Haskell

  Applis, L. H. (Creator), Nistor, R. (Creator) & Cockx, J. G. H. (Creator), TU Delft - 4TU.ResearchData, 19 Jun 2024

  DOI: 10.4121/29A6A7BC-8B45-472C-BF26-710F2A2D1A3C

  Dataset/Software: Dataset

• NetLogo model: "An Agent-Based Market Analysis of Urban Housing Balance in the Netherlands"

  Yorke-Smith, N. (Creator) & Wiegel, E. (Creator), TU Delft - 4TU.ResearchData, 1 May 2024

  DOI: 10.4121/21757244

  Dataset/Software: Dataset

• Dataset for the paper: 'Assessment of Algorithmic Abstraction Skills in Higher Education: An Application of the PGK Framework

  Aivaloglou, E. A. (Creator), Zhang, X. (Creator), Liut, M. A. (Creator) & Specht, M. (Creator), TU Delft - 4TU.ResearchData, 8 Nov 2024

  DOI: 10.4121/08FDE53E-B675-47D7-8B96-786388937479

  Dataset/Software: Dataset

• Dataset for the paper: Teachers' Intention to Integrate Computational Thinking Skills in Higher Education - A Survey Study in the Netherlands

  Aivaloglou, E. A. (Creator), Zhang, X. (Creator) & Specht, M. (Creator), TU Delft - 4TU.ResearchData, 8 Nov 2024

  DOI: 10.4121/B7C07D97-B328-420D-B628-9B30D930EA69

  Dataset/Software: Dataset

• Data underlying the research of Quality prediction of strawberries with RGB image segments

  Wen, J. (Creator), de Weerdt, M. M. (Creator), Abeel, T. (Creator), Verschoor, C. R. (Creator), Schuddebeurs, L. (Creator), Walraven, K. (Creator), Jochems, S. (Creator) & Theelen, V. (Creator), TU Delft - 4TU.ResearchData, 14 Mar 2023

  DOI: 10.4121/21864590

  Dataset/Software: Dataset

• Timely Sharing with Reputation Prototype example code

  Stokkink, Q. A. (Creator), Ileri, C. U. (Creator) & Pouwelse, J. A. (Creator), TU Delft - 4TU.ResearchData, 18 Apr 2023

  DOI: 10.4121/85A871C5-3782-4A21-AE7F-7D52E9F019F7

  Dataset/Software: Dataset

• Source code and data for the paper "Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming"

  de Weerdt, M. M. (Creator), van der Linden, J. G. M. (Creator) & Demirović, E. (Creator), TU Delft - 4TU.ResearchData, 1 Nov 2023

  DOI: 10.4121/CB4F4468-05D1-4309-BC4B-D74748E3CFBA

  Dataset/Software: Software

• Data and software supporting: Data Origin Authentication in the Quantum Network Protocol Stack

  (Creator), Abrahams, J. S. A. (Creator), Brussee, P. W. G. (Creator), Middelburg, T. (Creator), Berrevoets, R. C. (Creator), Slater, J. A. (Creator) & Wehner, S. D. C. (Creator), TU Delft - 4TU.ResearchData, 31 May 2023

  DOI: 10.4121/D2726121-354D-444C-B859-3585D62811E5

  Dataset/Software: Dataset

• The Growing Strawberries Dataset

  de Weerdt, M. M. (Creator), Wen, J. (Creator), Verschoor, C. R. (Creator) & Abeel, T. (Creator), TU Delft - 4TU.ResearchData, 6 Nov 2023

  DOI: 10.4121/E3B31ECE-CC88-4638-BE10-8CCDD4C5F2F7

  Dataset/Software: Dataset

• HasBugs - Handpicked Haskell Bugs

  Applis, L. H. (Creator), Panichella, A. (Creator) & Lemaire, C. (Contributor), GitHub/Zenodo, 25 Jan 2023

  DOI: 10.5281/zenodo.7569299, https://ciselab.github.io/HasBugs/

  Dataset/Software: Dataset

• Source code and data for the experiments presented in Deep Reinforcement Learning for Active Wake Control

  Neustroev, G. (Creator), de Weerdt, M. M. (Creator), Verzijbergh, R. (Creator) & Andringa, S. P. E. (Creator), TU Delft - 4TU.ResearchData, 4 Feb 2022

  DOI: 10.4121/19107257

  Dataset/Software: Software

• Generating Class-Level Integration Tests Using Call Site Information

  Derakhshanfar, P. (Creator), Devroey, X. D. M. (Creator) & Panichella, A. (Creator), Zenodo, 25 Aug 2021

  DOI: 10.5281/zenodo.5255904

  Dataset/Software: Software

• NetLogo model: "Urbanism and Geographic Crises: A Micro-Simulation Lens on Beirut"

  Yorke-Smith, N. (Creator) & Termos, A. (Creator), TU Delft - 4TU.ResearchData, 17 Feb 2022

  DOI: 10.4121/18780524

  Dataset/Software: Software

• Solving Multi-Structured Problems by Introducing Linkage Kernels into GOMEA: Result Data

  Guijt, A. (Creator), Alderliesten, T. (Creator), Thierens, D. (Creator) & Bosman, P. A. N. (Creator), TU Delft - 4TU.ResearchData, 18 Mar 2022

  DOI: 10.4121/19314218

  Dataset/Software: Dataset