Impedance Analysis of Complex Formation Equilibria in Phosphatidylcholine Bilayers Containing Decanoic Acid or Decylamine

Bilayer lipid membranes composed of phosphatidylcholine and decanoic acid or phosphatidylcholine and decylamine were investigated using electrochemical impedance spectroscopy. Interaction between membrane components causes significant deviations from the additivity rule. Area, capacitance, and stability constant values for the complexes were calculated based on the model assuming 1:1 stoichiometry, and the model was validated by comparison of these values to experimental results. We established that phosphatidylcholine and decylamine form highly stable 1:1 complexes. In the case of decanoic acid-modified phosphatidylcholine membranes, complexes with stoichiometries other than 1:1 should be taken into consideration

Large Formal Wikis: Issues and Solutions

We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general wiki system described in \cite{DBLP:conf/aisc/UrbanARG10}. A smart re-verification scheme for the large formal libraries in the wiki is suggested for Mizar/MML and Coq/CoRN, based on recently developed precise tracking of mathematical dependencies. We propose to use features of state-of-the-art filesystems to allow real-time cloning and sandboxing of the entire libraries, allowing also to extend the wiki to a true multi-user collaborative area. A number of related issues are discussed.Comment: To appear in The Conference of Intelligent Computer Mathematics: CICM 201