Carbónico ou Carbonífero, eis a questão!

Apresenta-se uma breve pesquisa sobre a origem e introdução na nomenclatura geológica portuguesa dos termos “Carbonífero” e “Carbónico”, para designar o respectivo Sistema/Período geológico. Conclui-se que o termo “Carbónico” terá possivelmente tido origem na designação em língua francesa “Système Carbonique”, resultante de proposta de Eugene Renevier (em 1874) para a criação de um super-sistema que englobasse o Devónico, o Carbonífero e o Pérmico. Foi Wenscelau de Lima que introduziu os termos “Carbonique” e “Carbónico” (em 1888) na literatura geológica publicada em Portugal. Anteriormente, outros geólogos portugueses já tinham utilizado correctamente as designações “Carboniferous” e Carbonífero. Sendo “Carboniferous” (Phillips & Conybeare, 1822) o termo original proposto para designar formalmente a unidade estratigráfica e adoptado pelo código estratigráfico internacional, o aportuguesamento natural será “Carbonífero”, tal como escreveram Pereira da Costa (1860-61), Bernardino Gomes (1865), Carlos Ribeiro e Nery Delgado (1867, 1876). Além disso, a designação “Carbónico” revela-se desajustada face às recomendações do código estratigráfico internacional.

The development of a knowledge-based society - Challenges for e-learning and adult students in higher education

This chapter appears in Encyclopaedia of Distance Learning 2nd Edition edit by Rogers, P.; Berg, Gary; Boettecher, Judith V.; Howard, Caroline; Justice, Lorraine; Schenk, Karen D.. Copyright 2009, IGI Global, www.igi-global.com. Posted by permission of the publisher. URL: http://www.igi-global.com/reference/ details.asp?ID=9703&v=tableOfContents

Eye insight

Dissertação para Obtenção do grau de Mestrado em Arte e Ciência do Vidro

Tecnologias e pessoas mais velhas: Importância do uso e apropriação das novas tecnologias de informação e comunicação para as relações sociais de pessoas mais velhas em Portugal

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação – Estudo dos Media e do Jornalismo

Three essays on the term structure of interest rates

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

Spartacus em Portugal: Análise das Traduções Interlinguística e Intersemiótica de 1961

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Tradução – Área de Especialização em Inglês

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Testing for tail breaks in currency returns

In this work project we study the tail properties of currency returns and analyze whether changes in the tail indices of these series have occurred over time as a consequence of turbulent periods. Our analysis is based on the methods introduced by Quintos, Fan and Phillips (2001), Candelon and Straetmans (2006, 2013), and their extensions. Specifically, considering a sample of daily data from December 31, 1993 to February 13, 2015 we apply the recursive test in calendar time (forward test) and in reverse calendar time (backward test) and indeed detect falls and rises in the tail indices, signifying increases and decreases in the probability of extreme events.

Studies on the eucalyptus leaf disease complex in Portugal

Native from south eastern Australia, Eucalyptus globulus is the main species in eucalypts plantations in Portugal. The most serious foliar disease in eucalypt plantations is linked to Mycosphaerella senso lato, which affects young trees in the juvenile phase foliage causing leaf necrosis. This disease results in reduced growth rate of the host and lower wood volume, thus causing significant productivity losses. The most common name for this disease was Mycosphaerella Leaf Disease that became inappropriate when most of the pathogens on eucalypts were re-distributed into several genera. The term "Eucalyptus Leaf Disease Complex" is now more appropriate. The overall aim of this thesis was to investigate the Eucalyptus Leaf Disease Complex in Portugal, focusing on species diversity, taxonomy and the role played by each species in the disease complex on Eucalyptus globulus. Literature on the Eucalyptus Leaf Disease Complex was reviewed and the species were distributed into several genera. A survey based on symptomatic leaves collected from several Eucalyptus globulus plantations and characterized by morphological and molecular tools provided an overview of species incidence and of the most frequent species in the disease complex. The present work reveals additional species of Mycosphaerella senso lato associated with eucalypt plantations in Portugal. Thus, five new records of Teratosphaeria and phylogenetically related species were added to the Iberian Peninsula, namely, Neodevriesia hilliana, for the first time on Myrtaceae; Quasiteratosphaeria mexicana, Teratosphaericola pseudoafricana, Teratosphaeria pluritubularis and Teratosphaeria lusitanica, a new species. Furthermore, new anamorphic structures were found and two new combinations were made. Regarding other genera, some species were observed for the first time, such as Cladosporium cladosporioides, Fusicladium eucalypti, Mycosphaerella madeirae, in the mainland. In addition to leave diseases, Teratosphaeria gauchensis was found causing a severe stem and trunk canker on Eucalyptus globulus. The aggressiveness of several species was compared to evaluate each species individually in the complex, permitting to distinguish different behaviours, from primary to secondary pathogens. Cladosporium cladosporioides, M. communis and M. lateralis, appeared to be more aggressive than Teratosphaeria nubilosa. In fact, contrary to the prevailing views on this disease complex, Teratosphaeria nubilosa is not the only species responsible for the disease, which clearly involves a complex of species acting together.