• ArXivDigest: A Living Lab for Personalized Scientific Literature Recommendation 

      Jekteberg, Øyvind; Gingstad, Kristian (Masteroppgave/UIS-TN-IDE/2020;, Master thesis, 2020-06-15)
      The purpose of this thesis is to explore different methods for recommending scientific literature to scientists and to explore different methods for doing topic extraction. We will update and use the already existing ...
    • Datafangst av merkeskilt på teknisk utstyr 

      Holbak, Marita Lode (Masteroppgave/UIS-TN-IDE/2011;, Master thesis, 2012-06)
      Dokumentasjon og verifikasjon er i den senere tid blitt en viktig del av kvalitetssikringen av produkter og tjenester inne industrien. Det finnes i dag en rekke hjelpemidler til bruk innen verifikasjonsprosessen. Denne ...
    • Domain Restricted Types for Improved Code Correctness 

      Fløysvik, Nicolas (Masteroppgave/UIS-TN-IDE/2019;, Master thesis, 2019-06)
      ReDi is a new static analysis tool for improving code correctness. It targets the C# language and is a .NET Roslyn live analyzer providing live analysis feedback to the developers using it. ReDi uses principles from formal ...
    • Prediction of Psychosis in Parkinson’s Patients using Machine Learning 

      Podhraški, Andrijana; Tjersland, Trond (Masteroppgave/UIS-TN-IDE/2020;, Master thesis, 2020)
      Parkinson’s disease is one of the most common neurological disorders with an estimated 6.3 million PD patients worldwide, which makes it a great threat to public health. Psychosis is a common symptom of Parkinson’s disease ...