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.

The effect of an eight session skate treadmill and agility training program on the degree of separation in ice hockey players

The sport of ice hockey places multiple simultaneous demands on the physiological, mechanical, and cognitive abilities of individual players. The purpose of the study was to investigate the effect of an eight session degree of separation (DOS) training intervention on sport specific measures of skating, stick handling and puck control movements in competitive ice hockey players. All participants completed a battery of pre and pos t skill and DOS specific tests designed to evaluate DOS abilities: Ttest of agility, a modified Cunningham Faulkner test of anaerobic capacity performed on a skate treadmill and a DOS skate treadmill test. Statistically significant differences were found between groups on the post test scores, meaning that the training intervention had a specific effect on the post test scores of the experimental group (p~O.05). Results of this investigation suggested that a DOS specific training program has the potential to enhance the integration and automation of or sequencing and coordination of uncoordinated ice hockey movements.

An Interactive Theorem Prover for First-Order Dynamic Logic

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.

Methodology in Economics: the Logic of Appraisal

This Paper Intends to Develop a Coherent Methodological Framework Concerned with the Appraisal of Scientific Theories in Economics, and Which Is Based on a Postulated Aim of Science. We First Define the Scope of a Methodological Inquiry (Precise Definition of What Is Meant by the Logic of Appraisal of Scientific Theories) and Review the Work of Popper and Lakatos in the Philosophy of Science. We Then Use Their Results to Develop a Rational Structure of Scientific Activity. We Identify and Analyse Both a Micro and Macro Framework for the Process of Appraisal and Single Out the Importance of So-Called 'Fundamental Assumptions' in Creating Externalities in the Appraisal Process Which Forces Us to Adop a Multi-Level Analysis. Special Attention Is Given to the Role and Significance of the Abstraction Process and the Use of Assumptions in General. the Proposed Structure of Scientific Activity Is Illustrated with Examples From Economics.

Intraoperative hemodynamic instability during and after separation from cardiopulmonary bypass : importance, mechanism and prevention

Chaque année, environ 1 à 1,25 million d’individus subiront une chirurgie cardiaque. [1] Environ 36 000 chirurgies cardiaques sont effectuées au Canada et 8000 procédures au Québec (http://www.ccs.ca). Le vieillissement de la population aura pour conséquence que la chirurgie cardiaque sera offerte à des patients de plus en plus à risque de complications, principalement en raison d’une co-morbidité plus importante, d’un risque de maladie coronarienne plus élevée, [2] d’une réserve physiologique réduite et par conséquent un risque plus élevé de mortalité à la suite d’une chirurgie cardiaque. L’une des complications significatives à la suite d’une chirurgie cardiaque est le sevrage difficile de la circulation extracorporelle. Ce dernier inclut la période au début du sevrage de la circulation extracorporelle et s’étend jusqu’au départ du patient de la salle d’opération. Lorsque le sevrage de la circulation extracorporelle est associé à une défaillance ventriculaire droite, la mortalité sera de 44 % à 86 %. [3-7] Par conséquent le diagnostic, l’identification des facteurs de risque, la compréhension du mécanisme, la prévention et le traitement du sevrage difficile de la circulation extracorporelle seront d’une importance majeure dans la sélection et la prise en charge des patients devant subir une chirurgie cardiaque. Les hypothèses de cette thèse sont les suivantes : 1) le sevrage difficile de la circulation extracorporelle est un facteur indépendant de mortalité et de morbidité, 2) le mécanisme du sevrage difficile de la circulation extracorporelle peut être approché d’une façon systématique, 3) la milrinone administrée par inhalation représente une alternative préventive et thérapeutique chez le patient à risque d’un sevrage difficile de la circulation extracorporelle après la chirurgie cardiaque.

Bounding of switching activity in logic circuits

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Le revenu de citoyenneté : entre émancipation et assujettissement. L'exemple du Basic Income Grant en Namibie.

De la capacité d’une société à repenser ses liens sociaux, dépend son développement à la fois politique, social et économique. L’État peut, pour contribuer de manière déterminante à la production de sens, développer des outils, entre autres des mécanismes de redistribution, susceptibles d’assurer la solidarité et la cohésion sociale. L’enjeu est d’importance pour certains pays comme la Namibie, dont l'histoire est marquée par le colonialisme et l'apartheid ─desquels il s'est libéré il y a à peine plus de vingt ans─ et qui sont construits sur une logique de séparation inégalitaire des droits et des ressources. À partir de l'exemple du Basic Income Grant (BIG), projet-pilote de revenu citoyen garanti mis en place dans un village de la Namibie entre 2007 et 2009, ce mémoire propose d'explorer l'apport du concept d'empowerment dans ce projet en tant qu'outil de déconstruction de ces structures inégalitaires. Après avoir exposé différentes conceptions des notions de pauvreté, de richesse et de développement, nous aborderons la question du revenu citoyen garanti et de la place qu'il peut prendre dans différents systèmes de protection sociale. Puis, nous tenterons de mieux cerner le concept d'empowerment pour finalement arriver à répondre à notre principal questionnement: le projet BIG permet-il effectivement l'émancipation ou au contraire, fait-il en sorte de renforcer le sentiment de dépendance et d'impuissance vécu par la communauté isolée, vivant dans des conditions d'extrême précarité? Des entrevues ont pour ce faire été conduites auprès de 15 participants, soit des membres du village d'Otjivero, des intervenants engagés dans le regroupement d'acteurs de la société civile namibienne étant à la source de l'initiative, et des représentants gouvernementaux. L’analyse de ces résultats est présentée en dernière partie de travail.

Parental separation and child adjustment : longitudinal perspective and risk factors

Malgré de nombreuses études qui soutiennent l'idée que les enfants ayant vécu la rupture de leurs parents rencontrent un plus haut niveau de difficultés affectives et comportementales que les enfants de familles intactes, certaines questions restent à éclaircir. Notamment, les données empiriques existantes ne conduisent pas à des conclusions précises quant au moment exact de l’apparition de ces difficultés. De plus, ce n'est pas clair si ces difficultés sont associées à la séparation en soi, ou à bien d'autres facteurs liés à la séparation. Cette thèse est constituée de deux articles empiriques. Le premier examine l’adaptation de l’enfant avant et après la séparation en fonction du sexe et de l'âge au moment de la séparation. Le second article présente une étude qui a pour objectif de départager l’importance des facteurs parentaux et contextuels et celle de la séparation parentale pour expliquer l’adaptation de l’enfant. Les participants proviennent de l'Étude Longitudinale du Développement des Enfants du Québec (ÉLDEQ, 1998-2006). À chaque enquête de l'ÉLDEQ, une entrevue structurée réalisée auprès de la mère a permis d'évaluer les niveaux d’hyperactivité/impulsivité, d’anxiété et d’agressivité physique de l’enfant. Pendant cette entrevue, les mères ont également répondu à des questions sur la qualité de leurs pratiques parentales et sur le revenu du ménage. Finalement, un questionnaire auto-administré à la mère a permis d'évaluer ses propres symptômes de dépression et d'anxiété. La première étude inclus 143 enfants de familles séparées et 1705 enfants de familles intactes. Deux sous-groupes ont été créés selon que l’enfant ait vécu la séparation entre 2 et 4 ans, ou entre 4 et 6 ans. L’adaptation de l'enfant a été évaluée à un temps de mesure avant la séparation et à deux temps de mesure après la séparation. Les résultats de cette première étude démontrent qu’avant la séparation, les enfants de familles intactes et séparées ne se distinguent pas significativement quant à leurs niveaux d’hyperactivité/impulsivité et d’anxiété. Par contre, ces difficultés deviennent significativement plus élevées chez les enfants de familles séparées après la rupture des parents. D’autres parts, le niveau d’agressivité physique est plus élevé chez les enfants de la séparation indépendamment du temps de mesure. Finalement, les différences entre les deux groupes d’enfants ne dépendent pas du sexe ou de l’âge au moment de la séparation. La deuxième étude inclus 358 enfants de 8 ans qui ont vécu la séparation de leurs parents, et 1065 enfants du même âge provenant de familles intactes. Après avoir contrôlé pour le sexe de l’enfant, les résultats ont démontré que lorsqu’on tient compte de la contribution des symptômes maternels de dépression et d'anxiété, de la qualité des pratiques parentales et du revenu du ménage dans l’adaptation de l’enfant, la séparation parentale ne demeurent plus liée aux niveaux d’anxiété et d'agressivité physique de l’enfant. Par contre, la relation entre la séparation parentale et l’hyperactivité/impulsivité de l’enfant demeure significative. Les résultats présentés dans les articles sont discutés ainsi que leurs implications.

Development of a Phase Separation Strategy in Macrocyclization Reactions

La réaction de macrocyclisation est une transformation fondamentale en chimie organique de synthèse. Le principal défi associcé à la formation de macrocycles est la compétition inhérente avec la réaction d’oligomérisation qui mène à la formation de sousproduits indésirables. De plus, l’utilisation de conditions de dilutions élevées qui sont nécessaires afin d’obtenir une cyclisation “sélective”, sont souvent décourageantes pour les applications à l’échelle industrielle. Malgré cet intérêt pour les macrocycles, la recherche visant à développer des stratégies environnementalement bénignes, qui permettent d’utiliser des concentrations normales pour leur synthèse, sont encore rares. Cette thèse décrit le développement d’une nouvelle approche générale visant à améliorer l’efficacité des réactions de macrocyclisation en utilisant le contrôle des effets de dilution. Une stratégie de “séparation de phase” qui permet de réaliser des réactions à des concentrations plus élevées a été developpée. Elle se base sur un mélange de solvant aggrégé contrôlé par les propriétés du poly(éthylène glycol) (PEG). Des études de tension de surface, spectroscopie UV et tagging chimique ont été réalisées afin d’élucider le mécanisme de “séparation de phase”. Il est proposé que celui-ci fonctionne par diffusion lente du substrat organique vers la phase ou le catalyseur est actif. La nature du polymère co-solvant joue donc un rôle crutial dans le contrôle de l’aggrégation et de la catalyse La stratégie de “séparation de phase” a initiallement été étudiée en utilisant le couplage oxidatif d’alcynes de type Glaser-Hay co-catalysé par un complexe de cuivre et de nickel puis a été transposée à la chimie en flux continu. Elle fut ensuite appliquée à la cycloaddition d’alcynes et d’azotures catalysée par un complexe de cuivre en “batch” ainsi qu’en flux continu.

Tailored Ion Imprinted Polymer Materials for the Preconcentrative Separation of Noble Metals

Tailored ion imprinted polymer materials for the preconcentrative separation of noble metals. This study deals with the synthesis, separation,characterization and analytical application of the noble metals especially palladium and platinum. Platinum group metals(PGM) are currently receiving world wide attention. This group include Palladium(Pt),rhodium(Rh), ruthenium(Ru), iridium(Ir) and osmium(Os).PGM are used as catalysts for a wide variety of hydrogenation, oxidation, isomerization,cyclization,dehydrogenation and dehalogenation reactions.The corrosion resistance of PGM enables them to use in jewellery,electrical and glass industries,extrusion of synthetic fibres,manufacture of laboratory utensils,dental and medical devices. This study clearly establishes selective recovery of platinum from other noble and transition elements.

Polyphenolic Compounds Liberated during Coir Retting in a Bio-reactor: Separation, Characterisation and Possible Applications

School of environmental studies, Cochin University of Science and Technology

Realization of Optical Logic Gates Using the Thermal Lens Effect

A sensitive method based on the principle of photothermal phenomena to realize optical logic gates is presented. A dual beam thermal lens method using low power cw lasers in a dye-doped polymer can be very effectively used as an alternate technique to perform the logical function such as NAND, AND and OR.