Multilingual ontology specification: a collaborative approach

19-22 June 2012 Madrid, Spain

Hox genes control the specification of global vertebral domains

Dissertação apresentada para obtenção do grau de doutor em Biologia pelo Instituto de Tecnologia Química e Biológica da Universidade Nova de Lisboa

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.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

A domain-specific language for ETL patterns specification in Data Warehousing Systems

During the last few years many research efforts have been done to improve the design of ETL (Extract-Transform-Load) systems. ETL systems are considered very time-consuming, error-prone and complex involving several participants from different knowledge domains. ETL processes are one of the most important components of a data warehousing system that are strongly influenced by the complexity of business requirements, their changing and evolution. These aspects influence not only the structure of a data warehouse but also the structures of the data sources involved with. To minimize the negative impact of such variables, we propose the use of ETL patterns to build specific ETL packages. In this paper, we formalize this approach using BPMN (Business Process Modelling Language) for modelling more conceptual ETL workflows, mapping them to real execution primitives through the use of a domain-specific language that allows for the generation of specific instances that can be executed in an ETL commercial tool.

Using relational algebra on the specification of real world ETL processes

Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.

Specification and testing of multiplicative time-varying GARCH models with applications

In this article, we develop a specification technique for building multiplicative time-varying GARCH models of Amado and Teräsvirta (2008, 2013). The variance is decomposed into an unconditional and a conditional component such that the unconditional variance component is allowed to evolve smoothly over time. This nonstationary component is defined as a linear combination of logistic transition functions with time as the transition variable. The appropriate number of transition functions is determined by a sequence of specification tests. For that purpose, a coherent modelling strategy based on statistical inference is presented. It is heavily dependent on Lagrange multiplier type misspecification tests. The tests are easily implemented as they are entirely based on auxiliary regressions. Finite-sample properties of the strategy and tests are examined by simulation. The modelling strategy is illustrated in practice with two real examples: an empirical application to daily exchange rate returns and another one to daily coffee futures returns.

Product-line specification and verification with feature-oriented contracts

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

A proposal for a new specification for a conditionally heteroskedastic variance model: the Quadratic Moving-Average Conditional Heteroskedasticity and an application to the D. Mark-U.S. dollar Exchange Rate

Ever since the appearance of the ARCH model [Engle(1982a)], an impressive array of variance specifications belonging to the same class of models has emerged [i.e. Bollerslev's (1986) GARCH; Nelson's (1990) EGARCH]. This recent domain has achieved very successful developments. Nevertheless, several empirical studies seem to show that the performance of such models is not always appropriate [Boulier(1992)]. In this paper we propose a new specification: the Quadratic Moving Average Conditional heteroskedasticity model. Its statistical properties, such as the kurtosis and the symmetry, as well as two estimators (Method of Moments and Maximum Likelihood) are studied. Two statistical tests are presented, the first one tests for homoskedasticity and the second one, discriminates between ARCH and QMACH specification. A Monte Carlo study is presented in order to illustrate some of the theoretical results. An empirical study is undertaken for the DM-US exchange rate.

Comprehensive Expression Analyses of Neural Cell-Type-Specific miRNAs Identify New Determinants of the Specification and Maintenance of Neuronal Phenotypes.

MicroRNAs (miRNAs) have been shown to play important roles in both brain development and the regulation of adult neural cell functions. However, a systematic analysis of brain miRNA functions has been hindered by a lack of comprehensive information regarding the distribution of miRNAs in neuronal versus glial cells. To address this issue, we performed microarray analyses of miRNA expression in the four principal cell types of the CNS (neurons, astrocytes, oligodendrocytes, and microglia) using primary cultures from postnatal d 1 rat cortex. These analyses revealed that neural miRNA expression is highly cell-type specific, with 116 of the 351 miRNAs examined being differentially expressed fivefold or more across the four cell types. We also demonstrate that individual neuron-enriched or neuron-diminished RNAs had a significant impact on the specification of neuronal phenotype: overexpression of the neuron-enriched miRNAs miR-376a and miR-434 increased the differentiation of neural stem cells into neurons, whereas the opposite effect was observed for the glia-enriched miRNAs miR-223, miR-146a, miR-19, and miR-32. In addition, glia-enriched miRNAs were shown to inhibit aberrant glial expression of neuronal proteins and phenotypes, as exemplified by miR-146a, which inhibited neuroligin 1-dependent synaptogenesis. This study identifies new nervous system functions of specific miRNAs, reveals the global extent to which the brain may use differential miRNA expression to regulate neural cell-type-specific phenotypes, and provides an important data resource that defines the compartmentalization of brain miRNAs across different cell types.

Alpha beta lineage-committed thymocytes can be rescued by the gamma delta T cell receptor (TCR) in the absence of TCR beta chain.

Commitment of the alpha beta and gamma delta T cell lineages within the thymus has been studied in T cell receptor (TCR)-transgenic and TCR mutant murine strains. TCR gamma delta-transgenic or TCR beta knockout mice, both of which are unable to generate TCR alpha beta-positive T cells, develop phenotypically alpha beta-like thymocytes in significant proportions. We provide evidence that in the absence of functional TCR beta protein, the gamma delta TCR can promote the development of alpha beta-like thymocytes, which, however, do not expand significantly and do not mature into gamma delta T cells. These results show that commitment to the alpha beta lineage can be determined independently of the isotype of the TCR, and suggest that alpha beta versus gamma delta T cell lineage commitment is principally regulated by mechanisms distinct from TCR-mediated selection. To accommodate our data and those reported previously on the effect of TCR gamma and delta gene rearrangements on alpha beta T cell development, we propose a model in which lineage commitment occurs independently of TCR gene rearrangement.

Normal hemopoiesis and lymphopoiesis in the combined absence of numb and numblike.

The mammalian ortholog of the conserved Drosophila adaptor protein Numb (Nb) and its homolog Numblike (Nbl) modulate neuronal cell fate determination at least in part by antagonizing Notch signaling. Because the Notch pathway has been implicated in regulating hemopoietic stem cell self-renewal and T cell fate specification in mammals, we investigated the role of Nb and Nbl in hemopoiesis using conditional gene targeting. Surprisingly simultaneous deletion of both Nb and Nbl in murine bone marrow precursors did not affect the ability of stem cells to self-renew or to give rise to differentiated myeloid or lymphoid progeny, even under competitive conditions in mixed chimeras. Furthermore, T cell fate specification and intrathymic T cell development were unaffected in the combined absence of Nb and Nbl. Collectively our data indicate that the Nb family of adaptor proteins is dispensable for hemopoiesis and lymphopoiesis in mice, despite their proposed role in neuronal stem cell development.