Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Investigation of single tryptophan proteins encapsulated in TEOS-derived sol-gel matrices by fluorescence spectroscopy /

In the work reported here, optically clear, ultrathin TEOS derived sol-gel slides which were suitable for studies of tryptophan (Trp) fluorescence from entrapped proteins were prepared by the sol-gel technique and characterized. The monitoring of intrinsic protein fluorescence provided information about the structure and environment of the entrapped protein, and about the kinetics of the interaction between the entrapped protein and extemal reagents. Initial studies concentrated on the single Trp protein monellin which was entrapped into the sol-gel matrices. Two types of sol-gel slides, termed "wet aged", in which the gels were aged in buffer and "dry-aged", in which the gels were aged in air , were studied in order to compare the effect of the sol-gel matrix on the structure of the protein at different aging stages. Fluorescence results suggested that the mobility of solvent inside the slides was substantially reduced. The interaction of the entrapped protein with both neutral and charged species was examined and indicated response times on the order of minutes. In the case of the neutral species the kinetics were diffusion limited in solution, but were best described by a sum of first order rate constants when the reactions occurred in the glass matrix. For charged species, interactions between the analytes and the negatively charged glass matrix caused the reaction kinetics to become complex, with the overall reaction rate depending on both the type of aging and the charge on the analyte. The stability and conformational flexibility of the entrapped monellin were also studied. These studies indicated that the encapsulation of monellin into dry-aged monoliths caused the thermal unfolding transition to broaden and shift upward by 14°C, and causedthe long-term stability to improve by 12-fold (compared to solution). Chemical stability studies also showed a broader transition for the unfolding of the protein in dry-aged monoliths, and suggested that the protein was present in a distribution of environments. Results indicated that the entrapped proteins had a smaller range of conformational motions compared to proteins in solution, and that entrapped proteins were not able to unfold completely. The restriction of conformational motion, along with the increased structural order of the internal environment of the gels, likely resulted in the improvements in themial and long-term stability that were observed. A second protein which was also studied in this work is the metal binding protein rat oncomodulin. Initially, the unfolding behavior of this protein in aqueous solution was examined. Several single tryptophan mutants of the metal-binding protein rat oncomodulin (OM) were examined; F102W, Y57W, Y65W and the engineered protein CDOM33 which had all 12 residues of the CD loop replaced with a higher affinity binding loop. Both the thermal and the chemical stability were improved upon binding of metal ions with the order apo < Ca^^ < Tb^"^. During thermal denaturation, the transition midpoints (Tun) of Y65W appeared to be the lowest, followed by Y57W and F102W. The placement of the Trp residue in the F-helix in F102W apparently made the protein slightly more thermostable, although the fluorescence response was readily affected by chemical denaturants, which probably acted through the disruption of hydrogen bonds at the Cterminal end of the F-helix. Under both thermal and chemical denaturation, the engineered protein showed the highest stability. This indicated that increasing the number of metal ligating oxygens in the binding site, either by using a metal ion with a higher coordinatenumber (i.e. Tb^*) which binds more carboxylate ligands, or by providing more ligating groups, as in the CDOM33 replacement, produces notable improvements in protein stability. Y57W and CE)OM33 OM were chosen for further studies when encapsulated into sol-gel derived matrices. The kinetics of interaction of terbium with the entrapped proteins, the ability of the entrapped protein to binding terbium, as well as thermal stability of these two entrapped protein were compared with different levels of Ca^"*^ present in the matrix and in solution. Results suggested that for both of the proteins, the response time and the ability to bind terbium could be adjusted by adding excess calcium to the matrix before gelation. However, the less stable protein Y57W only retained at most 45% of its binding ability in solution while the more stable protein CDOM33 was able to retain 100% binding ability. Themially induced denaturation also suggested that CDOM33 showed similar stability to the protein in solution while Y57W was destabilized. All these results suggested that "hard" proteins (i.e. very stable) can easily survive the sol-gel encapsulation process, but "soft" proteins with lower thermodynamic stability may not be able to withstand the sol-gel process. However, it is possible to control many parameters in order to successfully entrap biological molecules into the sol-gel matrices with maxunum retention of activity.

Pigment orientation changes detected by low temperature linear dichroism spectroscopy: cold-hardening transition in phycobilisome-containing organisms

Low temperature (77K) linear dichroism spectroscopy was used to characterize pigment orientation changes accompanying the light state transition in the cyanobacterium, Synechococcus sp. pee 6301, and cold-hardening in winter rye (Secale cereale L. cv. Puma). Samples were oriented for spectroscopy using the gel squeezing method (Abdourakhmanov et aI., 1979) and brought to 77K in liquid nitrogen. The linear dichroism (LD) spectra of Synechococcus 6301 phycobilisome/thylakoid membrane fragments cross-linked in light state 1 and light state 2 with glutaraldehyde showed differences in both chlorophyll a and phycobilin orientation. A decrease in the relative amplitude of the 681nm chlorophyll a positive LD peak was observed in membrane fragments in state 2. Reorientation of the phycobilisome (PBS) during the transition to state 2 resulted in an increase in core allophycocyanin absorption parallel to the membrane, and a decrease in rod phycocyanin parallel absorption. This result supports the "spillover" and "PBS detachment" models of the light state transition in PBS-containing organisms, but not the "mobile PBS" model. A model was proposed for PBS reorientation upon transition to state 2, consisting of a tilt in the antenna complex with respect to the membrane plane. Linear dichroism spectra of PBS/thylakoid fragments from the red alga, Porphyridium cruentum, grown in green light (containing relatively more PSI) and red light (containing relatively more PSll) were compared to identify chlorophyll a absorption bands associated with each photosystem. Spectra from red light - grown samples had a larger positive LD signal on the short wavelength side of the 686nm chlorophyll a peak than those from green light - grown fragments. These results support the identification of the difference in linear dichroism seen at 681nm in Synechococcus spectra as a reorientation of PSll chromophores. Linear dichroism spectra were taken of thylakoid membranes isolated from winter rye grown at 20°C (non-hardened) and 5°C (cold-hardened). Differences were seen in the orientation of chlorophyll b relative to chlorophyll a. An increase in parallel absorption was identified at the long-wavelength chlorophyll a absorption peak, along with a decrease in parallel absorption from chlorophyll b chromophores. The same changes in relative pigment orientation were seen in the LD of isolated hardened and non-hardened light-harvesting antenna complexes (LHCII). It was concluded that orientational differences in LHCII pigments were responsible for thylakoid LD differences. Changes in pigment orientation, along with differences observed in long-wavelength absorption and in the overall magnitude of LD in hardened and non-hardened complexes, could be explained by the higher LHCII monomer:oligomer ratio in hardened rye (Huner et ai., 1987) if differences in this ratio affect differential light scattering properties, or fluctuation of chromophore orientation in the isolated LHCII sample.

The role of intrapartum intravenous therapy and method of delivery on newborn weight loss : challenging the 7% rule

It is common practice to initiate supplemental feeding in newborns if body weight decreases by 7-10% in the first few days after birth (7-10% rule). Standard hospital procedure is to initiate intravenous therapy once a woman is admitted to give birth. However, little is known about the relationship between intrapartum intravenous therapy and the amount of weight loss in the newborn. The present research was undertaken in order to determine what factors contribute to weight loss in a newborn, and to examine the relationship between the practice of intravenous intrapartum therapy and the extent of weight loss post-birth. Using a cross-sectional design with a systematic random sample of 100 mother-baby dyads, we examined properties of delivery that have the potential to impact weight loss in the newborn, including method of delivery, parity, duration of labour, volume of intravenous therapy, feeding method, and birth attendant. This study indicated that the volume of intravenous therapy and method of delivery are significant predictors of weight loss in the newborn (R2=15.5, p<0.01). ROC curve analysis identified an intravenous volume cut-point of 1225 ml that would elicit a high measure of sensitivity (91.3%), and demonstrated significant Kappa agreement (p<0.01) with excess newborn weight loss. It was concluded that infusion of intravenous therapy and natural birth delivery are discriminant factors that influence excess weight loss in newborn infants. Acknowledgement of these factors should be considered in clinical practice.

Life after hockey : an examination of athletic career transition and the National Hockey League's career transition program

The existent body of athletic career retirement literature is scant in studies of career transition programs. In an effort to attend to this analytical gap, the present study set out to examine the transitions of National Hockey League (NHL; ice hockey) alumni, as well as the effect ~and effectiveness of their respective career transition program, the Life After Hockey program. Interviews with 17 NHL/program alumni revealed that quality of transition (to post-playing life) was affected by: the continuity between pre- and postretirement environments; athletic identity; physical/psychological health (particularly with respect to post-concussion syndrome); selective coping strategies (e.g., preretirement planning (e.g., financial planning, continued education), positive reinterpretation, alcohol/substance abuse); and social support. Also affecting quality of transition, and found to be highly effective (particularly in generating new occupational opportunities, assisting in the acquisition of new skills, and providing a system of continuous support), was the Life After Hockey program.