Skip to main content
Springer Nature Link
Log in

Modeling Genome Evolution with a DSEL for Probabilistic Programming

  • Conference paper
Practical Aspects of Declarative Languages (PADL 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3819))

Included in the following conference series:

  • 336 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Allen, E., Carrington, J., Erwig, M., Kasschau, K., Kollmansberger, S.: Computational Modeling of microRNA Formation and Target Differentiation in Plants (2005) (in preparation)

    Google Scholar 

  2. Carrington, J.C., Ambros, V.: Role of microRNAs in Plant and Animal Development. Science 301, 336–338 (2003)

    Article  Google Scholar 

  3. Chang, B.-Y.E., Sridharan, M.: PML: Toward a High-Level Formal Language for Biological Systems. Bio-CONCUR (2003)

    Google Scholar 

  4. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway Logic: Symbolic Analysis of Biological Signaling. In: Pacific Symp. on Biocomputing, pp. 400–412 (2002)

    Google Scholar 

  5. Erwig, M., Kollmansberger, S.: Probabilistic Functional Programming in Haskell. Journal of Functional Programming (2005) (to appear)

    Google Scholar 

  6. Giry, M.: A Categorical Approach to Probability Theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol. 915, pp. 68–85 (1981)

    Google Scholar 

  7. Jones, C., Plotkin, G.D.: A Probabilistic Powerdomain of Evaluations. In: 4th IEEE Symp. on Logic in Computer Science, pp. 186–195 (1989)

    Google Scholar 

  8. Lotka, A.J.: The Growth of Mixed Populations: Two Species Competing for a Common Food Supply. Journal of Washington Academy of Sciences 22, 461–469 (1932)

    Google Scholar 

  9. McAdams, H.H., Shapiro, L.: Circuit Simulation of Genetic Networks. Science 269(5224), 650–656 (1995)

    Article  Google Scholar 

  10. Morgan, C., McIver, A., Seidel, K.: Probabilistic Predicate Transformers. ACM Trans. on Programming Languages and Systems 18(3), 325–353 (1996)

    Article  Google Scholar 

  11. Nilsson, E.L., Fritzson, P.: Using Modelica for Modeling of Discrete, Continuous and Hybrid Biological and Biochemical Systems. In: The 3rd Conf. on Modeling and Simulation in Biology, Medicine and Biomedical Engineering (2003)

    Google Scholar 

  12. Park, S., Pfenning, F., Thrun, S.: A Probabilistic Language based upon Sampling Functions. In: 32nd Symp. on Principles of Programming Languages, pp. 171–182 (2005)

    Google Scholar 

  13. PFP. Probabilistic Functional Programming Library (2005), http://eecs.oregonstate.edu/~erwig/pfp

  14. Ramsey, N., Pfeffer, A.: Stochastic Lambda Calculus and Monads of Probability Distributions. In: 29th Symp. on Principles of Programming Languages, pp. 154–165 (2002)

    Google Scholar 

  15. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An abstraction for biological compartments. Theoretical Computer Science, Special Issue on Computational Methods in Systems Biology 325(1), 141–167 (2004)

    MATH  MathSciNet  Google Scholar 

  16. Renshaw, E.: Modelling Biological Populations in Space and Time. Cambridge University Press, Cambridge (1993)

    MATH  Google Scholar 

  17. Sato, T., Kameya, Y.: Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. Journal of Artificial Intelligence Research 15, 391–454 (2001)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of EECS, Oregon State University,  

    Martin Erwig & Steve Kollmansberger

Authors
  1. Martin Erwig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Steve Kollmansberger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Brown University, Box 1910, RI 02912, Providence,  

    Pascal Van Hentenryck

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Erwig, M., Kollmansberger, S. (2005). Modeling Genome Evolution with a DSEL for Probabilistic Programming. In: Van Hentenryck, P. (eds) Practical Aspects of Declarative Languages. PADL 2006. Lecture Notes in Computer Science, vol 3819. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11603023_10

Download citation

  • DOI: https://doi.org/10.1007/11603023_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30947-5

  • Online ISBN: 978-3-540-31685-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics