• Exploring Z3 for the Fair Allocation Domain 

      Sæbø, Karoline Kanestrøm (Master thesis, 2023)
      Denne masteroppgaven utforsker hvordan Z3, en "satisfiability modulo theories solver" (SMT-løser), kan brukes innenfor feltet rettferdig fordeling. Z3 ble testet for tilfeller der varene som skal fordeles er udelelige, og ...
    • Exposing novice programmers to an expert's eye-gaze 

      Lindberg, Sander Bjerklund (Master thesis, 2022)
      Siden programmering, kodefeilsøking og kodeforståelse er kognitive prosesser, kan det være vanskelig for en person å skjelne sin nøyaktige tankeprosess for å lære bort hvordan de selv løser oppgaver til andre. Gjennom bruk ...
    • Extended Speciation in Open-Ended Coevolution 

      Solheim, Torkil (Master thesis, 2020)
      Åpne koevolusjonære algoritmer er inspirert av naturlig evolusjon og samhandlingen mellom arter og miljøer. De kan genere problemer med økende kompleksitet samtidig som de har en løsning for hver. Ved å fokusere på simple ...
    • Extending a Proof-of-Concept Digital Twin and assessing IoT sensor accuracy 

      Tornes, Even (Master thesis, 2020)
      En tidligere bevis på konsept Digital Twin som samler inn data ved hjelp av IoT enheter ble videreutviklet med en ny back-end arkitektur, en ny kryss-platform front-end appliksjon som bruker rammeverket flutter og det ble ...
    • Extending Amber with Virtual Memory 

      Knutsen, Jakob Dagsland (Master thesis, 2015)
      Since the birth of modern computer architecture, computer performance has witnessed an exponential growth, driven mainly by increased transistor density. In the last decade, performance advancement has become increasingly ...
    • Extending Decision Support for the Norwegian Labour Inspection Authority Through Open and Unstructured Data Sources - Methods for detecting relevant information based on external data 

      Odden, Caroline; Løfqvist, Kathrine (Master thesis, 2018)
      The Norwegian Labour Inspection Authority supervises thousands of enterprises every year and strives for preservation of the employee's health and safety. The possibility to detect work related events in open sources is ...
    • Extending OMPT to Support Grain Graph Visualization 

      Langdal, Peder Voldnes (Master thesis, 2017)
      Because of physical constraints, performance gains of single-core processors has come to a halt. Computer architects have responded by adding multiple processor cores to their designs. However, for continued performance ...
    • Extending OMPT to Support Grain Graphs 

      Langdal, Peder Voldnes; Jahre, Magnus; Muddukrishna, Ananya (Journal article, 2017)
      The upcoming profiling API standard OMPT can describe almost all profiling events required to construct grain graphs, a recent visualization that simplifies OpenMP performance analysis. We propose OMPT extensions that ...
    • Extending Software Engineering Collaboration towards the Intersection of Software and Art 

      Ahmed, Salah Uddin (Doktoravhandlinger ved NTNU, 1503-8181; 2011:77, Doctoral thesis, 2011)
      The intersection between Software Engineering and Art is an interesting area which is growing with an increasing number of artists using software technology in their artwork. As a result, software developed by artists and ...
    • Extending the TILES Toolkit - from Ideation to Prototyping 

      Mæhlum, Anders Riise (Master thesis, 2017)
      Internet of Things is a term that is slowly working its way into people s vocabulary. The steadily decline in hardware prices is making sensors and actuators more accessible, and embedded hardware devices can be acquired ...
    • Extending the UML Statecharts Notation to Model Security Aspects 

      El-Attar, Mohamed; Luqman, Hamza; Karpati, Peter; Sindre, Guttorm; Opdahl, Andreas Lothe (Journal article, 2015)
      Model Driven Security has become an active area of research during the past decade. While many research works have contributed significantly to this objective by extending popular modeling notations to model security ...
    • Extensions for Boiler Plates and User Stories: Formal to Informal Conversion of Requirements 

      Ahmad, Azhar Amin (Master thesis, 2010)
      The customers active involvement has been the focus in almost every software development project in the past decade. The latest and most popular agile developments methodologies require customers feedback and approval ...
    • Externalization of User Model in Mobile Services 

      Asif, Muhammad; Krogstie, John (Journal article; Peer reviewed, 2014)
      In most personalized mobile services, the user model remains invisible, and users do not have control over it. Externalization of user models can allow users to get an overview the user model that is used for personalization, ...
    • Extracting and Exploring Examples from semi-structured Text 

      Hellerud, Espen (Master thesis, 2016)
      Active Learning has been a highly promoted form of learning the last decades. One of the exercises Active Learning makes use of is task and problem solving. Utilizing examples solving similar problems, can be very helpful ...
    • Extracting Keyphrases from Individual News Articles 

      Lund, Kristian (Master thesis, 2011)
      Extraction of keyphrases from individual documents is a research area in which one try to extract a small set of keyphrases that describe the content of a single document. The advantages with this form of extraction is ...
    • Extracting Knowledge for Cultural Heritage Knowledge Base Population 

      Takhirov, Naimdjon (Doktoravhandlinger ved NTNU, 1503-8181; 2013:289, Doctoral thesis, 2013)
      The entity-oriented description of the world is a major, current trend motivated by the need for semantic services that can support the human need of finding information, learning and discovering new knowledge, and broadening ...
    • Extracting Named Entities and Synonyms from Wikipedia for use in News Search 

      Bøhn, Christian (Master thesis, 2008)
      In news articles the focus on named entities is quite common and usually a news case is tied around a person, a company, or similar. One challenge from an information retrieval point of view is that one entity often have ...
    • Extracting news events from microblogs 

      Øystein, Repp; Ramampiaro, Heri (Journal article; Peer reviewed, 2018)
      Twitter stream has become a large source of information, but the magnitude of tweets posted and the noisy nature of its content makes harvesting of knowledge from Twitter has challenged researchers for long time. Aiming ...
    • Extraction of image properties for plurigaussian simulation 

      Aagaard, Herman Tolpinrud; Tran, Thomas Thien Dinh (Bachelor thesis, 2022)
      Abstract will be available on 2023-12-31