SecAdvise : un aviseur de mécanismes de sécurité

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

SecAdvise : un aviseur de mécanismes de sécurité

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

The trust problem in the United States /

Bibliography: p. 567-585.

The trust problem,

Mode of access: Internet.

Stability, causality, and quasinormal modes of cosmic strings and cylinders

In this work we consider the evolution of a massive scalar field in cylindrically symmetric space-times. Quasinormal modes have been calculated for static and rotating cosmic cylinders. We found unstable modes in some cases. Rotating as well as static cosmic strings, i.e., without regular interior solutions, do not display quasinormal oscillation modes. We conclude that rotating cosmic cylinder space-times that present closed timelike curves are unstable against scalar perturbations.

Modeling control objectives for business process compliance

Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasingly important for businesses in light of recent events that led to some of the largest scandals in corporate history. As organizations strive to meet compliance agendas, there is an evident need to provide systematic approaches that assist in the understanding of the interplay between (often conflicting) business and control objectives during business process design. In this paper, our objective is twofold. We will firstly present a research agenda in the space of business process compliance, identifying major technical and organizational challenges. We then tackle a part of the overall problem space, which deals with the effective modeling of control objectives and subsequently their propagation onto business process models. Control objective modeling is proposed through a specialized modal logic based on normative systems theory, and the visualization of control objectives on business process models is achieved procedurally. The proposed approach is demonstrated in the context of a purchase-to-pay scenario.

Crossing genetic and swarm intelligence algorithms to generate logic circuits

Genetic Algorithms (GAs) are adaptive heuristic search algorithm based on the evolutionary ideas of natural selection and genetic. The basic concept of GAs is designed to simulate processes in natural system necessary for evolution, specifically those that follow the principles first laid down by Charles Darwin of survival of the fittest. On the other hand, Particle swarm optimization (PSO) is a population based stochastic optimization technique inspired by social behavior of bird flocking or fish schooling. PSO shares many similarities with evolutionary computation techniques such as GAs. The system is initialized with a population of random solutions and searches for optima by updating generations. However, unlike GA, PSO has no evolution operators such as crossover and mutation. In PSO, the potential solutions, called particles, fly through the problem space by following the current optimum particles. PSO is attractive because there are few parameters to adjust. This paper presents hybridization between a GA algorithm and a PSO algorithm (crossing the two algorithms). The resulting algorithm is applied to the synthesis of combinational logic circuits. With this combination is possible to take advantage of the best features of each particular algorithm.

Negotiating the British landscape

According to many accounts, a key paradigm for understanding art in Post WWII Britain is one of Englishness versus internationalism or abstraction versus realism . These terms have a rich inflection of meanings that have been subject to interrogation over the last few decades. Anwar Shemza came to Britain and practiced his art at a time when these competing claims were at their height. In a postcolonial reading entitled “Black Diaspora Artists in Britain: Three ‘Moments’ in Post-War Britain” Stuart Hall recently used David Scott’s framework of a ‘problem space’, that is discursively defined through questions, tensions and conjunctures, that couched the entry of what he describes as first waive British commonwealth artists into critical visibility in Britain. This can be characterized in part by the reviews of WG Archer and GM Butcher, both supporters of Shemza and prominent critics of the period. Hall includes Shemza in this framework that defines the work and his aspirations as constituted through the tensions of what was perceived to be anti-colonialist aims of modernism through universalism and the ‘nativist’ current in anti-colonial nationalism . This text will focus particularly on the problematic of Landscape as a ‘problem space’ of vernacular and modernism, over here and over there. The aim is not to define Shemza within the tradition of English landscape nor to exclude him but to position him within a discursive field of landscape and modernism in mid twentieth Century art.

Avaliação sistemática de abordagens de derivação de produto

Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study

An Extended Hierarchical Task Analysis for Error Prediction in Medical Devices

This paper introduces an extended hierarchical task analysis (HTA) methodology devised to evaluate and compare user interfaces on volumetric infusion pumps. The pumps were studied along the dimensions of overall usability and propensity for generating human error. With HTA as our framework, we analyzed six pumps on a variety of common tasks using Norman’s Action theory. The introduced method of evaluation divides the problem space between the external world of the device interface and the user’s internal cognitive world, allowing for predictions of potential user errors at the human-device level. In this paper, one detailed analysis is provided as an example, comparing two different pumps on two separate tasks. The results demonstrate the inherent variation, often the cause of usage errors, found with infusion pumps being used in hospitals today. The reported methodology is a useful tool for evaluating human performance and predicting potential user errors with infusion pumps and other simple medical devices.

Agency Outside the Margins: Identity Development of Youth Attending Alternative High Schools

Thesis (Ph.D.)--University of Washington, 2016-05

The impact of architecture on the performance of artificial neural networks

A number of researchers have investigated the impact of network architecture on the performance of artificial neural networks. Particular attention has been paid to the impact on the performance of the multi-layer perceptron of architectural issues, and the use of various strategies to attain an optimal network structure. However, there are still perceived limitations with the multi-layer perceptron and networks that employ a different architecture to the multi-layer perceptron have gained in popularity in recent years, particularly, networks that implement a more localised solution, where the solution in one area of the problem space does not impact, or has a minimal impact, on other areas of the space. In this study, we discuss the major architectural issues affecting the performance of a multi-layer perceptron, before moving on to examine in detail the performance of a new localised network, namely the bumptree. The work presented here examines the impact on the performance of artificial neural networks of employing alternative networks to the long established multi-layer perceptron. In particular, networks that impose a solution where the impact of each parameter in the final network architecture has a localised impact on the problem space being modelled are examined. The alternatives examined are the radial basis function and bumptree neural networks, and the impact of architectural issues on the performance of these networks is examined. Particular attention is paid to the bumptree, with new techniques for both developing the bumptree structure and employing this structure to classify patterns being examined.