Epidemic store for massive scale systems

The MAP-i doctoral program of the Universities of Minho, Aveiro and Porto

O ensino em grupo de instrumentos musicais: um estudo de caso múltiplo em Portugal e no Brasil

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Musical)

Cladistic analysis of the Neotropical genera Cerqueirellum Py-Daniel, 1983, Coscaroniellum Py-Daniel, 1983 and Shelleyellum Py-Daniel & Pessoa, 2005 (Diptera: Simuliidae)

Females of simuliid black flies are haematophagous insects and vectors of several pathogenic agents of human diseases such as the filarial worms Mansonella ozzardi and Onchocerca volvulus. The genus Cerqueirellum is one of the most important groups of vectors of mansonellosis and onchocerciasis diseases in South America, and the genera Coscaroniellum and Shelleyellum are phylogenetically close to Cerqueirellum. There is not yet an agreement among authors about the generic classification of the species which compose these three genera, being all lumped by some taxonomists within Psaroniocompsa. A cladistic analysis of all species of Coscaroniellum, Cerqueirellum, and Shelleyellum, based on 41 morphological characters were done. Species closely related to Cerqueirellum were included in the analysis. The genera Cerqueirellum, Coscaroniellum and Shelleyellum were demonstrated as consistent basal entities and well-defined monophyletic clades.

Design de superfície biomimética para aplicação em atividades desportivas

Tese de Doutoramento Engenharia Têxtil.

Pharmaceutical regulation and pseudo - generics

Dissertação de mestrado em Economia Industrial e da Empresa

A new combination in Peristethium (Loranthaceae) expands the genus' range into the Amazon-Cerrado ecotone

The genus Peristethium, characterized by determinate inflorescences protected by deciduous bracts, occurs in the northwest of South America, as well as Costa Rica and Panama. The main objective of this paper was to transfer one species to what we believe is its correct generic placement in Peristethium, that likewise implies in a shift of the genus' distribution beyond the Amazon. A new combination, Peristethium reticulatum, is proposed, based on Struthanthus reticulatus, described from Tocantins in 1980. The sexual dimorphism of the inflorescences of P. reticulatum (sessile male flowers and pedicellate female flowers) associated with male inflorescences that are inserted at leafless nodes are unique within the genus. The male flowers have dimorphic stamens, well-developed anthers and a pistiloid, whilst female flowers have robust styles and stigmas, and much reduced staminodes. Peristethium reticulatum and P. polystachyum occurs in the Amazon regions of Brazil, with the former recorded also in the ecotone with the Central Brazilian savannas (Cerrados).

Search for new phenomena in events with three or more charged leptons in pp collisions at TeV with the ATLAS detector

A generic search for anomalous production of events with at least three charged leptons is presented. The data sample consists of pp collisions at s√=8 TeV collected in 2012 by the ATLAS experiment at the CERN Large Hadron Collider, and corresponds to an integrated luminosity of 20.3 fb−1. Events are required to have at least three selected lepton candidates, at least two of which must be electrons or muons, while the third may be a hadronically decaying tau. Selected events are categorized based on their lepton flavour content and signal regions are constructed using several kinematic variables of interest. No significant deviations from Standard Model predictions are observed. Model-independent upper limits on contributions from beyond the Standard Model phenomena are provided for each signal region, along with prescription to re-interpret the limits for any model. Constraints are also placed on models predicting doubly charged Higgs bosons and excited leptons. For doubly charged Higgs bosons decaying to eτ or μτ, lower limits on the mass are set at 400 GeV at 95% confidence level. For excited leptons, constraints are provided as functions of both the mass of the excited state and the compositeness scale Λ, with the strongest mass constraints arising in regions where the mass equals Λ. In such scenarios, lower mass limits are set at 3.0 TeV for excited electrons and muons, 2.5 TeV for excited taus, and 1.6 TeV for every excited-neutrino flavour.

Document-based databases: estudo comparativo no âmbito das bases de dados NoSql

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Modelação de governo electrónico para países emergentes: O caso de São Tomé e Príncipe

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Hand gesture recognition system based in computer vision and machine learning: Applications on human-machine interaction

Tese de Doutoramento em Engenharia de Eletrónica e de Computadores

O ajustamento psicossocial de jovens com consumos de substâncias psicoativas em escolas profissionais do grande Porto

Tese de Doutoramento em Estudos da Criança (Área de Especialidade Psicologia do Desenvolvimento e Educação)

Algorithms and computational tools for metabolic flux analysis

PhD thesis in Biomedical Engineering

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

A morte em cuidados intensivos: uma reflexão fenomenológica sobre a experiência dos enfermeiros

Dissertação de mestrado em Enfermagem da Pessoa em Situação Crítica

A 3D computer assisted Orthopedic Surgery Planning approach based on planar radiography

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)