Page 1
Page 1
Formal Methods in Systems Biology ; 1st International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.
Distributed computing and networking ; 8th International conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings
VI realm between distributed computing and networking, namely, Modeling Biological Networks, Network Security, Algorithmic Issues in Wireless Sensor Networks, and Optical Networking. This was made possible by the efforts of the Tutorial Chairs, Sr- har Iyer and Pinaki Mitra. The Organizing Committee worked hard to ensure that the participants enjoyed a comfortable stay and the technical meetings proceeded as smoothly as possible.
Computational Life Sciences ; Vol. 4216 ; 2nd International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Symposium on Computational Life Sciences, CompLife 2006. The papers are organized in topical sections on genomics, data mining, molecular simulation, molecular informatics, systems biology, biological networks/metabolism, and computational neuroscience.
