Now showing items 1-7 of 7

    • Cinderella and the Bucketgame 

      Bodlaender, M.H.L.
      We investigate a turn based two player game on a graph where a player (Cinderella) and an adversary (the Stepmother) empty or fill buckets. The Stepmother tries to reach an overflow by adding one liter of water to the ...
    • Design of a Weather Dependent Re-routing Algorithm for SafeTrans Monte Carlo Simulations 

      Verweij, R.
      SafeTrans is a software program used to simulate intended marine heavy lift transports with the purpose to obtain statistics on the shipping route, sailing speed and motion behavior. In SafeTrans a Monte Carlo simulation ...
    • Exploiting Monotonicity Constraints in Active Learning 

      Soons, P.A.
      If one wants to build a classi?er, but the available data is not classi?ed, active learning can be a good solution. If the data in question has the monotonicity property, we can classify much more data using fewer queries. ...
    • Identifying and Characterizing Communities in Social Networks 

      Pool, S.H.
      Methods for detecting community structures in graphs already exist for many years. This subject is studied by physicists, sociologists and also computer scientists. Traditional methods consider only the vertices and edges, ...
    • Object Sensitive Type Analysis for PHP 

      Hoek, H.E.K. van der
      In dynamically typed languages type checking is performed at run-time. Statically typed languages on the other hand perform type checking at compile time, allowing type errors to be caught at the earliest possible stage. ...
    • Optimal Loop Breaker Choice for Inlining 

      Heijer, S.K. den
      When inlining recursive functions care must be taken to ensure termination of the inliner. The Glasgow Haskell Compiler does this by choosing a loop breaker (which may never be inlined) for each recursion loop in the ...
    • Patient Careflow Discovery 

      Wanrooij, K.P.A. van
      In this study, we explored how different mining techniques can be used to gain insight into the healthcare domain. More specifically, we developed a methodology that takes a set of activity sequences from a Hospital ...