Currently, a huge amount of biological data can be naturally represented by graphs, e.g., protein interaction networks, gene regulatory networks, etc. The need for indexing large ...
Quantification of selective pressures on regulatory sequences is a central question in studying the evolution of gene regulatory networks. Previous methods focus primarily on sing...
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
—Transcriptional regulation by transcription factors (TFs) and microRNAs controls when and how much RNA is created. Due to technical limitations, the protein level expressions of...
Jia Meng, Hung-I Harry Chen, Jianqiu Zhang, Yidong...
Abstract- This paper describes implementation details and results from a simulated multi-agent bacteria ecosystem. Each bacterium is encoded on a DNA-like genome, specifying the ge...
Ricardo M. Hoar, Joanne K. Penner, Christian Jacob