Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Learning facial-expression models with crowdsourcing

The computational power is increasing day by day. Despite that, there are some tasks that are still difficult or even impossible for a computer to perform. For example, while identifying a facial expression is easy for a human, for a computer it is an area in development. To tackle this and similar issues, crowdsourcing has grown as a way to use human computation in a large scale. Crowdsourcing is a novel approach to collect labels in a fast and cheap manner, by sourcing the labels from the crowds. However, these labels lack reliability since annotators are not guaranteed to have any expertise in the field. This fact has led to a new research area where we must create or adapt annotation models to handle these weaklylabeled data. Current techniques explore the annotators’ expertise and the task difficulty as variables that influences labels’ correction. Other specific aspects are also considered by noisy-labels analysis techniques. The main contribution of this thesis is the process to collect reliable crowdsourcing labels for a facial expressions dataset. This process consists in two steps: first, we design our crowdsourcing tasks to collect annotators labels; next, we infer the true label from the collected labels by applying state-of-art crowdsourcing algorithms. At the same time, a facial expression dataset is created, containing 40.000 images and respective labels. At the end, we publish the resulting dataset.

Differentiation between Candida albicans and Candida dubliniensis using hypertonic Sabouraud broth and tobacco agar

INTRODUCTION: Opportunistic fungal infections in immunocompromised hosts are caused by Candida species, and the majority of such infections are due to Candida albicans. However, the emerging pathogen Candida dubliniensis demonstrates several phenotypic characteristics in common with C. albicans, such as production of germ tubes and chlamydospores, calling attention to the development of stable resistance to fluconazole in vitro. The aim of this study was to evaluate the performance of biochemistry identification in the differentiating between C. albicans and C. dubliniensis, by phenotyping of yeast identified as C. albicans. METHODS: Seventy-nine isolates identified as C. albicans by the API system ID 32C were grown on Sabouraud dextrose agar at 30°C for 24-48h and then inoculated on hypertonic Sabouraud broth and tobacco agar. RESULTS: Our results showed that 17 (21.5%) isolates were growth-inhibited on hypertonic Sabouraud broth, a phenotypic trait inconsistent with C. albicans in this medium. However, the results observed on tobacco agar showed that only 9 (11.4%) of the growth-inhibited isolates produced characteristic colonies of C. dubliniensis (rough colonies, yellowish-brown with abundant fragments of hyphae and chlamydospores). CONCLUSIONS: The results suggest that this method is a simple tool for screening C. albicans and non-albicans yeast and for verification of automated identification.

Texto(s) e competência textual

A investigação de que resulta o presente trabalho foi desenvolvida em Teoria do texto - área de especialização em Linguística criada na FCSH - UNL pela Professora Luísa Opitz. Os contornos teóricos e epistemológicos da configuração disciplinar assim designada merecem naturalmente uma atenção particular. Pode dizer-se que os primeiros contributos, no sentido de uma abordagem linguística do texto, se devem aos vários trabalhos que, sobretudo na Holanda e na Alemanha, desde o início dos anos setenta, preconizavam o alargamento do quadro generativista para além do domínio da frase. A estes projectos de gramática de texto convém também associar. como se pode compreender, a noção de competência textual - enquanto sistema de regras susceptíveis de derivarem qualquer texto, numa determinada lingua natural. Veja-se o paralelismo da definição proposta por Petôfi (um dos autores em destaque, nesta perspectiva): Its direct aim [of the grammatical theory of verbal texts] is to describe the knowledge of the 'ideal native speaker/listener' concernmg the grammatical structuredness of verbal texts (i.e. his verbal grammatical competence). PETÔFI 1973:206 Quase em simultâneo com a convicção generativista, ou decorrendo de alguma insatisfacão que se ia instalando, outras tendências menos formalizantes se faziam também sentir. Pode destacar-se, em particular, o ponto de vista de P. Hartmann, no prefácio que assina para Studies in Text Grammar, editado por J.S. Petôfi e H. Rieser em 1973. Assinalando a mudança, em termos de interesses epistemológicos, associada ao facto de se tratar de objectos cuja descrição requer mais dimensões do que as contempladas por uma gramática de frase, Hartmann afirma: Se a nogão de texto aparece associada å de fungão (ou funções), uma e outra são fundamentalmente determinadas pela decisão relativa aos objectos sujeitos a observação - isto é, pelo facto de se tomarem em consideração os textos efectivamente produzidos em situações de comunicação, não sujeitos, portanto, a reduções metodológicas.

Technical optimization of the synthesis of flavours

The goal of this thesis is the investigation and optimization of the synthesis of potential fragrances. This work is projected as collaboration between the University of Applied Sciences in Merseburg and the company Miltitz Aromatics GmbH in Bitterfeld‐Wolfen (Germany). Flavoured compounds can be synthesized in different ways and by various methods. In this work, methods like the phase transfer catalysis and the Cope‐rearrangement were investigated and applied, for getting a high yield and quantity of the desired substances and without any by‐products or side reactions. This involved the study of syntheses with different process parameters such as temperature, solvent, pressure and reaction time. The main focus was on Cope‐rearrangement, which is a common method in the synthesis of new potential fragrance compounds. The substances synthesized in this work have a hepta‐1,5‐diene‐structure and that is why they can easily undergo this [3,3]‐sigma tropic rearrangement. The lead compound of all research was 2,5‐dimethyl‐2‐vinyl‐4‐hexenenitrile (Neronil). Neronil is synthesized by an alkylation of 2‐methyl‐3‐butenenitrile with prenylchloride under basic conditions in a phase‐transfer system. In this work the yield of isolated Neronil is improved from about 35% to 46% by according to the execution conditions of the reaction. Additionally the amount of side product was decreased. This synthesized hexenenitrile involved not only the aforementioned 1,5‐diene‐structure, but also a cyano group, that makes this structure a suitable base for the synthesis of new potential fragrance compounds. It was observed that Neronil can be transferred into 2,5‐dimethyl‐2‐vinyl‐4‐hexenoic acid by a hydrolysis under basic conditions. After five hours the acid can be obtained with a yield of 96%. The following esterification is realized with isobutanol to produce 2,5‐dimethyl‐2‐vinyl‐4‐hexenoic acid isobutyl ester with quantitative conversion. It was observed that the Neronil and the corresponding ester can be converted into the corresponding Cope‐product, with a conversion of 30 % and 80%. Implementing the Cope‐rearrangement, the acid was heated and an unexpected decarboxylated product is formed. To achieve the best verification of reaction development and structure, scrupulous analyses were done using GC‐MS, 1H‐NMR and 13C‐ NMR.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Habitat preferences, diet, feeding strategy and social organization of the black spider monkey [Ateles paniscus paniscus Linnaeus 1758] in Surinam

A Socioecological Field Study.This monograph reports on a 26 month socioecological study of black spider monkeys (Ateles paniscus paniscus)in the Raleigh-vallen — Voltzberg Nature Reserve, Surinam. It recognizes the fundamental importance of food to the behavior and the regulation of population density fox this primate. It clarifies the complex temporal and spatial effects of tropical rain forest food sources on the behavior of a group of spider monkeys, concentrating on food category, food plant identity and phenology, and quantity, density and dispersion of the most important food sources. In addition, the present study describes habitat choice, optimal feeding strategy and sexual behavior of the spider monkey, and discusses implications of diet for social behavior. This study is also fundamental to conservation. Specialized in eating mature fruits, the spider monkey is a very important dispersal agent for many trees and lianes, particularly canopy species. However, the spider monkey is probably the most vulnerable monkey species in Surinam and it is disappearing rapidly throughout the remainder of its range. Unfortunately, it is large and noisy and can be easily tracked and hunted. It is largely restricted to undisturbed high forest, and consequently habitat destruction has more effect on it than on most other species. Together with its slow reproductive rate (a female gives birth only once every four or five years), this means that the species is poorly adapted to recover from exploitation. In order to implement proper measures for conservation, data on forest type preferences, diet and social behavior of the species, or on closely related species, in undisturbed areas, such as the one described in this monograph, are essential tools for assessing the potential of proposed protected areas.

Bond of NSM FRP strengthened concrete: round robin test initiative

Despite the extensive research that has been conducted on the debonding behaviour of FRP strengthening systems, no standard methodology has been yet established on its experimental characterization. In this context, to assess the performance and reliability of small scale testing on NSM (near surface mounted) FRP strengthening systems, an experimental program was carried out on a series of nine NSM FRP strengthening systems, in the framework of an international Round Robin Testing (RRT). Eleven laboratories and seven manufacturers and suppliers participated in this extensive international exercise, which regarded both NSM and EBR FRP strengthening systems. Test results obtained for the NSM systems by the participating laboratories are discussed and compared in this paper to investigate the feasibility of the adopted single/double pulling shear test method, to investigate the mechanism of bond between NSM FRP reinforcement and concrete, and to investigate the level of variability obtained between the participating laboratories testing the same material batches. It is concluded that the tested variants in the adopted single/double shear pulling test have a significant influence, stressing the importance of the level of detail of standardized test protocols for bond verification. On overall, given the variants included in this study, the obtained variation in bond stress-slip behaviour between the laboratories remained fairly limited.

Implementation of integral viscoelastic constitutive models in OpenFOAM® computational library

This work reports the implementation and verification of a new so lver in OpenFOAM® open source computational library, able to cope with integral viscoelastic models based on the integral upper-convected Maxwell model. The code is verified through the comparison of its predictions with analytical solutions and numerical results obtained with the differential upper-convected Maxwell model

Weld lines in extrusion: Understanding the role of the flow conditions

This work reports the implemen tation and verification of a new so lver in OpenFOAM® open source computational library, able to cope w ith integral viscoelastic models based on the integral upper-convected Maxwell model. The code is verified through the comparison of its predictions with anal ytical solutions and numerical results obtained with the differential upper-convected Maxwell model

Avaliação de políticas públicas de desenvolvimento turístico das cidades de Gramado (Brasil) e Rovaniemi (Finlândia)

Tese de Doutoramento Geografia (Área de Especialização: Geografia e Planeamento Regional)

A implementação do modelo de atendimento à diversidade como resposta eficaz ao apoio a alunos com necessidades especiais na região norte de Portugal

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

Estudo acústico de /a/ acentuado na fala bracarense: potenciais aplicações

Dissertação de mestrado em Ciências da Linguagem

Estudo da logística do armazenamento e distribuição interna de consumíveis clínicos de uma unidade hospitalar

Dissertação de mestrado em Engenharia Industrial

Impressão FDM de pares de materiais funcionais

Dissertação de mestrado integrado em Engenharia de Materiais