Implementation level model checkers haven proven a good tool for identifying bugs in implementations of distributed algorithms. In recent years many new model checkers have been developed. These often include new state ...

Fornybare energikilder spiller en betydelig rolle i den moderne verden. En av kilden til fornybar energi er solenergi. Siden den vokser jevnt og trutt både innen industri og privat bruk, ser vi eksisterende etterspørsel ...

Data has the potential to transform our environments for the better if utilized to its full potential. A highly interesting use case of data is in relation to Smart Buildings, where IoT technology presents new possibilities. ...

This bachelor thesis describes the development of a web application that allows users to configure and save simulations for an energy system. The application utilizes a pre-existing simulator pack to generate real-time results, ...

Prosjektet "Webapplikasjon for simulering av vindpark" er en internett basert, interaktiv vindpark-simulator. Prosjektet ble fullført med motivasjon til å redusere terskel for planlegging av fornybar energi, som er i dette ...