Image Noise Removal on Heterogeneous CPU-GPU Configurations

A parallel algorithm to remove impulsive noise in digital images using heterogeneous CPU/GPU computing is proposed. The parallel denoising algorithm is based on the peer group concept and uses an Euclidean metric. In order to identify the amount of pixels to be allocated in multi-core and GPUs, a performance analysis using large images is presented. A comparison of the parallel implementation in multi-core, GPUs and a combination of both is performed. Performance has been evaluated in terms of execution time and Megapixels/second. We present several optimization strategies especially effective for the multi-core environment, and demonstrate significant performance improvements. The main advantage of the proposed noise removal methodology is its computational speed, which enables efficient filtering of color images in real-time applications.

Report ...

C. A. Elliott, president of the committee and finance commissioner.

Historical law-tracts.

"The discourses relate, each of them, to subjects common to the law of England and of Scotland."--Pref.

Metodologia adotada pela Secretaria de Estado da Saúde do Estado de São Paulo para avaliação dos hospitais administrados por organizações sociais de saúde na região metropolitana de São Paulo

O tema central deste estudo é descrever e analisar a metodologia de avaliação adotada pela Secretaria de Estado da Saúde de São Paulo para avaliar os hospitais administrados por Organizações Sociais de Saúde (OSS), localizados na região metropolitana de São Paulo. O objetivo é descrever e analisar as dimensões selecionadas pela CGCSS – Coordenadoria de Gestão de Contratos de Serviços de Saúde e identificar os indicadores e as informaçoes geradas pelas OSS e encaminhadas rotineiramente para a CGCSS, além das ações tomadas em relação ao resultado dos indicadores e metas. Trata-se de uma pesquisa qualitativa, exploratória e descritiva, sendo analisados documentos técnicos e realizadas entrevistas semiestruturadas com técnicos da Secretaria de Estado da Saúde de São Paulo e com integrantes da Comissão de Avaliação da Execução dos Contratos de Gestão das Organizações Sociais. Conclui-se que a metodologia de avaliação de desempenho da OSS atende ao disposto na legislação estadual constante na lei nº 846/98, por meio do controle dos indicadores acordados previamente. Porém, a metodologia carece de indicadores capazes de avaliar a qualidade do serviço e o uso dos recursos financeiros. Um dos fatores relevantes em relação à pesquisa foi a falta de acesso aos dados, o que constitui a falta de publicização dos dados, por parte da SES/SP. Porém com a ajuda de alguns membros da comissão foi possível o acesso tardio, por entenderem ser informações públicas.

Data flow and validation in workflow modelling

A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, their scope, the order of execution that maintains the overall business process logic, the rules governing the discipline of work list scheduling to performers, identification of time constraints and more. The goal of this paper is to address an important issue in workflows modelling and specification, which is data flow, its modelling, specification and validation. Researchers have neglected this dimension of process analysis for some time, mainly focussing on structural considerations with limited verification checks. In this paper, we identify and justify the importance of data modelling in overall workflows specification and verification. We illustrate and define several potential data flow problems that, if not detected prior to workflow deployment may prevent the process from correct execution, execute process on inconsistent data or even lead to process suspension. A discussion on essential requirements of the workflow data model in order to support data validation is also given..

Programs as paths: An approach to timing constraint analysis

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.

CONSTRUÇÕES IMAGINÁRIAS NO CONTEXTO DE UM FENÔMENO MUSICAL DE MASSA: O CASO DO CANTOR MICHEL TELÓ

Estudo sobre o processo de construção imaginária do público de gênero feminino ao consumir os produtos dos fenômenos musicais de massa, no Brasil. Tendo como base o caso do sucesso do cantor Michel Teló, representante do gênero musical sertanejo universitário, o objetivo é compreender o processo de construção imaginária que permeia a relação do público feminino (fãs) e consumo do gênero musical sertanejo universitário, a partir do discurso do cantor Michel Teló. Para tal, será tomado referencial teórico do campo dos Estudos Culturais em diálogo com estudos sobre imaginário e música de massa. A análise do discurso, de linha francesa, é a metodologia empregada em duas instâncias para se testar as reflexões construídas com a base teórica: a priori, a partir de um processo de observação participante, durante um espetáculo do artista, em que será observada a interação entre fenômeno e público, no momento de execução da sua música Ai, se eu te pego! ; e, doravante, o discurso do músico é analisado, por meio de entrevistas realizadas em programas televisivos. Um questionário aplicado a uma amostra entre o público feminino apreciador do cantor e de suas músicas contribui ainda no aprofundamento da reflexão. Resulta desta pesquisa a compreensão da proeminência do discurso ao conteúdo. Desta maneira, a importância maior se encontra na forma com que o cantor dialoga com seu público, por meio da imagem que ele constrói em torno de si.

Momentum profits in alternative stock market structures

The aim of this study is to examine the relationship between momentum profitability and the stock market trading mechanism and is motivated by recent changes to the trading systems that have taken place on the London Stock Exchange. Since 1975 the London stock market has employed three different trading systems: a floor based system, a computerized dealer system called SEAQ and the automated auction system SETS. Since each new trading system has reduced the level of execution costs, one might expect, a priori, the magnitude of momentum profits to decline with each amendment to the trading system. However, the opposite empirical result is found showing that shares trading on the automated system generate higher momentum profits than those trading on the floor system and companies trading on the SETS system display greater momentum profitability than those trading on SEAQ. Our empirical results concur with the theoretical findings of the trader’s hesitation model of Du [Du, J., 2002. Heterogeneity in investor confidence and asset market under- and overreaction. Working paper] and the empirical findings of Arena et al. [Arena, M., Haggard, S., Yan, X., Price momentum and idiosyncratic volatility. Financial Review, in press].

A combined approach for hiding partial information in RSA

Partial information leakage in deterministic public-key cryptosystems refers to a problem that arises when information about either the plaintext or the key is leaked in subtle ways. Quite a common case is where there are a small number of possible messages that may be sent. An attacker may be able to crack the scheme simply by enumerating all the possible ciphertexts. Two methods are proposed for facing the partial information leakage problem in RSA that incorporate a random element into the encrypted message to increase the number of possible ciphertexts. The resulting scheme is, effectively, an RSA-like cryptosystem which exhibits probabilistic encryption. The first method involves encrypting several similar messages with RSA and then using the Quadratic Residuosity Problem (QRP) to mark the intended one. In this way, an adversary who has correctly guessed two or more of the ciphertexts is still in doubt about which message is the intended one. The cryptographic strength of the combined system is equal to the computational difficulty of factorising a large integer; ideally, this should be feasible. The second scheme uses error-correcting codes for accommodating the random component. The plaintext is processed with an error-correcting code and deliberately corrupted before encryption. The introduced corruption lies within the error-correcting ability of the code, so as to enable the recovery of the original message. The random corruption offers a vast number of possible ciphertexts corresponding to a given plaintext; hence an attacker cannot deduce any useful information from it. The proposed systems are compared to other cryptosystems sharing similar characteristics, in terms of execution time and ciphertext size, so as to determine their practical utility. Finally, parameters which determine the characteristics of the proposed schemes are also examined.

On Solving the Maximum Betweenness Problem Using Genetic Algorithms

In this paper a genetic algorithm (GA) is applied on Maximum Betweennes Problem (MBP). The maximum of the objective function is obtained by finding a permutation which satisfies a maximal number of betweenness constraints. Every permutation considered is genetically coded with an integer representation. Standard operators are used in the GA. Instances in the experimental results are randomly generated. For smaller dimensions, optimal solutions of MBP are obtained by total enumeration. For those instances, the GA reached all optimal solutions except one. The GA also obtained results for larger instances of up to 50 elements and 1000 triples. The running time of execution and finding optimal results is quite short.

A middleware to support services delivery in a domain-specific virtual machine

The increasing use of model-driven software development has renewed emphasis on using domain-specific models during application development. More specifically, there has been emphasis on using domain-specific modeling languages (DSMLs) to capture user-specified requirements when creating applications. The current approach to realizing these applications is to translate DSML models into source code using several model-to-model and model-to-code transformations. This approach is still dependent on the underlying source code representation and only raises the level of abstraction during development. Experience has shown that developers will many times be required to manually modify the generated source code, which can be error-prone and time consuming. ^ An alternative to the aforementioned approach involves using an interpreted domain-specific modeling language (i-DSML) whose models can be directly executed using a Domain Specific Virtual Machine (DSVM). Direct execution of i-DSML models require a semantically rich platform that reduces the gap between the application models and the underlying services required to realize the application. One layer in this platform is the domain-specific middleware that is responsible for the management and delivery of services in the specific domain. ^ In this dissertation, we investigated the problem of designing the domain-specific middleware of the DSVM to facilitate the bifurcation of the semantics of the domain and the model of execution (MoE) while supporting runtime adaptation and validation. We approached our investigation by seeking solutions to the following sub-problems: (1) How can the domain-specific knowledge (DSK) semantics be separated from the MoE for a given domain? (2) How do we define a generic model of execution (GMoE) of the middleware so that it is adaptable and realizes DSK operations to support delivery of services? (3) How do we validate the realization of DSK operations at runtime? ^ Our research into the domain-specific middleware was done using an i-DSML for the user-centric communication domain, Communication Modeling Language (CML), and for microgrid energy management domain, Microgrid Modeling Language (MGridML). We have successfully developed a methodology to separate the DSK and GMoE of the middleware of a DSVM that supports specialization for a given domain, and is able to perform adaptation and validation at runtime. ^

Avaliação da conformidade dos blocos cerâmicos produzidos em algumas cerâmicas no Rio Grande do Norte

The final quality of the works accomplished by the building construction industry depends directly on the quality of the materials supplied and used during all their phases of execution. The federal government participation and several state programs have established conditions to stimulate and require the increment of the quality level in the building construction industry´s product chain. These programs aim at the product conformity to the technical standards. Within this context, the evaluation program of the ceramic product conformity in Rio Grande do Norte state is assessing the conformity degree to Brazilian Technical Standards of ceramic bricks and tiles made in the ceramic production area in the state. In this work, is determine the degree of conformity of the sealing ceramic bricks made by some companies in different areas of the state, such as Assú, São Gonçalo do Amarante, Apodi, Parelhas, São José do Mipibu e Macaíba. Using the technical standards as a point of reference, we attempted to reproduce in the laboratory the experimental procedures to the analysis execution, according to the specifications. It was possible to determine that none of the evaluated samples are in strict conformity with the current technical standards, what reflects the real situation of the products available on the market.

CONSTRUÇÕES IMAGINÁRIAS NO CONTEXTO DE UM FENÔMENO MUSICAL DE MASSA: O CASO DO CANTOR MICHEL TELÓ

Estudo sobre o processo de construção imaginária do público de gênero feminino ao consumir os produtos dos fenômenos musicais de massa, no Brasil. Tendo como base o caso do sucesso do cantor Michel Teló, representante do gênero musical sertanejo universitário, o objetivo é compreender o processo de construção imaginária que permeia a relação do público feminino (fãs) e consumo do gênero musical sertanejo universitário, a partir do discurso do cantor Michel Teló. Para tal, será tomado referencial teórico do campo dos Estudos Culturais em diálogo com estudos sobre imaginário e música de massa. A análise do discurso, de linha francesa, é a metodologia empregada em duas instâncias para se testar as reflexões construídas com a base teórica: a priori, a partir de um processo de observação participante, durante um espetáculo do artista, em que será observada a interação entre “fenômeno” e público, no momento de execução da sua música “Ai, se eu te pego!”; e, doravante, o discurso do músico é analisado, por meio de entrevistas realizadas em programas televisivos. Um questionário aplicado a uma amostra entre o público feminino apreciador do cantor e de suas músicas contribui ainda no aprofundamento da reflexão. Resulta desta pesquisa a compreensão da proeminência do discurso ao conteúdo. Desta maneira, a importância maior se encontra na forma com que o cantor dialoga com seu público, por meio da imagem que ele constrói em torno de si.

Critique féministe matérialiste du droit civil québécois : le travail « domestique » et les violences sexuées, les « impensés » du droit du logement.

Cette recherche constitue un essai de théorie critique féministe matérialiste et radicale. Elle poursuit principalement un objectif de dénonciation de la structure actuelle du droit du logement. À partir d’un cadre conceptuel fondé sur le féminisme matérialiste et radical, elle souhaite faire ressortir le point de vue de la classe des femmes dans l’habitation. Le droit du logement est ici utilisé dans un sens large, puisqu’il se réfère à la fois au logement comme phénomène juridique, mais aussi sociologique. À l’intérieur de la discipline juridique, il renvoie à l’ensemble des législations actuellement en vigueur au Québec en ce qui concerne la vie à domicile. Notre étude se concentre sur deux modes d’occupation des lieux, à travers le droit de propriété et le système locatif. Le droit au logement fait l’objet d’une reconnaissance internationale dans les textes portant sur les droits humains. Il est reconnu comme le « droit à un logement suffisant ». Au Canada et au Québec, il ne fait pas l’objet d’une reconnaissance explicite, malgré les engagements pris sur la scène internationale. Un portrait statistique, appuyé sur le critère du sexe, permet de mettre en évidence qu’il existe des écarts entre les hommes et les femmes en ce qui concerne la mise en application du droit du logement. Les femmes accèdent plus difficilement à un logement; elles y effectuent la majorité du travail domestique, de service et de « care » et elles sont les principales victimes des violences commises à domicile. Dans le système d’habitation, l’expérience des femmes se comprend comme une appropriation à la fois privée et collective par la classe des hommes, telle que réfléchie par Colette Guillaumin, qui se concentre autour de la division sexuelle du travail et des violences sexuées. Le droit du logement, dans sa forme actuelle, repose sur l’appropriation de la force de travail des femmes et de leur corps. Ces deux critères permettent de construire une grille d’analyse féministe matérialiste et radicale pour analyser la structure du droit du logement, tel que conçu en droit civil. Cette analyse féministe permet également de situer le droit étatique comme une pratique patriarcale. Cette dernière contribue à assurer le maintien du système d’habitation, qui est assimilable à un système hégémonique, au sens développé par Gramsci. Cette étude réfléchit sur le droit du logement dans le climat politique néolibéral. Le néolibéralisme est développé comme une idéologie qui impose une rationalité marchande à l’ensemble des politiques étatiques. À partir d’une méthode décrite comme métathéorique externe radicalement réflexive, puisqu’elle propose l’importation d’outils conceptuels étrangers à la discipline du droit moderne, nous réfléchissons de manière radicale la construction du droit civil et des institutions qui encadrent le droit du logement. La collecte des données s’effectue à partir de la recherche documentaire. Quatre institutions du droit civil seront examinées dans le détail, soit le sujet du droit, la dichotomie privé/public, la médiation du droit du logement par les biens immeubles, à travers le rapport contractuel et le droit de propriété, et finalement les notaires. L’analyse féministe du sujet du droit insiste sur un paradoxe. D’une part, l’universalité présumée de ce sujet, laquelle permet de poser l’égalité et la liberté pour toutes les personnes juridiques. Or, plutôt que d’être neutre sexuellement comme le prétend le droit positif, nous démontrons comment ce sujet est constamment un membre de la classe des hommes. D’autre part, nous analysons comment le droit reconnaît le sexe de ses sujets, mais surtout comment cette sexualité est construite sur l’idéologie naturaliste. Ce modèle de sujet masculin est fondamental dans la construction du droit du logement. L’étude féministe de la dichotomie privé/public en fait ressortir le caractère situé. En effet, si par essence aucun domaine ou enjeu n’est en soit privé ou public, le processus de qualification, lui, est un acte de pouvoir. Nous verrons comment le droit civil crée des zones de droit privé, comprises comme des zones de non-droit pour les femmes. La qualification de privé dévalue également le travail accompli par cette classe de sexe. Le droit du logement est pourtant centré sur le rapport contractuel et sur le droit de propriété. Il importe alors d’examiner la nature du consentement donné par les femmes comme groupe social dans les contrats de vente et de location. Ces contrats ne prennent pas en compte l’expérience des femmes dans leur formation. Les catégories qui y sont attachées, telles que vendeur.e ou locataire, représentent le point de vue de la classe des hommes. Bien que la popularité de la copropriété auprès de la classe des femmes semble porteuse d’un vent de changement, nous analysons comment le discours dominant qui l’entoure instrumentalise certaines revendications féministes, tout en laissant dans l’ombre la question du travail domestique et des violences sexuées. Finalement, nous nous intéressons aux notaires en les repensant comme des intellectuel.les organiques, tels que conçu.es par Gramsci, pour la classe des hommes. Cette fonction d’intellectuel.les permet de mettre en lumière comment chaque transaction immobilière favorise la reproduction des intérêts patriarcaux, remettant ainsi en question la nature des devoirs de conseil et d’impartialité du notariat. À la lumière de cette analyse, le Code civil du Québec est qualifié dans une perspective féministe matérialiste et radicale pour devenir un système qui institutionnalise l’appropriation des femmes par l’entremise du droit du logement. Ce travail de recherche permet d’envisager certaines pistes de réflexion pour des rénovations potentielles des pratiques juridiques entourant le droit du logement, notamment la pratique notariale, tournées vers des objectifs féministes de justice sociale.

Fabrication et caractérisation de cellules solaires organiques nanostructurées par la méthode de nanoimpression thermique

La morphologie des couches actives des cellules solaires organiques joue un rôle important sur l’efficacité de conversion de l’énergie solaire en énergie électrique de ces dispositifs. Les hétérojonctions planaires et les hétérojonctions en volume sont les plus communément utilisées. Cependant, la morphologie idéale pour l’efficacité se situerait à mis chemin entre celles-ci. Il s’agit de l’hétérojonction nanostructurée qui augmenterait la surface entre les couches actives de matériaux tout en favorisant le transport des porteurs de charge. L’objectif de ce projet de maîtrise est d’étudier l’impact de l’implantation de nanostructures dans les cellules solaires organiques sur leurs performances photovoltaïques. Pour ce faire, on utilise la méthode de nanoimpression thermique sur le matériau donneur, le P3HT, afin que celui-ci forme une interface nanostructurée avec le matériau accepteur, le PCBM. Pour effectuer les nanoimpressions, des moules en alumine nanoporeuse ont été fabriqués à l’aide du procédé d’anodisation en deux temps développé par Masuda et al. Ces moules ont subi un traitement afin de faciliter leur séparation du P3HT. Les agents antiadhésifs PDMS et FTDS ont été utilisés à cette fin. Les résultats obtenus témoignent de la complexité d’exécution du procédé de nanoimpression. Il a été démontré que la pression appliquée durant le procédé, la tension superficielle des éléments en contact et les dimensions des nanopores des moules sont des paramètres critiques pour le succès des nanoimpressions. Ceux-ci ont donc dû être optimisés de manière à réussir cette opération. Ainsi, des cellules à interface nanostructurée à 25% avec des nanobâtonnets de 35 nm de hauteur ont pu être fabriquées. Les cellules nanostructurées ont démontré une efficacité 2,3 ± 0,6 fois supérieure aux cellules sans nanostructures, dites planaires. D’autre part, un solvant a été proposé pour diminuer l’interdiffusion entre les couches de P3HT et de PCBM pouvant altérer les nanostructures. Ce phénomène bien connu survient lors du dépot de la couche de PCBM avec le dichlorométhane, un solvant orthogonal avec ces matériaux. Des mesures au TOF-SIMS ont démontré que le limonène permet de diminuer l’interdiffusion entre les couches de P3HT et de PCBM, ce qui en fait un meilleur solvant orthogonal que le dichlorométhane.