• A functional reconstruction of anti-unification 

  Østvold, Bjarte M. (NR-notat;, Research report, 2004)

  In 1970 both Plotkin and Reynolds defined the anti-unification of a set of literal clauses, that is, atomic formulas or negated atomic formulas. They gave similar imperative anti-nification algorithms and proved the ...

• An agent-based model with social interactions for scalable probabilistic prediction of performance of a new product 

  Parviero, Riccardo; Hellton, Kristoffer Herland; Haug, Ola; Engø-Monsen, Kenth; Rognebakke, Hanne Therese Wist; Canright, Geoffrey; Frigessi, Arnoldo; Scheel, Ida (Journal article; Peer reviewed, 2022)

• Predicting density-dependent somatic growth in Norwegian spring-spawning herring 

  Stenevik, Erling Kåre; Hølleland, Sondre Nedreås; Enberg, Katja; Høines, Åge Sigurd; Salthaug, Are; Slotte, Aril; Vatnehol, Sindre; Aanes, Sondre (Journal article; Peer reviewed, 2022)

• Om ventemusikk og teknostress: En oversikt over hørselshemmedes bruk av kommunikasjonsteknologi 

  Halbach, Till (Research report, 2022)

• Explaining individual predictions when features are dependent: More accurate approximations to Shapley values 

  Aas, Kjersti; Jullum, Martin; Løland, Anders (Journal article; Peer reviewed, 2021)

  Explaining complex or seemingly simple machine learning models is an important practical problem. We want to explain individual predictions from such models by learning simple, interpretable explanations. Shapley value is ...

View more