Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Gestualidade e expressão musical : estudo experimental sobre a aplicação da teoria do movimento de Rudolf Laban na aprendizagem da regência e seus efeitos na performance e na expressividade musical

A presente investigação teve como objectivo aplicar, em contexto experimental, alguns conceitos e técnicas da Teoria do Movimento de Rudolf Laban numa acção de formação em regência e avaliar os respectivos efeitos nas competências gestuais dos regentes nela participantes. O estudo teve como base teórica o principio de que a gestualidade do regente é uma “manifestação exterior de impulsos interiores…” (Laban, 1978:32) e que a música, na sua essência, é uma “forma simbólica do sentimento humano”, “um movimento sonoro”, “… um análogo da vida emotiva”. (Susanne Langer, 1980:28) Com a adopção destes pressupostos procurou dar-se coerência às diferentes componentes envolvidas na problemática desta investigação. A parte experimental do estudo teve quatro momentos distintos. No primeiro, foi realizada uma gravação-vídeo para documentar os desempenhos dos estagiários antes da realização das formações (gravação pre-test). No segundo momento, os estagiários tiveram ocasião de frequentar um curso de Movimento Laban ministrado por um especialista nesta matéria, convidado para o efeito. Esta acção de formação terminou com uma gravação-vídeo, efectuada nas mesmas condições técnicas e programáticas da anterior (gravação post-test). Em terceiro lugar, realizou-se, sob orientação do autor do presente estudo, uma segunda acção de formação com o objectivo de plasmar os conceitos e técnicas de Laban na gestualidade específica da regência. Como corolário desta formação, foi realizado o último registo-vídeo (gravação repost-test). Estas gravações foram posteriormente editadas sem alterações técnicas e de conteúdo. Os dados, nelas constantes, foram analisados e avaliados por dois especialistas em regência, a partir de questionários previamente concebidos e fornecidos para o efeito. Após leitura dos pareceres dos especialistas expressos nesses questionários, o autor do presente estudo concluiu que a aplicação dos princípios e técnicas de Laban ao ensino da regência podem contribuir para promover, extensivamente, as competências gestuais dos regentes, tanto no plano da sua funcionalidade, como na sua dimensão expressiva.

Padrões de interacção num ambiente de aprendizagem colaborativa a distância : um estudo de caso com conteúdos estruturados segundo a teoria da flexibilidade cognitiva

A Globalização a que assistimos actualmente traz consigo exigências que a Sociedade deve responder de forma efectiva e adequada. O eLearning constitui, assim, uma realidade capaz de congregar esforços no sentido de permitir a construção de comunidades empenhadas em adquirir as competências necessárias para enfrentar os desafios propostos pela Globalização. É nesta perspectiva que apresentamos este estudo que procura, na sua essência, compreender o processo de interacção num ambiente de aprendizagem colaborativo a distância entre alunos de Línguas Clássicas. Cientes da importância de promover uma aprendizagem com significado para os alunos, foram desenvolvidos conteúdos que representaram o conhecimento segundo os pressupostos pedo-didácticos da Teoria da Flexibilidade Cognitiva de forma a serem trabalhados colaborativamente pelos participantes no fórum de discussão online Scaena. O trabalho desenvolvido pelos alunos decorreu ao longo de três sessões e foi integrado na disciplina de Tecnologia Educativa constante do programa curricular do 2º Semestre do 4º Ano da Licenciatura de Português, Latim e Grego, no ano lectivo de 2004-05. De índole qualitativa, a investigação efectuada privilegiou a análise de conteúdo a fim de proceder ao tratamento de dados. Para o efeito foi, ainda, utilizado o software de análise NUD*IST. Os resultados relevaram a ocorrência de padrões de interacção em todas as dimensões de análise, assim como tornaram evidente o processo de construção de conhecimento flexível numa plataforma de ensino online. Por último, os resultados apurados confirmam as mais-valias da utilização das Tecnologias da Informação e Comunicação para os Estudos Clássicos em contexto educativo. São, ainda, apresentadas sugestões para futuros estudos. ABSTRACT: The Globalisation we witness nowadays brings with it demands to which Society has to answer effectivelly and adequatelly. eLearning constitutes, therefore, a reality capable of congregating efforts towards allowing for the construction of communities involved in acquiring the necessary competences to face the challenges proposed by Globalisation. It is against this background that we present this study which aims, in its essence, at understanding the process of interaction in a collaborative distance learning environment between Classical Languages students. Being aware of the importance of promoting learning that is meaningful for the students, contents were developed representing knowledge according to Cognitive Flexibility Theory pedagogical and didactic principles. These would have to be worked on collaboratively by the participants in the study in the online discussion fórum Scaena. The work developed by the students evolved along three sessions and was integrated in the subject Educational Technology, which was part of the curriculum of the Portuguese, Latin and Greek Teacher Education Degree, 2nd Semestre, 4th year, in the academic year of 2004-05. Of a qualitative nature, the study conducted priviledged content analysis of data. For this effect the analysis software NUD*IST was used. Results revealed the occurrence of interaction patterns in all dimensions of analysis as well as the evidence of the process of flexible construction of knowledge in an oline learning platform. Finally the results obtained confirm the added value of the use of Information and Communication Technologies for Classical Studies in the educational context. Suggestions for future studies are put forward.

The Riemann-Hilbert method applied to the theory of orthogonal polynomials

Doutoramento em Matemática

Applying the motivation-hygiene theory as a means of measuring learner satisfaction with blended learning courses in higher education

This study describes research on a postgraduate blended learning programme within the Department of Education at the University of Aveiro in Portugal. It is based on a multi-philosophical paradigm and examines students‟ satisfaction levels through the application of Herzberg‟s Motivation and Hygiene Theory. The main question being addressed in this research is: “Can the Motivation and Hygiene Theory be adopted as a means to measure student satisfaction with their blended learning environment?” Embedded within this research question are four fundamental questions which set the scene for the development of this research study and are explored in greater detail in Chapters 4 and 5 respectively: 1. What are the factors responsible for bringing about learning satisfaction with their b-Learning course? 2. What are the factors responsible for bringing about learning dissatisfaction with their b-Learning course? 3. Can these factors be represented as Motivation and Hygiene factors? 4. Will this method of measuring learning satisfaction lead to a set of guidelines that could be considered as a framework for the development of b-Learning courses? The results indicate that the Motivation and Hygiene Theory or an adapted version such as the Enricher and Enabler Theory proposed in this study could be considered as a plausible means of analysing an institution‟s b-Learning processes. The opportunity to carry out future research is evident and can be varied depending on the research objectives in mind. Examples where further exploration would be beneficial lay within the application of this theory to the wider sector; the use of larger samples, focusing on the teachers, as well as the learners and the application of Web 2.0 technologies as means of gathering information. The results of this research will be of great significance to those areas of education that are interested in locating quick and efficient means by which to evaluate their b-Learning and to no lesser extent e-Learning environments.

Voar até ao comboio dos segredos: a construção de significados partilhados no desenvolvimento do pensamento musical em crianças do 1º ciclo do EB

O presente trabalho pretende ser uma contribuição para o estudo do desenvolvimento do pensamento musical em crianças do 1º Ciclo do Ensino Básico. Este tema foi analisado a partir dos processos através dos quais as crianças constroem significados quando estão envolvidas em atividades relacionadas com a composição musical. Esta análise foi produzida a partir de três eixos teóricos fundamentais: A corrente enativa do embodiment, a teoria das emoções e sentimentos de António Damásio, e a Psicologia Cultural. O projeto foi desenvolvido a partir de um estudo longitudinal em que a professora/investigadora, através de vários ciclos de investigação-ação acompanhou o percurso de 72 crianças entre o seu primeiro e terceiro ano de escolaridade, numa escola do 1º Ciclo do Norte de Portugal Os dados foram obtidos a partir da observação participante em sala de aula, notas de campo, gravações áudio e vídeo, conversas exploratórias e diálogos, um questionário/reflexão e self-reports. A análise e interpretação dos dados sugere que atividades relacionadas com a composição musical em pequenos e grandes grupos, quando abordada a partir de temas intimamente ligados aos mundos das crianças, se pode transformar numa plataforma de diálogo baseada em processos emocionais profundos onde as crianças encontram inúmeras oportunidades não só para desenvolver o seu pensamento musical, como também para reconstruir as suas identidades musicais, pessoais e sociais.

Teoria da mente, linguagem e competências sociais em crianças ao nível pré-escolar

A compreensão dos estados mentais dos outros – Teoria da Mente (TM) – é um processo crucial no desenvolvimento cognitivo e social. A relação entre a Teoria da Mente e a Linguagem tem sido alvo de vários estudos ao longo das últimas décadas (Happé, 1995; de Villiers & Villiers, 2000; Astington, 2001; Ruffman et al., 2002; Lohmann & Tomasello, 2003; Astington & Baird, 2005; Astington & Pelletier, 2005; Farrar et al, 2009). Neste estudo avaliaram-se 229 crianças entre os 3 e os 7 anos que frequentavam jardim-de-infância. Destas 229 crianças, foram constituídos dois grupos, um constituído por crianças com desenvolvimento típico (GN) e outra por crianças com Perturbações da Fala/ Linguagem (GPFL), sendo que neste último foi ainda criado um sub-grupo de crianças com Perturbações Desenvolvimentais da Linguagem (SGPDL). Foi aplicado um teste de avaliação da TM, constituído por três sub-testes (Compreensão de falsas crenças de primeira ordem, crenças e desejos e acesso ao conhecimento) e um teste de avaliação de linguagem (T.A.L.C.) Foi também pedido aos cuidadores o preenchimento de um Questionário de Avaliação das Competências Sociais (Rydell et al., 1997). Verificou-se a existência de uma associação positiva e significativa entre a idade e a TM. Por outro lado, observou-se a presença de uma associação negativa e significativa entre a idade de início de fala e a TM. De uma forma geral, verifica-se que a TM está associada de forma positiva e estatisticamente significativa com os scores da linguagem, sendo esta relação mais forte relativamente aos aspectos relativos às Intenções comunicativas e score total de Expressão e Compreensão da linguagem. Vimos também que as crianças do SGPDL apresentaram scores inferiores ao nível da TM relativamente ao GN. Encontramos diferenças estatisticamente significativas em relação ao tempo de duração da prova de TM entre o GN e o GPFL, tendo estes últimos necessitado de maior tempo de resposta. Relativamente à associação existente entre competências sociais e TM, verificamos que não se encontrou a existência de correlações estatisticamente significativas, excepto para o factor “Altruísmo”. Pensa-se que este aspecto estará relacionado com o facto das competências de TM avaliadas neste estudo não se encontrarem associadas às questões emocionais, as quais constituem um sub-tipo de TM do tipo afectivo, mas antes do sub-tipo cognitivo. Os indivíduos GN apresentaram valores para a “Orientação Pró-Social”, “Iniciação Social” e score Total das Competências Sociais significativamente superiores às crianças do GPFL.

Contributions to the theory of maximum entropy estimation for ill-posed models

As técnicas estatísticas são fundamentais em ciência e a análise de regressão linear é, quiçá, uma das metodologias mais usadas. É bem conhecido da literatura que, sob determinadas condições, a regressão linear é uma ferramenta estatística poderosíssima. Infelizmente, na prática, algumas dessas condições raramente são satisfeitas e os modelos de regressão tornam-se mal-postos, inviabilizando, assim, a aplicação dos tradicionais métodos de estimação. Este trabalho apresenta algumas contribuições para a teoria de máxima entropia na estimação de modelos mal-postos, em particular na estimação de modelos de regressão linear com pequenas amostras, afetados por colinearidade e outliers. A investigação é desenvolvida em três vertentes, nomeadamente na estimação de eficiência técnica com fronteiras de produção condicionadas a estados contingentes, na estimação do parâmetro ridge em regressão ridge e, por último, em novos desenvolvimentos na estimação com máxima entropia. Na estimação de eficiência técnica com fronteiras de produção condicionadas a estados contingentes, o trabalho desenvolvido evidencia um melhor desempenho dos estimadores de máxima entropia em relação ao estimador de máxima verosimilhança. Este bom desempenho é notório em modelos com poucas observações por estado e em modelos com um grande número de estados, os quais são comummente afetados por colinearidade. Espera-se que a utilização de estimadores de máxima entropia contribua para o tão desejado aumento de trabalho empírico com estas fronteiras de produção. Em regressão ridge o maior desafio é a estimação do parâmetro ridge. Embora existam inúmeros procedimentos disponíveis na literatura, a verdade é que não existe nenhum que supere todos os outros. Neste trabalho é proposto um novo estimador do parâmetro ridge, que combina a análise do traço ridge e a estimação com máxima entropia. Os resultados obtidos nos estudos de simulação sugerem que este novo estimador é um dos melhores procedimentos existentes na literatura para a estimação do parâmetro ridge. O estimador de máxima entropia de Leuven é baseado no método dos mínimos quadrados, na entropia de Shannon e em conceitos da eletrodinâmica quântica. Este estimador suplanta a principal crítica apontada ao estimador de máxima entropia generalizada, uma vez que prescinde dos suportes para os parâmetros e erros do modelo de regressão. Neste trabalho são apresentadas novas contribuições para a teoria de máxima entropia na estimação de modelos mal-postos, tendo por base o estimador de máxima entropia de Leuven, a teoria da informação e a regressão robusta. Os estimadores desenvolvidos revelam um bom desempenho em modelos de regressão linear com pequenas amostras, afetados por colinearidade e outliers. Por último, são apresentados alguns códigos computacionais para estimação com máxima entropia, contribuindo, deste modo, para um aumento dos escassos recursos computacionais atualmente disponíveis.

Analysis, modeling, design and optimization of future communications systems: from theory to practice

Esta tese descreve uma framework de trabalho assente no paradigma multi-camada para analisar, modelar, projectar e optimizar sistemas de comunicação. Nela se explora uma nova perspectiva acerca da camada física que nasce das relações entre a teoria de informação, estimação, métodos probabilísticos, teoria da comunicação e codificação. Esta framework conduz a métodos de projecto para a próxima geração de sistemas de comunicação de alto débito. Além disso, a tese explora várias técnicas de camada de acesso com base na relação entre atraso e débito para o projeto de redes sem fio tolerantes a atrasos. Alguns resultados fundamentais sobre a interação entre a teoria da informação e teoria da estimação conduzem a propostas de um paradigma alternativo para a análise, projecto e optimização de sistemas de comunicação. Com base em estudos sobre a relação entre a informação recíproca e MMSE, a abordagem descrita na tese permite ultrapassar, de forma inovadora, as dificuldades inerentes à optimização das taxas de transmissão de informação confiáveis em sistemas de comunicação, e permite a exploração da atribuição óptima de potência e estruturas óptimas de pre-codificação para diferentes modelos de canal: com fios, sem fios e ópticos. A tese aborda também o problema do atraso, numa tentativa de responder a questões levantadas pela enorme procura de débitos elevados em sistemas de comunicação. Isso é feito através da proposta de novos modelos para sistemas com codificação de rede (network coding) em camadas acima da sua camada física. Em particular, aborda-se a utilização de sistemas de codificação em rede para canais que variam no tempo e são sensíveis a atrasos. Isso foi demonstrado através da proposta de um novo modelo e esquema adaptativo, cujos algoritmos foram aplicados a sistemas sem fios com desvanecimento (fading) complexo, de que são exemplos os sistemas de comunicação via satélite. A tese aborda ainda o uso de sistemas de codificação de rede em cenários de transferência (handover) exigentes. Isso é feito através da proposta de novos modelos de transmissão WiFi IEEE 801.11 MAC, que são comparados com codificação de rede, e que se demonstram possibilitar transferência sem descontinuidades. Pode assim dizer-se que esta tese, através de trabalho de análise e de propostas suportadas por simulações, defende que na concepção de sistemas de comunicação se devem considerar estratégias de transmissão e codificação que sejam não só próximas da capacidade dos canais, mas também tolerantes a atrasos, e que tais estratégias têm de ser concebidas tendo em vista características do canal e a camada física.

Optimal alarms systems and its application to financial time series

This thesis focuses on the application of optimal alarm systems to non linear time series models. The most common classes of models in the analysis of real-valued and integer-valued time series are described. The construction of optimal alarm systems is covered and its applications explored. Considering models with conditional heteroscedasticity, particular attention is given to the Fractionally Integrated Asymmetric Power ARCH, FIAPARCH(p; d; q) model and an optimal alarm system is implemented, following both classical and Bayesian methodologies. Taking into consideration the particular characteristics of the APARCH(p; q) representation for financial time series, the introduction of a possible counterpart for modelling time series of counts is proposed: the INteger-valued Asymmetric Power ARCH, INAPARCH(p; q). The probabilistic properties of the INAPARCH(1; 1) model are comprehensively studied, the conditional maximum likelihood (ML) estimation method is applied and the asymptotic properties of the conditional ML estimator are obtained. The final part of the work consists on the implementation of an optimal alarm system to the INAPARCH(1; 1) model. An application is presented to real data series.

Piezoelectricity and ferroelectricity in amino acid glycine

Bioorganic ferroelectrics and piezoelectrics are becoming increasingly important in view of their intrinsic compatibility with biological environment and biofunctionality combined with strong piezoelectric effect and switchable polarization at room temperature. Here we study piezoelectricity and ferroelectricity in the smallest amino acid glycine, representing a broad class of non-centrosymmetric amino acids. Glycine is one of the basic and important elements in biology, as it serves as a building block for proteins. Three polymorphic forms with different physical properties are possible in glycine (α, β and γ), Of special interest for various applications are non-centrosymmetric polymorphs: β-glycine and γ-glycine. The most useful β-polymorph being ferroelectric took much less attention than the other due to its instability under ambient conditions. In this work, we could grow stable microcrystals of β-glycine by the evaporation of aqueous solution on a (111)Pt/Ti/SiO2/Si substrate as a template. The effects of the solution concentration and Pt-assisted nucleation on the crystal growth and phase evolution were characterized by X-ray diffraction analysis and Raman spectroscopy. In addition, spin-coating technique was used for the fabrication of highly aligned nano-islands of β-glycine with regular orientation of the crystallographic axes relative the underlying substrate (Pt). Further we study both as-grown and tip-induced domain structures and polarization switching in the β-glycine molecular systems by Piezoresponse Force Microscopy (PFM) and compare the results with molecular modeling and computer simulations. We show that β-glycine is indeed a room-temperature ferroelectric and polarization can be switched by applying a bias to non-polar cuts via a conducting tip of atomic force microscope (AFM). Dynamics of these in-plane domains is studied as a function of applied voltage and pulse duration. The domain shape is dictated by both internal and external polarization screening mediated by defects and topographic features. Thermodynamic theory is applied to explain the domain propagation induced by the AFM tip. Our findings suggest that β-glycine is a uniaxial ferroelectric with the properties controlled by the charged domain walls which in turn can be manipulated by external bias. Besides, nonlinear optical properties of β-glycine were investigated by a second harmonic generation (SHG) method. SHG method confirmed that the 2-fold symmetry is preserved in as-grown crystals, thus reflecting the expected P21 symmetry of the β-phase. Spontaneous polarization direction is found to be parallel to the monoclinic [010] axis and directed along the crystal length. These data are confirmed by computational molecular modeling. Optical measurements revealed also relatively high values of the nonlinear optical susceptibility (50% greater than in the z-cut quartz). The potential of using stable β-glycine crystals in various applications are discussed in this work.