977 resultados para Cook-Levin SAT SAT-solver


Relevância:

20.00% 20.00%

Publicador:

Resumo:

County of Welland estimate of work done on the main drain of the marsh lands by Alexander Cook, unsigned. Estimate no.26, Oct., 1857.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Estimate for A. Cook for marsh lands main drain for the month of Sept. Also included is a list of labourers’ time for the month of October for A. Cook’s men and Rose Osborne. This is signed by Fred Holmes, Oct. 27, 1857.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

County of Welland estimate of work done on the main drain of the marsh lands by Alexander Cook, unsigned. Estimate no.27, Nov., 1857.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

County of Welland final estimate of work done on the main drain of the marsh lands by Alexander Cook complete with notes and calculations of quantities. This document is unsigned. Estimate no.28, Dec., 1857.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Letter to Mr. Timothy Cook from Mr. McKay asking for the balance due to him, July 24, 1855.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Letter to Joseph Woodruff from Timothy Cook stating that he is going to send him the deed to his lot in Niagara, Jan. 27, 1857.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Depuis 2006, le Programme Hors Normes (PHN) dicte une nouvelle marche à suivre que doivent privilégier les équipes de santé au travail (SAT) lorsque des travailleurs sont exposés à des concentrations environnementales de produits chimiques supérieures aux valeurs d’exposition admissibles, c’est-à-dire à des « hors normes ». Le PHN encadre les activités de signalements des hors normes aux instances concernées et demande des suivis plus rigoureux en établissements. Ce faisant, il redéfinit les rôles des infirmières et des membres des équipes SAT. Dans le but de mieux comprendre l’implication des infirmières dans le cadre du PHN, sept entretiens individuels semi-dirigés ont été réalisés afin d’explorer et de décrire leurs représentations. L’analyse qualitative de ces représentations, par catégorisation et comparaisons constantes des discours, révèle que les infirmières se représentent de diverses façons leur pratique dans le cadre du PHN. En effet, les résultats de l’étude montrent qu’afin de comprendre l’implication des infirmières dans ce programme d’intervention, il importe de considérer les quatre éléments suivants : l’organisation du travail, les aspects relationnels (dynamique de relations), les cibles d’intervention et l’utilité du travail des infirmières (sens donné au travail). Afin de faciliter leur participation dans les programmes d’intervention et d’encourager la collaboration, tant intersectorielle qu’interprofessionnelle, il est suggéré en premier lieu de favoriser l’implication des infirmières dans les processus d’élaboration et d’implantation de programmes d’intervention. En second lieu, il est proposé de mettre en place une formation continue interprofessionnelle permettant une meilleure harmonisation des pratiques professionnelles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Contexte : De manière générale, on considère que le processus de validation d’un instrument de mesure porte sur la validité et la fiabilité. Or, la nature dynamique et évolutive de certaines problématiques, comme la stigmatisation des personnes vivant avec le VIH (PVVIH), laisse croire qu’il est particulièrement important de réinvestir rapidement dans la pratique, les résultats produits par les mesures ainsi validées. Objectifs : La présente thèse vise à développer et valider une échelle de mesure des attitudes stigmatisantes envers les PVVIH en intégrant un dispositif participatif. La thèse utilise en partie les données d’une enquête de surveillance des attitudes envers les PVVIH au Québec, elle comporte trois études qui répondent aux trois objectifs spécifiques suivants : (1) valider la version révisée d’un instrument de mesure des attitudes favorables à la stigmatisation dans la population générale du Québec envers les PVVIH; (2) analyser la relation entre la mesure des attitudes favorables à la stigmatisation et le recours au dépistage du VIH dans la population générale du Québec; (3) décrire et analyser les processus de circulation et d’utilisation des connaissances produites par l’instrument de mesure dans les réseaux professionnels des membres d’un comité consultatif. Méthodes : Un comité consultatif réunissant plusieurs partenaires issus de différents milieux a été constitué dès l’obtention de la subvention. Il a été consulté et informé avant, pendant et après l’enquête téléphonique populationnelle (n=1500) ayant permis de colliger les données. L’Échelle des Attitudes Stigmatisantes envers les Personnes Vivant avec le VIH (EASE-PVVIH) a été validée au moyen de plusieurs analyses psychométriques : analyses factorielles exploratoires et confirmatives, corrélations, régression linéaire multiple, test-t, tests d’hypothèses d’invariance de la structure factorielle et alphas de Cronbach (objectif 1). L’association entre les attitudes favorables à la stigmatisation et le recours au dépistage du VIH a été testée à l’aide de régressions logistiques hiérarchiques (objectif 2). Quant aux processus de circulation et d’utilisation des connaissances dans les réseaux professionnels, ils ont été analysés au moyen d’une étude de cas rétrospective (objectif 3). Résultats : Les analyses ont révélé trois résultats importants. Premièrement, d’un point de vue psychométrique, l’EASE-PVVIH est un outil fiable et valide pour mesurer les attitudes stigmatisantes envers les personnes vivant avec le VIH. Deuxièmement, sous une certaine forme caractérisée par l’inquiétude éprouvée lors de rencontres occasionnelles, les attitudes stigmatisantes par rapport aux personnes vivant avec le VIH semblent nuire au recours au test de dépistage dans la population générale au Québec. Troisièmement, un dispositif participatif en particulier, soit un comité consultatif, semble être un moyen pour favoriser le réinvestissement rapide et étendre la portée des résultats produits par la recherche dans des actions concrètes de santé publique. Conclusion : Ces résultats mettent en lumière la portée d’un dispositif participatif pour la validation d’instrument de mesure. L’arrimage entre les préoccupations scientifiques et pratiques apparaît être une avenue prometteuse pour améliorer la qualité et la pertinence sociale des données produites par les mesures.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L’obésité est associée au développement de plusieurs complications métaboliques, dont la résistance à l’insuline (RI). Or, certains sujets obèses ne développent pas de RI. Ces obèses sensibles à l’insuline (ISO) représentent un modèle humain unique pour étudier les facteurs impliqués dans le développement de la RI. La fibrose du tissu adipeux a été directement associée au développement de la RI chez le rongeur. Nous avons donc évalué la fibrose dans les tissus adipeux sous-cutané (TASC) et viscéral (TAV) d’individus obèses ISO, résistants à l’insuline (IRO) et diabétiques de type 2 (DT2), avant et six mois après leur chirurgie bariatrique. Malgré un âge, IMC et pourcentage de masse grasse semblables, les ISO présentaient une RI inférieure à celle des IRO avant la chirurgie (p < 0,05). Aucune différence n’a été observée entre les sujets ISO, IRO et DT2 en ce qui concerne la fibrose totale et les niveaux d’expression de gènes associés à la fibrose, ni dans le TASC ni dans le TAV. Toutefois, le log du pourcentage de fibrose dans le TASC était positivement corrélé avec le log de HOMA-IR (r = 0,3847, p = 0,0476) avant la chirurgie. Six mois plus tard, les niveaux de fibrose demeurent inchangés dans le TASC, mais la RI est significativement réduite dans tous les groupes, particulièrement chez les DT2. Aucune corrélation n’a été observée entre la fibrose du TASC et l’HOMA-IR après la chirurgie. Ces résultats montrent une association significative, mais éphémère entre la fibrose du TASC et la RI chez l’humain obèse.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how “far away” is a given specification from satisfying its safety assertion. Furthermore, specifications and safety assertions are often modified in an incremental fashion, where problematic bugs are fixed one at a time. To support this development, we propose an incremental algorithm for counting satisfiability. Our proposed incremental algorithm is optimal as no unnecessary nodes are created during each counting. This works for the class of path RTL. To illustrate this application, we show how incremental satisfiability counting can be applied to a well-known rail-road crossing example, particularly when its specification is still being refined.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper a precorrected FFT-Fast Multipole Tree (pFFT-FMT) method for solving the potential flow around arbitrary three dimensional bodies is presented. The method takes advantage of the efficiency of the pFFT and FMT algorithms to facilitate more demanding computations such as automatic wake generation and hands-off steady and unsteady aerodynamic simulations. The velocity potential on the body surfaces and in the domain is determined using a pFFT Boundary Element Method (BEM) approach based on the Green’s Theorem Boundary Integral Equation. The vorticity trailing all lifting surfaces in the domain is represented using a Fast Multipole Tree, time advected, vortex participle method. Some simple steady state flow solutions are performed to demonstrate the basic capabilities of the solver. Although this paper focuses primarily on steady state solutions, it should be noted that this approach is designed to be a robust and efficient unsteady potential flow simulation tool, useful for rapid computational prototyping.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Most glyco-engineering approaches used to improve quality of recombinant glycoproteins involve the manipulation of glycosyltransferase and/or glycosidase expression. We investigated whether the over expression of nucleotide sugar transporters, particularly the CMP-sialic acid transporter (CMP-SAT), would be a means to improve the sialylation process in CHO cells. We hypothesized that increasing the expression of the CMP-SAT in the cells would increase the transport of the CMP-sialic acid in the Golgi lumen, hence increasing the intra-lumenal CMP-sialic acid pool, and resulting in a possible increase in sialylation extent of proteins being produced. We report the construction of a CMP-SAT expression vector which was used for transfection into CHO-IFNγ, a CHO cell line producing human IFNγ. This resulted in approximately 2 to 5 times increase in total CMP-SAT expression in some of the positive clones as compared to untransfected CHO-IFNγ, as determined using real-time PCR analysis. This in turn concurred with a 9.6% to 16.3% percent increase in site sialylation. This engineering approach has thus been identified as a novel means of improving sialylation in recombinant glycoprotein therapeutics. This strategy can be utilized feasibly on its own, or in combination with existing sialylation improvement strategies. It is believed that such multi-prong approaches are required to effectively manipulate the complex sialylation process, so as to bring us closer to the goal of producing recombinant glycoproteins of high and consistent sialylation from mammalian cells.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El CEIP Manuel P??rez de Bollullos Par del Condado (Huelva) ha recibido el Primer Premio de P??ginas Web Educativas de la Junta de Andaluc??a, y ha sido galardonado con la Medalla de Oro al M??rito Educativo

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El presente documento, tiene como finalidad presentar una estrategia de desarrollo responsable y sostenible social y ambientalmente, estructurada en cinco ejes categóricos y tres enfoques de la productividad, los cuales son determinados en el recorrido de la investigación.