Modeling and simulation with Hybrid Functional Petri Nets of the role of interleukin-6 in human early haematopoiesis.

The regulation of human haematopoiesis is a complex biological system with numerous interdependent processes. In vivo Haematopoietic Stem Cells (HSCs) self-renew so as to maintain a constant pool of these cells. It would be very interesting to maintain these cells in vitro, in view of their therapeutical importance.

Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic.

Based on the discrete definition of biological regulatory networks developed by René Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudomonas aeruginosa.

The Antarctic Psychrobacter sp. TAD1 has two cold-active glutamate dehydrogenases with different cofactor specificities. Characterisation of the NAD+-dependent enzyme.

Psychrobacter sp. TAD1 is a psychrotolerant bacterium from Antarctic frozen continental water that grows from 2 to 25 degrees C with optimal growth rate at 20 degrees C. The new isolate contains two glutamate dehydrogenases (GDH), differing in their cofactor specificities, subunit sizes and arrangements, and thermal properties.