Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous proposons une méthode appelée VTG (Vulnerability Test Generation, génération de tests de vulnérabilité). En se basant sur une représentation formelle des comportements fonctionnels du système sous test, un ensemble de tests d'intrusions est généré. Cette méthode s'inspire des techniques de mutation et de test à base de modèle. Dans un premier temps, le modèle est muté selon des règles que nous avons définies afin de représenter les potentielles attaques. Les tests sont ensuite extraits à partir des modèles mutants. Deux modèles Event-B ont été proposés. Le premier représente les contraintes structurelles des fichiers d'application Java Card. Le VTG permet en quelques secondes de générer des centaines de tests abstraits. Le second modèle est composé de 66 événements permettant de représenter 61 instructions Java Card. La mutation est effectuée en quelques secondes. L'extraction des tests permet de générer 223 tests en 45 min. Chaque test permet de vérifier une précondition ou une combinaison de préconditions d'une instruction. Cette méthode nous a permis de tester différents mécanismes d'implémentations de vérifieur de code intermédiaire Java Card. Bien que développée pour notre cas d'étude, la méthode proposée est générique et a été appliquée à d'autres cas d'études.

Conception d’outils (autoévaluation, liste de vérification, grille d’évaluation à échelle descriptive) pour l’évaluation formative des savoir-être professionnels chez les stagiaires du programme collégial Techniques d’inhalothérapie

Plusieurs programmes de formation offrent des stages pour compléter la formation et valider les apprentissages des stagiaires en regard du développement de leurs compétences. L’évaluation des savoirs et des savoir-faire occupe une grande place lors de la prestation des stagiaires et permet d’établir leur niveau de compétence. Mais qu’en est-il de l’évaluation de leurs savoir-être professionnels ? Pourtant le savoir-être est une composante indispensable au plein développement de la compétence. Les stagiaires manifestent leurs savoir-être professionnels en milieu clinique. Sans s’en rendre compte, leurs comportements influencent leur future embauche par une institution de santé. C’est la plus value qui fait la différence. Dans notre pratique enseignante, souvent nous éprouvons des difficultés dans l’accompagnement des stagiaires pour le plein développement de leurs savoir-être professionnels. Lorsque surviennent des difficultés, l’absence d’outil rend difficile la tâche d’évaluation des savoir-être professionnels. Cette réalité nous amène au thème de cet essai qui vise la conception d’outils d’évaluation des savoir-être professionnels pour les stagiaires du programme collégial Techniques d’inhalothérapie. Les difficultés d’évaluation des savoir-être professionnels dues à l’absence d’outils a entraîné une réflexion nous menant tout droit à nous questionner sur les caractéristiques essentielles des outils d’évaluation permettant aux enseignantes et aux enseignants de porter un jugement objectif sur les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie. Suite à une recension d’écrits en lien avec les concepts des savoir-être professionnels, de l’évaluation et des outils d’évaluation, nous nous sommes fixé cinq objectifs spécifiques pour répondre à notre question générale de l’essai : 1) Établir une nomenclature des savoir-être professionnels pour le programme collégial Techniques d’inhalothérapie; 2) Décrire les savoir-être professionnels en manifestations observables; 3) Concevoir un outil d’autoévaluation en regard du développement des savoir-être professionnels pour les stagiaires du programme collégial Techniques d’inhalothérapie; 4) Concevoir une liste de vérification des comportements observables pour évaluer les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie; et 5) Concevoir une grille d’évaluation à échelle descriptive pour évaluer les savoir-être professionnels des stagiaires du programme collégial Techniques d’inhalothérapie. Avec une posture épistémologique interprétative et une approche qualitative, nous avons opté pour un essai de type recherche développement, selon Harvey et Loiselle (2009), visant la conception de trois outils d’évaluation des savoir-être professionnels, soit : a) un outil d’autoévaluation, b) une liste de vérification des comportements observables et c) une grille d’évaluation à échelle descriptive. Après avoir réalisé les deux premiers objectifs spécifiques de cet essai, nous avons sollicité les enseignantes et les enseignants des départements de Techniques d’inhalothérapie du Collège de Rosemont et du Collège de Valleyfield pour procéder à la validation des outils d’évaluation des savoir-être professionnels. Pour accompagner les cinq enseignantes et les trois enseignants dans leur démarche de validation, nous avons privilégié un questionnaire de validation, des entrevues semidirigées et un groupe de discussion pour recueillir les données qualitatives et quantitatives que nous avons traitées en deux temps.L’analyse et l’interprétation des résultats ont permis l’atteinte des objectifs spécifiques fixés. En plus d’établir la nomenclature des savoir-être professionnels, les données recueillies portent un regard critique sur la conception des outils d’évaluation des savoir-être professionnels destinés aux stagiaires du programme collégial Techniques d’inhalothérapie. Grâce aux commentaires et aux suggestions obtenus, nous peaufinerons nos outils pour les rendre plus efficaces après cet essai pour ensuite les remettre aux enseignantes et aux enseignants cliniques participants qui décideront avec leur département respectif s’ils désirent les utiliser. Cet essai identifie huit savoir-être professionnels que doivent démontrer les stagiaires du programme collégial Techniques d’inhalothérapie. Ces savoir-être professionnels se manifestent à partir de quarante-deux comportements observables. La conception de nos outils d’évaluation permet de porter un regard objectif sur le développement des savoir-être professionnels de nos stagiaires. Cet essai ne vise pas à généraliser ces résultats. Nous souhaitons plutôt la transférabilité des résultats à d’autres programmes afin d’accompagner d’autres enseignantes et enseignants qui éprouvent des difficultés lors de l’évaluation des savoir-être professionnels.

Gender, Politics and Democratisation in Cameroon

Gender perceptions, religious belief systems, and political thought have excluded women from politics, for ages, around the world. Combining feminist and modernisation theorists in my theoretical framework, I examine the trends in patriarchal Europe and I highlight the gender-sensitive model of the Nordic countries. Retracing local gender patterns from precolonial to postcolonial eras in sub-Saharan Africa, I explore the links between perceptions, needs, resources, education and women's political participation in Cameroon. Democratisation is supposed to open up political participation, to grant equal opportunities to all adults. One ironic feature of the liberalisation process in Cameroon has been the decrease of women in parliamentarian representation (14% in 1988, 6% in 1992, 5% in 1997 and 10% in 2002). What social, cultural and institutional mechanisms produced this paradoxical outcome, the exclusion of half the population? The gender complementarity of the indigenous context has been lost to male prevalence privileged by education, church, law, employment, economy and politics in the public sphere; most women are marginalised in the private sphere. Nation building and development have failed; ethnicism and individualism are growing. Some hope lies in the growing civil society. From two surveys and 21 focus groups across Cameroon, in 2000 and 2002, some significant results of the processed empirical data reveal low electoral registration (34.5% women and 65.9% men), contrasted by the willingness to run for municipal elections (33.3 % women and 45.2% men). The co-existence of customary and statutory laws, the corrupt political system and fraudulent practices, contribute to the marginalisation of women and men who are interested in politics. A large majority of female respondents consider female politicians more trustworthy and capable than their male counterparts; they even foresee the appointment of a female Prime Minister. The Nordic countries have institutionalised gender equality in their legislation, policies and practices. France has improved women's political inclusion with the parity laws; Rwanda is another model of women's representation, thanks to its post-conflict constitution. From my analysis, Cameroonian institutions, men and more so women, may learn and borrow from these experiences, in order to design and implement a sustainable and gender-balanced democracy. Keywords: democratisation, politics, gender equality, feminism, citizenship, Cameroon, Nordic countries, Finland, France, United Kingdom, quotas, societal social psychology.

No limiar da mora: por uma aferição objetiva da utilidade da prestação

O adimplemento contratual é o caminho ideal para a extinção das obrigações. O ordenamento, assim, volta-se a privilegiá-lo, constituindo o direito do credor à resolução contratual uma saída excepcional, apenas admissível quando perdido, no caso concreto, seu interesse no cumprimento da prestação. O exercício da resolução deve submeter-se a um controle de merecimento de tutela, a partir dos parâmetros que o próprio Código Civil elegeu para a verificação do inadimplemento absoluto: tempo, lugar e forma da prestação. Esse controle, porém, não deve privilegiar qualquer desses critérios sobre os demais (afigurando-se, assim, o lugar e a forma parâmetros plenamente independentes do aspecto temporal), nem deve, por outro lado, limitar-se à previsão legislativa. Importará para a aferição do interesse do credor na prestação todo o histórico da relação contratual e da atividade negocial entre as partes, as legítimas expectativas geradas no curso dessa interação e os demais fatores que influenciem no equilíbrio do regulamento contratual, consubstanciado no sinalagma funcional. De posse de tais elementos, deve o julgador exercer um adequado juízo de merecimento de tutela sobre a pretensão resolutória, averiguando se não constitui exercício abusivo (contrário à função negocial) e se corresponde a um interesse merecedor de tutela.

Consequências do trabalho por turnos e nocturno em profissionais de enfermagem (estudo realizado em dois hospitais do norte de Portugal)

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Psicologia.

Competências estratégicas de negociação em gestão comercial

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Empresariais

Les derniers écueils vers la parité aux élections régionales en Belgique

La Belgique impose depuis les années 2000 la parité femmes-hommes sur les listes de candidats pour les élections aux différents niveaux de pouvoir (local, régional, fédéral et européen). Cette obligation a accru la féminisation des assemblées pour atteindre entre un quart et un tiers d’élues. Le progrès est donc réel mais la stricte parité reste éloignée. Cet article s’interroge sur les raisons de ce « plafond de verre ». Elles sont à chercher dans la réticence des partis à accorder les premières places sur les listes à des candidates, et encore plus à placer une femme en première position. Dans un scrutin proportionnel de listes semi-ouvertes, la part d’élues s’en trouve automatiquement réduite, surtout lorsque la magnitude des circonscriptions est faible. Parmi les motivations de ces réticences à la parité l’une des plus importantes est la conviction que les candidates seraient de moins bonnes « locomotives électorales » que leurs homologues masculins. Pourtant, et cet article le démontre, ces craintes ne résistent pas à l’épreuve des faits. Une analyse détaillée des résultats électoraux en Belgique montre bien que les femmes ne réalisent pas de moins bonnes performances électorales que les hommes lorsqu’elles sont placées en tête de liste.

Sistema integrado para empresas de construcción en Cusco

Actualmente las empresas requieren estrategias innovadoras, que permitan gestionar de forma integral, optimizando los recursos y maximizando los resultados. Siendo el objetivo del presente trabajo de investigación, diseñar un instrumento de gestión integral (gestión de la calidad, ambiental, seguridad y salud ocupacional) para el sector construcción en Cusco. Se realizó un análisis actual de la actividad de construcción, se planteó a diferencia de otras propuestas, el diseño que inicia con el diagnóstico, planificación, organización, ejecución, supervisión y optimización del sistema integral. Los resultados están expresados en el diagnóstico de los 3 sistemas, información clave, para el planteamiento y propuesta de las etapas posteriores; estructurando el planteamiento de los subprogramas basados en el diagnóstico integral, para finalmente determinar los lineamientos estratégicos, de implementación, evaluación y verificación del sistema, teniendo en cuenta la norma ISO 9001: 2008, ISO 14001:2004 y OSHAS 18001:2007; así como la legislación vigente para el Perú.

Étude du vocabulaire traitant d'un fait d'actualité internationale : cas du dossier nucléaire iranien dans la presse écrite québécoise et française

Dans le cadre de ce mémoire, nous nous sommes intéressée au vocabulaire utilisé par la presse francophone, à savoir française et québécoise, lorsqu'elle traite d'un fait d'actualité internationale. L'objectif de la présente étude exploratoire est de vérifier si l'information diffusée par la presse écrite quotidienne au Québec, concernant le dossier nucléaire iranien, est différente de celle diffusée par la presse écrite quotidienne française. Cette vérification a été faite à partir d'un corpus de textes publiés par deux quotidiens québécois, La Presse et Le Devoir, et deux quotidiens français, Le Monde et Le Figaro. Le but de notre recherche était de procéder à l'analyse du vocabulaire employé par ces quatre quotidiens lorsqu'ils diffusent l'information touchant le dossier nucléaire iranien. Nous nous sommes intéressée à la sélection et à la distribution des mots-clés composant le discours de ces quotidiens diffusés au Québec et en France. Nous avions posé l'hypothèse suivante : l'information internationale diffusée au public québécois est différente de celle diffusée en France, et cette différence est perceptible par le vocabulaire employé. Pour considérer cette question de recherche, nous avons constitué un corpus composé de tous les articles publiés par deux quotidiens français, Le Figaro et Le Monde, et par deux quotidiens québécois, La Presse et Le Devoir traitant du dossier nucléaire iranien, entre le 14 et le 31 janvier 2006. Ces articles ont été soumis à une analyse statistique textuelle effectuée à l'aide du logiciel Alceste. Le vocabulaire employé pour la diffusion des informations touchant le dossier nucléaire iranien s'est avéré différent dans les quotidiens français et québécois. Ces différences sont effectivement perceptibles par le degré d'importance donnée aux mots constituant ce vocabulaire et par leur distribution dans les textes de chaque quotidien étudié. Notre étude se distingue des démarches d'analyse dans lesquelles la subjectivité du chercheur n'est pas suffisamment contrôlée aux endroits névralgiques du processus de recherche. Grâce à l'analyse statistique des données textuelles appliquée à notre corpus, nous sommes en mesure d'appuyer notre interprétation des textes sur des données factuelles. L'étude de la distribution des formes (mots) dans les textes nous a permis de retracer puis de décrire les différentes tendances inscrites dans un corpus traitant d'un même fait d'actualité. En d'autres termes, cette étude de la distribution des formes nous a permis de mettre en évidence des sous thèmes, des dimensions, des pôles du discours, des tendances préférentielles dans le traitement de la même information. Ainsi, Le Figaro s'est intéressé davantage au volet économique et militaire du dossier iranien; La Presse, à la proposition russe d'enrichir l'uranium iranien sur son propre sol et à l'aspect technique et scientifique de la technologie nucléaire; Le Devoir, aux efforts diplomatiques et à la technologie nucléaire, et enfin, Le Monde, qui s'est particulièrement intéressé au discours de Chirac et à l'inflexion de la doctrine de dissuasion française, a pu rendre compte de toutes les facettes du sujet. Notre hypothèse se confirme donc : l'information, concernant le dossier nucléaire iranien, diffusée au public québécois est différente de celle diffusée en France, et cette différence est perceptible par le vocabulaire employé.

La demande d’aide chez les parents vivant des difficultés avec leur adolescent - exploration de trajectoires à travers les réseaux d’aide formelle et informelle

Cette recherche, de nature exploratoire et descriptive, s’intéresse à la trajectoire de recherche d’aide chez les parents vivant des difficultés avec leur adolescent. Cette recherche utilise une méthodologie qualitative et vise à améliorer la compréhension actuelle des processus de recherche d’aide des parents et à identifier l’influence des dynamiques relationnelles et de la réponse sociale obtenue. Notre échantillon est composé de dix parents ayant eu recours à une aide professionnelle concernant des difficultés avec leur adolescent. Notre cueillette de données s’est faite à l’aide d’une entrevue semi-structurée à questions ouvertes et nous avons procédé à une analyse thématique de celles-ci. Les résultats révèlent la complexité derrière les comportements de recherches d’aide et les différentes difficultés rencontrées. Dans leurs trajectoires, trois principaux moments-clés sont distinguables : la reconnaissance du problème, la recherche de solutions et la réponse à la demande d’aide. Les différentes influences et interactions des membres du réseau d’aide informelle, du milieu scolaire et du système de services sont également détaillées. Les résultats mettent en lumière l’importance des dynamiques de négociation au sein du couple parental et l’impact des listes d’attente et des interruptions dans les services d’aide. Les résultats exposent que cette expérience est assez éprouvante pour les parents. Bien qu’elle ne permette pas de résoudre tous les problèmes rencontrés, elle se révèle avec le recul être salutaire, pour la plupart des parents.

Inappropriate medication use in long-term care facility residents with advanced Alzheimer’s disease and other dementias

Les personnes atteintes de démence sévère, résidant dans un centre d’hébergement et de soins de longue durée (CHSLD) et approchant la fin de leur vie, ne reçoivent pas systématiquement des soins palliatifs, malgré que ce niveau de soins soit le plus approprié. La plupart de ces personnes reçoivent également un grand nombre de médicaments dont les effets indésirables peuvent contribuer à des souffrances évitables. Une approche axée sur les soins palliatifs serait possiblement associée à une réduction de la charge médicamenteuse et, du même coup, à une prescription plus appropriée. Les objectifs de ce projet de recherche étaient de décrire l’usage des médicaments chez les résidents atteints de démence sévère en CHSLD, de comparer leur usage de médicaments à des critères de pertinence et d’évaluer si la mise en œuvre d’une approche axée sur les soins palliatifs était associée aux médicaments prescrits. Cette étude décrit l’usage des médicaments chez 215 sujets atteints de démence sévère et en fin de vie qui ont participé à une étude d’intervention quasi expérimentale menée dans quatre CHSLD du Québec sur la mise en œuvre d’une approche axée sur les soins palliatifs. L’utilisation des médicaments a été comparée à trois listes de critères pertinents publiés, soit ceux de Holmes, Rancourt et Kröger, en utilisant des statistiques descriptives. Les analyses sur l’usage de 412 médicaments différents chez 120 sujets du groupe expérimental et 95 sujets du groupe témoin ont montré que cette approche axée sur les soins palliatifs n’est pas associée à une prescription plus appropriée des médicaments chez ces personnes particulièrement vulnérables.

[Album autour de l'exposition "Art treasures of the United Kingdom" tenue à Manchester en 1857] / [constitué par George Barker]

Collectionneur : Ricci, Seymour de (1881-1942)

[Album autour de l'exposition "Art treasures of the United Kingdom" tenue à Manchester en 1857] / [constitué par George Barker]

Collectionneur : Ricci, Seymour de (1881-1942)

Biblia sacra.

Avec prologues et arguments. Genesis (6), etc. — Oratio Manasse (170v) ; Esdras I-III (171v), etc. — Macchab. I-II, avec prologues de RABAN MAUR (360v). — Evang. Matthaei (382v), etc. — XIV Epist. Pauli (426) ; Actus Apost. (452v) etc. — Interpretationes nominum hebraicorum : « Aaz, apprehendens... — ... consiliatores eorum. » (477) ; « Abba, pater, Marci XIIII... — ... zizaniam. » (519). F. 1 et 2 Listes des livres de la Bible (XIIIe s.). F. 526 Liste des chefs d'Israël, de Moïse à Salomon, avec renvois à la Bible.