Tuning Iris Recognition for Noisy Images

The use of iris recognition for human authentication has been spreading in the past years. Daugman has proposed a method for iris recognition, composed by four stages: segmentation, normalization, feature extraction, and matching. In this paper we propose some modifications and extensions to Daugman's method to cope with noisy images. These modifications are proposed after a study of images of CASIA and UBIRIS databases. The major modification is on the computationally demanding segmentation stage, for which we propose a faster and equally accurate template matching approach. The extensions on the algorithm address the important issue of pre-processing that depends on the image database, being mandatory when we have a non infra-red camera, like a typical WebCam. For this scenario, we propose methods for reflection removal and pupil enhancement and isolation. The tests, carried out by our C# application on grayscale CASIA and UBIRIS images show that the template matching segmentation method is more accurate and faster than the previous one, for noisy images. The proposed algorithms are found to be efficient and necessary when we deal with non infra-red images and non uniform illumination.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

O endomarketing como factor de sucesso nas organizações: o impacto no empenhamento e na satisfação dos clientes internos da empresa PT PRO

A literatura descreve que as ações de endomarketing contribuem para a aproximação, interação e o bom relacionamento entre a empresa e os colaboradores. Sendo caracterizada como uma relação de troca, na qual a empresa fornece instrumentos capazes de promover o interesse dos colaboradores a participarem mais ativamente em toda a envolvente organizacional - através de ações que favoreçam o diálogo, sugestões, partilha de conhecimentos e informações, bem como relatos de situações corriqueiras ocorridas no dia-a-dia da empresa. Em contrapartida, à medida que o colaborador se sente valorizado pela empresa e pelos colegas, passa a perceber a importância do seu trabalho dentro da organização, permitindo que identifique o trabalho como algo prazeroso. Esta troca contribui para a produtividade e desenvolvimento da empresa, bem como a satisfação e empenhamento dos colaboradores no trabalho. Neste sentido, visando averiguar como esta situação é vivenciada na prática decidiu-se pela realização de um estágio, tendo como questão de estudo qual o impacto das ações de endomarketing no empenhamento e na satisfação dos clientes internos da PT PRO? Para responder a tal indagação foi realizado um estágio na empresa PT PRO, nomeadamente na Direção de Desenvolvimento de Mercado, Marketing e Formação. Apresentam-se ao longo do presente relatório a descrição das especificidades do estágio, tal como as principais ilações daí retiradas tendo através de pesquisas documentais (arquivo e documentos internos e Intranet), reuniões com a Direção de Marketing e com a tutora do estágio, tal como pela aplicação e análise de um inquérito por questionário aplicado aos colaboradores, chegando-se à conclusão que, de facto, as ações de endomarketing levadas a cabo pela empresa contribuem para o empenhamento e satisfação dos colaboradores.

STIR, SPIR and SPAIR techniques in magnetic resonance of the breast: a comparative study

The amount of fat is a component that complicates the clinical evaluation and the differential diagnostic between benign and malign lesions in the breast MRI examinations. To overcome this problem, an effective erasing of the fat signal over the images acquisition process, is essentials. This study aims to compare three fat suppression techniques (STIR, SPIR, SPAIR) in the MR images of the breast and to evaluate the best image quality regarding its clinical usefulness. To mimic breast women, a breast phantom was constructed. First the exterior contour and, in second time, its content which was selected based on 7 samples with different components. Finally it was undergone to a MRI breast protocol with the three different fat saturation techniques. The examinations were performed on a 1.5 T MRI system (Philips®). A group of 5 experts evaluated 9 sequences, 3 of each with fat suppression techniques, in which the frequency offset and TI (Inversion Time) were the variables changed. This qualitative image analysis was performed according 4 parameters (saturation uniformity, saturation efficacy, detail of the anatomical structures and differentiation between the fibroglandular and adipose tissue), using a five-point Likert scale. The statistics analysis showed that anyone of the fat suppression techniques demonstrated significant differences compared to the others with (p > 0.05) and regarding each parameter independently. By Fleiss’ kappa coefficient there was a good agreement among observers P(e) = 0.68. When comparing STIR, SPIR and SPAIR techniques it was confirmed that all of them have advantages in the study of the breast MRI. For the studied parameters, the results through the Friedman Test showed that there are similar advantages applying anyone of these techniques.

Comprometimento organizacional, gestão de conflitos e liderança em instituições de saúde

O comprometimento organizacional tem surgido como um conceito essencial no estudo dos comportamentos dos indivíduos em relação ao trabalho, podendo ser definido como a intensidade e a estabilidade da relação do indivíduo para com a organização em que trabalha. O comprometimento por si só não garante o sucesso da organização, mas um elevado grau de comprometimento dos colaboradores pode contribuir para a eficiência da organização, garantindo que esta atinja os seus objetivos. Na área da saúde os profissionais que assumem cargos de gestão, e que se sentem comprometidos com a instituição em que trabalham, sustentam os valores e objetivos da organização, os quais frequentemente colidem com os seus valores profissionais. Num estudo com enfermeiros verificou-se que, entre outras, a pressão organizacional e o envolvimento organizacional são fontes de stress. Sendo raros os estudos que abordam o comprometimento organizacional dos profissionais nas instituições de saúde, torna-se importante conhecer melhor este processo.

An Evaluation of Local Feature Combiners for Robot Visual Localization

In the last decade, local image features have been widely used in robot visual localization. To assess image similarity, a strategy exploiting these features compares raw descriptors extracted from the current image to those in the models of places. This paper addresses the ensuing step in this process, where a combining function must be used to aggregate results and assign each place a score. Casting the problem in the multiple classifier systems framework, we compare several candidate combiners with respect to their performance in the visual localization task. A deeper insight into the potential of the sum and product combiners is provided by testing two extensions of these algebraic rules: threshold and weighted modifications. In addition, a voting method, previously used in robot visual localization, is assessed. All combiners are tested on a visual localization task, carried out on a public dataset. It is experimentally demonstrated that the sum rule extensions globally achieve the best performance. The voting method, whilst competitive to the algebraic rules in their standard form, is shown to be outperformed by both their modified versions.

Anomaly-free U(1) gauge symmetries in neutrino seesaw flavor models

Agência Financiadora: Fundação para a Ciência e a Tecnologia (FCT) - PEst-OE/FIS/UI0777/2013; CERN/FP/123580/2011; PTDC/FIS-NUC/0548/2012

Optimização da lista de células vizinhas em redes LTE

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

A resource for signs and Feynman diagrams of the standart model

When performing a full calculation within the standard model (SM) or its extensions, it is crucial that one utilizes a consistent set of signs for the gauge couplings and gauge fields. Unfortunately, the literature is plagued with differing signs and notations. We present all SM Feynman rules, including ghosts, in a convention-independent notation, and we table the conventions in close to 40 books and reviews.

Theory and phenomenology of two-higgs-doublet models

We discuss theoretical and phenomenological aspects of two-Higgs-doublet extensions of the Standard Model. In general, these extensions have scalar mediated flavour changing neutral currents which are strongly constrained by experiment. Various strategies are discussed to control these flavour changing scalar currents and their phenomenological consequences are analysed. In particular, scenarios with natural flavour conservation are investigated, including the so-called type I and type II models as well as lepton-specific and inert models. Type III models are then discussed, where scalar flavour changing neutral currents are present at tree level, but are suppressed by either a specific ansatz for the Yukawa couplings or by the introduction of family symmetries leading to a natural suppression mechanism. We also consider the phenomenology of charged scalars in these models. Next we turn to the role of symmetries in the scalar sector. We discuss the six symmetry-constrained scalar potentials and their extension into the fermion sector. The vacuum structure of the scalar potential is analysed, including a study of the vacuum stability conditions on the potential and the renormalization-group improvement of these conditions is also presented. The stability of the tree level minimum of the scalar potential in connection with electric charge conservation and its behaviour under CP is analysed. The question of CP violation is addressed in detail, including the cases of explicit CP violation and spontaneous CP violation. We present a detailed study of weak basis invariants which are odd under CP. These invariants allow for the possibility of studying the CP properties of any two-Higgs-doublet model in an arbitrary Higgs basis. A careful study of spontaneous CP violation is presented, including an analysis of the conditions which have to be satisfied in order for a vacuum to violate CP. We present minimal models of CP violation where the vacuum phase is sufficient to generate a complex CKM matrix, which is at present a requirement for any realistic model of spontaneous CP violation.

XtranX passenger: navegação inercial

Trabalho de Projecto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Robot visual localization through local feature fusion: an evaluation of multiple classifiers combination approaches

In the last decade, local image features have been widely used in robot visual localization. In order to assess image similarity, a strategy exploiting these features compares raw descriptors extracted from the current image with those in the models of places. This paper addresses the ensuing step in this process, where a combining function must be used to aggregate results and assign each place a score. Casting the problem in the multiple classifier systems framework, in this paper we compare several candidate combiners with respect to their performance in the visual localization task. For this evaluation, we selected the most popular methods in the class of non-trained combiners, namely the sum rule and product rule. A deeper insight into the potential of these combiners is provided through a discriminativity analysis involving the algebraic rules and two extensions of these methods: the threshold, as well as the weighted modifications. In addition, a voting method, previously used in robot visual localization, is assessed. Furthermore, we address the process of constructing a model of the environment by describing how the model granularity impacts upon performance. All combiners are tested on a visual localization task, carried out on a public dataset. It is experimentally demonstrated that the sum rule extensions globally achieve the best performance, confirming the general agreement on the robustness of this rule in other classification problems. The voting method, whilst competitive with the product rule in its standard form, is shown to be outperformed by its modified versions.