Blar i Department of Informatics på tidsskrift "Procedia Computer Science"
Viser treff 1-3 av 3
-
Current Trends for 4D Space-Time Topology for Semantic Flow Segmentation
(Peer reviewed; Journal article, 2011) -
Model Checking Healthcare Workflows Using Alloy
(Journal article; Peer reviewed, 2014)Workflows are used to organize business processes, and workflow management tools are used to guide users in which order these processes should be performed. These tools increase organizational efficiency and enable users ... -
A model for optimal fleet composition of vessels for offshore wind farm maintenance
(Peer reviewed; Journal article, 2017)We present a discrete optimisation model that chooses an optimal fleet of vessels to support maintenance operations at Offshore Wind Farms (OFWs). The model is presented as a bi-level problem. On the first (tactical) level, ...