45 research outputs found
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
Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver
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
The Effect of pH on the Electrical Capacitance of Phosphatidylcholine–Phosphatidylserine System in Bilayer Lipid Membrane
Specificity of cytochemical and fluorescence methods of senescence-associated β-galactosidase detection for ageing driven by replication and time
AN ASSESSMENT OF MICROCOMPUTER-BASED ART ACTIVITIES FOR SECONDARY ART PROGRAMS (COM-GEN IMAGES)
The purpose of this study was to identify curriculum concerns relating to microcomputer-based art activities for secondary art programs. Surveys were sent to 137 art supervisors from the United States and 24 computer art experts from the post-secondary level. Eighty-six art supervisors and 11 computer art experts responded concerning their opinions regarding content considerations for a microcomputer-based art curriculum. Participants were strongly receptive to the need for microcomputer-based art activities on the secondary level. The areas that received the highest ratings for potential topics in a microcomputer-based art curriculum were: the use of peripheral devices, evaluation and criticism of computer-generated images, the general production of computer images, the identification of careers in computer graphics, the appreciation of computer-generated images and the ability to assess their use in the environment, defining computer art terms, and the selection of appropriate software for personal use. Six content areas that participants felt should not be included or were uncertain of their importance were: computer animation, use of commercially-produced graphic software programs, three-dimensional (3D) graphics, computer programming, descriptions of hardware/software devices, and two-dimensional (2D) graphics. Four demographic variables (geographical region, art education philosophy, microcomputer experience, and professional level) were also paired with the content areas in order to identify any significant relationships. Participants from two of the five geographical regions were found to differ on the need for evaluation and criticism of computer images (p \u3c .025). Participants who had microcomputer experience were more likely to see a need for evaluation of computer images (p \u3c .005) and assessing the implications of using computer imagery in our environment (p \u3c .05). Differences in professional level did seem to affect responses to the need for careers in computer graphics and computer animation; secondary art educators responded more favorably than post-secondary art educators. Several areas were identified that need to be addressed in order to successfully implement the use of microcomputers in the art classroom