A Calculus for Molecular Interaction Maps

Molecular Interaction Maps are a graphical formalism used by biologists to describe complex interactions between molecules. We provide a formal description of MIMs using process algebras and determine its computational power

Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment

<p>Abstract</p> <p>Background</p> <p><it>Carassius gibelio</it>, a cyprinid fish from Eurasia, has the ability to reproduce both sexually and asexually. This fish is also known as an invasive species which colonized almost all continental Europe, most likely originating from Asia and Eastern Europe. Populations of both sexually and asexually reproducing individuals exist in sympatry. In this study we try to elucidate the advantages of such a mixed type of reproduction. We investigate the dynamics of two sympatric populations with sexual and asexual reproduction in a periodically fluctuating environment. We define an individual-based computational model in which genotypes are represented by <it>L </it>loci, and the environment is composed of <it>L </it>resources for which the two populations compete.</p> <p>Results</p> <p>Our model demonstrates advantageous population dynamics where the optimal percentage of asexual reproduction depends on selection strength, on the number of selected loci and on the timescale of environmental fluctuations. We show that the sexual reproduction is necessary for "generating" fit genotypes, while the asexual reproduction is suitable for "amplifying" them. The simulations show that the optimal percentage of asexual reproduction increases with the length of the environment stability period and decrease with the strength of the selection and the number of loci.</p> <p>Conclusions</p> <p>In this paper we addressed the advantages of a mixed type of sexual and asexual reproduction in a changing environment and explored the idea that a species that is able to adapt itself to environmental fluctuation can easily colonize a new habitat. Our results could provide a possible explanation for the rapid and efficient invasion of species with a variable ratio of sexual and asexual reproduction such as <it>Carassius gibelio</it>.</p

A Process Calculus for Molecular Interaction Maps

We present the MIM calculus, a modeling formalism with a strong biological basis, which provides biologically-meaningful operators for representing the interaction capabilities of molecular species. The operators of the calculus are inspired by the reaction symbols used in Molecular Interaction Maps (MIMs), a diagrammatic notation used by biologists. Models of the calculus can be easily derived from MIM diagrams, for which an unambiguous and executable interpretation is thus obtained. We give a formal definition of the syntax and semantics of the MIM calculus, and we study properties of the formalism. A case study is also presented to show the use of the calculus for modeling biomolecular networks.Comment: 15 pages; 8 figures; To be published on EPTCS, proceedings of MeCBIC 200