Essays about: "Mathias Lindgren"

Found 2 essays containing the words Mathias Lindgren.

  1. 1. Practical Verification of Stateful Embedded C Code using Finite State Machines and VCC

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Mathias Lindgren; [2020]
    Keywords : ;

    Abstract : Vehicles in the 21st-century are becoming more and more dependent on embedded software systems for navigation, system control, monitoring, and entertainment. Manufacturers of cars have also over the years been put under more and more safety regulations and as such, some of these systems are of a safety critical nature and undergo rigorous reliability testing. READ MORE

  2. 2. Movie recommendations using matrix factorization

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Jakob Ivarsson; Mathias Lindgren; [2016]
    Keywords : ;

    Abstract : A recommender system is a tool for recommending personalized content for users based on previous behaviour. This thesis examines the impact of considering item and user bias in matrix factorization for implementing recommender systems. Previous work have shown that user bias have an impact on the predicting power of a recommender system. READ MORE