Flash-induced ATP synthesis in pea chloroplasts in relation to proton flux

International audienceChloroplasts extracted from preilluminated pea seedling leaves have an active ATP synthase. Single turnover flashes induce ATP synthesis in these chloroplasts. This synthesis has been measured by the luminescence of the luciferin-luciferase assay system and the absorbance changes at 515 nm monitored to determine the concomitant proton flux through the ATP-synthase. Variations in the ratio H$^+$/ATP are observed and can be explained by the way ATP synthase is operating. The newly synthesized ATP molecules remain bound to the enzyme, and have variable probabilities to be hydrolysed or released from the enzyme, dependent upon the energized state of the membranes. The lowest value found for the ratio, H$^+$/ATP, is 1.90 $\pm$ 0.55, which should be very close to the true value

LINK: a Proof Environment based on Proof nets

Colloque avec actes et comité de lecture. internationale.International audienceLINK is a proof environment including proof nets-based provers for multiplicative linear logics: mixed linear logic, or recently called non-commutative logic (MNL), commutative linear logic (MLL) and non-commutative (or cyclic) linear logic (MCyLL). Its main characteristic is the provability analysis through automatic proof nets construction that is a powerful alternative to deal with resource management in proof search. These provers can be also seen as implementations of new connection methods for these linear logic fragments

Interaction of oxonol VI with spinach chloroplasts. Its use to sense the membrane potential

SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-Sur-Yvette Cedex (France) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Energization of the thylakoid membranes by ATP in spinach chloroplasts

SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-Sur-Yvette Cedex (France) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A focusing inverse method theorem prover for first-order linear logic

Abstract. We present the theory and implementation of a theorem prover forfirst-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlying the prover concern resource management andfocused derivations, both of which are traditionally understood in the domain of backward reasoning systems such as logic programming. We illustrate how re-source management, focusing, and other intrinsic properties of linear connectives affect the basic forward operations of rule application, contraction, and forwardsubsumption. We also present some preliminary experimental results obtained with our implementation