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.

Rehabilitation of renders of old buildings in Portugal: survey, supporting methodology proposal and case study

The main purpose of the research is to present a proposal for a methodology to support the rehabilitation project of renders of old buildings in Portugal. To achieve the objective it was considered essential to define the main types of participants and aspects to integrate the proposal. The research methodology consists in an inquiry presented to professional participants in rehabilitation, a market study of materials and products available in Portugal, the design of a methodology proposal and its application to a case study. The inquiry sample totals 24 answers from the targeted professionals. A sequence of relevant supporting procedures consists in the proposal, which aims to provide a supporting methodology to decide and project in this context and also to be tested with its application to the building. This proposal was applied to an old building with load-bearing stone masonry walls and air-lime based renders. It was concluded that the assessment of the building and external renderings’ condition, its diagnosis and of the supporting walls, the definition of intervention, the specification of materials to be used and performance requirements to comply, and also plans for conservation and periodic maintenance, are crucial. From the inquiry, compatibility between materials and complementary roles and points of view of different types of participants in rehabilitation must be highlighted. A proposal for a methodology to support the project could provide useful guidance particularly for architects and construction engineers, and improve the understanding of direct participants on site, therefore contributing for the correct implementation of intervention.

Quadrature generators based on ring oscillators and shift registers

Quadrature oscillators are key elements in modern radio frequency (RF) transceivers and very useful nowadays in wireless communications, since they can provide: low quadrature error, low phase-noise, and wide tuning range (useful to cover several bands). RC oscillators can be fully integrated without the need of external components (external high Q-inductors), optimizing area, cost, and power consumption. The conventional structure of ring oscillator offers poor frequency stability and phasenoise, low quality factor (Q), and besides being vulnerable to process, voltage and temperature (PVT) variations, its performance degrades as the frequency of operation increases. This thesis is devoted to quadrature oscillators and presents a detailed comparative study of ring oscillator and shift register (SR) approaches. It is shown that in SRs both phase-noise and phase error are reduced, while ring oscillators have the advantage of occupying less area and less consumption due to the reduced number of components in the circuit. Thus, although ring oscillators are more suitable for biomedical applications, SRs are more appropriate for wireless applications, especially when specification requirements are more stringent and demanding. The first architecture studied consists in a simple CMOS ring oscillator employing an odd number of static single-ended inverters as delay cells. Subsequently, the quadrature 4-stage ring oscillator concept is shown and post-layout simulations are presented. The 3 and 4-phase single-frequency local oscillator (LO) generators employing SRs are presented, the latter with 50% and 25% duty-cycles. The circuits operate at 600 MHz and 900 MHz, and were designed in a 130 nm standard CMOS technology with a voltage supply of 1.2 V.

User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

Rehabilitation of renders of old buildings in Portugal: survey, supporting methodology proposal and case studies

The main purpose of the research is to present a proposal for a methodology to support the rehabilitation project of renders of old buildings. To achieve the objective it was considered essential to define the main types of participants and aspects to integrate the proposal. The research methodology consists in an inquiry presented to several professional participants in rehabilitation, a market study of materials and products available in Portugal, the design of a methodology proposal and its application to a case study. The inquiry sample totals 24 answers from the targeted professionals. A sequence of relevant supporting procedures consists in the proposal, which aims to provide a supporting methodology to decide and project in this context and also to be tested with its application to the building. This proposal was applied to an old building with load-bearing stone masonry walls and air-lime based renders. It was concluded that the assessment of the building and external renderings’ condition, its diagnosis and of the supporting walls, the definition of intervention, the specification of materials to be used and performance requirements to comply, and also plans for conservation and periodic maintenance, are crucial. From the inquiry, compatibility between materials and complementary roles and points of view of different types of participants in rehabilitation must be highlighted. A proposal for a methodology to support the project could provide useful guidance particularly for architects and construction engineers, and improve the understanding of direct participants on site, therefore contributing for the correct implementation of the intervention.

Introducing mapping standards in the quality assessment of buildings extracted from very high resolution satellite imagery

Many municipal activities require updated large-scale maps that include both topographic and thematic information. For this purpose, the efficient use of very high spatial resolution (VHR) satellite imagery suggests the development of approaches that enable a timely discrimination, counting and delineation of urban elements according to legal technical specifications and quality standards. Therefore, the nature of this data source and expanding range of applications calls for objective methods and quantitative metrics to assess the quality of the extracted information which go beyond traditional thematic accuracy alone. The present work concerns the development and testing of a new approach for using technical mapping standards in the quality assessment of buildings automatically extracted from VHR satellite imagery. Feature extraction software was employed to map buildings present in a pansharpened QuickBird image of Lisbon. Quality assessment was exhaustive and involved comparisons of extracted features against a reference data set, introducing cartographic constraints from scales 1:1000, 1:5000, and 1:10,000. The spatial data quality elements subject to evaluation were: thematic (attribute) accuracy, completeness, and geometric quality assessed based on planimetric deviation from the reference map. Tests were developed and metrics analyzed considering thresholds and standards for the large mapping scales most frequently used by municipalities. Results show that values for completeness varied with mapping scales and were only slightly superior for scale 1:10,000. Concerning the geometric quality, a large percentage of extracted features met the strict topographic standards of planimetric deviation for scale 1:10,000, while no buildings were compliant with the specification for scale 1:1000.

Exchange rate pressure in Angola

The objective of this work is to develop an operational tool to analyze exchange rate pressure in the context of Angola. The Angolan economy exhibits a number of relevant characteristics: a closed financial account, a partially controlled current account, a highly dollarized economy and exports (oil) price determined in World markets. These features have a direct effect on the demand of foreign currency and motivate their inclusion in the specification of a model for Angola. The model provides the rational for a measure of an exchange market rate pressure (EMP) index that contains exports changes, imports changes, the foreign interest rate and inflation and the change in foreign reserves corrected for a measure dollarization. The empirical performance new measure is comparable (slightly better) to the performance of the EMP indexes obtained in Eichengreen Rose and Wyplosz (1994) and Klassen and Jager (2011).

The effects of cultural heritage on residential property values: Evidence from Lisbon, Portugal

This paper examines the impact of historic amenities on residential housing prices in the city of Lisbon, Portugal. Our study is directed towards identifying the spatial variation of amenity values for churches, palaces, lithic (stone) architecture and other historic amenities via the housing market, making use of both global and local spatial hedonic models. Our empirical evidence reveals that different types of historic and landmark amenities provide different housing premiums. While having a local non-landmark church within 100 meters increases housing prices by approximately 4.2%, higher concentrations of non-landmark churches within 1000 meters yield negative effects in the order of 0.1% of prices with landmark churches having a greater negative impact around 3.4%. In contrast, higher concentration of both landmark and non-landmark lithic structures positively influence housing prices in the order of 2.9% and 0.7% respectively. Global estimates indicate a negative effect of protected zones, however this significance is lost when accounting for heterogeneity within these areas. We see that the designation of historic zones may counteract negative effects on property values of nearby neglected buildings in historic neighborhoods by setting additional regulations ensuring that dilapidated buildings do not damage the city’s beauty or erode its historic heritage. Further, our results from a geographically weighted regression specification indicate the presence of spatial non-stationarity in the effects of different historic amenities across the city of Lisbon with variation between historic and more modern areas.