In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
Steven Eker, Merrill Knapp, Keith Laderoute, Patri...
The field of molecular biology is in a remarkably rapid period of change, as the genome sequencing projects and new experimental technologies have generated an explosion of data To...
Vicki L. O'Day, Annette Adler, Allan Kuchinsky, An...
Background: The Distributed Annotation System (DAS) is a widely adopted protocol for dynamically integrating a wide range of biological data from geographically diverse sources. D...
Andrew M. Jenkinson, Mario Albrecht, Ewan Birney, ...
The growth of bioinformatics has resulted in datasets with new characteristics. These datasets typically contain a large number of columns and a small number of rows. For example,...
Feng Pan, Gao Cong, Anthony K. H. Tung, Jiong Yang...
Diffusion tensor MRI probes and quantifies the anisotropic diffusion of water molecules in biological tissues, making it possible to non-invasively infer the architecture of the u...