Model driven development implementation of a control systems user interfaces specification tool

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

A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Urban sprawl analysis and modeling in Asmara, Eritreia: Application of Geospatial Tools

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

Target-specific multiphysics modeling for thermal medicine applications

Dissertation to obtain the degree of Doctor of Philosophy in Biomedical Engineering

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

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

Land cover mapping analysis and urban growth modeling using remote sensing techniques

The rapid growth of big cities has been noticed since 1950s when the majority of world population turned to live in urban areas rather than villages, seeking better job opportunities and higher quality of services and lifestyle circumstances. This demographic transition from rural to urban is expected to have a continuous increase. Governments, especially in less developed countries, are going to face more challenges in different sectors, raising the essence of understanding the spatial pattern of the growth for an effective urban planning. The study aimed to detect, analyse and model the urban growth in Greater Cairo Region (GCR) as one of the fast growing mega cities in the world using remote sensing data. Knowing the current and estimated urbanization situation in GCR will help decision makers in Egypt to adjust their plans and develop new ones. These plans should focus on resources reallocation to overcome the problems arising in the future and to achieve a sustainable development of urban areas, especially after the high percentage of illegal settlements which took place in the last decades. The study focused on a period of 30 years; from 1984 to 2014, and the major transitions to urban were modelled to predict the future scenarios in 2025. Three satellite images of different time stamps (1984, 2003 and 2014) were classified using Support Vector Machines (SVM) classifier, then the land cover changes were detected by applying a high level mapping technique. Later the results were analyzed for higher accurate estimations of the urban growth in the future in 2025 using Land Change Modeler (LCM) embedded in IDRISI software. Moreover, the spatial and temporal urban growth patterns were analyzed using statistical metrics developed in FRAGSTATS software. The study resulted in an overall classification accuracy of 96%, 97.3% and 96.3% for 1984, 2003 and 2014’s map, respectively. Between 1984 and 2003, 19 179 hectares of vegetation and 21 417 hectares of desert changed to urban, while from 2003 to 2014, the transitions to urban from both land cover classes were found to be 16 486 and 31 045 hectares, respectively. The model results indicated that 14% of the vegetation and 4% of the desert in 2014 will turn into urban in 2025, representing 16 512 and 24 687 hectares, respectively.

Modeling and optimization of extracellular polysaccharides production by Enterobacter A47

Polysaccharides are gaining increasing attention as potential environmental friendly and sustainable building blocks in many fields of the (bio)chemical industry. The microbial production of polysaccharides is envisioned as a promising path, since higher biomass growth rates are possible and therefore higher productivities may be achieved compared to vegetable or animal polysaccharides sources. This Ph.D. thesis focuses on the modeling and optimization of a particular microbial polysaccharide, namely the production of extracellular polysaccharides (EPS) by the bacterial strain Enterobacter A47. Enterobacter A47 was found to be a metabolically versatile organism in terms of its adaptability to complex media, notably capable of achieving high growth rates in media containing glycerol byproduct from the biodiesel industry. However, the industrial implementation of this production process is still hampered due to a largely unoptimized process. Kinetic rates from the bioreactor operation are heavily dependent on operational parameters such as temperature, pH, stirring and aeration rate. The increase of culture broth viscosity is a common feature of this culture and has a major impact on the overall performance. This fact complicates the mathematical modeling of the process, limiting the possibility to understand, control and optimize productivity. In order to tackle this difficulty, data-driven mathematical methodologies such as Artificial Neural Networks can be employed to incorporate additional process data to complement the known mathematical description of the fermentation kinetics. In this Ph.D. thesis, we have adopted such an hybrid modeling framework that enabled the incorporation of temperature, pH and viscosity effects on the fermentation kinetics in order to improve the dynamical modeling and optimization of the process. A model-based optimization method was implemented that enabled to design bioreactor optimal control strategies in the sense of EPS productivity maximization. It is also critical to understand EPS synthesis at the level of the bacterial metabolism, since the production of EPS is a tightly regulated process. Methods of pathway analysis provide a means to unravel the fundamental pathways and their controls in bioprocesses. In the present Ph.D. thesis, a novel methodology called Principal Elementary Mode Analysis (PEMA) was developed and implemented that enabled to identify which cellular fluxes are activated under different conditions of temperature and pH. It is shown that differences in these two parameters affect the chemical composition of EPS, hence they are critical for the regulation of the product synthesis. In future studies, the knowledge provided by PEMA could foster the development of metabolically meaningful control strategies that target the EPS sugar content and oder product quality parameters.

Development of human central nervous system 3D in vitro models for preclinical research

Neurological disorders are a major concern in modern societies, with increasing prevalence mainly related with the higher life expectancy. Most of the current available therapeutic options can only control and ameliorate the patients’ symptoms, often be-coming refractory over time. Therapeutic breakthroughs and advances have been hampered by the lack of accurate central nervous system (CNS) models. The develop-ment of these models allows the study of the disease onset/progression mechanisms and the preclinical evaluation of novel therapeutics. This has traditionally relied on genetically engineered animal models that often diverge considerably from the human phenotype (developmentally, anatomically and physiologically) and 2D in vitro cell models, which fail to recapitulate the characteristics of the target tissue (cell-cell and cell-matrix interactions, cell polarity). The in vitro recapitulation of CNS phenotypic and functional features requires the implementation of advanced culture strategies that enable to mimic the in vivo struc-tural and molecular complexity. Models based on differentiation of human neural stem cells (hNSC) in 3D cultures have great potential as complementary tools in preclinical research, bridging the gap between human clinical studies and animal models. This thesis aimed at the development of novel human 3D in vitro CNS models by integrat-ing agitation-based culture systems and a wide array of characterization tools. Neural differentiation of hNSC as 3D neurospheres was explored in Chapter 2. Here, it was demonstrated that human midbrain-derived neural progenitor cells from fetal origin (hmNPC) can generate complex tissue-like structures containing functional dopaminergic neurons, as well as astrocytes and oligodendrocytes. Chapter 3 focused on the development of cellular characterization assays for cell aggregates based on light-sheet fluorescence imaging systems, which resulted in increased spatial resolu-tion both for fixed samples or live imaging. The applicability of the developed human 3D cell model for preclinical research was explored in Chapter 4, evaluating the poten-tial of a viral vector candidate for gene therapy. The efficacy and safety of helper-dependent CAV-2 (hd-CAV-2) for gene delivery in human neurons was evaluated, demonstrating increased neuronal tropism, efficient transgene expression and minimal toxicity. The potential of human 3D in vitro CNS models to mimic brain functions was further addressed in Chapter 5. Exploring the use of 13C-labeled substrates and Nucle-ar Magnetic Resonance (NMR) spectroscopy tools, neural metabolic signatures were evaluated showing lineage-specific metabolic specialization and establishment of neu-ron-astrocytic shuttles upon differentiation. Chapter 6 focused on transferring the knowledge and strategies described in the previous chapters for the implementation of a scalable and robust process for the 3D differentiation of hNSC derived from human induced pluripotent stem cells (hiPSC). Here, software-controlled perfusion stirred-tank bioreactors were used as technological system to sustain cell aggregation and dif-ferentiation. The work developed in this thesis provides practical and versatile new in vitro ap-proaches to model the human brain. Furthermore, the culture strategies described herein can be further extended to other sources of neural phenotypes, including pa-tient-derived hiPSC. The combination of this 3D culture strategy with the implemented characterization methods represents a powerful complementary tool applicable in the drug discovery, toxicology and disease modeling.

The role of arl13b in cilia length regulation and in zebrafish development

RESUMO: Arl13b é uma importante proteína ciliar, presente em cílios primários e cílios móveis. Ratinhos mutantes para Arl13b têm comprimento dos cílios reduzido e defeitos nos B-túbulos dos cílios. Como consequência destes fenótipos, deficiências na Arl13b originam, em modelos animais, várias doenças congénitas, incluindo problemas no estabelecimento do eixo esquerda-direita, malformações cerebrais e deformações corporais. Nos seres humanos, deficiências na Arl13b levam a uma doença crónica congénita chamada Síndrome de Joubert. Por outro lado, a sobreexpressão de Arl13b origina cílios mais longos, no entanto existe uma ausência da caracterização dos fenótipos celulares e durante o desenvolvimento embrionário. Neste trabalho, quisemos explorar o efeito da sobre-expressão de Arl13b em embriões de peixezebra. Descobrimos que, ao nível ciliar, a sobre-expressão de Arl13b nas células aumenta o comprimento ciliar em cílios primários e móveis, no entanto, a esses cílios falta adequada acetilação da alfa-tubulina no citoesqueleto feito por microtúbulos. Os nossos resultados mostraram que esse efeito é específico de Arl13b sobre-expressão e quando se manipularam as enzimas responsáveis pela acetilação (Mec17) e pela de-acetilação (HDAC6) encontrámos uma sinergia potencial com ambas. Testámos ainda, que o aumento no comprimento ciliar não estava causalmente relacionado com a falta de acetilação, ou seja, os cílios com menos acetilação não eram necessariamente os mais longos. Também mostrámos que a sobre-expressão de Arl13b é capaz de restaurar o comprimento dos cílios em mutantes com cílios curtos e como isso pode ser explorado para um futuro potencial papel terapêutico para Arl13b. Em seguida, foi avaliado o impacto do aumento da quantidade de Arl13b no desenvolvimento embrionário do peixe-zebra. Observou-se que a sobre-expressão de Arl13b apresentava fenótipos muito fracos, quando comparados com a perda de função dos mutantes de Arl13b. Focados no inesperado fenótipo leve no estabelecimento do eixo esquerda-direita abordámos a questão através do estabelecimento de uma colaboração com matemáticos, descobrimos que os cílios mais longos que potencialmente têm a capacidade de movimentar mais fluido são atenuados por amplitudes de batimento menores, e, como resultado, estes longos cílios não prejudicam o movimento do fluido e consequentemente não afetam o estabelecimento dos padrões de esquerda-direita. Sugerimos assim que a Arl13b é um regulador chave, do comprimento ciliar. Descobrimos uma nova interação com as enzimas de acetilação/de-acetilação e levantamos novas hipóteses quanto aos mecanismos moleculares da função da Arl13b. Propomos um novo modelo para o mecanismo molecular da Arl13b na regulação do comprimento dos cílios onde podemos integrar os nossos resultados com os relatados na literatura. Este trabalho adiciona mais conhecimento para o mecanismo de ação da Arl13b e, portanto, fornece uma importante contribuição para o campo da investigação em cílios.---------------------------------------------------------------------------------------------------------------------- ABSTRACT: Arl13b is an important ciliary protein, present in primary and motile cilia. arl13b-/- mouse mutants have reduced cilia length and cilia B-tubule defects. As a consequence of these phenotypes, Arl13b loss of function animal models suffer from several congenital disorders including left-right problems, brain malformations and body deformations. In humans Arl13b depletion leads to a congenital chronic disease called Joubert Syndrome. On the other hand, overexpressing Arl13b leads to longer cilia but the characterization of the cellular and developmental phenotypes was missing. In this work we explore the effect of Arl13b overexpression in zebrafish embryos. We found that, at the ciliary level, Arl13b overexpression from 1 cell stage produces longer primary and motile cilia, but these cilia lack proper alpha tubulin acetylation of their microtubule cytoskeleton. Our results showed that this effect is specific from Arl13b overexpression and when we manipulated the enzymes responsible for acetylation, Mec17, and de-acetylation, HDAC6, we found a potential synergy of both mec17 knockdown and HDAC6 activity with Arl13b overexpression. We tested that the ciliary increase in length was not causally related to the lack of acetylation, meaning the more de-acetylated cilia were not necessarily the longer ones. We also showed that Arl13b overexpression is able to restore cilia length in short cilia mutants and how that may be explored to a potential future therapeutic role for Arl13b. Next, we evaluated the impact of increasing the amount of Arl13b in zebrafish embryonic development. We observed that Arl13b overexpression presented very mild phenotypes when compared to the loss of function mutants. We focused on the unexpected left-right mild phenotype and by establishing a mathematical modeling collaboration, we found out that the longer cilia generated force was attenuated by smaller beating amplitudes, and as a result, these long cilia were not impairing the cilia generated flow and the establishment of left-right patterning. We suggest that Arl13b is one key cilia length regulator. We disclosed a novel interaction with the acetylation / de-acetylation enzymes and raised new hypothesis as to the mechanisms of Arl13b function. We propose a new model for the Arl13b molecular mechanism of cilia length regulation where we integrate our findings with those reported in the literature. This work adds more knowledge to the Arl13b mechanism of action and therefore provides an important contribution to the cilia research field.