(Des)vantagens do regime especial de tributação dos grupos de sociedades

Dissertação para obtenção do Grau de Mestre em Contabilidade e Finanças Orientador: Mestre, Gabriela Pinheiro

Fresh-cut aromatic herbs: Nutritional quality stability during shelf-life

Fresh-cut vegetables are a successful convenient healthy food. Nowadays, the presence of new varieties of minimally processed vegetables in the market is common in response to the consumers demand for new flavours and high quality products. Within the most recent fresh-cut products are the aromatic herbs. In this work, the objective was to evaluate the nutritional quality and stability of four fresh-cut aromatic herbs. Several physicochemical quality characteristics (colour, pH, total soluble solids, and total titratable acidity) were monitored in fresh-cut chives, coriander, spearmint and parsley leaves, stored under refrigeration (3 ± 1 ºC) during 10 days. Their nutritional composition was determined, including mineral composition (phosphorous, potassium, sodium, calcium, magnesium, iron, zinc, manganese and copper) and fat- and water-soluble vitamin contents. Total soluble phenolics, flavonoids and the antioxidant capacity were determined by spectrophotometric methods. The aromatic herbs kept their fresh appearance during the storage, maintaining their colour throughout shelf-life. Their macronutrient composition and mineral content were stable during storage. Coriander had the highest mineral and fatsoluble vitamin content, while spearmint showed the best scores in the phenolic, flavonoid and antioxidant capacity assays. Vitamins and antioxidant capacity showed some variation during storage, with a differential behaviour of each compound according to the sample.

Língua adicional: contextos e continua

O papel de uma língua adicional, seja ela uma língua estrangeira, língua segunda, ou uma variedade não nativa, é fundamental atualmente não só no domínio profissional mas também em termos de investigação científica, mais precisamente sobre o contacto de línguas. Até ao início da segunda metade do século passado, o contacto linguístico que poderá ter estado na origem das línguas crioulas gozou de especial atenção entre os linguistas. Nas últimas décadas a sua atenção virou-se para a língua segunda e as variedades não nativas. Neste artigo, apresentamos,do ponto de vista teórico, os elos de ligação, contextos e continua, entre os quatro conceitos acima referidos, em que o primeiro, língua adicional, é apresentado como hiperónimo dos outros três, língua estrangeira, língua segunda e variedade não nativa.

Os topónimos algarvios na Paleontologia portuguesa

Since the XIX century, Portuguese and foreign geologists have defined 47 new invertebrate taxa (foraminifera, ostracods, coelenterates, brachiopods, gastropods, ammonoids, echinoids), 2 new fossil plant taxa (charophyte and pteridophyte) and 1 ichnofossil, using toponymy from the Algarve; these taxa refer to 1 genera, 47 species and 2 varieties. Besides the Algarve toponym, the most used as specific name, twenty others have been used, mostly from western Algarve; these toponyms are associated to: – Miocene units, particularly from Ribeira de Cacela and Ferragudo; – Cretaceous units between Zavial and Marim; – Upper Jurassic units from Sagres, Carrapateira and Loulé and Middle Jurassic units from Sagres and Guilhim; – Triassic units from Vila do Bispo to Tavira; – Carboniferous units, particularly from the Aljezur-Bordeira-Carrapateira region. The earliest of these designations were attributed to seven gastropods from the Upper Miocene of Cacela (COSTA, 1866-1867). The majority of the named species are typical of the Algarve, but some have been collected, as well, in the Lusitanian Basin. Although extensively cited in the geological literature, some of these taxa either do not fulfill the ICZN rules, or fall into synonymy with previously established taxa, or should be formally considered as non valid names (nomem nudum and nomen oblitum). Only widespread bibliographical review, associated with the palaeontological revision of some of these groups and the correct interpretation of the ICZN articles, will allow confirming, or not, the doubts that have now arisen.

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.

Simulation of the velocity field in compound channel flow using different closure models

1st European IAHR Congress,6-4 May, Edinburg, Scotland

Valorization of traditional portuguese apples and cherries: biochemical characterization and development of functional ingredients

Dissertation presented to obtain a Ph.D degree in Engineering and Technology Sciences, Biotechnology at the Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa

Planeamento de redes de distribuição de energia

O planeamento de redes de distribuição tem como objetivo assegurar a existência de capacidade nas redes para a fornecimento de energia elétrica com bons níveis de qualidade de serviço tendo em conta os fatores económicos associados. No âmbito do trabalho apresentado na presente dissertação, foi elaborado um modelo de planeamento que determina a configuração de rede resultante da minimização de custos associados a: 1) perdas por efeito de joule; 2) investimento em novos componentes; 3) energia não entregue. A incerteza associada ao valor do consumo de cada carga é modelada através de lógica difusa. O problema de otimização definido é resolvido pelo método de decomposição de benders que contempla dois trânsitos de potências ótimos (modelo DC e modelo AC) no problema mestre e escravo respectivamente para validação de restrições. Foram também definidos critérios de paragem do método de decomposição de benders. O modelo proposto classifica-se como programação não linear inteira mista e foi implementado na ferramenta de otimização General Algebraic Modeling System (GAMS). O modelo desenvolvido tem em conta todos componentes das redes para a otimização do planeamento, conforme podemos analisar nos casos de estudo implementados. Cada caso de estudo é definido pela variação da importância que cada uma das variáveis do problema toma, tendo em vista cobrir de alguma todos os cenários de operação expetáveis. Através destes casos de estudo verifica-se as várias configurações que a rede pode tomar, tendo em conta as importâncias atribuídas a cada uma das variáveis, bem como os respetivos custos associados a cada solução. Este trabalho oferece um considerável contributo no âmbito do planeamento de redes de distribuição, pois comporta diferentes variáveis para a execução do mesmo. É também um modelo bastante robusto não perdendo o ‘norte’ no encontro de solução para redes de grande dimensão, com maior número de componentes.

O lugar da Hispanoamérica no processo de ensinoaprendizagem de Espanhol como Língua Estrangeira no Ensino Secundário Português

Tendo em conta um enfoque comunicativo experiencial (Fernández- Corbacho, 2014) e uma pedagogia crítica emancipatória (Jiménez Raya, Lamb & Vieira, 2007), enriquecida por enfoques multissensoriais (Arslan, 2009), é nossa intenção, com este projeto, contribuir para a implementação de práticas que espelhem as variedades linguísticas e culturais da Hispanoamérica (Liceras, 1995; Beave, 2000) na aula de espanhol como língua estrangeira no ensino secundário português. Neste estudo, através duma perspetiva metodológica de índole qualitativa, pretendemos, como ponto de partida, analisar: a) as representações de alunos portugueses sobre o lugar da Hispanoamérica no processo de ensino-aprendizagem de espanhol como língua estrangeira (Altmann & Vences, 2004; Pérez, 2003), através de inquéritos por questionário; e, ainda, b) as abordagens das variedades linguísticas e culturais do espanhol, que surgem nos manuais utilizados no ensino secundário português. Por outro lado, através de um estudo de caso (Benson, Chik, Gao, Huang & Wang, 2009), procurámos evidenciar uma mostra de possíveis boas práticas didático-pedagógicas e materiais, com vista a um trabalho sistemático e próativo com as variedades linguísticas e culturais do espanhol, baseado numa (hiper)pedagogia crítica e encarando a língua enquanto objeto manipulável e potenciador de cidadãos verdadeiramente conscientes do mundo. Para tal, criámos materiais físicos e digitais, que foram posteriormente implementados com alunos do 11º ano de escolaridade, no nível de iniciação de espanhol, num agrupamento de escolas da região de Aveiro. Os resultados mostram que práticas e materiais desta natureza poderão favorecer aprendizagens comunicativas experienciais, quanto à criação de futuros cidadãos críticos e ativos, fomentando o desenvolvimento das suas competências comunicativa plurilingue e pluricultural e duma consciência cultural crítica (Byram, Gribkova & Starkey, 2002) dos alunos, no contexto de ensino-aprendizagem do ensino secundário.

Fractional Order Junctions

Gottfried Leibniz generalized the derivation and integration, extending the operators from integer up to real, or even complex, orders. It is presently recognized that the resulting models capture long term memory effects difficult to describe by classical tools. Leon Chua generalized the set of lumped electrical elements that provide the building blocks in mathematical models. His proposal of the memristor and of higher order elements broadened the scope of variables and relationships embedded in the development of models. This paper follows the two directions and proposes a new logical step, by generalizing the concept of junction. Classical junctions interconnect system elements using simple algebraic restrictions. Nevertheless, this simplistic approach may be misleading in the presence of unexpected dynamical phenomena and requires including additional “parasitic” elements. The novel γ-junction includes, as special cases, the standard series and parallel connections and allows a new degree of freedom when building models. The proposal motivates the search for experimental and real world manifestations of the abstract conjectures.

Efficient Legendre spectral tau algorithm for solving two-sided space-time Caputo fractional advection-dispersion equation

In this paper we present the operational matrices of the left Caputo fractional derivative, right Caputo fractional derivative and Riemann–Liouville fractional integral for shifted Legendre polynomials. We develop an accurate numerical algorithm to solve the two-sided space–time fractional advection–dispersion equation (FADE) based on a spectral shifted Legendre tau (SLT) method in combination with the derived shifted Legendre operational matrices. The fractional derivatives are described in the Caputo sense. We propose a spectral SLT method, both in temporal and spatial discretizations for the two-sided space–time FADE. This technique reduces the two-sided space–time FADE to a system of algebraic equations that simplifies the problem. Numerical results carried out to confirm the spectral accuracy and efficiency of the proposed algorithm. By selecting relatively few Legendre polynomial degrees, we are able to get very accurate approximations, demonstrating the utility of the new approach over other numerical methods.

An efficient numerical scheme for solving multi-dimensional fractional optimal control problems with a quadratic performance index

The shifted Legendre orthogonal polynomials are used for the numerical solution of a new formulation for the multi-dimensional fractional optimal control problem (M-DFOCP) with a quadratic performance index. The fractional derivatives are described in the Caputo sense. The Lagrange multiplier method for the constrained extremum and the operational matrix of fractional integrals are used together with the help of the properties of the shifted Legendre orthonormal polynomials. The method reduces the M-DFOCP to a simpler problem that consists of solving a system of algebraic equations. For confirming the efficiency and accuracy of the proposed scheme, some test problems are implemented with their approximate solutions.

Characterization of Cryptococcus neoformans isolated from urban environmental sources in Goiânia, Goiás State, Brazil

Cryptococcus neoformans is an opportunistic fungal pathogen that causes meningoencephalitis as the most frequent clinical presentation in immunocompromised patients, mainly in people infected by HIV. This fungus is an environmental encapsulated yeast, commonly found in soil enriched with avian droppings and plant material. A total of 290 samples of pigeon and the other avian droppings, soil, ornamental trees and vegetable material associated with Eucalyptus trees were collected to study environmental sources of Cryptococcus species in Goiânia, Goiás State. The determination of varieties, serotypes and the susceptibility in vitro to fluconazole, itraconazole and amphotericin B of C. neoformans isolates were performed. C. neoformans var. grubii (serotype A) was found in 20.3% (36/177) of pigeon dropping samples and in 14.3% (5/35) of samples of Eucalyptus. None of the environmental isolates of C. neoformans showed in vitro resistance to three antifungal agents. The knowledge of major route for human cryptococcal infection (inhalation of infectious particles from saprophytic sources) and a total of 60 C. neoformans isolates obtained from AIDS patients with cryptococcal meningitis between October 2001 and April 2002 justify the study of the habitats of these yeasts as probable sources of cryptococcosis in this city.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Incêndios urbanos no concelho da Amadora. O risco de incêndio nas freguesias da Mina e Venteira

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, Área de Especialização em Ambiente e Recursos Naturais.