back/research_data_management.tex

   1 \documentclass[../thesis.tex]{subfiles}
   2
   3 \input{subfilepreamble}
   4
   5 \begin{document}
   6 \input{subfileprefix}
   7 \ifSubfilesClassLoaded{\chapter*{Research data management}}{\chapter{Research data management}}%
   8 \label{chp:research_data_management}
   9
  10 This thesis research has been carried out under the research data management policy of the Institute for Computing and Information Science of the Radboud University, the Netherlands\footnote{\refurl{https://www.ru.nl/icis/research-data-management/}{\formatdate{20}{1}{2020}}}.
  11
  12 The following research datasets have been produced during this PhD research:
  13 \begin{itemize}
  14         \item \Fullref{chp:classy_deep_embedding}:
  15                 \begin{itemize}
  16                         \item \rdmentry{\mlubbers}{2022}
  17                                 {Literate Haskell/lhs2\TeX{} source code for the paper ``Deep Embedding with Class'': TFP 2022}
  18                                 {Zenodo}{10.5281/zenodo.6650880} %chktex 8
  19                         \item \Fullref{sec:classy_reprise}:
  20                                 \begin{itemize}
  21                                         \item \rdmentry{\mlubbers}{2022}
  22                                                 {Library and examples for enhanced classy deep embedding}
  23                                                 {Zenodo}{10.5281/zenodo.7277498} %chktex 8
  24                                 \end{itemize}
  25                 \end{itemize}
  26         \item \Fullref{chp:first-class_datatypes}:
  27                 \begin{itemize}
  28                         \item \rdmentry{\mlubbers; \& \pkoopman}{2022}
  29                                 {Code for the paper ``First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming'': IFL 2022}
  30                                 {Zenodo}{10.5281/zenodo.6416747}
  31                 \end{itemize}
  32         \item \Fullref{prt:top}:
  33                 \begin{itemize}
  34                         \item \rdmentry{\mlubbers; \pkoopman; \& \rplasmeijer}{2020}
  35                                 {Source code for the mTask language}
  36                                 {DANS}{10.17026/dans-xx4-8zs9} %chktex 8
  37                         \item \rdmentry{\mlubbers; \pkoopman; \& \rplasmeijer}{2020}
  38                                 {Source code for the multitasking mTask language integrated with the iTask system}
  39                                 {DANS}{10.17026/dans-x2y-rtxx} %chktex 8
  40                         \item \rdmentry{\mlubbers; \pkoopman; \& \rplasmeijer}{2020}
  41                                 {Source code for a simplified mTask language integrated with the iTask system}
  42                                 {DANS}{10.17026/dans-xv6-fvxd} %chktex 8
  43                         \item \rdmentry{\mlubbers; \pkoopman; \& \rplasmeijer}{2021}
  44                                 {Source code for the interpreted mTask language}
  45                                 {DANS}{10.17026/dans-zrn-2wv3} %chktex 8
  46                         \item \rdmentry{Crooijmans, S.\ (Radboud University); \mlubbers; \& \pkoopman}{2023}
  47                                 {Code for the paper ``Reducing the Power Consumption of IoT with Task-Oriented Programming'': TFP 2022}
  48                                 {Zenodo}{10.5281/zenodo.7634538}
  49                         \item \rdmentry{\mlubbers; \& \pkoopman; \rplasmeijer}{2023}
  50                                 {Code for the lecture notes: ``Writing Internet of Things Applications with Task Oriented Programming''}
  51                                 {Zenodo}{10.5281/zenodo.7643284}
  52                         \item \rdmentry{\mlubbers; \& \pkoopman}{2023}
  53                                 {Code for the lecture notes: ``Green Computing for the Internet of Things''}
  54                                 {Zenodo}{10.5281/zenodo.7643316}
  55                 \end{itemize}
  56         \item \Fullref{prt:tvt}:
  57                 \begin{itemize}
  58                         \item \rdmentry{\mlubbers; \pkoopman; \aramsingh; \jsinger; \& \ptrinder}{2021}
  59                                 {Source code, line counts and memory statistics for CRS, CWS, CRTS and CWTS}
  60                                 {Zenodo}{10.5281/zenodo.5040754}
  61                         \item \rdmentry{\mlubbers; \pkoopman; \aramsingh; \jsinger; \& \ptrinder}{2021}
  62                                 {Source code, line counts and memory stats for PRS, PWS, PRT and PWT}
  63                                 {Zenodo}{10.5281/zenodo.5081386}
  64                         \item \rdmentry{\mlubbers; \pkoopman; \aramsingh; \jsinger; \& \ptrinder}{2021}
  65                                 {Source code of the PRSS and CWSS applications}
  66                                 {DANS}{10.17026/dans-zvf-4p9m} %chktex 8
  67                 \end{itemize}
  68 \end{itemize}
  69
  70 \input{subfilepostamble}
  71 \end{document}