Design of a tool to study the fate of Chlamydia trachomatis infected cells

Chlamydia trachomatis has a unique obligate intracellular developmental cycle that ends by the lysis of the cell and/or the extrusion of the bacteria in order to allow for re-infections. While Chlamydia trachomatis infections are often asymptomatic the diagnosis of Chlamydia trachomatis is usually late, occurring after manifestation of persistency. Investigations on the consequences of long-term infections and the molecular mechanisms behind it will reveal light to what extent bacteria can modulate host cell function and what the ultimate fate of host cells after clearance of an infection is. Such studies on the host cell fate could be greatly facilitated if the infected cells become permanently marked during and after the infection. Therefore, this project intends to develop a new genetic tool that would allow permanently labeling of Chlamydia trachomatis host cells. The plan was to generate a Chlamydia trachomatis strain that encodes a recombinant CRE recombinase, fused to a secretory effector function of the Chlamydia type 3 secretion system (T3SS). Upon translocation into the host cell, this recombinant CRE enzyme could then, owing to its site-specific recombination function, switch a reporter gene contained in the host cell genome. To this end, the reporter line carried a membrane-tagged tdTomato (mT) gene flanked by two LoxP sequences followed by a GFP gene. The translocation of the recombinant CRE recombinase into this cell line was designed to trigger the recombination of the LoxP sites whereby the cells would turn from red fluorescence to green as an irreversible label of the infected cells. Successful execution of this mechanism would allow to draw a direct link between Chlamydia trachomatis infection and the subsequent fate of the infected cell.

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

The use of analytical hierarchy process in spatial decision support system for land use management

Geographic information systems give us the possibility to analyze, produce, and edit geographic information. Furthermore, these systems fall short on the analysis and support of complex spatial problems. Therefore, when a spatial problem, like land use management, requires a multi-criteria perspective, multi-criteria decision analysis is placed into spatial decision support systems. The analytic hierarchy process is one of many multi-criteria decision analysis methods that can be used to support these complex problems. Using its capabilities we try to develop a spatial decision support system, to help land use management. Land use management can undertake a broad spectrum of spatial decision problems. The developed decision support system had to accept as input, various formats and types of data, raster or vector format, and the vector could be polygon line or point type. The support system was designed to perform its analysis for the Zambezi river Valley in Mozambique, the study area. The possible solutions for the emerging problems had to cover the entire region. This required the system to process large sets of data, and constantly adjust to new problems’ needs. The developed decision support system, is able to process thousands of alternatives using the analytical hierarchy process, and produce an output suitability map for the problems faced.

The black box of health care expenditure growth determinants

In this paper, the determinants of growth of aggregate health expenditures are investigated. The study departs from previous literature in that it looks at differences across countries in growth (and not levels) of health care expenditures. Estimation is made for 24 OECD countries. Health system characteristics usually believed to influence health expenditures growth, like population ageing, the type of health system (public reimbursement, public contract or integrate) and existence of gatekeepers, are found to be non-significant. Nevertheless, there is evidence that health expenditures experienced a clear slower growth in the last decade. The explanation for this slowdown could not be found in the proposed model and should stimulate further research.

A new dinosaur tracksite in the Lower Cretaceous of Portugal

A new Lower Cretaceous (Aptian-Albian) dinosaur tracksite at the Olhos de Água beach is described. It is the first vertebrate fossil finding ever found in the concerned unit, and yielded 128 tracks in 17 trackways within an area of ca. 80 square metres. Three tridactyl footprint morphotypes have been recognized: - Type I ("Iguanodontipus-like") - trackways D, F, K, J and P; - Type 2 (large theropod), although larger in size, typically from a Grallator-like theropod footprint, i.e , A, B, G, H and 0 trackways; - Type 3 (medium size theropod); M is the only track of this type. There are other, poorly preserved, unidentified trackways. The theropod, swinging trackway B was produced by an animal that was limping. The theropod track M starts eastwards but drastically changes westwards, speeding up at the same time; this dinosaur decided to turn around and run in the opposite direction. This site shows three main trackway directions: to the South, to the East, and westwards. Except for the trackway 0, large theropods A, B, G and H walked southwards. Perpendicularly to the se, ornithopods, small theropods and unidentified trackmakers walked towards East (5) and West (7). The segregation oftrackmakers and directions, with large theropod traekways southwards and other dinosaurs' west or eastwards, may mean that large theropods patrolled a walkway area to an important resource, most probably water, often frequented by ornithopods and smaller theropods. There is no evidence of social behavior or gregarism: footprints' overposition shows that the large, southwards walking theropods passed on different occasions. Three trackway sequences can be established by chronologic order.

Insight into the multicopper oxidases stability

Dissertation presented to obtain the PhD degree in Biochemistry

Aquaponics and its potential aquaculture wastewater treatment and human urine treatment

The main objective of this thesis is to study the developing fields of aquaponics and its potential for aquaculture wastewater treatment and human urine treatment. Aquaponics is a food production system which combines fish farming (aquaculture) with soilless crop farming (hydroponics). In this thesis the concept of aquaponics and the underlying processes are explained. Research on aquaculture wastewater and human urine wastewater is reviewed and its potential application with aquaponic systems is studied. An overview of the different types of aquaponic systems and current research on the field is also presented. A case study was conducted in a farm in Askeröd, Sweden, which involved building two aquaponic systems (System 1 and System 2) and a human urine-based aquaponic system (System 3), with different degrees of component complexity and sizes. The design, building and monitoring of System 1, System 2 and System 3 was documented and described in detail. Four day experiments were conducted which tested the evolution in concentration of Total Ammonia Nitrogen (NH4+/NH3), Nitrite (NO2-), Nitrate (NO3-), Phosphate (PO43-), and Dissolved Oxygen (O2) after an initial nutrient input. The goal was to assess the concentrations of these parameters after four days and compare them with relevant literature examples in the aquaculture industry and in source-separated urine research. Neither of the two aquaponic systems (System 1 and System 2) displayed all of the parameter concentrations in the last day of testing below reference values found in literature. The best performing of the aquaponic systems was the more complex system (System 2) combining the hydroponic Nutrient Film Technique with a Deep Water Culture component, with a Total Ammonia Nitrogen concentration of 0,20 mg/L, a Nitrite concentration of 0,05 mg/L, a Nitrate concentration of 1,00-5,00 mg/L, a Phosphate concentration of <0,02 mg/L and a Dissolved Oxygen concentration of 8,00 mg/L. The human urine-based aquaponic system (System 3) underperformed in achieving the reference concentration values in literature for most parameters. The removal percentage between the higher recorded values after the input addition and the final day of testing was calculated for two literature examples of separated urine treatment and System 3. The system had a removal percentage of 75% for Total Ammonia Nitrogen, 98% for Nitrite, 25% for Nitrate and 50% for Phosphate. These percentages still underperformed literature examples in most of the tested parameters. The results gathered allowed to conclude that while aquaculture wastewater treatment and human urine treatment is possible with aquaponics systems, overall these did not perform as well as some examples found in recirculating aquaculture systems and source-separated urine treatment literature. However, better measuring techniques, longer testing periods and more research is recommended in this field in order to draw an improved representative conclusion.

Type System for the ComponentJ Programming Language

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

A multitask ATPase serving different ABC-type sugar importers in Bacillus subtilis

Journal of Bacteriology (Out 2010) 5312-5318

Design of a balanced scorecard-type management system for a back-office department in a bank

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

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/.