Biological and Biochemical Characterization of Mutants of the RNase II family of enzymes

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

The Role of Small RNAs and Ribonucleases in the Control of Gene Expression in Salmonella Typhimurium

Dissertation presented to obtain the Ph.D degree in Biology

Functional and structural studies of two enzymes: membrane bound kinase and Z-DNA/Z-RNA-binding protein

Dissertação para obtenção do Grau de Doutor em Sistemas de Bioengenharia

Crystallographic studies on membrane and cytoplasmic enzymes

Dissertation presented to obtain the Ph.D degree in Biochemistry, Structural Biochemistry

Trans-Synaptic Signaling by Activity-Dependent Cleavage of Neuroligin-1

Throughout the brain, patterns of activity in postsynaptic neurons influence the properties of synaptic inputs. Such feedback regulation is central to neural network stability that underlies proper information processing and feature representation in the central nervous system. At the cellular level, tight coupling of presynaptic and postsynaptic function is fundamental to neural computation and synaptic plasticity. The cohort of protein complexes at the pre and postsynaptic membrane allows for tight synapse-specific segregation and integration of diverse molecular and electrical signals.(...)

Bioremediation and CO2 scavenging using molybdenum-containing enzymes

Carbon dioxide valorization, will not only help to relieve the greenhouse effect but might also allow us to transform it in value-added chemicals that will help overcoming the energy crisis. To accomplish this goal, more research that focus on sequestering CO2 and endeavors through a carbon-neutral or carbon-negative strategy is needed in order to handle with the dwindling fossil fuel supplies and their environmental impact. Formate dehydrogenases are a promising means of turning CO2 into a biofuel that will allow for a reduction of greenhouse gas emissions and for a significant change to the economic paramount. The main objective of this work was to assess whether a NAD+-independent molybdenum-containing formate dehydrogenase is able to catalyze the reduction of CO2 to formate. To achieve this, a molybdenum-containing formate dehydrogenase was isolated from the sulfate reducing bacteria Desulfovibrio desulfuricans ATCC 27774. Growth conditions were found that allowed for a greater cellular mass recovery and formate dehydrogenase expression. After growth trials, kinetic assays for formate oxidation and CO2 reduction were performed and kinetic parameters determined. For the formate oxidation reaction, a KM of 49 μM and a turnover constant of 146 s-1 were determined. These kinetic parameters are in agreement with those determined by Mota, et al. (2011). Finally, we found that this molybdenum-containing enzyme was able to catalyze the reduction of CO2 to formate with a turnover constant of 4.6 s-1 and a KM of 13 μM. For the first time a NAD+-independent molybdenum-containing formate dehydrogenase was found to catalyze CO2 reduction, allowing its use as a biocatalyst in energetically efficient CO2 fixation processes that can be directed towards bioremediation or as an alternative and renewable energy source. Characterizing these enzymes may lead to the development of more efficient synthetic catalysts, make them readily available and more suited for practical applications.

Development of 3D in vitro models for prediction of hepatic metabolism and toxicity

The development of human cell models that recapitulate hepatic functionality allows the study of metabolic pathways involved in toxicity and disease. The increased biological relevance, cost-effectiveness and high-throughput of cell models can contribute to increase the efficiency of drug development in the pharmaceutical industry. Recapitulation of liver functionality in vitro requires the development of advanced culture strategies to mimic in vivo complexity, such as 3D culture, co-cultures or biomaterials. However, complex 3D models are typically associated with poor robustness, limited scalability and compatibility with screening methods. In this work, several strategies were used to develop highly functional and reproducible spheroid-based in vitro models of human hepatocytes and HepaRG cells using stirred culture systems. In chapter 2, the isolation of human hepatocytes from resected liver tissue was implemented and a liver tissue perfusion method was optimized towards the improvement of hepatocyte isolation and aggregation efficiency, resulting in an isolation protocol compatible with 3D culture. In chapter 3, human hepatocytes were co-cultivated with mesenchymal stem cells (MSC) and the phenotype of both cell types was characterized, showing that MSC acquire a supportive stromal function and hepatocytes retain differentiated hepatic functions, stability of drug metabolism enzymes and higher viability in co-cultures. In chapter 4, a 3D alginate microencapsulation strategy for the differentiation of HepaRG cells was evaluated and compared with the standard 2D DMSO-dependent differentiation, yielding higher differentiation efficiency, comparable levels of drug metabolism activity and significantly improved biosynthetic activity. The work developed in this thesis provides novel strategies for 3D culture of human hepatic cell models, which are reproducible, scalable and compatible with screening platforms. The phenotypic and functional characterization of the in vitro systems performed contributes to the state of the art of human hepatic cell models and can be applied to the improvement of pre-clinical drug development efficiency of the process, model disease and ultimately, development of cell-based therapeutic strategies for liver failure.

Towards modification of Medicago truncatula epigenome: genome editing with engineered nucleases

Periodic drought is the primary limitation of plant growth and crop yield. The rise of water demand caused by the increase in world population and climate change, leads to one of the biggest challenges of modern agriculture: to increase food and feed production. De novo DNA methylation is a process regulated by small interfering RNA (siRNAs), which play a role in plant response and adaptation to abiotic stress. In the particular case of water deficit, growing evidences suggest a link between the siRNA pathways and drought response in the model legume Medicago truncatula. As a first step to understand the role of DNA methylation under water stress, we have set up several bioinformatics and molecular methodologies allowing the design of Clustered regularly interspaced short palindromic repeats (CRISPR)/Cas9 systems and the assembly of TALENs (transcription activator-like effector nucleases), to target both dicer-like 3 (MtDCL3) and RNA-Dependent RNA polymerase (MtRDR2), enzymes of the RNA-directed DNA methylation pathway. TALENs efficiency was evaluated prior to plant transformation by a yeast-based assay using two different strategies to test TALENs activity: Polyacrylamide gel electrophoresis (PAGE) and Single strand conformation polymorphisms (SSCP). In this assay, yeast cells triple transformation emerged as good and rapid alternative to laborious yeast mating strategies. PAGE analysis might be a valuable tool to test TALENs efficacy in vivo if we could increase TALENs activity. SSCP-based approach proved to be ineffective due to the generation of several false positives. TALENs and CRISPR/Cas9 system constructed and designed in this work will in the future certainly enable the successful disruption of DCL3 and RDR2 genes and shed the light on the relationship between plant stress resistance and epigenetic regulation mediated by siRNAs in M.truncatula.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.