Mathematics and Computer Science

Zoekresultaten

• Supplementary Material

  Deijkers, J. H. (Ontwerper), Thepass, H. (Ontwerper), Verheijen, M. A. (Ontwerper), Sprey, H. (Ontwerper), Maes, J. W. (Ontwerper), Kessels, W. M. M. (Ontwerper) & Mackus, A. J. M. (Ontwerper), AIP Publishing, 2024

  DOI: 10.60893/figshare.jva.27111202.v1, https://aip.figshare.com/articles/dataset/Supplementary_Material/27111202/1 en nog één link, https://aip.figshare.com/articles/dataset/Supplementary_Material/27111199/1 (minder tonen)

  Dataset

• On the abandonment and survival of open source projects: An empirical investigation

  Amaral Avelino, G. (Ontwerper), Constantinou, E. (Ontwerper), Valente, M. T. (Ontwerper) & Serebrenik, A. (Ontwerper), Zenodo, 21 jan. 2019

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

  Dataset

• Comparison of analysis methods and design choices for treatment-by-period interaction in unidirectional switch designs: a simulation study

  Zhan, Z. (Ontwerper), de Bock, G. H. T. (Ontwerper) & van den Heuvel, E. R. (Ontwerper), Figshare, 18 nov. 2022

  DOI: 10.6084/m9.figshare.c.6306170

  Dataset

• Additional file 1 of Comparison of analysis methods and design choices for treatment-by-period interaction in unidirectional switch designs: a simulation study

  Zhan, Z. (Ontwerper), de Bock, G. H. (Ontwerper) & van den Heuvel, E. R. (Ontwerper), Figshare, 18 nov. 2022

  DOI: 10.6084/m9.figshare.21582011, https://springernature.figshare.com/articles/dataset/Additional_file_1_of_Comparison_of_analysis_methods_and_design_choices_for_treatment-by-period_interaction_in_unidirectional_switch_designs_a_simulation_study/21582011

  Dataset

• Additional file 5 of Comparison of analysis methods and design choices for treatment-by-period interaction in unidirectional switch designs: a simulation study

  Zhan, Z. (Ontwerper), de Bock, G. H. (Ontwerper) & van den Heuvel, E. R. (Ontwerper), Figshare, 18 nov. 2022

  DOI: 10.6084/m9.figshare.21582023

  Dataset

• Additional file 2 of Comparison of analysis methods and design choices for treatment-by-period interaction in unidirectional switch designs: a simulation study

  Zhan, Z. (Ontwerper), de Bock, G. H. T. (Ontwerper) & van den Heuvel, E. R. (Ontwerper), Figshare, 18 nov. 2022

  DOI: 10.6084/m9.figshare.21582014

  Dataset

• Additional file 3 of Comparison of analysis methods and design choices for treatment-by-period interaction in unidirectional switch designs: a simulation study

  Zhan, Z. (Ontwerper), de Bock, G. H. (Ontwerper) & van den Heuvel, E. R. (Ontwerper), Figshare, 18 nov. 2022

  DOI: 10.6084/m9.figshare.21582017

  Dataset

• Artifact of the paper: Compact Parallel Hash Tables on the GPU

  Hegeman, S. (Ontwerper), Wöltgens, D. P. (Ontwerper), Wijs, A. (Ontwerper) & Laarman, A. (Ontwerper), Zenodo, 13 jun. 2024

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

  Dataset

• Artifact for paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking

  Osama, M. (Ontwerper) & Wijs, A. (Ontwerper), Zenodo, 22 dec. 2023

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

  Dataset

• GPUexplore-prob

  Heemstra, J. (Ontwerper), Wijs, A. (Supervisor) & Osama, M. (Bijdrager), Zenodo, 24 okt. 2024

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

  Dataset

• Replication package for "Fully Autonomous Programming with Large Language Models"

  Liventsev, V. (Bijdrager), Grishina, A. (Bijdrager), Härmä, A. (Bijdrager) & Moonen, L. (Bijdrager), Zenodo, 20 apr. 2023

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

  Dataset

• visml/neo_force_scheme: Eurovis Submission

  Luo, Q. (Ontwerper), Christino, L. (Ontwerper) & Paulovich, F. (Ontwerper), Zenodo, 30 nov. 2022

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

  Dataset

• Data underlying the publication: Computational Investigation of Precursor Blocking during Area-Selective Atomic Layer Deposition Using Aniline as a Small-Molecule Inhibitor

  Tezsevin, I. (Ontwerper), Maas, J. F. W. (Bijdrager), Merkx, M. J. M. (Ontwerper), Lengers, R. J. (Ontwerper), Kessels, W. M. M. (Ontwerper), Sandoval, T. E. (Ontwerper) & Mackus, A. J. M. (Ontwerper), 4TU.Centre for Research Data, 7 aug. 2023

  DOI: 10.4121/0bb03d8b-d1ac-49bc-8010-a498a981cf3e.v1, https://data.4tu.nl/datasets/0bb03d8b-d1ac-49bc-8010-a498a981cf3e/1 en nog één link, https://data.4tu.nl/datasets/0bb03d8b-d1ac-49bc-8010-a498a981cf3e (minder tonen)

  Dataset

• BreakBot: Static Reverse Dependency Compatibility Testing for Java Libraries (Artefacts)

  Ochoa Venegas, L. (Bijdrager), Degueule, T. F. (Bijdrager), Falleri, J.-R. (Bijdrager) & Vinju, J. J. (Bijdrager), Zenodo, 23 dec. 2022

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

  Dataset

• RoA: visual analytics support for deconfounded causal inference in observational studies

  Dingen, D. (Ontwerper), Bakkes, T. (Bijdrager), van 't Veer, M. (Bijdrager), Korsten, H. H. M. (Bijdrager), Bouwman, R. A. (Bijdrager) & van Wijk, J. J. (Bijdrager), Zenodo, 19 mei 2023

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

  Dataset

• Intrauterine resuscitation during the second stage of term labour by maternal hyperoxygenation versus conventional care: study protocol for a randomised controlled trial (INTEREST O2)

  Bullens, L. M. (Ontwerper), Hulsenboom, A. D. J. (Ontwerper), Moors, S. (Ontwerper), Joshi, R. (Ontwerper), van Runnard Heimel, P. J. (Bijdrager), van der Hout-van der Jagt, M. B. (Bijdrager), van den Heuvel, E. R. (Bijdrager) & Oei, S. G. (Bijdrager), Figshare, 23 mrt. 2018

  DOI: 10.6084/m9.figshare.c.4040294, https://figshare.com/collections/Intrauterine_resuscitation_during_the_second_stage_of_term_labour_by_maternal_hyperoxygenation_versus_conventional_care_study_protocol_for_a_randomised_controlled_trial_INTEREST_O2_/4040294 en nog één link, https://figshare.com/collections/Intrauterine_resuscitation_during_the_second_stage_of_term_labour_by_maternal_hyperoxygenation_versus_conventional_care_study_protocol_for_a_randomised_controlled_trial_INTEREST_O2_/4040294/1 (minder tonen)

  Dataset

• THREAT/crawl: a Trainable, Highly-Reusable, and Extensible Automated Tool to Crawl Criminal Underground Forums

  Campobasso, M. (Ontwerper) & Allodi, L. (Ontwerper), Eindhoven University of Technology, 30 nov. 2022

  https://gitlab.tue.nl/threat-crawl/THREATcrawl/

  Dataset

• supplement_reflection_symmetries: Online Supplement for the Article on Reflection Symmetries

  Hojny, C. (Ontwerper), Zenodo, 14 mei 2024

  DOI: 10.5281/zenodo.11189482

  Dataset

• A Dataset of IQ samples in Indoor Jamming Scenarios

  Alhazbi, S. (Ontwerper), Sciancalepore, S. (Ontwerper) & Oligeri, G. (Ontwerper), Zenodo, 2 okt. 2022

  DOI: 10.5281/zenodo.7119040

  Dataset

• Physical layer data acquisition of IRIDIUM satellites broadcast messages

  Oligeri, G. (Ontwerper) & Sciancalepore, S. (Ontwerper), Mendeley Data, 16 sep. 2022

  DOI: 10.17632/xcxspv8c2r.2

  Dataset

• Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'

  Neele, T. (Ontwerper), Willemse, T. A. C. (Ontwerper) & Wesselink, W. (Ontwerper), Zenodo, 9 jan. 2020

  DOI: 10.5281/zenodo.3602970

  Dataset

• Data underlying the publication: Model-based simulation and threat analysis of in-vehicle networks

  Lekidis, A. (Ontwerper) & Barosan, I. (Bijdrager), 4TU.Centre for Research Data, 11 nov. 2019

  DOI: 10.4121/uuid:43484fbd-e8a9-4884-b094-1eee9f69f458

  Dataset

• mCRL2 release 201808.0

  Bunte, O. (Bijdrager), Groote, J. F. (Bijdrager), Keiren, J. J. A. (Bijdrager), Laveaux, M. (Bijdrager), Neele, T. (Bijdrager), de Vink, E. P. (Bijdrager), Wesselink, W. (Bijdrager), Wijs, A. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 2 sep. 2018

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

  Dataset

• Artifact - Formalisation of a new weak semantics for AuDaLa

  Leemrijse, G. (Bijdrager), Franken, T. T. P. (Bijdrager) & Neele, T. (Bijdrager), Zenodo, 21 aug. 2024

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

  Dataset

• Artifact - Formalisation of a new weak semantics for AuDaLa

  Leemrijse, G. (Bijdrager), Franken, T. T. P. (Bijdrager) & Neele, T. (Bijdrager), Zenodo, 5 jul. 2024

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

  Dataset