Mathematics and Computer Science

Zoekresultaten

• Selected Benchmarks for CNF-to-BDD Compilation

  Dubslaff, C. (Bijdrager), Husung, N. (Bijdrager), Käfer, N. (Bijdrager) & Wirtz, J. (Ontwerper), Zenodo, 19 okt. 2024

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

  Dataset

• Data for: Experimental Investigation of Transients-Induced Fluid-Structure Interaction in a Pipeline with Multiple-Axial Supports

  Keramat, A. (Ontwerper), Fathi-Moghadam, M. (Bijdrager), Zanganeh, R. (Bijdrager), Rahmanshahi, M. (Bijdrager), Tijsseling, A. S. (Bijdrager) & Jabbari, E. (Bijdrager), Mendeley Data, 30 dec. 2019

  DOI: 10.17632/k2hg6hfszt.1, https://data.mendeley.com/datasets/k2hg6hfszt

  Dataset

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

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

  DOI: 10.5281/zenodo.4601162

  Dataset

• Random forest models for gene expression experiments in Transformational Machine Learning

  Soldatova, L. N. (Ontwerper), King, R. D. (Ontwerper), Davis, A. M. (Ontwerper), Dash, T. (Ontwerper), Vanschoren, J. (Ontwerper), Olier, I. (Ontwerper) & Orhobor, O. I. (Ontwerper), SciLifeLab, 10 jan. 2022

  DOI: 10.17044/scilifelab.16837084

  Dataset

• scipopt/scip: v8.0.0

  Bestuzheva, K. (Ontwerper), Besançon, M. (Ontwerper), Chen, W.-K. (Ontwerper), Chimela, A. (Ontwerper), Donkiewicz, T. (Ontwerper), van Doornmalen, J. (Ontwerper), Eifler, L. (Ontwerper), Gaul, O. (Ontwerper), Gottwald, L. (Ontwerper), Graczyk, C. (Ontwerper), Halbig, K. (Ontwerper), Hoen, A. (Ontwerper), Hojny, C. (Ontwerper), van der Hulst, R. (Ontwerper), Koch, T. (Ontwerper), Lübbecke, M. (Ontwerper), Maher, S. J. (Ontwerper), Matter, F. (Ontwerper), Mühmer, E. (Ontwerper), Müller, B. (Ontwerper), Pfetsch, M. E. (Ontwerper), Rehfeldt, D. (Ontwerper), Schlein, S. (Ontwerper), Schlösser, F. (Ontwerper), Serrano, F. (Ontwerper), Shinano, Y. (Ontwerper), Sofranac, B. (Ontwerper), Turner, M. (Ontwerper), Vigerske, S. (Ontwerper), Wegscheider, F. (Ontwerper), Wellner, P. (Ontwerper), Weninger, D. (Ontwerper) & Witzig, J. (Ontwerper), Zenodo, 5 apr. 2022

  DOI: 10.5281/zenodo.6414876

  Dataset

• An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems

  Wijs, A. (Ontwerper), Keiren, J. J. A. (Ontwerper), Groote, J. F. (Ontwerper) & Jansen, D. N. (Ontwerper), Figshare, 20 feb. 2020

  DOI: 10.6084/m9.figshare.11876688

  Dataset

• Card sorting data for Formal methods for GPGPU programming: is the demand met?

  van den Haak, L. (Ontwerper), Wijs, A. J. (Ontwerper), van den Brand, M. G. J. (Ontwerper) & Huisman, M. (Ontwerper), 4TU.Centre for Research Data, 2 nov. 2020

  DOI: 10.4121/12988781

  Dataset

• Measuring hidden phenotype: quantifying the shape of barley seeds using the Euler characteristic transform

  Amézquita, E. (Bijdrager), Quigley, M. (Bijdrager), Ophelders, T. (Bijdrager), Landis, J. (Bijdrager), Koenig, D. (Bijdrager), Munch, E. (Bijdrager) & Chitwood, D. (Bijdrager), Zenodo, 31 mei 2023

  DOI: 10.5061/dryad.rxwdbrv93, https://zenodo.org/record/5598148

  Dataset

• Dashboard COVID-19 Early Warning System – documentation and data

  Schoot Uiterkamp, M. H. H. (Ontwerper), Gösgens, M. M. (Ontwerper) & Litvak, N. (Ontwerper), 4TU.Centre for Research Data, 7 okt. 2022

  DOI: 10.4121/21276624, https://data.4tu.nl/articles/dataset/Dashboard_COVID-19_Early_Warning_System_documentation_and_data/21276624

  Dataset

• Three-dimensional CFD analysis of liquid slug acceleration and impact in a voided pipeline with end orifice

  He, J. (Ontwerper), Hou, Q. (Ontwerper), Lian, J. (Ontwerper), Tijsseling, A. S. (Ontwerper), Bozkus, Z. (Ontwerper), Laanearu, J. (Ontwerper) & Lin, L. (Ontwerper), Taylor and Francis Ltd., 8 jul. 2022

  DOI: 10.6084/m9.figshare.20277559, https://tandf.figshare.com/articles/dataset/Three-dimensional_CFD_analysis_of_liquid_slug_acceleration_and_impact_in_a_voided_pipeline_with_end_orifice/20277559

  Dataset

• Event Data and Semantic Header for OCED-PG

  Swevels, A. J. E. (Ontwerper) & Fahland, D. (Ontwerper), Zenodo, 29 aug. 2023

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

  Dataset

• Appendix to "Process Mining Pipelines with Controlled Sharing of Data and Algorithms"

  Burattin, A. (Ontwerper), Kindler, E. (Ontwerper), Dyhre, N. (Ontwerper), Vestrup, S. (Ontwerper), Zerbato, F. (Ontwerper) & Weber, B. (Ontwerper), Zenodo, 7 jun. 2024

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

  Dataset

• BPI Challenge 2019

  van Dongen, B. (Ontwerper), 4TU.Centre for Research Data, 31 jan. 2019

  DOI: 10.4121/uuid:d06aff4b-79f0-45e6-8ec8-e19730c248f1

  Dataset

• FHC dataset underlying the publication: A Customised Down-sampling Machine Learning Approach for Sepsis Prediction

  Wu, Q. (Ontwerper), Ye, F. (Ontwerper), Gu, Q. (Ontwerper) & Xiao, Q. (Ontwerper), 4TU.Centre for Research Data, 8 feb. 2024

  DOI: 10.4121/02c23622-17b5-40c8-909d-7ac5d1387cb7, https://data.4tu.nl/datasets/02c23622-17b5-40c8-909d-7ac5d1387cb7 en nog één link, https://data.4tu.nl/datasets/02c23622-17b5-40c8-909d-7ac5d1387cb7/1 (minder tonen)

  Dataset

• Supplementary material from "Trade-offs between mobility restrictions and transmission of SARS-CoV-2"

  Litvak, N. (Bijdrager), Van Der Hofstad, R. (Bijdrager), Heesterbeek, H. (Bijdrager), Gösgens, M. M. (Bijdrager), Steenbakkers, W. (Bijdrager), Boon, M. A. A. (Bijdrager) & Hendriks, A. H. H. (Bijdrager), Figshare Academic Research System, 23 feb. 2021

  DOI: 10.6084/m9.figshare.c.5315472, https://rs.figshare.com/collections/Supplementary_material_from_Trade-offs_between_mobility_restrictions_and_transmission_of_SARS-CoV-2_/5315472

  Dataset

• mCRL2 models, requirements and test logs for the EULYNX Point interface case study

  Bouwman, M. (Ontwerper) & van der Wal, D. (Ontwerper), Zenodo, 30 okt. 2021

  DOI: 10.5281/zenodo.5863541

  Dataset

• iFM 2023 Artifact Evaluation VM

  Mahmoud, M. O. (Bijdrager) & Lamprecht, A.-L. (Bijdrager), Zenodo, 29 mrt. 2023

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

  Dataset

• A comparison of methods for clustering longitudinal data with slowly changing trends

  van den Heuvel, E. R. (Bijdrager), Pauws, S. C. (Bijdrager) & den Teuling, N. G. P. (Bijdrager), Figshare Academic Research System, 29 sep. 2021

  DOI: 10.6084/m9.figshare.13611385, https://tandf.figshare.com/articles/dataset/A_comparison_of_methods_for_clustering_longitudinal_data_with_slowly_changing_trends/13611385/3 en nog één link, https://tandf.figshare.com/articles/dataset/A_comparison_of_methods_for_clustering_longitudinal_data_with_slowly_changing_trends/13611385/2 (minder tonen)

  Dataset

• Polytope Division Method

  Veroy-Grepl, K. (Bijdrager), Tse, O. (Bijdrager), Mollo, P. (Bijdrager) & Nielen, E. T. E. (Overige), Zenodo, 21 okt. 2024

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

  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, 22 jan. 2024

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

  Dataset

• Stimulated Emission from Hexagonal Silicon-Germanium Nanowires

  van Tilburg, M. A. J. (Bijdrager), Haverkort, J. E. M. (Bijdrager), van Lange, V. T. (Bijdrager), Farina, R. (Bijdrager), Peeters, W. H. J. (Bijdrager), Meder, S. (Bijdrager), Jansen, M. M. (Bijdrager), Finley, J. J. (Bijdrager), Vettori, M. (Bijdrager), Bakkers, E. P. A. M. (Bijdrager) & Verheijen, M. A. (Bijdrager), Zenodo, 27 aug. 2024

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

  Dataset

• A variable clustering approach for overdispersed high-dimensional count data using a copula-based mixture model

  Brini, A. (Ontwerper), Manju, M. A. (Ontwerper) & van den Heuvel, E. R. (Ontwerper), Taylor and Francis Ltd., 20 feb. 2024

  DOI: 10.6084/m9.figshare.25250106, https://tandf.figshare.com/articles/dataset/A_variable_clustering_approach_for_overdispersed_high-dimensional_count_data_using_a_copula-based_mixture_model/25250106 en nog één link, https://tandf.figshare.com/articles/dataset/A_variable_clustering_approach_for_overdispersed_high-dimensional_count_data_using_a_copula-based_mixture_model/25250106/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, 2 jun. 2023

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

  Dataset

• Data underlying the publication: Isotropic atomic layer etching of GaN using SF6 plasma and Al(CH3)3

  Chittock, N. J. (Ontwerper), Mackus, A. J. M. (Ontwerper), Shu, Y. (Ontwerper), Elliott, S. D. (Ontwerper), Knoops, H. C. M. (Ontwerper) & Kessels, W. M. M. (Ontwerper), 4TU.Centre for Research Data, 21 aug. 2023

  DOI: 10.4121/b7383943-2ae0-4339-8cbf-657765023fd6, https://data.4tu.nl/datasets/b7383943-2ae0-4339-8cbf-657765023fd6 en nog één link, https://data.4tu.nl/datasets/b7383943-2ae0-4339-8cbf-657765023fd6/1 (minder tonen)

  Dataset

• Artifact for ACM CSUR article: "A Meta-Study of Software-Change Intentions"

  Krüger, J. (Ontwerper), Li, Y. (Ontwerper), Lossev, K. (Ontwerper), Zhu, C. (Ontwerper), Chechik, M. (Ontwerper), Berger, T. (Ontwerper) & Rubin, J. (Ontwerper), Zenodo, 16 apr. 2024

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

  Dataset