Modeling genome evolution with a DSEL for probabilistic programming

被引：0
作者：
Erwig, M [1 ]
Kollmansberger, S [1 ]
机构：
[1] Oregon State Univ, Sch EECS, Corvallis, OR 97331 USA
来源：
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES | 2006年 / 3819卷
关键词：
functional programming; probabilistic programming; haskell; genome evolution;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Many scientific applications benefit from simulation. However, programming languages used in simulation, such as C++ or Matlab, approach problems from a deterministic procedural view, which seems to differ, in general, from many scientists' mental representation. We apply a domain-specific language for probabilistic programming to the biological field of gene modeling, showing how the mental-model gap may be bridged. Our system assisted biologists in developing a model for genome evolution by separating the concerns of model and simulation and providing implicit probabilistic non-determinism.
引用
收藏
页码：134 / 149
页数：16
相关论文
共 50 条
  • [41] Genome evolution in polyploids
    Jonathan F. Wendel
    Plant Molecular Biology, 2000, 42 : 225 - 249
  • [42] Synthetic topology in Homotopy Type Theory for probabilistic programming
    Bidlingmaier, Martin E.
    Faissole, Florian
    Spitters, Bas
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2021,
  • [43] SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
    Saad, Feras A.
    Rinard, Martin C.
    Mansinghka, Vikash K.
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 804 - 819
  • [44] Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
    Beutner, Raven
    Ong, C-H Luke
    Zaiser, Fabian
    PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 536 - 551
  • [45] A Lambda-Calculus Foundation for Universal Probabilistic Programming
    Borgstrom, Johannes
    Dal Lago, Ugo
    Gordon, Andrew D.
    Szymczak, Marcin
    ACM SIGPLAN NOTICES, 2016, 51 (09) : 33 - 46
  • [46] Probabilistic abductive logic programming using Dirichlet priors
    Turliuc, Calin Rares
    Dickens, Luke
    Russo, Alessandra
    Broda, Krysia
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2016, 78 : 223 - 240
  • [47] Let's Chance: Playful Probabilistic Programming for Children
    Dharlwal, Manuj
    Dhariwal, Shruti
    CHI'20: EXTENDED ABSTRACTS OF THE 2020 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, 2020,
  • [48] Logic plus probabilistic programming plus causal laws
    Belle, Vaishak
    ROYAL SOCIETY OPEN SCIENCE, 2023, 10 (09):
  • [49] Etalumis: Bringing Probabilistic Programming to Scientific Simulators at Scale
    Baydin, Atilim Gunes
    Shao, Lei
    Bhimji, Wahid
    Heinrich, Lukas
    Meadows, Lawrence
    Liu, Jialin
    Munk, Andreas
    Naderiparizi, Saeid
    Gram-Hansen, Bradley
    Louppe, Gilles
    Ma, Mingfei
    Zhao, Xiaohui
    Torr, Philip
    Lee, Victor
    Cranmer, Kyle
    Prabhat
    Wood, Frank
    PROCEEDINGS OF SC19: THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, 2019,
  • [50] A Probabilistic Programming Approach for Outlier Detection in Healthcare Claims
    Bauder, Richard A.
    Khoshgoftaar, Taghi M.
    2016 15TH IEEE INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA 2016), 2016, : 347 - 354
12345