Výsledky vyhledávání - "CHRISTIANSEN, Jan"

Report

Implementing a Library for Probabilistic Programming using Non-strict Non-determinism

Autor: Dylus, Sandra, Christiansen, Jan, Teegen, Finn

This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilisti

Externí odkaz: http://arxiv.org/abs/1905.07212

Zobrazit plný text záznamu

Report

One Monad to Prove Them All

Autor: Dylus, Sandra, Christiansen, Jan, Teegen, Finn

Publikováno v: The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 8

One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventure of proving properties about Haskell programs in the proof assis

Externí odkaz: http://arxiv.org/abs/1805.08059

Zobrazit plný text záznamu

Dissertation/ Thesis

Materialstrømanalyse for aluminium i Norge

Autor: Christiansen, Jan Ari

Oppgavens hovedformål har vært å kartlegge materialflyten av aluminium i Norge. Hensikten med en slik kartlegging var å drøfte dagens og fremtidens resirkuleringsgrad i relasjon til teknologisk løsning og økologisk effektivitet i systemet saml

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-1435

Zobrazit plný text záznamu