Design and implementation of 3D buildings integration for a Webgl-Based Virtual Globe: a case study of Valencian Cadastre and Fide Building Mode

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

Type-based protocol conformance and aliasing control in concurrent java programs

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

Estações de tratamento de águas residuais: conceitos e dimensionamento

O presente relatório é o corolário do Estágio Curricular que a autora efetuou, durante o segundo semestre do ano letivo de 2014/2015 na SBS – Engenharia Civil, Hidráulica e Ambiente, Lda. Nesta empresa a autora foi integrada na equipa técnica que elaborou um Projeto de Execução para uma Estação de Tratamento de Águas Residuais que irá ser construída em Montemor-o-Novo, tendo-lhe sido atribuídas as seguintes tarefas principais: i) estudo de ferramentas de dimensionamento de ETAR; e ii) estudo dos processos de tratamento de águas residuais a instalar. O tratamento de águas residuais não é matéria que conste do atual Plano de Estudos do Mestrado em Engenharia Civil do ISEP. Este facto, associado à premente necessidade de dar resposta às expectativas da Entidade Acolhedora, obrigou a autora a um esforço de aprendizagem significativo. Nesta fase foi executada uma aprofundada pesquisa bibliográfica que permitiu à autora obter o nível de conhecimentos teóricos necessário para a plena integração na Equipa de Projeto. Já integrada na Equipa de Projeto o primeiro trabalho desenvolvido pela autora foi a análise detalhada do Caderno de Encargos e da respetiva Nota Técnica. Seguidamente a autora participou em todas as fases do Projeto tendo, por isso, colaborado na análise do Estudo Geotécnico, no dimensionamento dos órgãos da ETAR, no cálculo do perfil hidráulico, na definição de formas (plantas e cortes) dos órgãos, na elaboração da Lista de Equipamentos e do Mapa de Quantidades e, por último, na elaboração da Memória Descritiva e Justificativa do Processo de Tratamento e Equipamentos. O Caso Prático incluído no presente documento é, em larga medida, o corolário do processo de aprendizagem de que a autora beneficiou no decorrer do Estágio Curricular. Grande parte das tarefas que a autora executou ao longo da elaboração do projeto relacionaram-se com o dimensionamento dos órgãos da ETAR e com os respetivos cálculos hidráulicos. Os conhecimentos teórico-práticos desta forma adquiridos foram reunidos num conjunto de ferramentas, maioritariamente folhas de cálculo, que se verificou serem úteis nos processos de dimensionamento e de teste de soluções alternativas. É parte integrante deste relatório um capítulo no qual é feita uma detalhada apresentação dos conceitos teóricos subjacentes ao Projeto de ETAR. Este capítulo reflete o estudo que a autora teve necessidade de efetuar antes de se sentir capaz de integrar a Equipa de Projeto.

Interoperability on low power devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Derivation and consistency checking of models in early software product line engineering

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

A proof system for lock-free concurrency

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

Distributed replicated macro-components

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

Data-centric concurrency control on the java programming language

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

Novel insights into plant vascular development: disclosing a mechanism to maintain thermospermine homeostasis in the xylem

Dissertation presented to obtain the Ph.D degree in Biology

Quality of process modeling using BPMN: a model-driven approach

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

Rebalancing frequency and the welfare cost of inflation

Cash-in-advance models usually require agents to reallocate money and bonds in fixed periods, every month or quarter, for example. I show that fixed periods underestimate the welfare cost of inflation. I use a model in which agents choose how often they exchange bonds for money. In the benchmark specification, the welfare cost of ten percent instead of zero inflation increases from 0.1 percent of income with fixed periods to one percent with optimal periods. The results are robust to different preferences, to different compositions of income in bonds or money, and to the introduction of capital and labor.

Service-oriented infrastructure to support the control, monitoring and management of a shop floor system

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Cellular reprogramming strategies for degenerative disorders involving the retinal pigment epithelium

RESUMO: A reprogramação celular permite que uma célula somática seja reprogramada para outra célula diferente através da expressão forçada de factores de transcrição (FTs) específicos de determinada linhagem celular, e constitui uma área de investigação emergente nos últimos anos. As células somáticas podem ser experimentalmente manipuladas de modo a obter células estaminais pluripotentes induzidas (CEPi), ou convertidas directamente noutro tipo de célula somática. Estas descobertas inovadoras oferecem oportunidades promissoras para o desenvolvimento de novas terapias de substituição celular e modelos de doença, funcionando também como ferramentas valiosas para o estudo dos mecanismos moleculares que estabelecem a identidade celular e regulam os processos de desenvolvimento. Existem várias doenças degenerativas hereditárias e adquiridas da retina que causam deficiência visual devido a uma disfunção no tecido de suporte da retina, o epitélio pigmentar da retina (EPR). Uma destas doenças é a Coroideremia (CHM), uma doença hereditária monogénica ligada ao cromossoma X causada por mutações que implicam a perda de função duma proteína com funções importantes na regulação do tráfico intracelular. A CHM é caracterizada pela degenerescência progressiva do EPR, assim como dos foto-receptores e da coróide. Resultados experimentais sugerem que o EPR desempenha um papel importante na patogénese da CHM, o que parece indicar uma possível vantagem terapêutica na substituição do EPR nos doentes com CHM. Por outro lado, existe uma lacuna em termos de modelos in vitro de EPR para estudar a CHM, o que pode explicar o ainda desconhecimento dos mecanismos moleculares que explicam a patogénese desta doença. Assim, este trabalho focou-se principalmente na exploração das potencialidades das técnicas de reprogramação celular no contexto das doenças de degenerescência da retina, em particular no caso da CHM. Células de murganho de estirpe selvagem, bem como células derivadas de um ratinho modelo de knockout condicional de Chm, foram convertidos com sucesso em CEPi recorrendo a um sistema lentiviral induzido que permite a expressão forçada dos 4 factores clássicos de reprogramação, a saber Oct4, Sox2, Klf4 e c-Myc. Estas células mostraram ter equivalência morfológica, molecular e funcional a células estaminais embrionárias (CES). As CEPi obtidas foram seguidamente submetidas a protocolos de diferenciação com o objectivo final de obter células do EPR. Os resultados promissores obtidos revelam a possibilidade de gerar um valioso modelo de EPR-CHM para estudos in vitro. Em alternativa, a conversão directa de linhagens partindo de fibroblastos para obter células do EPR foi também abordada. Uma vasta gama de ferramentas moleculares foi gerada de modo a implementar uma estratégia mediada por FTs-chave, seleccionados devido ao seu papel fundamental no desenvolvimento embrionário e especificação do EPR. Conjuntos de 10 ou menos FTs foram usados para transduzir fibroblastos, que adquiriram morfologia pigmentada e expressão de alguns marcadores específicos do EPR. Adicionalmente, observou-se a activação de regiões promotoras de genes específicos de EPR, indicando que a identidade transcricional das células foi alterada no sentido pretendido. Em conclusão, avanços significativos foram atingidos no sentido da implementação de tecnologias de reprogramação celular já estabelecidas, bem como na concepção de novas estratégias inovadoras. Metodologias de reprogramação, quer para pluripotência, quer via conversão directa, foram aplicadas com o objectivo final de gerar células do EPR. O trabalho aqui descrito abre novos caminhos para o estabelecimento de terapias de substituição celular e, de uma maneira mais directa, levanta a possibilidade de modelar doenças degenerativas da retina com disfunção do EPR numa placa de petri, em particular no caso da CHM.---------------ABSTRACT: Cellular reprogramming is an emerging research field in which a somatic cell is reprogrammed into a different cell type by forcing the expression of lineage-specific transcription factors (TFs). Cellular identities can be manipulated using experimental techniques with the attainment of pluripotency properties and the generation of induced Pluripotent Stem (iPS) cells, or the direct conversion of one somatic cell into another somatic cell type. These pioneering discoveries offer new unprecedented opportunities for the establishment of novel cell-based therapies and disease models, as well as serving as valuable tools for the study of molecular mechanisms governing cell fate establishment and developmental processes. Several retinal degenerative disorders, inherited and acquired, lead to visual impairment due to an underlying dysfunction of the support cells of the retina, the retinal pigment epithelium (RPE). Choroideremia (CHM), an X-linked monogenic disease caused by a loss of function mutation in a key regulator of intracellular trafficking, is characterized by a progressive degeneration of the RPE and other components of the retina, such as the photoreceptors and the choroid. Evidence suggest that RPE plays an important role in CHM pathogenesis, thus implying that regenerative approaches aiming at rescuing RPE function may be of great benefit for CHM patients. Additionally, lack of appropriate in vitro models has contributed to the still poorly-characterized molecular events in the base of CHM degenerative process. Therefore, the main focus of this work was to explore the potential applications of cellular reprogramming technology in the context of RPE-related retinal degenerations. The generation of mouse iPS cells was established and optimized using an inducible lentiviral system to force the expression of the classic set of TFs, namely Oct4, Sox2, Klf4 and c-Myc. Wild-type cells, as well as cells derived from a conditional knockout (KO) mouse model of Chm, were successfully converted into a pluripotent state, that displayed morphology, molecular and functional equivalence to Embryonic Stem (ES) cells. Generated iPS cells were then subjected to differentiation protocols towards the attainment of a RPE cell fate, with promising results highlighting the possibility of generating a valuable Chm-RPE in vitro model. In alternative, direct lineage conversion of fibroblasts into RPE-like cells was also tackled. A TF-mediated approach was implemented after the generation of a panoply of molecular tools needed for such studies. After transduction with pools of 10 or less TFs, selected for their key role on RPE developmental process and specification, fibroblasts acquired a pigmented morphology and expression of some RPE-specific markers. Additionally, promoter regions of RPE-specific genes were activated indicating that the transcriptional identity of the cells was being altered into the pursued cell fate. In conclusion, highly significant progress was made towards the implementation of already established cellular reprogramming technologies, as well as the designing of new innovative ones. Reprogramming into pluripotency and lineage conversion methodologies were applied to ultimately generate RPE cells. These studies open new avenues for the establishment of cell replacement therapies and, more straightforwardly,raise the possibility of modelling retinal degenerations with underlying RPE defects in apetri dish, particularly CHM.

Rebalancing frequency and the welfare cost of inflation

Cash-in-advance models usually require agents to reallocate money and bonds in fixed periods. Every month or quarter, for example. I show that fixed periods underestimate the welfare cost of inflation. I use a model in which agents choose how often they exchange bonds for money. In the benchmark specification, the welfare cost of 10 percent instead of 0 inflation increases from 0.1 percent of income with fixed periods to 1 percent with optimal periods. The results are robust to different references, to different compositions of income in bonds or money, and to the introduction of capital and labor.