Opin vísindi

Browsing Háskólinn í Reykjavík by Subject "Computational Theory and Mathematics"

Browsing Háskólinn í Reykjavík by Subject "Computational Theory and Mathematics"

Sort by: Order: Results:

  • Icon
    Plotkin's call-by-value λ-calculus as a modal calculus 
    Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo (Elsevier BV, 2022-06)
    In the authors' previous analysis of the calling paradigms call-by-name and call-by-value through Girard's and Gödel's embeddings into the S4 modal logic, an asymmetry remains: the two paradigms are unified by the call-by-box paradigm of the modal ...
  • Icon
    popSTR2 enables clinical and population-scale genotyping of microsatellites 
    Kristmundsdottir, Snædis; Eggertsson, Hannes P; Arnadottir, Gudny A; Halldórsson, Bjarni (Oxford University Press (OUP), 2019-12-05)
    Summary: popSTR2 is an update and augmentation of our previous work ‘popSTR: a population-based microsatellite genotyper’. To make genotyping sensitive to inter-sample differences, we supply a kernel to estimate sample-specific slippage rates. For ...