UUHome > Bibliotheek > Scriptiearchief
  Resultaten 1 - 10 van 173 pag. 12 3 4 5 6
jaar Document Auteur(s) Supervisor
1 2018 Investigation of the Traveling Thief Problem
Wuijts, R.H. Thierens, D., Renooij, S.
2 2018 Compiling an Haskell EDSL to C: A new C back-end for the Copilot runtime verification framework
Dedden, F.H. Swiersta, W.S., Hage, J., Goodloe, A.E.
3 2018 Fine-Grained Model Slicing for Faster Verification
Eilers, R.R. Prasetya, dr. S.W.B, Bosman, J
4 2018 Reuse of Bayesian Networks: A Case-study in Classical and African Swine Fever
Geels, P.F. van der Gaag, Prof. dr. ir. L.C., Renooij, Dr. S., van Schaik, Prof. dr. ir. G.
5 2018 Implementing Counting Analysis in UHC
Bremer, T. Hage, J., Dijkstra, A.
6 2018 Predicting job resource utilization based on historical data
Swart, M.A. Swierstra, W.S., Kreuzer, R., Prasetya, S.W.B.
7 2018 Predicting job resource utilization based on historical data
Swart, M.A. Swierstra, W.S., Kreuzer, R., Prasetya, S.W.B.
8 2018 Predicting job resource utilization based on historical data
Swart, M.A. Swierstra, W.S., Kreuzer, R., Prasetya, S.W.B.
9 2018 Version Control Systems - Diffing with structure
Garufi, G. Swierstra, W.S., Jeuring, J.T., Miraldo, V.C.
10 2018 Spatially constrained spectral clustering on AEM-based resistivity models
Shamelian, A. Feelders, A. J., Broek, E. L. van den
  Resultaten 1 - 10 van 173 pag. 12 3 4 5 6