Stoichiometric Foundation of Large-Scale Biochemical System Analysis.- Modelling Stochastic Clonal Interference.- Software Verification of Biomolecular Systems.- Kinetic Modelling as a Modern Technology to Explore and Modify Living Cells.- Modelling Gene Assembly in Ciliates.- Towards Molecular Programming - a Personal Report on DNA8 and Molecular Computing.- Molecular Information Theory: Solving the Mysteries of DNA.- Formal Modelling of C. elegans Development. A Scenario-Based Approach.- P Systems with Symport/Antiport Rules. A Survey.- Mathematical Modelling of the Immune System.- The ?-calculus as an ion for Biomolecular Systems.- The Topology of Evolutionary Biology.- Models of Genome Evolution.
This paper proposes the Effective Index, a formal tool to support decision processes in drug discovery. The Effective Index is based on concurrency theory and process calculi to describe incrementally complex biological systems and on Markov process theory to handle quantitative information. A running case study concerning the pathways and the drugs related to hypertension exploits the approach.
Perfect Quantum Cloning Machines (QCM) would allow to use quantum nonlocality for arbitrary fast signaling. However perfect QCM cannot exist. We derive a bound on the fidelity of QCM compatible with the no-signaling constraint. This bound equals the fidelity of the Bu\v{z}ek-Hillery QCM.