Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Industrial networks: are they a new and alternative way to conduct business or just a logical consequence of a globalising economy?

Based on a report for the seminar Industrial Networks, at Goethe Universität Frankfurt am Main Dozent: Prof. Dr. Blättel-Mink, Prof. Dr. António Moniz SS 2011

Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Developing Young Learners’ Logical/Deductive Thinking Skills and Second Language Skills through a CLIL approach

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language.

Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

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.

Orthogonal models, structure crossing, nesting and inference

We intend to study the algebraic structure of the simple orthogonal models to use them, through binary operations as building blocks in the construction of more complex orthogonal models. We start by presenting some matrix results considering Commutative Jordan Algebras of symmetric matrices, CJAs. Next, we use these results to study the algebraic structure of orthogonal models, obtained by crossing and nesting simpler ones. Then, we study the normal models with OBS, which can also be orthogonal models. We intend to study normal models with OBS (Orthogonal Block Structure), NOBS (Normal Orthogonal Block Structure), obtaining condition for having complete and suffcient statistics, having UMVUE, is unbiased estimators with minimal covariance matrices whatever the variance components. Lastly, see ([Pereira et al. (2014)]), we study the algebraic structure of orthogonal models, mixed models whose variance covariance matrices are all positive semi definite, linear combinations of known orthogonal pairwise orthogonal projection matrices, OPOPM, and whose least square estimators, LSE, of estimable vectors are best linear unbiased estimator, BLUE, whatever the variance components, so they are uniformly BLUE, UBLUE. From the results of the algebraic structure we will get explicit expressions for the LSE of these models.

Design and implementation of a behaviorally typed programming system for web services

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Estimation and hypothesis testing in mixed linear models

Dissertação apresentada para obtenção do Grau de Doutor em Matemática, Estatística, pela Universidade Nova de Lisboa, faculdade de Ciências e Tecnologia

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Parallel texts alignment

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Reducing the number of membership functions in linguistic variables

Dissertation presented at Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia in fulfilment of the requirements for the Masters degree in Mathematics and Applications, specialization in Actuarial Sciences, Statistics and Operations Research

Percepção do estado de saúde da pessoa idosa institucionalizada

RESUMO: O envelhecimento da população portuguesa é um facto. Esta alteração da estrutura demográfica exige o investimento no conhecimento científico para que se conheçam as consequências a nível, económico, social, cultural, biológico, físico e, principalmente, a nível da saúde. Isto porque, é emergente que a sociedade tenha capacidade para responder às necessidades específicas das pessoas neste estádio de vida, tendo sempre por base o conceito de qualidade de vida. Este estudo teve como objectivo avaliar a percepção do estado de saúde da pessoa idosa institucionalizada. Foram nove as instituições participantes, denominadas por lares de idosos de residência permanente, onde se contou com uma amostra de 75 indivíduos entre os 66 e 100 anos, de ambos os sexos. Foram recolhidos dados através de uma caracterização sócio-demográfica, através do Mini Mental State e através do Questionário de auto-avaliação da saúde e do bem-estar físico (de Fonseca e Paúl, 1999). Os dados obtidos foram trabalhados numa perspectiva de estatística descritiva e estatística inferencial, nomeadamente com a análise do coeficiente de Spearman. A partir desta análise determinou-se que: a grande maioria da amostra designa como “aceitável” ou “fraca” a sua percepção da saúde, em geral; os dados sócio-demográficos, e a instituição a que cada indivíduo pertence não têm relação com a percepção do estado de saúde destas pessoas; existe relação significativa entre a percepção do estado de saúde das pessoas idosas institucionalizadas e a saúde dos seus pares, essencialmente quando se abordam itens relacionados com aspectos físicos; no que concerne aos hábitos de vida, não existe relação entre a percepção do estado de saúde das pessoas idosas e os hábitos tabágicos e os hábitos alcoólicos. Os dados obtidos nem sempre são os dados que se esperavam efectivamente, porém fazem sentido ao serem consolidados com a teoria.--------ABSTRACT: The aging of the Portuguese population is a reality. It is imperative that society has the capacity to face the specific necessities of those who are in this phase of their lives. Therefore, this change in the demographics requires investment in scientific knowledge in order to know the consequences at levels such as: the economic, social cultural, biological and physical, mainly related to health. The main purpose of this study has been to evaluate the perceptions of elderly people concerning their health conditions. There were nine institutions involved, which are referred to as nursing homes, and a sample of 75 people between 66 and 100 years-old, from both genders, cooperated. Data has been collected through social-demographic, Mini Mental State and also through the questionnaire of the self-evaluation of health and physical well-being (from Fonseca and Paúl, 1999). The obtained data was worked within a perspective of descriptive/ inference statistic. From this analysis, it was determined that the great majority of the sample describes their perception of health as “acceptable” or “weak”, in general; the social-demographic information and the institution to where each person belongs do not show a connection with their perception of their health condition; however, there seems to be a significant relation between an institutionalized elderly person´s perception of their health condition and their spouse’s health, mainly when related to physical issues. In as far as life styles are concerned, do not show a connection between elderly people’s perception of health and smoking habits and alcohol habits. The obtained data does not always match expectations; nevertheless they make sense when being complemented by the theory.

Microtheories for SDI - Accounting for diversity of local conceptualisations at a global level

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.