Mathematics and Computer Science

Zoekresultaten

• Analysis of Open Data and Computational Reproducibility in Registered Reports in Psychology

  Obels, P. (Ontwerper), Lakens, D. (Ontwerper), Coles, N. A. (Ontwerper) & Gottfried, J. (Ontwerper), Code Ocean, 22 mei 2019

  DOI: 10.24433/co.4275368.v1, https://codeocean.com/capsule/8580632/tree/v1

  Dataset

• Statechart Workbench and Alignments Software Event Log

  Leemans, M. (Ontwerper), 4TU.Centre for Research Data, 31 aug. 2018

  DOI: 10.4121/uuid:7f787965-da13-4bb8-a3fd-242f08aef9c4, https://data.4tu.nl/articles/_/12705863/1

  Dataset

• Clone Detection for Business Process Models - supplemental material

  Saeedi Nikoo, M. (Bijdrager), Babur, Ö. (Bijdrager) & van den Brand, M. (Bijdrager), Zenodo, 10 jun. 2022

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

  Dataset

• Models and Logs used in the paper ‘Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning’ accepted for ICAPS 2018

  Lanciano, G. (Ontwerper), de Leoni, M. (Ontwerper) & Marrella, A. (Bijdrager), Technische Universiteit Eindhoven, 14 mrt. 2018

  DOI: 10.4121/uuid:a02afec8-b7c7-42b7-8dff-36d3de3032be

  Dataset

• Event Graph of BPI Challenge 2014

  Fahland, D. (Ontwerper) & Esser, S. (Ontwerper), 4TU.Centre for Research Data, 22 apr. 2021

  DOI: 10.4121/14169494

  Dataset

• Designing open channels in random scattering media for on-chip spectrometers

  Liu, T. (Bijdrager) & Fiore, A. (Ontwerper), The Optical Society, 4 aug. 2020

  DOI: 10.6084/m9.figshare.c.5058026, https://osapublishing.figshare.com/collections/Designing_open_channels_in_random_scattering_media_for_on-chip_spectrometers/5058026/1 en nog één link, https://osapublishing.figshare.com/collections/Designing_open_channels_in_random_scattering_media_for_on-chip_spectrometers/5058026 (minder tonen)

  Dataset

• Antichain-based refinement checking benchmark using the mCRL2 toolset

  Laveaux, M. (Bijdrager), Zenodo, 19 sep. 2019

  DOI: 10.5281/zenodo.3449420

  Dataset

• Dominant motif structures

  Stegehuis, C. (Bijdrager), Zenodo, 21 jan. 2019

  DOI: 10.5281/zenodo.2545464

  Dataset

• Data supplementary to the paper: "Characterizing Building Automation System Attacks and Attackers"

  Tommasini, M. (Ontwerper) & Rosso, M. (Ontwerper), 4TU.Centre for Research Data, 11 jul. 2022

  DOI: 10.4121/19617243.v1

  Dataset

• Event Graph of BPI Challenge 2016

  Fahland, D. (Ontwerper) & Esser, S. (Ontwerper), 4TU.Centre for Research Data, 22 apr. 2021

  DOI: 10.4121/14164220

  Dataset

• Process Mined from Jira Issues at a Large Company

  Coremans, B. (Ontwerper), Klomp, A. L. (Ontwerper), Rukmono, S. A. (Ontwerper), Krüger, J. (Ontwerper), Fahland, D. (Ontwerper) & Chaudron, M. R. V. (Ontwerper), Zenodo, 23 aug. 2023

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

  Dataset

• Atom interferometry at arbitrary orientations and rotation rates - Raw data

  d’Armagnac de Castanet, Q. (Bijdrager), Des Cognets, C. (Bijdrager), Arguel, R. (Ontwerper), Templier, S. (Ontwerper), Jarlaud, V. (Ontwerper), Ménoret, V. (Ontwerper), Desruelle, B. (Ontwerper), Bouyer, P. (Ontwerper) & Battelier, B. (Ontwerper), Figshare, 31 jul. 2024

  DOI: 10.6084/m9.figshare.25243426, https://springernature.figshare.com/articles/dataset/Atom_interferometry_at_arbitrary_orientations_and_rotation_rates_-_Raw_data/25243426 en nog één link, https://springernature.figshare.com/articles/dataset/Atom_interferometry_at_arbitrary_orientations_and_rotation_rates_-_Raw_data/25243426/1 (minder tonen)

  Dataset

• VOTCA

  Baumeier, B. (Ontwerper), Renaud, N. (Ontwerper), Scharpach, W. (Ontwerper), Sundaram, V. (Ontwerper), Çaylak, O. (Ontwerper), Tirimbò, G. (Ontwerper), Junghans, C. (Ontwerper), Brown, J. (Ontwerper), Zapata Ruiz, F. (Ontwerper), Wehner, J. (Ontwerper), Gerritsen, R. H. J. (Ontwerper), Bernhardt, M. (Ontwerper) & Rosenberger, D. (Ontwerper), Zenodo, 19 sep. 2021

  DOI: 10.5281/zenodo.5854968

  Dataset

• Software for "Increasing efficacy of contact-tracing applications by user referrals and stricter quarantining"

  Goldberg, L. A. (Bijdrager), Jorritsma, J. (Bijdrager), Komjáthy, J. (Bijdrager) & Lapinskas, J. (Bijdrager), Zenodo, 9 apr. 2021

  DOI: 10.5281/zenodo.4675114

  Dataset

• Cumulant SNEG Codes

  Colussi, V. E. (Ontwerper), Kurkjian, H. (Ontwerper), Van Regemortel, M. (Bijdrager), Musolino, S. (Ontwerper), van de Kraats, J. (Bijdrager), Wouters, M. (Ontwerper) & Kokkelmans, S. J. J. M. F. (Ontwerper), 4TU.Centre for Research Data, 21 jul. 2020

  DOI: 10.4121/uuid:720f48bc-e64e-47e1-8910-09f6832a09bb

  Dataset

• Infinite-data PBES Quotienting with the mCRL2 toolset

  Neele, T. (Bijdrager), Willemse, T. A. C. (Bijdrager) & Groote, J. F. (Bijdrager), Zenodo, 4 nov. 2019

  DOI: 10.5281/zenodo.3528142

  Dataset

• Dataset of the paper "Self-Admitted Technical Debt Practices: A Comparison Between Industry and Open-Source"

  Zampetti, F. (Bijdrager), Fucci, G. (Bijdrager), Serebrenik, A. (Bijdrager) & Di Penta, M. (Bijdrager), Zenodo, 6 jul. 2021

  DOI: 10.5281/zenodo.5076095

  Dataset

• Experimental data for "Software Data Analytics: Architectural Model Discovery and Design Pattern Detection"

  Liu, C. (Ontwerper), 4TU.Centre for Research Data, 29 jan. 2019

  DOI: 10.4121/uuid:ca1b0690-d9c5-4626-a067-525ec9d5881b

  Dataset

• Artifacts of the Article: "Guidelines for Using Financial Incentives in Software-Engineering Experimentation"

  Krüger, J. (Ontwerper), Çalikli, G. (Ontwerper), Bershadskyy, D. (Ontwerper), Otto, S. (Ontwerper), Zabel, S. (Ontwerper) & Heyer, R. (Ontwerper), Zenodo, 12 jul. 2024

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

  Dataset

• Decomposing Monolithic Processes using the mCRL2 toolset

  Laveaux, M. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 12 jul. 2021

  DOI: 10.5281/zenodo.5091849

  Dataset

• On-The-Fly Solving for Symbolic Parity Games using the mCRL2 toolset

  Laveaux, M. (Ontwerper), Zenodo, 23 jan. 2022

  DOI: 10.5281/zenodo.5896966

  Dataset

• BPI Challenge 2020: Domestic Declarations

  van Dongen, B. (Ontwerper), 4TU.Centre for Research Data, 26 mrt. 2020

  DOI: 10.4121/uuid:3f422315-ed9d-4882-891f-e180b5b4feb5

  Dataset

• VariantInc: Automating the Integration of Versioned Software Variants - Artifact

  Krieter, S. (Ontwerper), Krüger, J. (Ontwerper), Leich, T. (Ontwerper) & Saake, G. (Ontwerper), Zenodo, 16 jun. 2023

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

  Dataset

• Event Graph of BPI Challenge 2017

  Esser, S. (Ontwerper) & Fahland, D. (Ontwerper), 4TU.Centre for Research Data, 22 apr. 2021

  DOI: 10.4121/14169584

  Dataset

• equaeghe/wflopg: Initial release

  Quaeghebeur, E. (Ontwerper), Zenodo, 7 okt. 2020

  DOI: 10.5281/zenodo.4072253

  Dataset