Development of a poly(L-Lactic acid) based drug release system

Dissertação de mestrado em Biofísica e Bionanossistemas

O tratamento jornalístico que a RTP1 dá à Cultura: o caso do Telejornal

Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Development of a water-in-oil-in-water multiple emulsion system integrating biomimetic aqueous-core lipid nanodroplets for protein entity stabilization. Part I: experimental factorial design

Lipid nanoballoons integrating multiple emulsions of the type water-in-oil-in-water enclose, at least in theory, a biomimetic aqueous-core suitable for housing hydrophilic biomolecules such as proteins, peptides and bacteriophage particles. The research effort entertained in this paper reports a full statistical 23x31 factorial design study (three variables at two levels and one variable at three levels) to optimize biomimetic aqueous-core lipid nanoballoons for housing hydrophilic protein entities. The concentrations of protein, lipophilic and hydrophilic emulsifiers, and homogenization speed were set as the four independent variables, whereas the mean particle hydrodynamic size (HS), zeta potential (ZP) and polydispersity index (PI) were set as the dependent variables. The V23x31 factorial design constructed led to optimization of the higher (+1) and lower (-1) levels, with triplicate testing for the central (0) level, thus producing thirty three experiments and leading to selection of the optimized processing parameters as 0.015% (w/w) protein entity, 0.75% (w/w) lipophilic emulsifier (soybean lecithin) and 0.50% (w/w) hydrophilic emulsifier (poloxamer 188). In the present research effort, statistical optimization and production of protein derivatives encompassing full stabilization of their three-dimensional structure, has been attempted via housing said molecular entities within biomimetic aqueous-core lipid nanoballoons integrating a multiple (W/O/W) emulsion.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Investigation into the feasibility of a West of Ireland Pumped Storage System

Ireland’s remote position on the tip of Europe ensures that the country is vulnerable to uncertainty of supply. The reliance on conventional sources of electricity has ensured that escalated prices and high carbon emissions have been witnessed whilst opportunities that inherent resources provide, such as the wind, have not been capitalised upon. The intermittent nature of the wind make it difficult to maximise its potential as in many cases the highest wind speeds are highest when demand is low. The West of Ireland’s combination of wind speeds and unique topography makes it suitable for and innovative wind powered pumped storage system, which can essentially regulate the wind generated electricity and integrate further penetration of renewable energy. In addition, its location along the Atlantic Ocean provides further scope for innovation as seawater can be integrated into the system design. The construction of such an unprecedented project in combination with increased interconnectors has the potential to make Ireland a rechargeable battery for Europe. However, such ambitious plans are at the very early stages and are in direct contrast to current events in the Irish energy market. This study focuses on the feasibility of West of Ireland pumped storage systems. Entailed within this is an extensive desk study, a detailed site selection process and a feasibility study of grid connection. To increase opportunities to identify the best possible site, the feasibility study was focused on the Galway and Mayo areas solely.

Survival and Predictive Factors of Lethality in Hemodyalisis: D/I Polymorphism of The Angiotensin I-Converting Enzyme and of the Angiotensinogen M235T Genes

Background: End-stage kidney disease patients continue to have markedly increased cardiovascular disease morbidity and mortality. Analysis of genetic factors connected with the renin-angiotensin system that influences the survival of the patients with end-stage kidney disease supports the ongoing search for improved outcomes. Objective: To assess survival and its association with the polymorphism of renin-angiotensin system genes: angiotensin I-converting enzyme insertion/deletion and angiotensinogen M235T in patients undergoing hemodialysis. Methods: Our study was designed to examine the role of renin-angiotensin system genes. It was an observational study. We analyzed 473 chronic hemodialysis patients in four dialysis units in the state of Rio de Janeiro. Survival rates were calculated by the Kaplan-Meier method and the differences between the curves were evaluated by Tarone-Ware, Peto-Prentice, and log rank tests. We also used logistic regression analysis and the multinomial model. A p value ≤ 0.05 was considered to be statistically significant. The local medical ethics committee gave their approval to this study. Results: The mean age of patients was 45.8 years old. The overall survival rate was 48% at 11 years. The major causes of death were cardiovascular diseases (34%) and infections (15%). Logistic regression analysis found statistical significance for the following variables: age (p = 0.000038), TT angiotensinogen (p = 0.08261), and family income greater than five times the minimum wage (p = 0.03089), the latter being a protective factor. Conclusions: The survival of hemodialysis patients is likely to be influenced by the TT of the angiotensinogen M235T gene.

3-D surface reconstruction using spatial frequency-based approaches under influence of perspective distortion

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2008

Experimentos com os nematicidas D. D., E. D. B. e brometo de metilo no combate aos nematódeos causadores de galhas em raízes de plantas (Meloidogyne spp.)

Tomato roots heavily disfigured by root-knot nematodes were throughly mixed with soil. At various time intervals, samples were taken from the mixture and treated in closed containers by each of the folio wing nematicides: D.D., E.D.B. and M.B. The efficacy of the treatment was tested by setting indicator plants in the treated soil and by examining their roots for the presence of galls two months later. In other words, the ability of the three nematicides to penetrate nematode galls after various periods of rotting, which varied from 5 to 30 days was studied. The main conclusions drawn are as follows: a) no nematicide among the three listed above showed the ability for complete destruction of the nematodes protected inside the roots, for a number of small galls developed on the root system of the indicator plant in all treatments; b) smaller and less numerous galls were present on the roots of the indicator plants grown in soil treated after a rotting period of 30 days; c) however, the control obtained seems to be quite satisfactory economically, since the check plants grew poorly and have developed a very unhealthy root system. This is in accordance with STARK & LEAR (1947), LEAR (1951) and CICCARONE's (1951) statements. The results of the present experiments show again that awaiting for the rotting of galls of the root-knot nematodes is not indispensable for an economically convenient soil fumigation. Fields in which many fleshy infected roots from previous crops have been buried can be economically fumigated immediately, without any loss of time. Notwithstanding, when thick woody roots are present in the soil, the above statements may not hold true. This should constitute a new problem calling for further experiments. Another essay dealing with methyl bromide alone, consisted in treating cotton roots heavily disfigured by Meloidogyne incognita in a container (diameter = 28cm, height = 32 cm), which remained closed for five days. After the treatment, the roots were mixed with soil, in which tomato seedlings were planted. After a growing period of two months, the roots of the tomato plants were washed in running water and examined for the presence of galls. As an early infeccion was present in the root system of all plants, the inefficacy of the treatment has been proved.

City Outdoor Lighting System Control. Problems and Prospects

This review describes current problems, trends and prospects of the quasi-automatic light control system. The lighting systems of million cities.

Untersuchungen zur Aktivität der mitochondrialen Permeabilitätstransitionspore in der Cyclophilin-D-Knock-out-Maus (Ppif-/-)

Magdeburg, Univ., Med. Fak., Diss., 2015

Polarization in the chilean party system: changes and continuities, 1990-1999

The focus of this thesis is the evolution of programmatic polarization in the post-authoritarian Chilean party system at the elite level. It shows the distance/proximity between parties located along the left-right ideological continuum on three sets of issues. The paper demonstrates that important changes have taken place in the meaning of the right and, especially, left poles. This implies convergence on socio-economic issues between parties, but persistence of differences on religious-value issues, and on issues related to the authoritarian/democratic cleavage. Distance between the poles has been reduced, and as a result the center has lost its own political space. In addition, the paper shows that the pattern followed by programmatic polarization at the elite level is explained by the authoritarian experience, the institutional framework, and socio-economic transformations. Together with this factors, the degree of negotiability of the issues and the cross-cutting nature of the cleavages have also shaped polarization.