Corrado Priami

This issue on Computational Models for Cell Processes is based on a workshop that took place in Turku, Finland, May 2008. The papers span a mix of approaches to systems biology, ranging from quantitative techniques to computing paradigms inspired by biology.

Computational Models for Cell Processes

Transactions on Computational Systems Biology XI

Falko Dressler

Alioune Ngom

Ozgur B. Akan

Technology is taking us to a world where myriads of heavily networked devices interact with the physical world in multiple ways, and at many levels, from the globalInternetdowntomicroandnanodevices. Manyofthesedevicesarehighly mobile and autonomous and must adapt to the surrounding environment in a totally unsupervised way. A fundamental research challenge is the design of robust decentralized c- puting systemsthat arecapableofoperating in changing environmentsandwith noisy input, and yet exhibit the desired behavior and response time, under c- straints such as energy consumption, size, and processing power. These systems should be able to adapt and learn how to react to unforeseen scenarios as well as to display properties comparable to social entities. The observation of nature has brought us many great and unforeseen concepts. Biological systems are able to handle many of these challenges with an elegance and e?ciency far beyond currenthumanartifacts. Basedonthisobservation,bio-inspiredapproacheshave been proposed as a means of handling the complexity of such systems. The goal is to obtain methods to engineer technical systems, which are of a stability and e?ciency comparable to those found in biological entities. This Special Issue on Biological and Biologically-inspired Communication contains the best papers from the Second International Conference on Bio- Inspired Models of Network, Information, and Computing Systems (BIONET- ICS 2007). The BIONETICS conference aims to bring together researchers and scientistsfromseveraldisciplines incomputerscienceandengineeringwhereb- inspired methods are investigated, as well as from bioinformatics, to deepen the information exchange and collaboration among the di?erent communities.

Transactions on Computational Systems Biology X

This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2006, held in Trento, Italy, in October 2006. The 22 fully revised papers presented together with 2 invited talks were carefully reviewed and selected from 68 submissions. The papers present a variety of techniques from computer sciences, such as language design, concurrency theory, software engineering, and formal methods.

International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings

Computational Methods in Systems Biology

Ion Petre

Ralph-Johan Back

First International Workshop, CMSB 2003, Roverto, Italy, February 24–26, 2003

Paola Quaglia

This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, GC 2004, held in Rovereto, Italy in March 2004. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. Among the topics covered are programming environments, dynamic reconfiguration, resource guarantees, peer-to-peer networks, analysis of systems and resources, resource sharing, and security, as well as foundational calculi for mobility.

IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Global Computing

This issue of the journal reports regular papers. The ?rst contribution is by ParasChopra and Andreas Bender and discusses quantitative modelling aspects of the bgl operon for E. coli. The second contribution is by Rodrick Wallace and Deborah Wallace and deals with ecosystem transitions a?ecting phenotype - pressions and selection mechanisms. The techniques used are statistical models. The thirdcontributionis byRoberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi and Angelo Troina and presents the Stochastic Calculus of Looping Sequences (SCLS) suitable for the description of microbiologicals- tems, such as cellular pathways, and their evolution. The last contribution is by Federica Ciocchetta and describes the use of biological transactions to make atomic sequences of interactions in the BlenX language. May 2008 Corrado Priami LNCS Transactions on Computational Systems Biology - Editorial Board Corrado Priami, Editor-in-chief University of Trento, Italy Charles Au?ray Genexpress, CNRS and Pierre & Marie Curie University, France Matthew Bellgard Murdoch University, Australia Soren Brunak Technical University of Denmark, Denmark Luca Cardelli Microsoft Research Cambridge, UK Zhu Chen Shanghai Institute of Hematology, China Vincent Danos CNRS, University of Paris VII, France Eytan Domany Center for Systems Biology, Weizmann Institute, Israel Walter Fontana Santa Fe Institute, USA Takashi Gojobori National Institute of Genetics, Japan Martijn A.

Transactions on Computational Systems Biology IX

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This issue contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. The second contribution deals with ecosystem transitions affecting phenotype expressions and selection mechanisms. The third paper presents the Stochastic Calculus of Looping Sequences (SCLS) suitable for the description of microbiological systems, such as cellular pathways, and their evolution. The final contribution describes the use of biological transactions to make atomic sequences of interactions in the BlenX language.

Luca Marchetti

Vo Hong Thanh

This book explains the state-of-the-art algorithms used to simulate biological dynamics. Each technique is theoretically introduced and applied to a set of modeling cases. Starting from basic simulation algorithms, the book also introduces more advanced techniques that support delays, diffusion in space, or that are based on hybrid simulation strategies. This is a valuable self-contained resource for graduate students and practitioners in computer science, biology and bioinformatics. An appendix covers the mathematical background, and the authors include further reading sections in each chapter.

Corrado Priami

Books

Your next favorite book is out there