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- ...