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 

      Matković, Krešimir; Lež, Alan; Hauser, Helwig; Pobitzer, Armin; Theisel, Holger; Kuhn, Alexander; Otto, Mathias; Peikert, Ronald; Schindler, Benjamin; Fuchs, Raphael (Peer reviewed; Journal article, 2011)

    • Model Checking Healthcare Workflows Using Alloy 

      Wang, Xiaoliang; Rutle, Adrian (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 

      Gutierrez-Alcoba, Alejandro; Ortega, Gloria; Hendrix, Eligius M.T.; Halvorsen-Weare, Elin Espeland; Haugland, Dag (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, ...