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

Depuis quelques années, on peut noter une tendance nouvelle qui consiste a mettre davantage l'accent sur la valeur diagnostique des épreuves de rendement scolaire. En effet, l'idée d'une épreuve de rendement dont le but n'est pas seulement de déterminer le niveau de compétence d'un étudiant mais aussi d'identifier les difficultés qu'a pu rencontrer cet étudiant en cours d'apprentissage doit être considérée comme une innovation. Sans doute, plusieurs motifs peuvent être évoqués pour expliquer cette pratique nouvelle. Entre autres, le désir d'améliorer l'efficacité de l'apprentissage a probablement incité les responsables de l'évaluation du rendement scolaire à mettre davantage l'accent sur les difficultés que peut rencontrer un étudiant en cours d'apprentissage. Ce nouveau rôle de l'épreuve de rendement scolaire s'inscrit plutôt dans le contexte de l'évaluation formative que dans celui de l'évaluation diagnostique telle que définie par Bloom, Hasting et Madaus (1974). Selon ces auteurs, l'évaluation diagnostique joue un double rôle: classer l'étudiant à l'endroit le plus approprié dans une séquence de cours ou d'unités d'apprentissage et déterminer les causes ou les circonstances susceptibles d'expliquer les difficultés persistantes d'apprentissage rencontrées par un étudiant. Ces deux fonctions se distinguent surtout de la fonction diagnostique remplie par l'évaluation formative quant au moment où intervient le diagnostic et quant à la nature même des difficultés rencontrées. L'évaluation diagnostique s'effectue habituellement avant ou après plusieurs unités d'enseignement alors que l'évaluation formative se fait en cours d'apprentissage. Le diagnostic effectué dans le cadre de l'évaluation formative porte sur des difficultés temporaires qu'éprouve un étudiant alors que l'évaluation diagnostique intervient lorsqu'un étudiant manifeste des difficultés persistantes et ce, même si un enseignement correctif supposément adéquat a été dispensé. Quoique l'utilité de construire un instrument de mesure à caractère diagnostique dans le cadre de l'évaluation formative est reconnue, il semble qu'une telle entreprise soit encore à l'état de projet. A quelles exigences doit répondre un tel instrument visant à déceler les erreurs qu'est susceptible de rencontrer un étudiant en cours d'apprentissage? Quelles sont les causes de ces difficultés et comment les identifier? Quels correctifs sont les plus appropriés pour pallier aux difficultés rencontrées? La réponse à ces questions nous semble étroitement reliée à la valeur diagnostique et prescriptive d'un instrument de mesure construit dans le cadre d'une évaluation formative. / Québec Université Laval, Bibliothèque 2014

Depuis le milieu du XXe siècle, l'arbitrage commercial international a connu un développement phénoménal et acquis une importance significative dans le monde des transactions commerciales internationales. Il est effectivement devenu la juridiction mondiale la plus acceptable, la plus fiable et la plus usuelle pour résoudre les différends relatifs au commerce et aux investissements internationaux. Toutefois, il a rencontré des difficultés en ce qui concerne les mesures provisoires et conservatoires ce qui explique la tendance des parties à éviter d’y avoir recours devant les arbitres, au profit des juridictions étatiques pour obtenir les mesures d’urgence dont ils avaient immédiatement besoin. L’inexistence d’un régime procédural capable de bien régir cette matière était la raison principale qui a réduit l’efficacité de l’arbitrage. Pourtant, ce fait a changé grâce aux modifications majeures qui ont été apportées à la Loi type de la CNUDCI en 2006. Cette loi a établi un régime arbitral spécifique aux mesures provisoires et conservatoires. À un stade ultérieur, les règlements modifiés récemment par les centres d’arbitrage qui agissent sur la scène internationale ont beaucoup développé ce régime en le mettant en pratique. Maintenant, en présence d’un régime arbitral particulier régissant les mesures provisoires et conservatoires, il est opportun d’en évaluer en profondeur l’efficacité par rapport à celle du régime étatique classique régissant la même matière. Voilà l’objectif de cette thèse de doctorat qui présente nombre des propositions doctrinales et normatives dans le but d’améliorer autant que possible ce régime arbitral récent. / Since the mid-twentieth century, the International Commercial Arbitration has achieved massive development and has gained significant importance in the world of international business transactions. It has effectively become the most acceptable, reliable and widely preferred jurisdiction for the settlement of international investment and trade disputes. However, for a long time, the failure of arbitration to properly deal with interim measures lead adversaries to avoid resorting to arbitral tribunals preferring the state courts when emergency measures were required. The main reason for this inadequacy was the lack of a comprehensive arbitral regime for governing the interim measures procedure, which in turn lead to a reduction in the effectiveness of international arbitration. This issue was recently addressed thanks to the major amendments to the UNCITRAL Model Law in 2006. This Model Law established a specialized regime to govern the arbitral proceedings for interim measures. More recently, a number of prominent international arbitration centers modified their rules to comprehensively deal with the issue of interim measures and to put it into practice. The introduction of this specialized arbitral regime calls for more effort to evaluate and compare its effectiveness to the juridical state system in dealing with the issue of interim measures. Therefore, the main objective of this doctoral thesis is to provide a thorough and analytical comparison of the two systems and to present a number of doctrinal and legislative proposals aimed at improving the recently introduced arbitral regime.

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.

De récentes études ont investigué la relation entre l’évaluation de la personnalité et les temps de réponse associés aux items. Toutefois, peu de travaux ont examiné la relation entre les temps de réponse aux items de test de personnalité et le niveau de certitude dans la formulation des réponses aux divers items. Des étudiants de cinquième secondaire (N = 124) ont complété la version informatisée du questionnaire de personnalité PER (Pépin, Rhéaume et Loranger, 1993) qui évalue six traits de la personnalité saine. Ils ont ensuite porté un jugement de certitude / incertitude concernant la formulation des réponses qu’ils ont fourni pour chacun des items du test. Les résultats indiquent des temps de réponse significativement plus courts pour le regroupement d’items jugés faciles à évaluer par plus de 74,9% des répondants, comparativement au regroupement d ’items jugés faciles à évaluer par moins de 62,2% des répondants qui sont associés à des temps de réponse significativement plus longs.

La sécurité dans les mines souterraines est l’une des principales préoccupations des entreprises d’exploitation minières. La surveillance des moindres changements ou déformations au niveau des tunnels et galeries miniers, notamment la convergence des tunnels (rétrécissement diamétral d’une section de tunnel), figure parmi les principales priorités de ces entreprises. Les techniques de surveillance de la convergence des tunnels miniers communément utilisées se basent essentiellement sur des mesures ponctuelles et limitées qui sont généralement longues et coûteuses. Les technologies LiDAR mobiles émergentes et prometteuses amènent des pistes de solutions qui permettent de gagner en efficacité et en sécurité. Cependant, la détection et la mesure précise de convergence des tunnels miniers au moyen de données LiDAR mobile demeurent problématiques en raison des enjeux suivants : la précision des nuages de points, l’irrégularité de la zone observée, la variabilité de la densité des scans et de leur prise de vue, la présence d’obstructions, la complexité de l’alignement parfait des nuages de points. La recherche visée dans ce mémoire de maîtrise s’inscrit dans le cadre du projet « MinEyes » et elle a pour objectif principal de détecter et de mesurer la convergence de tunnels miniers souterrains à partir de données LiDAR mobile. Pour ce faire, nous proposons une méthode multi-échelles de comparaison de nuages de points qui prend en considération les irrégularités de surface des tunnels miniers et qui permet une meilleure détection de leurs changements et une mesure plus précise de leur convergence. La méthode proposée se base sur une approche de comparaison modèle à modèle locale des nuages de points LiDAR mobile souterrain. Les résultats obtenus sont très prometteurs comparés à ceux d’autres méthodes de détection de changement dans les nuages de points LiDAR (ex. : méthodes C2C, C2M). Une analyse statistique des résultats a également permis de confirmer la robustesse de la méthode proposée surtout dans des zones rugueuses des tunnels miniers. / Security in underground mines is one of the main concerns of mining companies. Monitoring any changes or distortions in mining tunnels and galleries, including tunnel’s convergence, is one of the top priorities for those companies. Commonly used convergence monitoring techniques in underground tunnels are based on limited measurements that are usually very time-consuming and costly in terms of process. Emerging mobile LiDAR technologies offer alternative solutions that are far more efficient and lower in risk. However, the accurate measurements of convergence in mining tunnels using mobile LiDAR data remains challenging because of the following issues: limited precision of LiDAR point clouds, the roughness and irregularity of the studied surfaces in the tunnels, the irregularity of the scan density, the presence of occlusions and the complexities of reliable registration of point clouds. This research work is defined as a part of the ‘MinEyes project’ in collaboration with the company Pecktech which main objective is to detect and measure the convergence of underground mining tunnels from mobile LiDAR data. To do so, we propose a multi-scale point cloud comparison method that considers the surface irregularities of the mining tunnels and allows a better detection of their changes and a more precise measurement of their convergence. The proposed method is based on a local model-to-model comparison method of underground mobile LiDAR point clouds. The results obtained are very promising compared to other LiDAR point cloud comparison methods (e.g. C2C, C2M methods). A statistical analysis of the results also has confirmed the efficiency of the proposed method, especially in the rough areas of the mining tunnels.

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.

La maladie coronarienne athérosclérotique constitue la principale cause de mortalité au monde. Les interventions coronariennes percutanées occupent une place de choix parmi les modalités diagnostiques et thérapeutiques offertes aux patients et nécessitent à ces fins l’utilisation de rayons X. Or, les effets délétères résultant d’une exposition aux rayons X comptent parmi les risques auxquels sont exposés les patients et le personnel médical lors d’une intervention coronarienne percutanée. Dans le but de minimiser ces risques, il convient de s’intéresser à l’identification, puis à l’optimisation des facteurs influençant l’exposition à la radiation. Parmi ceux-ci, un accès vasculaire via l’artère radiale a été associé de façon inconstante à une exposition accrue, bien qu’il soit de plus en plus adopté à l’échelle mondiale. D’autres facteurs ont également été décrits, mais il n’existe pas à ce jour de classification pratique axée sur les facteurs modifiables par l’hémodynamicien au chevet du patient. Cette thèse avait donc pour objectif l’identification de facteurs techniques modifiables influençant l’exposition à la radiation des patients en cardiologie interventionnelle ainsi que la formulation de recommandations cliniques visant leur optimisation dans une perspective de réduction des risques. Quatre volets indépendants et complémentaires, correspondant à autant d’études publiées dans des journaux scientifiques avec comité de pairs, ont été entrepris à l’Institut universitaire de cardiologie et de pneumologie de Québec afin d’étudier l’influence de la séquence d’intervention, du nombre et du type de cathéters, de la cadence d’images et de la voie d’accès artérielle sur l’exposition à la radiation. Le temps de fluoroscopie et le produit dose-surface ont été utilisés comme principales mesures de l’exposition à la radiation. Les résultats obtenus suggèrent que la séquence d’intervention n’influence pas l’exposition des patients à la radiation, mais que l’usage de cathéters spécifiques et d’une cadence d’images en fluoroscopie à 7,5 images par seconde sont associés à une réduction de l’exposition des patients. La voie d’accès transradiale est quant à elle associée à une légère hausse de l’exposition à la radiation comparativement à la voie transfémorale, mais les répercussions cliniques de ce surplus semblent peu significatives pour le patient. En conclusion, l’optimisation de facteurs techniques modifiables permet de réduire l’exposition à la radiation des patients en cardiologie interventionnelle et réitère l’importance de l’adoption de bonnes pratiques de radioprotection. / Coronary artery disease is the leading cause of mortality throughout the world. Percutaneous coronary interventions are increasingly used as diagnostic and therapeutic tools applied to patient care. The use of X-rays is mandatory to perform these procedures. The side effects of radiation exposure are amongst the risks to which patients undergoing a percutaneous coronary intervention are exposed. In order to minimize these risks, one must identify and optimize factors influencing radiation exposure. Amongst them, the radial vascular access site has been inconsistently associated with an increased exposure, even if it is increasingly adopted worldwide as the primary access site. Other factors have also been identified, yet a clinical classification based on their optimization potential by the physician at patient’s bedside remains to be described. The aims of this thesis were identification of technical factors that could be modified at patient’s bedside and formulation of clinical recommendations influencing patient’s radiation exposure. Four independent and complementary projects have been proposed targeting revascularization strategy, catheters number and type, fluoroscopy acquisition rate and vascular access site as potential factors influencing radiation exposure. All studies were lead at Institut universitaire de cardiologie et de pneumologie de Québec. Fluoroscopy time and dose-area product were used as surrogate indicators of radiation exposure. Our results imply that the revascularization strategy did not influence radiation exposure, but that the use of a multiple catheters approach and a 7.5 images per second low-rate fluoroscopy were associated with a reduction of patient’s radiation exposure. Transradial access was associated with a modest increase in radiation exposure when compared with transfemoral access, but the clinical significance of this small increase is uncertain and unlikely to outweigh the clinical benefits of transradial access. In conclusion, identification of technical factors associated with a reduction in radiation exposure enables the formulation of clinical recommendations aiming at risk minimization for the patient and encourages good radiation protection practices.