25 resultados para ORDER STATISTIC
em Brock University, Canada
Resumo:
Formulations of a general bactericidal agent, chlorhexidine, mixed with a phospholipid at different concentrations are investigated using ^H NMR spectroscopy on a chain-deuterated lipid analog. Lipid-chlorhexidine formulation is known to release the drug into an aqueous medium slowly, maintaining a comparable concentration of the drug for up to four times longer than a direct aqueous solution. The NMR data does not support the proposed liposomal entrapment of chlorhexidine in lipid compartments. Complex thermal history of the lipid-chlorhexidine preparations is investigated in detail. In preparation for a counterpart measurement, using ^H NMR of deuterated chlorhexidine mixed with protonated lipid, the synthesis of a deuterated analog of chlorhexidine is performed.
Resumo:
A general derivation of the anharmonic coefficients for a periodic lattice invoking the special case of the central force interaction is presented. All of the contributions to mean square displacement (MSD) to order 14 perturbation theory are enumerated. A direct correspondance is found between the high temperature limit MSD and high temperature limit free energy contributions up to and including 0(14). This correspondance follows from the detailed derivation of some of the contributions to MSD. Numerical results are obtained for all the MSD contributions to 0(14) using the Lennard-Jones potential for the lattice constants and temperatures for which the Monte Carlo results were calculated by Heiser, Shukla and Cowley. The Peierls approximation is also employed in order to simplify the numerical evaluation of the MSD contributions. The numerical results indicate the convergence of the perturbation expansion up to 75% of the melting temperature of the solid (TM) for the exact calculation; however, a better agreement with the Monte Carlo results is not obtained when the total of all 14 contributions is added to the 12 perturbation theory results. Using Peierls approximation the expansion converges up to 45% of TM• The MSD contributions arising in the Green's function method of Shukla and Hubschle are derived and enumerated up to and including 0(18). The total MSD from these selected contributions is in excellent agreement with their results at all temperatures. Theoretical values of the recoilless fraction for krypton are calculated from the MSD contributions for both the Lennard-Jones and Aziz potentials. The agreement with experimental values is quite good.
Resumo:
Order parameter profiles extracted from the NMR spectra of model membranes are a valuable source of information about their structure and molecular motions. To al1alyze powder spectra the de-Pake-ing (numerical deconvolution) ~echnique can be used, but it assumes a random (spherical) dist.ribution of orientations in the sample. Multilamellar vesicles are known to deform and orient in the strong magnetic fields of NMR magnets, producing non-spherical orientation distributions. A recently developed technique for simultaneously extracting the anisotropies of the system as well as the orientation distributions is applied to the analysis of partially magnetically oriented 31p NMR spectra of phospholipids. A mixture of synthetic lipids, POPE and POPG, is analyzed to measure distortion of multilamellar vesicles in a magnetic field. In the analysis three models describing the shape of the distorted vesicles are examined. Ellipsoids of rotation with a semiaxis ratio of about 1.14 are found to provide a good approximation of the shape of the distorted vesicles. This is in reasonable agreement with published experimental work. All three models yield clearly non-spherical orientational distributions, as well as a precise measure of the anisotropy of the chemical shift. Noise in the experimental data prevented the analysis from concluding which of the three models is the best approximation. A discretization scheme for finding stability in the algorithm is outlined
Resumo:
Children were afforded the opportunity to control the order of repetitions for three novel spatiotemporal sequences. The following was predicted: a) children and adults in the self-regulated (SELF) groups would produce faster movement (MT) and reaction times (R T) and greater recall success (RS) during retention compared to the age-matched yoked (YOKE) groups; b) children would choose to switch sequences less often than adults; c) adults would produce faster MT and RT and greater RS than the children during acquisition and retention, independent of experimental group. During acquisition, no effects were seen for RS, however for MT and RT there was a main effect for age as well as block. During retention a main effect for practice condition was seen for RS and failed to reach statistical significance for MT and RT, thus partially supporting our first and second hypotheses. The third hypothesis was not supported.
Resumo:
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.
Resumo:
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.
Resumo:
If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.
Resumo:
Longitudinal studies of the development of autism spectrum disorders (ASD) provide an understanding of which variables may be important predictors of an ASD. The objective of the current study is to apply the reliable change index (RCI) statistic to examine whether the Parent Observation of Early Markers Scale (POEMS) is sensitive to developmental change, and whether these changes can be quantified along a child’s developmental trajectory. Ninety-six children with older siblings with autism were followed from 1-36 months of age. Group-based RCI analysis confirms that the POEMS is capable of detecting significant changes within pre-defined diagnostic groups. Within-subject analysis suggests that ongoing monitoring of a child at-risk for an ASD requires interpretation of both significant intervals identified by the RCI statistic, as well as the presence of repeated high (i.e., >70) scores. This study provides preliminary evidence for a reasonably sensitive and specific means by which individual change can be clinically monitored via parent report.
Resumo:
Cover title: Masonic light on the abduction and murder of Wm. Morgan.
Resumo:
Inscribed on front paste-down: Rothschild division No.227; and in pencil: James Jackson; and on front free endpaper: Presented to James M Clark By Mrs Amanda Burns Robert at Stayner 25 Aug. 1878.
Resumo:
A certificate of initiation and acceptance to the Canadian Order Chosen Friends, Thomas Cowan. The certificate reads "This certifies that evidence has been received that Thomas Cowan has been accepted and initiated by the Council name below, and has thus become a member of the Canadian Order of Chosen Friends, and entitled to all the rights and privileges of membership and a benefit of not exceeding one thousand dollars from the relief fund of said order, which shall in case of death be paid to Annie Cowan his wife in the manner and subject to the conditions set forth in the laws governing said relief fund and in the application for membership. This certificate to be in force and binding when accepted in writing by the said member, with the acceptance attested by the Councilor and Recorder and the seal of the Subordinate Council affixed, so long as said member shall comply with the requirements of the Constitution, Laws and Regulations now in force or hereafter adopted for the government of the Order: otherwise, and also in the case of granting of a new certificate, to be null and void. In witness whereof, we have hereunto attached our signatures, and affixed the seal of the Grand Council of the Canadian Order of Chosen Friends. Dated the Twenty Seventh day of July, A.D. 1891." The front and back of the certificate are available for viewing.
Resumo:
A certificate from the Grand Lodge of Ontario Independent Order of Odd Fellows to brother William H. Cowan. He has been admitted as a member of Livingstone Lodge No. 130 at Merritton 19 October 1909. The certificate is signed and dated by W. Brooks (Secretary) and S.A. Poplestoise (Grand Master) December 7, 1911. Cowan received the Degree of Truth.
Resumo:
A dedication service program for those who gave their lives during World War II from the city of St. Catharines. The list of over 150 names was to be read aloud and an address made by the Mayor (W.J. Macdonald) with prayers and hymn to follow.