Searched for: contributor:"Witteveen, C. (promotor)"
(1 - 13 of 13)
document
Walraven, E.M.P. (author)
Developing intelligent decision making systems in the real world requires planning algorithms which are able to deal with sources of uncertainty and constraints. An example can be found in smart distribution grids, in which planning can be used to decide when electric vehicles charge their batteries, such that the capacity limits of lines are...
doctoral thesis 2019
document
Mountakis, K.S. (author)
The research presented in this thesis is part of the Rolling Stock Life Cycle Logistics applied research and development program, conducted by NedTrain. As a company, NedTrain belongs to Nederlandse Spoorwegen (NS; the principal railway company in the Netherlands) and provides maintenance services for the NS train-fleet. The aim of this program...
doctoral thesis 2018
document
Gupta, S. (author)
In recent years,we have seen amajor shift in computing systems: data volumes are growing very fast, but hardware capabilities to store, process, and transfer the massive data are not speeding up at the same rate. Today, data are generated from a variety of sources, such as social networking websites, business transactions, banking sectors, etc....
doctoral thesis 2016
document
Polevoy, G. (author)
Much of what agents (people, robots, etc.) do is dividing effort between several activities. In order to facilitate efficient divisions, we study contributions to such activities and advise on stable divisions that result in high social<br/>welfare. To this end, for each model (game), we find the Nash equilibria and their social welfare. A Nash...
doctoral thesis 2016
document
Wilson, M. (author)
This thesis presents research on scheduling in an uncertain environment, which forms a part of the rolling stock life cycle logistics applied research and development program funded by Dutch railway industry companies. The focus therefore lies on scheduling of maintenance operations on rolling stock in the railway industry. The first chapter...
doctoral thesis 2016
document
Planken, L.R. (author)
This dissertation describes research into new methods for automated temporal reasoning. For this purpose, several frameworks are available in literature. Chapter 1 presents a concise literature survey that provides a new overview of their interrelation. In the remainder of the dissertation, the focus is on quantitative frameworks, i.e. temporal...
doctoral thesis 2013
document
Steenhuisen, J.R. (author)
doctoral thesis 2013
document
Yadati Narasimha, C. (author)
doctoral thesis 2013
document
De Jong, J.L. (author)
Dynamic scheduling problems are ubiquitous: traffic lights, elevators, planning of manufacturing plants, air traffic control, etc. Tasks have to be put on a timeline as smart as possible to reach certain goals. These goals may be related to production costs, the use of (scarce) resources, deadlines. These problems have often been regarded...
doctoral thesis 2012
document
Máhr, T. (author)
In this thesis, the main focus is on the study of a real-world transportation problem with uncertainties, and on the comparison of a centralized and a distributed solution approach in the context of this problem. We formalize the real-world problem, and provide a general framework to extend it with different sources of uncertainty. We apply...
doctoral thesis 2011
document
Ter Mors, A.W. (author)
In multi-agent route planning (MARP), there is a set of agents each with a start location and a destination location on a shared infrastructure, and the goal of each agent is to reach its destination in the shortest possible time, without coming into conflict (e.g. because of a collision) with any of the other agents. The MARP problem is...
doctoral thesis 2010
document
Verwer, S.E. (author)
This thesis contains a study in a subfield of artificial intelligence, learning theory, machine learning, and statistics, known as system (or language) identification. System identification is concerned with constructing (mathematical) models from observations. Such a model is an intuitive description of a complex system. One of the main nice...
doctoral thesis 2010
document
Heule, M.J.H. (author)
The satisfiability problem (Sat) lies at the core of the complexity theory. This is a decision problem: Not the solution itself, but whether or not a solution exists given a specified set of requirements is the central question. Over the years, the satisfiability problem has taken center stage as a means of effective representation to tackle...
doctoral thesis 2008
Searched for: contributor:"Witteveen, C. (promotor)"
(1 - 13 of 13)