831 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
The Ajjanahalli gold mine is spatially associated with a Late Archean craton-scale shear zone in the eastern Chitradurga greenstone belt of the Dharwar craton, India. Gold mineralization is hosted by an similar to100-m-wide antiform in a banded iron formation. Original magnetite and siderite are replaced by a peak metamorphic alteration assemblage of chlorite, stilpnomelane, minnesotaite, sericite, ankerite, arsenopyrite, pyrite, pyrrhotite, and gold at ca. 300degrees to 350degreesC. Elements enriched in the banded iron formation include Ca, Mg, C, S, An, As, Bi. Cu, Sb, Zn, Pb, Se, Ag, and Te, whereas in the wall rocks As, Cu, Zn, Bi, Ag, and An are only slightly enriched. Strontium correlates with CaO, MgO, CO2, and As, which indicates cogenetic formation of arsenopyrite and Mg-Ca carbonates. The greater extent of alteration in the Fe-rich banded iron formation layers than in the wall rock reflects the greater reactivity of the banded iron formation layers. The ore fluids, as interpreted from their isotopic composition (delta(18)O = 6.5-8.5parts per thousand; initial Sr-87/Sr-86 = 0.7068-0.7078), formed by metamorphic devolatilization of deeper levels of the Chitradurga greenstone belt. Arsenopyrite, chalcopyrite, and pyrrhotite have delta(34)S values within a narrow range between 2.1 and 2.7 per mil, consistent with a sulfur source in Chitradurga greenstone belt lithologies. Based on spatial and temporal relationships between mineralization, local structure development, and sinistral strike-slip deformation in the shear zone at the eastern contact of the Chitradurga greenstone belt, we suggest that the Ajjanahalli gold mineralization formed by fluid infiltration into a low strain area within the first-order structure. The ore fluids were transported along this shear zone into relatively shallow crustal levels during lateral terrane accretion and a change from thrust to transcurrent tectonics. Based on this model of fluid flow, exploration should focus on similar low strain areas or potentially connected higher order splays of the first-order shear zone.
Resumo:
INTRODUCTION: This study sought to increase understanding of women's thoughts and feelings about decision making and the experience of subsequent pregnancy following stillbirth (intrauterine death after 24 weeks' gestation). METHODS: Eleven women were interviewed, 8 of whom were pregnant at the time of the interview. Modified grounded theory was used to guide the research methodology and to analyze the data. RESULTS: A model was developed to illustrate women's experiences of decision making in relation to subsequent pregnancy and of subsequent pregnancy itself. DISCUSSION: The results of the current study have significant implications for women who have experienced stillbirth and the health professionals who work with them. Based on the model, women may find it helpful to discuss their beliefs in relation to healing and health professionals to provide support with this in mind. Women and their partners may also benefit from explanations and support about the potentially conflicting emotions they may experience during this time.
Resumo:
This paper presents a theoretical model to analyze the privacy issues around location based mobile business models. We report the results of an exploratory field experiment in Switzerland that assessed the factors driving user payoff in mobile business. We found that (1) the personal data disclosed has a negative effect on user payoff; (2) the amount of personalization available has a direct and positive effect, as well as a moderating effect on user payoff; (3) the amount of control over user's personal data has a direct and positive effect, as well as a moderating effect on user payoff. The results suggest that privacy protection could be the main value proposition in the B2C mobile market. From our theoretical model we derive a set of guidelines to design a privacy-friendly business model pattern for third-party services. We discuss four examples to show the mobile platform can play a key role in the implementation of these new business models.
Resumo:
The purpose of this case study was to determine the effectiveness of sport for development (SDP) evaluation within one program in Gansbaai, South Africa through critical, independent participant inclusive program evaluation. Qualitative research was conducted on the Football Foundation of South Africa (FFSA), where semi-structured interview data were collected from administrators and participants, as were data from direct participant observations and organizational documents. Data analysis followed, according to Kvale and Brinkman’s (2008) methodology. FFSA goals were found, as were themes of social impact (i.e., regarding coach-player relationships, trust, and coaching impact on social integration). A further theme related to evaluation components and procedures. Further themes included life skill development, competition within programming, participants’ home life and social integration. Findings contribute to the SDP literature relating to program evaluation research and to FFSA administrators by providing an understanding of SDP program shortcomings, limitations, and suggested improvements.
Resumo:
Sport-for-development is the active practice of achieving social ideals through the use of sport and other traditional development programs. The purpose of this thesis was to evaluate SFD best practices from the context of an African organization development project. The case was a development organization in Zambia, Africa that was utilizing sport within its strategy. The data collection and analysis framed using Curado and Bontis (2007) MIC Matrix, the Sport For Development International Working Group’s (2007) best practices model, and B. Kidd’s (2011) Sport-in-Development Logic Model. The research supports that a SFD project is multi-faceted and should include the employment of strategic community programming on the basis of collaborative and integrative sport, health care and education. Further, the researcher found that the best practices include setting specific goals and objectives, as well as instituting regular monitoring and evaluation strategies
Resumo:
La réadaptation pulmonaire est une intervention dont l’efficacité est largement reconnue. Cette efficacité a été établie grâce à l’utilisation d’instruments de mesure d’impact global. Les patients bénéficiant des programmes de réadaptation pulmonaire possèdent des caractéristiques variées et souffrent généralement de maladie pulmonaire obstructive chronique à différents degrés. En fonction de leurs différents besoins, les patients répondent de façon variable aux composantes d’un programme de réadaptation pulmonaire. Il est recommandé d’individualiser les programmes en fonction des besoins des patients afin d’en optimiser les effets. À cette fin, l’évaluation des besoins de réadaptation des patients est nécessaire. Comme il n’existe actuellement aucun instrument standardisé pour procéder à cette évaluation, nous avons entrepris d’en développer un à l’aide de méthodes qualitatives et quantitatives de recherche. Un modèle conceptuel d’évaluation des besoins de réadaptation des patients a été élaboré suite aux résultats tirés de groupes de discussion, de la consultation de dossiers médicaux et d’une recension des écrits. À partir de ce modèle, des items devant être sélectionnés de façon individualisée parmi cinq domaines (reconnaissance des besoins, connaissance, motivation, attentes et buts) ont été pré-testés. Les tendances générales concernant la validité des items contenus dans le prototype d’instrument ont été vérifiées lors d’une étude pilote auprès de 50 répondants en réadaptation. Les pistes d’investigation dégagées dans ce mémoire serviront aux études de validation plus approfondies dont devrait faire l’objet ce prototype d’instrument dans le futur.
Resumo:
Trajectoires développementales de l’IMC durant l’enfance: Une étude longitudinale sur 8 ans. Introduction : L’obésité infantile, origine de nombreux problèmes de santé, représente un grand défi en santé publique. Récemment, l’importance d’étudier l’évolution du surpoids durant l’enfance ainsi que les facteurs de risques précoces pour l’obésité a été reconnue. Les trajectoires développementales d’indice de masse corporelle (IMC) chez les jeunes représentent une approche innovatrice qui nous permet de mieux comprendre cette problématique importante. Objectifs: 1) Identifier des trajectoires développementales distinctes de groupes d’enfants selon leur IMC durant l’enfance, et 2) Explorer les facteurs de risques précoces qui prédisent l’appartenance de l’enfant à la trajectoire d’IMC le plus élevé Hypothèses: 1) On s’attend à retrouver un groupe d’enfants qui suit une trajectoire d’IMC élevée durant l’enfance. 2) On s’attend à ce que certaines caractéristiques de la mère (ex : tabac pendant la grossesse et IMC élevé), soient associées à l’appartenance de l’enfant au groupe ayant la trajectoire «IMC élevé ». Méthodes: Estimation des trajectoires développementales d’IMC d’enfants, dans un échantillon populationnel (n=1957) au Québec (ELDEQ). Les IMC ont été calculés à partir de données fournies par les mères des enfants et recueillis chaque année sur une durée de 8 ans. Des données propres à l’enfant sa mère, ainsi que socioéconomiques, ont étés recueillies. Une régression logistique multinomiale a été utilisée pour distinguer les enfants avec un IMC élevé des autres enfants, selon les facteurs de risques précoces. Les programmes PROC TRAJ (extension de SAS), SPSS (version 16), et SAS (version 9.1.3) ont été utilisés pour ces analyses. Résultats: Trois trajectoires d’IMC ont étés identifiées : IMC « bas-stable » (54,5%), IMC « modéré » (41,0%) et IMC « élevé et en hausse » (4,5%). Le groupe « élevé et en hausse » incluait des enfants pour qui l’IMC à 8 ans dépassait la valeur limite pour l’obésité. Les analyses de régression logistique ont révélé que deux facteurs de risques maternels étaient significativement associés avec la trajectoire “en hausse” par rapport aux deux autres groupes : le tabac durant la grossesse et le surpoids maternel. Conclusions: Des risques d’obésité infantile peuvent êtres identifiés dès la grossesse. Des études d’intervention sont requises pour identifier la possibilité de réduire le risque d’obésité chez l’enfant en ciblant le tabac et le surpoids maternelle durant la grossesse. Mots clés: Indice de masse corporelle (IMC), obésité infantile, trajectoires développementales de groupe, facteurs de risque précoce, étude populationnelle, tabac pendant la grossesse, obésité maternelle.
Resumo:
Nous avons mené une étude empirique pour tester les conclusions théoriques d'un article de Foellmi et Oeschlin (2010), selon lesquelles la libéralisation commerciale accroît les inégalités de revenu dans les pays dont les marchés financiers sont affectés par des frictions. On réalise une régression sur des indices synthétiques de la distribution des revenus, de type Gini, de l’ouverture commerciale, en interaction avec un indicateur de disponibilité du crédit. On dispose d’un panel de pays en développement et de pays émergents, comprenant des données annuelles. Il apparaît que les signes de nos variables d’intérêts sont toujours cohérents avec l’analyse de Foellmi et Oeschlin, même après intégration de divers groupes de variables de contrôle et également lorsque les régressions sont effectuées sur des données agrégées par 5 ans. Néanmoins, les paramètres perdent en significativité pour certains groupes de variables de contrôle, certainement du fait de la faible qualité des données et de la taille relativement modeste de l’échantillon.
Resumo:
Les objectifs de l’étude de l’évolution du risque cardiométabolique (RCM) sur une période de quatre ans (2006-2010) chez des adultes béninois consistaient à: • Examiner les relations entre l’obésité abdominale selon les critères de la Fédération Internationale du Diabète (IFD) ou l’insulino-résistance mesurée par le Homeostasis Model Assessment (HOMA) et l’évolution des autres facteurs de RCM, • Examiner les liens entre les habitudes alimentaires, l’activité physique et les conditions socio-économiques et l’évolution du RCM évalué conjointement par le score de risque de maladies cardiovasculaires de Framingham (FRS) et le syndrome métabolique (SMet). Les hypothèses de recherche étaient: • L’obésité abdominale telle que définie par les critères de l’IDF est faiblement associée à une évolution défavorable des autres facteurs de RCM, alors que l’insulino-résistance mesurée par le HOMA lui est fortement associée; • Un niveau socioéconomique moyen, un cadre de vie peu urbanisé (rural ou semi-urbain), de meilleures habitudes alimentaires (score élevé de consommation d’aliments protecteurs contre le RCM) et l’activité physique contribuent à une évolution plus favorable du RCM. L’étude a inclus 541 sujets âgés de 25 à 60 ans, apparemment en bonne santé, aléatoirement sélectionnés dans la plus grande ville (n = 200), une petite ville (n = 171) et sa périphérie rurale (n = 170). Après les études de base, les sujets ont été suivis après deux et quatre ans. Les apports alimentaires et l’activité physique ont été cernés par deux ou trois rappels de 24 heures dans les études de base puis par des questionnaires de fréquence simplifiés lors des suivis. Les données sur les conditions socioéconomiques, la consommation d’alcool et le tabagisme ont été recueillies par questionnaire. Des mesures anthropométriques et la tension artérielle ont été prises. La glycémie à jeun, l’insulinémie et les lipides sanguins ont été mesurés. Un score de fréquence de consommation d’« aliments sentinelles » a été développé et utilisé. Un total de 416 sujets ont participé au dernier suivi. La prévalence initiale du SMet et du FRS≥10% était de 8,7% et 7,2%, respectivement. L’incidence du SMet et d’un FRS≥10% sur quatre ans était de 8,2% et 5%, respectivement. Le RCM s’était détérioré chez 21% des sujets. L’obésité abdominale définie par les valeurs seuils de tour de taille de l’IDF était associée à un risque plus élevé d’insulino-résistance: risque relatif (RR) = 5,7 (IC 95% : 2,8-11,5); d’un ratio cholestérol total/HDL-Cholestérol élevé: RR = 3,4 (IC 95% : 1,5-7,3); mais elle n’était pas associée à un risque significativement accru de tension artérielle élevée ou de triglycérides élevés. Les valeurs seuils de tour de taille optimales pour l’identification des sujets accusant au moins un facteur de risque du SMet étaient de 90 cm chez les femmes et de 80 cm chez les hommes. L’insulino-résistance mesurée par le HOMA était associée à un risque élevé d’hyperglycémie: RR = 5,7 (IC 95% : 2,8-11,5). En revanche, l’insulino-résistance n’était pas associée à un risque significatif de tension artérielle élevée et de triglycérides élevés. La combinaison de SMet et du FRS pour l’évaluation du RCM identifiait davantage de sujets à risque que l’utilisation de l’un ou l’autre outil isolément. Le risque de détérioration du profil de RCM était associé à un faible score de consommation des «aliments sentinelles» qui reflètent le caractère protecteur de l’alimentation (viande rouge, volaille, lait, œufs et légumes): RR = 5,6 (IC 95%: 1,9-16,1); et à l’inactivité physique: RR = 6,3 (IC 95%: 3,0-13,4). Les sujets de niveau socioéconomique faible et moyen, et ceux du milieu rural et semi-urbain avaient un moindre risque d’aggravation du RCM. L’étude a montré que les relations entre les facteurs de RCM présentaient des particularités chez les adultes béninois par rapport aux Caucasiens et a souligné le besoin de reconsidérer les composantes du SMet ainsi que leurs valeurs seuils pour les Africains sub-sahariens. La détérioration rapide du RCM nécessité des mesures préventives basées sur la promotion d’un mode de vie plus actif associé à de meilleures habitudes alimentaires.
Resumo:
Thèse réalisée en cotutelle entre l'Université de Montréal et l'Université de Technologie de Troyes
Resumo:
Le développement accéléré des technologies de communication, de saisie et de traitement de l’information durant les dernières années décennies ouvre la voie à de nouveaux moyens de contrôle social. Selon l’auteur Gary Marx ceux-ci sont de nature non coercitive et permettent à des acteurs privés ou publics d’obtenir des informations personnelles sur des individus sans que ceux-ci y consentent ou mêmes sans qu’ils en soient conscients. Ces moyens de contrôle social se fondent sur certaines valeurs sociales qui sont susceptibles de modifier le comportement des individus comme le patriotisme, la notion de bon citoyen ou le volontarisme. Tout comme les moyens coercitifs, elles amènent les individus à adopter certains comportements et à divulguer des informations précises. Toutefois, ces moyens se fondent soit sur le consentement des individus, consentement qui est souvent factice et imposée, soit l’absence de connaissance du processus de contrôle par les individus. Ainsi, l’auteur illustre comment des organisations privées et publiques obtiennent des informations privilégiées sur la population sans que celle-ci en soit réellement consciente. Les partisans de tels moyens soulignent leur importance pour la sécurité et le bien publique. Le discours qui justifie leur utilisation soutient qu’ils constituent des limites nécessaires et acceptables aux droits individuels. L’emploi de telles méthodes est justifié par le concept de l’intérêt public tout en minimisant leur impact sur les droits des individus. Ainsi, ces méthodes sont plus facilement acceptées et moins susceptibles d’être contestées. Toutefois, l’auteur souligne l’importance de reconnaître qu’une méthode de contrôle empiète toujours sur les droits des individus. Ces moyens de contrôle sont progressivement intégrés à la culture et aux modes de comportement. En conséquence, ils sont plus facilement justifiables et certains groupes en font même la promotion. Cette réalité rend encore plus difficile leur encadrement afin de protéger les droits individuels. L’auteur conclut en soulignant l’important décalage moral derrière l’emploi de ces méthodes non-coercitives de contrôle social et soutient que seul le consentement éclairé des individus peut justifier leur utilisation. À ce sujet, il fait certaines propositions afin d’encadrer et de rendre plus transparente l’utilisation de ces moyens de contrôle social.
Resumo:
Une estimation des quantités de carbone organique dissous dans les millions de lacs boréaux est nécessaire pour améliorer notre connaissance du cycle global du carbone. Les teneurs en carbone organique dissous sont corrélées avec les quantités de matière organique dissoute colorée qui est visible depuis l’espace. Cependant, les capteurs actuels offrent une radiométrie et une résolution spatiale qui sont limitées par rapport à la taille et l’opacité des lacs boréaux. Landsat 8, lancé en février 2013, offrira une radiométrie et une résolution spatiale améliorées, et produira une couverture à grande échelle des régions boréales. Les limnologistes ont accumulé des années de campagnes de terrain dans les régions boréales pour lesquelles une image Landsat 8 sera disponible. Pourtant, la possibilité de combiner des données de terrain existantes avec une image satellite récente n'a pas encore été évaluée. En outre, les différentes stratégies envisageables pour sélectionner et combiner des mesures répétées au cours du temps, sur le terrain et depuis le satellite, n'ont pas été évaluées. Cette étude présente les possibilités et les limites d’utiliser des données de terrain existantes avec des images satellites récentes pour développer des modèles de prédiction du carbone organique dissous. Les méthodes se basent sur des données de terrain recueillies au Québec dans 53 lacs boréaux et 10 images satellites acquises par le capteur prototype de Landsat 8. Les délais entre les campagnes de terrain et les images satellites varient de 1 mois à 6 ans. Le modèle de prédiction obtenu se compare favorablement avec un modèle basé sur des campagnes de terrain synchronisées avec les images satellite. L’ajout de mesures répétées sur le terrain, sur le satellite, et les corrections atmosphériques des images, n’améliorent pas la qualité du modèle de prédiction. Deux images d’application montrent des distributions différentes de teneurs en carbone organique dissous et de volumes, mais les quantités de carbone organique dissous par surface de paysage restent de même ordre pour les deux sites. Des travaux additionnels pour intégrer les sédiments dans l’estimation sont nécessaires pour améliorer le bilan du carbone des régions boréales.
Resumo:
Les facteurs psychologiques tels que l'hypnose, l'émotion, le stress et l’attention exercent un effet modulant puissant sur la nociception et la douleur. Toutefois, l’influence de l'attention sur la nociception et la douleur, ainsi que les mécanismes neuronaux sous-jacents, ne sont pas clairs. La littérature actuelle sur la modulation attentionnelle des réponses spinales nociceptives, telles que mesurées par le réflexe RIII, et de la perception de l’intensité de la douleur est discordante et souvent contradictoire. Ce mémoire fournit un nouveau cadre pour examiner la modulation du réflexe RIII et de la douleur par l’attention. Une tâche de discrimination sensorielle a été décomposée en trois composantes attentionnelles : la vigilance, l’orientation, et le contrôle exécutif. Auparavant, la nature multidimensionnelle de l’attention fut largement ignorée dans la littérature. Nous démontrons que les composantes attentionnelles ont des effets modulatoires distincts sur la nociception et la douleur et suggérons que ceci représente une partie de la confusion présente dans la littérature. En prenant compte du stress indépendamment, nous démontrons, pour la première fois, que le stress inhibe la modulation attentionnelle du réflexe RIII ce qui indique une interaction et dissociation de la modulation des réponses nociceptives par l’attention et le stress. Ces résultats importants clarifient, en grande partie, les contradictions dans la littérature, puisque les tâches cognitives produisent souvent des augmentations du stress ce qui confond l’interprétation des résultats. De plus, la tâche de discrimination inclut des stimuli visuels et somatosensoriels et révèle que l’influence de l'attention sur la douleur est spatialement spécifique tandis que la modulation attentionnelle de la nociception est spécifique à la modalité des stimuli, au moins en ce qui concerne les modalités examinées. A partir de ces résultats, un nouveau modèle de la modulation attentionnelle des processus de la douleur, basée sur les composantes attentionnelles, a été proposé. Celui-ci est appuyé par la littérature et fournit une explication systématique et intégratrice des résultats antérieurement contradictoires. De plus, à partir de ce modèle, plusieurs mécanismes neuronaux ont été proposés pour sous-tendre la modulation attentionnelle de la nociception et de la douleur.
Resumo:
L’expansion de l’organisation de la production des biens et services sous forme de réseau, découlant de la recherche de flexibilité face à une concurrence économique accrue, soulève des enjeux importants pour les relations industrielles. Notre thèse s’intéresse au processus de précarisation des emplois dans les segments externalisés des réseaux de production. Elle se base sur trois études de cas portant sur les réseaux de services publics et privés d’aide à domicile au Québec. Les études en droit critique ont montré que le droit du travail, fondé sur le modèle de l’entreprise intégrée et de la relation d’emploi bipartite, ne parvient pas à identifier comme employeurs certaines organisations dont l’action a pourtant un effet déterminant sur les conditions de travail dans les réseaux. Notre thèse visait donc à mettre en lumière la réalité empirique des relations de pouvoir qui traversent les réseaux et leurs effets et ce à partir d’un modèle analytique transdisciplinaire intégrant les dimensions juridiques et sociologiques. Les résultats nous amènent d’abord à constater que l’employeur juridique des travailleuses employées par les prestataires privés intégrés aux réseaux – une majorité de femmes – est le plus souvent une agence de location de personnel, une entreprise d’économie sociale ou même l’usager-ère des services d’aide à domicile. Cet employeur est rarement identifié aux organismes publics, donc sous l’égide de l’État, qui exercent un pouvoir prépondérant dans ces réseaux. Le décalage entre la régulation juridique du travail et la réalité empirique du pouvoir intra-réseau entraîne une précarisation de la protection sociale et des conditions de travail de ces travailleuses. Ainsi, la faible protection de leurs droits de représentation et de négociation collectives facilite l’imposition de la « disponibilité permanente juste-à-temps », combinant les logiques du lean et du travail domestique, ainsi qu’une déqualification sexuée et racialisée de leurs emplois par rapport à la situation dans le secteur public. Notre étude montre néanmoins que certaines pratiques innovatrices d’action collective réticulaire ont pu influencer la dynamique de pouvoir, en particulier celles portées par des associations locales de personnes handicapées recourant aux services et par un syndicat de travailleuses d’agence.
Resumo:
Le manuscrit constituant l'annexe 1 a été publié en décembre 2013 sous la référence : Vaccine. 2013 Dec 9;31(51):6087-91.