Comme on chasse un traumatisme par l'oubli ou le déni, la France et le Canada, par leurs élites, ont tenté d'effacer de la mémoire collective la phase de terrorisme vécue avec dynamisme en durcissant drastiquement leurs règles juridiques. Si la France et le Canada reposent sur des valeurs démocratiques communes, les solutions juridiques adoptées par les deux systèmes sont souvent divergentes face à la menace terroriste. La France, qui repose sur une tradition romano-germanique, principalement inquisitoire, n'appréhende pas de la même manière la menace terroriste que la Canada, qui repose sur une tradition de Common Law essentiellement accusatoire. Les mécanismes canadiens et français peinent à répondre efficacement à la menace terroriste. Face aux attentats, l'ensemble des États amplifient leurs efforts pour l'appréhender. Ainsi, il paraît essentiel d'analyser les réponses apportées pour en apprécier leur portée et efficacité. Le droit pénal est au cœur du processus de la gestion de la menace terroriste mais face au phénomène ancien du terrorisme, il ne s'agit plus de répondre à ce crime par les mêmes mesures qu'en droit commun. En dépit du fait que le Canada a connu moins de périodes de terreur par rapport à la France, il n'en demeure pas moins qu'il n'y a pas eu d'allègement des règles juridiques dans les mesures d'enquête et lors de la phase d'incarcération. Un même constat prévaut aux échelles nationales française et canadienne : l'apparition d'un allègement du contrôle de l'antiterrorisme par les Cours constitutionnelles, d'un régime d'exception, des règles procédurales dérogatoires strictes, un recours à l'emprisonnement problématique au regard du phénomène de radicalisation et une faible apparition d'une réhabilitation à la lumière des mesures post-carcérales. Par conséquent, cette volonté légitime, mais extrême, d'appréhender cette menace a engendré des périodes d'interrogations sur la portée de nos droits et libertés fondamentaux. La comparaison vise donc à mettre en lumière les différentes mesures permettant de répondre au terrorisme eu égard aux exigences posées par les droits et libertés fondamentaux face à l'émergence d'un droit pénal préventif.

La sécurité sanitaire des aliments est un défi majeur pour de nombreux pays, qui restreint leur accès au plein potentiel économique et social qu'ils pourraient avoir. La bonne marche et la performance de haut niveau des systèmes de contrôle des aliments dans les pays développés sont le fruit de décennies d'investissements de l'ordre de milliards de dollars dans le renforcement des infrastructures et des capacités des acteurs de la sécurité sanitaire des aliments. Les pays en développement ne peuvent se permettre un processus aussi coûteux et un progrès aussi lent dans la construction de leurs systèmes de contrôle des aliments, en raison des innombrables conséquences négatives pouvant affecter la santé publique et le manque à gagner potentiel du secteur de production alimentaire et agro-alimentaire, souvent considéré comme secteur vital d'économies émergentes comme celles de ces pays, notamment du fait de sa contribution aux exportations et donc à la balance commerciale. Malgré le fait qu'une grande partie de l'aide internationale est acheminée vers l'amélioration des capacités et des pratiques en matière de sécurité sanitaire des aliments dans ces pays, les résultats sur le terrain restent peu visibles, et rarement durables, notamment en ce qui a trait à la performance des programmes règlementaires qui sous-tendent les systèmes de production alimentaire de ces pays. L'étude des conditions d'amélioration et d'optimisation de l'efficacité des investissements en matière de renforcement des capacités en sécurité sanitaire des aliments dans les pays en développement n'implique pas seulement la nécessité de définir de meilleures directives sur la formulation des projets et l'évaluation de l'impact, mais doit passer par l'élaboration de nouvelles approches, notamment des approches décisionnelles ancrées dans l'analyse de données factuelles du terrain, afin d'identifier et de définir les contours des investissements nécessaires. Pour relever ce défi, ce travail a procédé à une revue critique des approches et outils actuels appliqués par les agences de développement, actives dans le domaine de la sécurité sanitaire des aliments. Cette revue a permis l'identification de critères de succès et des bonnes pratiques appliquées au sein de ces organisations, notamment en matière de gouvernance et de gestion des activités de renforcement des capacités en sécurité sanitaire des aliments. Une étude comparative a suivi deux pays sélectionnés sur la base de critères définis : le Pakistan et le Viet Nam, en analysant les approches d'investissement dans le renforcement de la sécurité sanitaire des aliments et leurs retombées dans chacun de ces pays. Les leçons apprises et les recommandations tirées de ces analyses ont été mises à profit dans le développement et la proposition de nouveaux outils et directives à appliquer dans les initiatives de renforcement de capacités en sécurité sanitaire des aliments, tout au long du cycle de vie de ces initiatives. Enfin, ce travail a conduit à l'élaboration d'une approche ancrée dans l'analyse des données pour guider le processus décisionnel de la conception, de la mise en œuvre et de la surveillance de projets de renforcement de la sécurité sanitaire des aliments. Cette approche tient également compte des sections pertinentes des directives du Codex Alimentarius et d'autres retombées de recherches associées à la prise de décision dans les politiques publiques, fondées sur l'analyse de données. Il est attendu que la nouvelle approche proposée par cette recherche ouvre des perspectives nouvelles vers une meilleure efficacité et efficience des investissements actuels et futurs en matière de renforcement des capacités en sécurité sanitaire des aliments. / Food safety remains a challenge for many countries, limiting their ability to maximize the economic and social potential and attain their objectives of human and economic development. The high-level performance of robust food control systems in developed nations has resulted from decades of experience and billions of dollars' investments in building infrastructures and capacities of food safety stakeholders. Developing countries cannot afford such a costly and lengthy process due to the negative consequences of unsafe food affecting their public health and agri-food trade. Although a large sum of international aid is being channeled towards the upgrade of food safety capacities and practices in these countries, results on the ground can often be invisible and struggle with sustainability issues, particularly for enhancing the performance of food control systems. Investigating the possibility of improving the "value for money" of these investments in developing countries entails setting better guidelines on project formulation, impact assessment and approaches in food regulatory decision-making. As outlined in this research, the latter can be further explored by better using data for the evidence-based identification of required capacity building investments and their prioritization. This research examines and recommends an integrated approach with short- and long-term solutions to achieve such a goal. It also offers a review of current technical methods and strategies followed by development agencies active in food safety and identifies current best practices applied by such agencies, especially related to food safety capacity building. This research relies on a comparative analysis of food safety capacity building programs targeting two countries, namely Viet Nam and Pakistan, selected based upon defined criteria. The lessons learned and recommendations gained from these analyses were used to develop a new set of proposed guidelines for project formulation, implementation, and evaluation. Development agencies and competent authorities could adopt these guidelines to improve their capacity building practices. As a long-term solution for identifying capacity building needs and performance assessment of food control systems, a data-driven food regulatory decision-making approach was discussed as a possible way forward for regulators. This system was structured based on the relevant sections of Codex guidelines and other research, focusing on using data for public services. It is expected that the application of the recommendations stemming from this research will help shape a new way for food safety capacity development, improving the efficiency and effectiveness of investments in this area, with a potentially positive impact on other development areas.

Puisque les ordinateurs sont omniprésents dans notre société et que, de plus en plus, nous dépendons de programmes pour accomplir nos activités de tous les jours, les bogues peuvent parfois avoir des conséquences cruciales. Une grande proportion des programmes existants sont écrits en C ou en C++ et la plupart des erreurs avec ces langages sont dues à l’absence de sûreté d’accès à la mémoire. Notre objectif à long terme est d’être en mesure de vérifier si un programme C ou C++ accède correctement à la mémoire malgré les défauts de ces langages. À cette fin, nous avons créé un cadre de développement d’analyses statiques que nous présentons dans ce mémoire. Il permet de construire des analyses à partir de petits composants réutilisables qui sont liés automatiquement par métaprogrammation. Il incorpore également le modèle de conception (design pattern) du visiteur et des algorithmes utiles pour faire de l’analyse statique. De plus, il fournit un modèle objet pour le RTL, la représentation intermédiaire de bas niveau pour tous les langages supportés par GCC. Ceci implique qu’il est possible de concevoir des analyses indépendantes des langages de programmation. Nous décrivons également les modules que comporte l’analyse statique que nous avons développée à l’aide de notre cadre d’analyse et qui vise à vérifier si un programme respecte les règles d’accès à la mémoire. Cette analyse n’est pas complète, mais elle est conçue pour être améliorée facilement. Autant le cadre d’analyse que les modules d’analyse des accès à la mémoire sont distribués dans RTL-Check, un logiciel libre. / Since computers are ubiquitous in our society and we depend more and more on programs to accomplish our everyday activities, bugs can sometimes have serious consequences. A large proportion of existing programs are written in C or C++ and the main source of errors with these programming languages is the absence of memory safety. Our long term goal is to be able to verify if a C or C++ program accesses memory correctly in spite of the deficiencies of these languages. To that end, we have created a static analysis framework which we present in this thesis. It allows building analyses from small reusable components that are automatically bound together by metaprogramming. It also incorporates the visitor design pattern and algorithms that are useful for the development of static analyses. Moreover, it provides an object model for RTL, the low-level intermediate representation for all languages supported by GCC. This implies that it is possible to design analyses that are independent of programming languages. We also describe the modules that comprise the static analysis we have developed using our framework and which aims to verify if a program is memory-safe. This analysis is not yet complete, but it is designed to be easily improved. Both our framework and our memory access analysis modules are distributed in RTL-Check, an open-source project.

La structure pédagogique actuelle du niveau secondaire, permet aux commissions scolaires d'organiser des rythmes d'apprentissage ou de donner des programmes différents, en français, en mathématiques et en anglais. Pour chacune de ces disciplines, selon le niveau, il y a deux ou trois rythmes ou programmes dans lesquels les étudiants doivent être classés. Quand les élèves, en provenance de l'élémentaire 6e année ou 7e année, arrivent au secondaire, ils doivent être classés dans l'une ou l'autre des voies pour chacune des trois disciplines concernées. Pour procéder à ce classement, on utilise les résultats d'une série de mesures habituelles et spéciales. Les décisions, basées sur des critères établis à l'avance, sont prises par un comité de classement qui se penche davantage sur les cas marginaux. La présente recherche porte sur la puissance prédictive des mesures effectuées lors du passage de l'élémentaire au secondaire en terme de succès scolaire dans le contexte du système et des critères de classement. En d'autres termes, y a-t-il des mesures qui prédisent mieux le succès scolaire que d'autres et ce pour chacune des trois disciplines principales? Est-ce que ce sont les mimes prédicteurs qui sont utiles pour le classement dans le rythme accéléré et dans le rythme allégé? Quoique portant principalement sur la prédictivité des mesures, cette recherche fournira des indices pouvant orienter les décisions sur les points suivants: a) Quelle est la valeur intrinsèque des mesures utilisées? b) Quelle est l'utilité des décisions de classement? c) Quelle est la pertinence d'utiliser tous ces critères? d) Doit-on conserver autant de rythmes et/ou de programmes? De nombreux commentaires entendus au fil des ans, nous poussent à investiguer ce secteur de notre activité pédagogique et l'importance des résultats ne fait pas de doute. D'ailleurs, G. de Landsheere en témoigne, car à propos de la recherche de R. Rosenthal et L. Jacobson sur l'effet oedipien de la prédiction, il dit ceci: -"Si, à la naissance d'Oedipe, l'oracle n'avait pas prédit qu'il tuerait son père, il n'aurait pas été éloigné de sa famille. Connaissant son père, il ne l'aurait pas tué. En d'autres mots, la tragédie se produisit, parce qu'elle avait été prédite". / Québec Université Laval, Bibliothèque 2014

Une analyse comparative de diverses règles de combinaison dans un contexte simple est présentée dans ce mémoire. Nous y retrouverons une identification de l'impact de la fusion de l'information par diverses règles de combinaisons appliquées sur des rapports d'un senseur passif Electronic Support Measures (ESM). Nos objectifs principaux seront donc : d'utiliser la théorie de Dezert-Smarandache (DSmT) pour les ESM, et d'implanter la DSmT pour les ESM. Il faut donc identifier l'impact de la fusion de l'information sous le STANAG 4162 faisant référence au STANAG 1241 lequel énonce cinq catégories d'allégeance pour l'identification. Notre environnement de travail, la théorie de Dezert-Smarandache du possible, paradoxal et du raisonnement neutrosophique est assez récente et a été très peu implémentée ou utilisée avant les travaux couverts par ce mémoire. Elle a été implémentée ici pour un contexte d'environnement ESM.

Le but de la présente étude était de recueillir des informations sur la perception qu'ont eue des élèves de cinquième secondaire au sortir d'une démarche instrumentée d'évaluation formative appliquée tout au long d'une année scolaire ainsi que sur leurs opinions face à certaines des particularités de ce type d'évaluation. Les résultats ont démontré qu'une forte proportion d'élèves ont trouvé avantageux de faire de l'évaluation formative. De plus, les données recueillies ont permis de constater que la majorité des élèves interrogés ne s'opposent pas au fait qu'en évaluation formative il y ait absence de notes en vue du bulletin. Egalement, la plupart des élèves ont apprécié les démarches autocorrectives ainsi que les commentaires des clés de correction associés aux instruments d'évaluation formative. Par contre, en général, les élèves ont été en désaccord face h l'indication des seuils de réussite dans les exercices formatifs. / Québec Université Laval, Bibliothèque 2019

Québec Université Laval, Bibliothèque 2014

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2005-2006 / Dans ce travail, nous proposons un nouveau langage dédié à la détection d'intrusions. Il s'agit d'un langage purement déclaratif, basé sur une logique temporelle linéaire passée avec prédicats du premier ordre. Après avoir effectué une revue de treize langages de détection d'intrusions existant déjà, nous donnons une liste de dix propriétés souhaitables pour un langage de détection d'intrusions. Contrairement au langage que nous proposons, aucun des langages étudiés ne présente à la fois ces dix propriétés. En plus d'être suffisamment expressif pour répondre aux besoins identifiés, il vient avec un algorithme de vérification qui s'exécute en temps linéaire avec la quantité d'information analysée et utilise une quantité bornée d'espace mémoire. Ces deux propriétés permettent de protéger le système de détection d'intrusions contre d'éventuelles attaques d'inondation.

Québec Université Laval, Bibliothèque 2015

Au Canada une méthode de minage fréquemment employée en milieu souterrain est l’extraction par chambre ouverte. Cela est attribuable aux hauts rendements et faibles coûts qu’elle engendre. La capacité de concevoir une chambre ouverte qui est stable est critique pour la rentabilité de l’opération. Pour ce faire, des outils empiriques, tels que les abaques de stabilité, ont été développés et améliorés afin de prédire la stabilité des chantiers et les volumes de bris hors-profil. Malheureusement, ces abaques ne s’appliquent pas à tous les contextes miniers, notamment les mines profondes. Par exemple, les excavations sujettes à la sismicité ne sont pas prises en compte par l’analyse empirique standard des chantiers. Les mines profondes et sismiquement actives se retrouvent sans outils empiriques de conception des chantiers adéquats et les variables influençant la performance de chantiers ne sont pas bien définies. L’objectif général de ce mémoire est de développer une meilleure compréhension de la performance des chantiers en grande profondeur et sujets à la sismicité en identifiant les variables contrôlant la stabilité des chantiers, afin de pouvoir maximiser la sécurité et la rentabilité pour cette méthode d’exploitation. Une base de données de chantiers fut créée intégrant les données provenant du cas d’étude, soit la mine LaRonde. Elle comprend des variables géométriques, géomécaniques, opérationnelles et sismiques. Pour évaluer les performances d’un chantier (c’est-à-dire, les volumes de bris hors-profil), une réconciliation entre les géométries du chantier conçu et miné a été effectuée pour le chantier dans son ensemble et pour chaque surface le constituant. Des méthodes statistiques univariées, bivariées et multivariées ont servi à identifier les variables critiques. Les résultats de l’analyse univariée ont montré que le sur-bris (OB) pour l’éponte supérieure de chantiers primaires de type A (miné contre l’éponte supérieure du corps minéralisé) et le sous-bris (UB) pour les murs Est et Ouest de chantiers primaires de type B (miné contre l’éponte inférieure du corps minéralisé) sont les paramètres critiques de sous-performance pour le cas d’étude. Une analyse bivariée a montré les tendances reliant l’OB aux événements sismiques mesurés sur l’échelle Richter, à la désignation de la qualité de la roche (RQD), à la durée de vie du chantier et à la distribution spatiale de ces chantiers. Des tendances ont également été trouvées liant l’UB au volume planifié et à la distance entre les trous de forage et le mur du chantier. Les résultats des analyses multivariées ont montré des résultats semblables aux analyses bivariées. De plus, ces analyses ont permis de montrer les tendances liant l’OB à la performance des chantiers adjacents et l’UB au nombre de tirs à l’explosif réalisé. Des modèles prédictifs, construits à partir des analyses multivariées, permettent d’obtenir un bon taux de réussite pour quantifier la performance (bris hors profil, OB) des chantiers.