In Search of the Origins of Modernism: Venice and the Crisis of Classical Architecture in the mid-eighteenth century

This paper attempts to prove that in the years 1735 to 1755 Venice was the birthplace and cradle of Modern architectural theory, generating a major crisis in classical architecture traditionally based on the Vitruvian assumption that it imitates early wooden structures in stone or in marble. According to its rationalist critics such as the Venetian Observant Franciscan friar and architectural theorist Carlo Lodoli (1690-1761) and his nineteenth-century followers, classical architecture is singularly deceptive and not true to the nature of materials, in other words, dishonest and fallacious. This questioning did not emanate from practising architects, but from Lodoli himself– a philosopher and educator of the Venetian patriciate – who had not been trained as an architect. The roots of this crisis lay in a new approach to architecture stemming from the new rationalist philosophy of the Enlightenment age with its emphasis on reason and universal criticism.

Discovery and retrieval of Geographic data using Google

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

Factorization by invariant embedding of elliptic problems: circular and star-shaped domains

Dissertação apresentada para obtenção do grau de Doutor em Matemática na especialidade de Equações Diferenciais, pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Automated segmentation, tracking and evaluation of bacteria in microscopy images

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Adaptação cultural e contributo para a validação da escala petterns of activity measura - pain (POAM-P)

RESUMO: A dor lombar crónica (DLC) é uma das condições clínicas mais comuns e com elevados custos socioeconómicos no mundo ocidental. Estudos recentes indicam que os utentes com DLC apresentam diferentes padrões de atividade que influenciam os níveis de incapacidade funcional. Contudo, a evidência acerca destas associações é, ainda, limitada e inconclusiva. Em Portugal, não existe, do nosso conhecimento, nenhuma escala validada para a população portuguesa que meça estes padrões de atividade em utentes com DLC. Objetivos: Adaptar culturalmente a escala Patterns of Activity Measure – Pain (POAM-P) para a população portuguesa com dor lombar crónica inespecífica (DLCI) e contribuir para a sua validação. Metodologia: A versão original (inglesa) do POAM-P foi traduzida e adaptada para a língua portuguesa (POAM-P-VP) através de uma equipa multidisciplinar que incluiu tradutores, retrotradutores (cegos e independentes), peritos de diferentes áreas e utentes com DLCI, de acordo com as recomendações de linhas orientadoras atuais para este processo. A análise factorial e das propriedades psicométricas da POAM-P-VP contou com uma amostra de 132 utentes. A consistência interna foi analisada através do coeficiente alpha de Cronbach (α) e para a análise da fiabilidade teste-reteste recorreu-se ao coeficiente de correlação intraclasse (ICC:2,1). A análise da validade de construto convergente e discriminativa das componentes da POAM-P-VP foi conseguida através da aplicação da versão portuguesa da escala Tampa Scale of Kinesiophobia (TSK-13-VP), e recorrendo ao cálculo do coeficiente de Spearman. Todos os cálculos estatísticos foram realizados no software IBM SPSS Statistics (versão 20). Resultados: A análise factorial permitiu identificar três componentes da POAM-P-VP (evitamento, persistência excessiva e persistência consistente com a dor), sendo estruturalmente diferentes das subescalas do POAM-P original. Estas componentes apresentaram uma consistência interna boa a elevada. As componentes 1 e 2 apresentaram uma fiabilidade teste-reteste moderada a excelente, e a componente 3 uma fiabilidade teste-reteste pobre, limitando o seu poder de uso na prática clínica e em investigação. Relativamente à validade de construto, nenhuma das hipóteses estabelecidas no estudo apriori foram verificadas, não podendo aferir acerca da relação dos padrões de atividade com a cinesiofobia, medida pelo TSK-13-VP. Porém, a componente de evitamento da POAM-P-VP parece medir conteúdos partilhados com a TSK-13-VP (rs = 0.15, p<0.048). Conclusão: A adaptação e contributo para a validação da versão portuguesa da escala POAM-P constituiu um ponto de partida para a existência de um instrumento de medição de padrões de atividade de utentes portugueses com DLC, requerendo mais estudos para a sua validação. Apesar de algumas limitações, considera-se que este estudo é de grande importância para os fisioterapeutas e investigadores que buscam um maior conhecimento e efetividade das abordagens de intervenção em utentes com dor lombar crónica.-------------- ABSTRACT: Chronic low back pain (CLBP) is one of the most common clinical conditions as well as one with high economical costs within western countries. Recent studies have shown that patients with LBP present different patterns of activity which influence their levels of functional capacity. However, evidence on these associations is still limited and inconclusive. To our knowledge, there is in Portugal no valid scale for measuring these patterns of activity in CLBP patients. Purpose: Culturally adapt the Patterns of Activity Measure – Pain (POAM-P) scale to the Portuguese population with non-specific chronic low back pain (NSLBP) and contribute to its validation. Method: The original English version of POAM-P was blindly and independently translated, back translated and adapted to the Portuguese language (POAM-P-VP) by a multidisciplinary team of translators, experts from different fields, and patients with NSLBP, according to established guidelines for this process. Factorial and psychometric properties’ analysis of POAM-P-VP comprised a sample of 132 patients. The internal consistency was analyzed based on Cronbach's alpha-coefficient (α) and for test-retest reliability analysis the Intraclass Correlation Coefficient (ICC) was used. The analysis of convergent and discriminant construct validity of POAM-P-VP components was achieved through the use of the Portuguese version of the Tampa Scale of Kinesiophobia (TSK-13-VP), using the Spearman coefficient calculation. All statistical calculations were performed using IBM SPSS Statistics software (v.20). Results: The factor analysis allowed for the identification of three components of POAM-P-VP (avoidance, excessive persistence and pain-contingent persistence), structurally different from the original POAM-P subscales. These components demonstrated a good to high level of internal consistency. Components 1 and 2 demonstrated moderate to excellent test-retest reliability, whereas component 3 presented low test-retest reliability thus limiting its clinical and investigative use. With regard to construct validity, none of the previously established hypothesis was verified, therefore not making it possible to assess the relation between activity patterns and kinesiophobia, measured by TSK-13-VP. However, the avoidance component of POAM-P-VP seems to share measurable contents with TSK-13-VP (rs = 0.15, p<0.048). Conclusion: The adaptation and contribution to the validation of the Portuguese version of POAM-P scale, sets a starting point to the existence of a useful instrument for measuring activity patterns in Portuguese CLBP patients, requiring further studies towards its validation. Despite some limitations, this study is considered of high importance to physiotherapists as well as investigators in search of deeper knowledge and effective practical approaches on chronic low back pain patients.

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

Thermo-hydro-mechanical analysis of CO2 injection into deep aquifers

One of the biggest challenges for humanity is global warming and consequently, climate changes. Even though there has been increasing public awareness and investments from numerous countries concerning renewable energies, fossil fuels are and will continue to be in the near future, the main source of energy. Carbon capture and storage (CCS) is believed to be a serious measure to mitigate CO2 concentration. CCS briefly consists of capturing CO2 from the atmosphere or stationary emission sources and transporting and storing it via mineral carbonation, in oceans or geological media. The latter is referred to as carbon capture and geological storage (CCGS) and is considered to be the most promising of all solutions. Generally it consists of a storage (e.g. depleted oil reservoirs and deep saline aquifers) and sealing (commonly termed caprock in the oil industry) formations. The present study concerns the injection of CO2 into deep aquifers and regardless injection conditions, temperature gradients between carbon dioxide and the storage formation are likely to occur. Should the CO2 temperature be lower than the storage formation, a contractive behaviour of the reservoir and caprock is expected. The latter can result in the opening of new paths or re-opening of fractures, favouring leakage and compromising the CCGS project. During CO2 injection, coupled thermo-hydro-mechanical phenomena occur, which due to their complexity, hamper the assessment of each relative influence. For this purpose, several analyses were carried out in order to evaluate their influences but focusing on the thermal contractive behaviour. It was finally concluded that depending on mechanical and thermal properties of the pair aquifer-seal, the sealing caprock can undergo significant decreases in effective stress.

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.