Browsing by Author "Greve, Bjørn Møller"

Now showing items 1-3 of 3

    • Hovedpunkter for en teknologisk transformasjon 

      Klepper, Karina Barnholt; Greve, Bjørn Møller; Ousdal, Steffen; Paulsen, Jens Erk; Rjaanes, Mats; Strand, Martin; Thorsberg, Line (Forsvarets forskningsinstitutt (FFI), 2021-12-16)
      Politiet, Politiets Sikkerhetstjeneste (PST) og Den høyere påtalemyndighet, forkortet politi- og påtaletjenestene, må følge teknologiutviklingen tett. Dette er avgjørende for å kunne vurdere teknologiske løsninger og ...

    • Solving non-linear Boolean equation systems by variable elimination 

      Greve, Bjørn Møller; Ytrehus, Øyvind; Raddum, Håvard; Fløystad, Gunnar (2019-08-17)
      In this paper we study Boolean equation systems, and how to eliminate variables from them while bounding the degree of polynomials produced. A procedure for variable elimination is introduced, and we relate the techniques ...

    • Teknologiutviklingens betydning for politiet, PST og Den høyere påtalemyndighet 

      Klepper, Karina Barnholt; Greve, Bjørn Møller; Ousdal, Steffen; Paulsen, Jens Erik; Rjaanes, Mats; Strand, Martin; Thorsberg, Line (2021-12-21)
      Denne rapporten skal bidra inn i kunnskapsgrunnlaget som skal ligge til grunn for Justis- og beredskapsdepartementets arbeid med en nasjonal plan for politiet, PST og Den høyere påtalemyndigheten, forkortet til politi- ...