The molecular docking problem is to determine how molecules interact with other molecules and plays a key role in understanding how cells function. DockingShop is an integrated en...
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...
Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine syst...
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...