View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Conditional Independence in Functional Probabilistic Programming

        Thumbnail
        View/Open
        Thesis_final.pdf (780.5Kb)
        Publication date
        2021
        Author
        Zon, Wink van
        Metadata
        Show full item record
        Summary
        Probabilistic programming languages are a relatively new field within computer science. As a result, not much research has been done on automatic improvements, such as static analyses and program transformations, that could increase the efficiency or usability of a probabilistic programming language. This is especially true for functional probabilistic programming languages, which are not widely used. We therefore set out to discover such improvements for probabilistic programming in a functional setting. Specifically, we look at methods to improve probabilistic programming that use information on the conditional dependencies between the variables of a probabilistic model. In this thesis, we present a small but practical functional probabilistic programming language embedded in Haskell. We build a static analysis for this language that can automatically extract the conditional dependence information from a probabilistic model. Additionally, we implement a program transformation that uses the conditional dependence information that we have obtained to automatically perform complicated rewrites of probabilistic models, which previously had to be done by the user. Designing this language, the static analysis and the program transformation has given us many new insights on (functional) probabilistic programming language design, which will also be presented in the thesis.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/201
        Collections
        • Theses

        Related items

        Showing items related by title, author, creator and subject.

        • The evaluation of the Conductive Education program and the implementation of a Cognitive Stimulation program in a home for children with developmental disabilities in a rural area of South Africa. 

          Vos, R.V.; Westrhenen, N. van (2010)
          Samenvatting: Introduction: A Conductive Education (CE) program and a Cognitive Stimulation (CS) program were implemented in Sizanani Children’s Home, a residential facility in South Africa for children and young adults ...
        • The evaluation of the Conductive Education program and the Cognitive Stimulation program in a home for children with developmental disabilities in a rural area of South Africa 

          Mathot, A.F.; Velzen, J.M. van (2010)
          Introduction: This research evaluated the effectiveness of two developmental programs given in the Sizanani Children’s Home for disabled children in Bronkhorstspruit, South Africa. The Conductive Education (CE) program ...
        • Serving the Community; What are the individual and programmatic determinants for a corporate social responsibility program developed for high potentials in a talent management program? 

          Miert, I.C.J. van (2012)
          In the ongoing globalization, it becomes difficult to attract the talents that are suited for an organisation as Philips. Previous research shows that organisations need to innovate and listen to the needs of the High ...
        Utrecht university logo