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

As ciências musicais na transição de paradigma

Como ciências auxiliares da história da música assim concebida, apareciam a história geral, incluindo a paleografia, cronologia, diplomática, bibliografia, biblioteconomia, arquivística; história da literatura e estudo das línguas; história das artes mímicas e da dança; biografia dos artistas, estatística das associações musicais, institutos e espectáculos. O objecto era a música, isto é, a música européia (não obstante a referência geral a povos e impérios) enquanto arte. «Escolas artísticas» e «artistas » particularizavam a incidência última da pesquisa, tematizando implicitamente a identificação de estilos como escopo fundamental da musicologia histórica. Como ciência primeira aparecia nesta, naturalmente, a paleografia musical ou estudo das «notações», tida como pressuposto indispensável à identificação das «formas musicais» e sua «classificação histórica», ao conhecimento das «leis da sucessão histórica» tal como se manifestam na «obra de arte», na teoria e na prática artísticas, e à própria história dos instrumentos musicais, a qual decorria estritamente da necessidade de responder aos problemas colocados pela intersecção de notação, teoria e um determinado tipo de prática artística (p. ex., estabelecimento de correspondências entre notação e técnicas de execução). Música, para o musicólogo histórico, na visão de Guido Adler, era, pois, essencialmente o texto notado.

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.