Information flow analysis using data-dependent logical propositions

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

Relationship between national culture, democracy and environmental performance: A panel data analysis

This paper demonstrates the significance of culture in examining the relationshipbetween democratic capital and environmental performance.The aim is to examine the relationship among scores on the Environmental Performance Index and the two dimensions of cross cultural variation suggested by Ronald Inglehart and Christian Welzel. Significantional interrelationships among democracy, cultural and environmental sustaintability measures could be found, following the regression results. Firstly, higher levels of democratic capital stock are associated with better environmental performance. Secondly importance to distinguish between cultural groups could be confirmed.

Molecular identification and antifungal susceptibility profiles of Candida parapsilosis complex species isolated from culture collection of clinical samples

AbstractINTRODUCTION:Candida parapsilosis is a common yeast species found in cases of onychomycosis and candidemia associated with infected intravascular devices. In this study, we differentiated Candida parapsilosis sensu stricto, Candida orthopsilosis , and Candida metapsilosis from a culture collection containing blood and subungual scraping samples. Furthermore, we assessed the in vitro antifungal susceptibility of these species to fluconazole, itraconazole, voriconazole, posaconazole, amphotericin B, and caspofungin.METHODS:Differentiation of C. parapsilosis complex species was performed by amplification of the secondary alcohol dehydrogenase (SADH) gene and digestion by the restriction enzyme Ban I. All isolates were evaluated for the determination of minimal inhibitory concentrations using Etest, a method for antifungal susceptibility testing.RESULTS:Among the 87 isolates, 78 (89.7%) were identified as C. parapsilosis sensu stricto , five (5.7%) were identified as C. orthopsilosis , and four (4.6%) were identified as C. metapsilosis . Analysis of antifungal susceptibility showed that C. parapsilosis sensu strictoisolates were less susceptible to amphotericin B and itraconazole. One C. parapsilosis sensu stricto isolate was resistant to amphotericin B and itraconazole. Moreover, 10.2% of C. parapsilosis sensu stricto isolates were resistant to caspofungin. Two C. parapsilosis sensu strictoisolates and one C. metapsilosis isolate were susceptible to fluconazole in a dose-dependent manner.CONCLUSIONS:We reported the first molecular identification of C. parapsilosiscomplex species in State of Goiás, Brazil. Additionally, we showed that although the three species exhibited differences in antifungal susceptibility profiles, the primary susceptibility of this species was to caspofungin.

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

Quantitative image analysis as a tool for Yarrowia lipolytica dimorphic growth evaluation in different culture media

Yarrowia lipolytica, a yeast strain with a huge biotechnological potential, capable to produce metabolites such as γ-decalactone, citric acid, intracellular lipids and enzymes, possesses the ability to change its morphology in response to environmental conditions. In the present study, a quantitative image analysis (QIA) procedure was developed for the identification and quantification of Y. lipolytica W29 and MTLY40-2P strains dimorphic growth, cultivated in batch cultures on hydrophilic (glucose and N-acetylglucosamine (GlcNAc) and hydrophobic (olive oil and castor oil) media. The morphological characterization of yeast cells by QIA techniques revealed that hydrophobic carbon sources, namely castor oil, should be preferred for both strains growth in the yeast single cell morphotype. On the other hand, hydrophilic sugars, namely glucose and GlcNAc caused a dimorphic transition growth towards the hyphae morphotype. Experiments for γ-decalactone production with MTLY40-2P strain in two distinct morphotypes (yeast single cells and hyphae cells) were also performed. The obtained results showed the adequacy of the proposed morphology monitoring tool in relation to each morphotype on the aroma production ability. The present work allowed establishing that QIA techniques can be a valuable tool for the identification of the best culture conditions for industrial processes implementation.

Proteomic analysis of nitrate-dependent acetone degradation by Alicycliphilus denitrificans strain BC

Alicycliphilus denitrificans strain BC grows anaerobically on acetone with nitrate as electron acceptor. Comparative proteomics of cultures of A. denitrificans strain BC grown on either acetone or acetate with nitrate was performed to study the enzymes involved in the acetone degradation pathway. In the proposed acetone degradation pathway, an acetone carboxylase converts acetone to acetoacetate, an AMP-dependent synthetase/ligase converts acetoacetate to acetoacetyl-CoA, and an acetyl-CoA acetyltransferase cleaves acetoacetyl-CoA to two acetyl-CoA. We also found a putative aldehyde dehydrogenase associated with acetone degradation. This enzyme functioned as a -hydroxybutyrate dehydrogenase catalyzing the conversion of surplus acetoacetate to -hydroxybutyrate that may be converted to the energy and carbon storage compound, poly--hydroxybutyrate. Accordingly, we confirmed the formation of poly-?-hydroxybutyrate in acetone-grown cells of strain BC. Our findings provide insight in nitrate-dependent acetone degradation that is activated by carboxylation of acetone. This will aid studies of similar pathways found in other microorganisms degrading acetone with nitrate or sulfate as electron acceptor.

Procesos de cambio en la cultura jurídica: análisis desde la experiencia del juicio por jurados. Processes of change in the Legal Culture: Analysis from the Experience of Jury Trials.

El presente proyecto de investigación se orienta a analizar la institución del juicio por jurados, considerada como un punto estratégico para la observación de los procesos de cambio que recorren la cultura jurídica en Argentina. Frente a las múltiples transformaciones y a los intensos procesos de reestructuración de las relaciones sociales observados en el contexto latinoamericano y especialmente en Argentina, la necesidad de reconstruir la legitimidad de los jueces ante la opinión pública se ha vuelto impostergable, y el recurso a la participación popular en el campo judicial aparece como un instrumento útil para ello. Analizar la efectividad de esta estrategia para la legitimación del poder judicial es uno de los objetivos del presente proyecto de investigación. Abordar dicho objetivo implica, indagar en la relación entre la administración de justicia y diferentes actores sociales, especialmente los miembros de la profesión jurídica y la opinión pública.Se explora igualmente la contradicción entre el hecho de que esta institución, nacida para atenuar la dureza de los castigos, se ha implementado recientemente en la provincia de Córdoba en la situación inversa. El modo en que la tensión entre el espíritu garantista de los jueces y la demanda de castigos de los ciudadanos comunes se manejará en la práctica de los juicios por jurado, y su incidencia en el éxito de las estrategias legitimadoras del poder judicial, aparece como una cuestión relevante para el análisis que se propone. Con la utilización de diferentes fuentes de información cuantitativas y cualitativas, se espera que el análisis de la implementación del juicio penal con jurados populares en la provincia de Córdoba propuesto en el presente proyecto, contribuya a documentar los niveles de articulación entre la cultura jurídica interna y externa.

Lagrangian methods for visualization and analysis of time-dependent vector fields

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

Identification of corticosteroid-regulated genes in cardiomyocytes by serial analysis of gene expression.

Corticosteroids (aldosterone, cortisol/corticosterone) exert direct functional effects on cardiomyocytes. However, gene networks activated by corticosteroids in cardiomyocytes, as well as the involvement of the mineralocorticoid receptor (MR) vs the glucocorticoid receptor (GR) in these effects, remain largely unknown. Here we characterized the corticosteroid-dependent transcriptome in primary culture of neonatal mouse cardiomyocytes treated with 10(-6) M aldosterone, a concentration predicted to occupy both MR and GR. Serial analysis of gene expression revealed 101 aldosterone-regulated genes. The MR/GR specificity was characterized for one regulated transcript, namely ecto-ADP-ribosyltransferase-3 (Art3). Using cardiomyocytes from GR(null/null) or MR(null/null) mice we demonstrate that in GR(null/null) cardiomyocytes the response is abrogated, but it is fully maintained in MR(null/null) cardiomyocytes. We conclude that Art3 expression is regulated exclusively via the GR. Our study identifies a new set of corticosteroid-regulated genes in cardiomyocytes and demonstrates a new approach to studying the selectivity of MR- vs GR-dependent effects.

Molecular analysis of non-melanoma skin cancer

SUMMARY:Cylindroma, trichoepithelioma and spiradenoma are benign tumors of hair follicle. They are caused by mutations and loss of heterozygosity in the CYLD gene. CYLD is a ubiquitously expressed, but the tumors are restricted to skin, suggesting that the tumorigenesis is influenced by skin-specific regulators and probably by mutations in other genes. The objectives of the thesis were to analyze the molecular mechanisms leading to the aforementioned tumors. In the first project, we have identified five new mutations in CYLD gene in tive families affected with different combinations of these skin appendage tumors. F our of these mutations caused the introduction of a premature stop codon in CYLD protein sequence, but one was a missense mutation changing aspartic acid 681 into glycine (D68lG), in patients exhibiting multiple trichoepitheliomas. CYLD is a deubiquitinase which can downregulate NF-κB and INK pathways through the deubiquitination of TRAF2, for example. We showed that the CYLD-D681G mutant was unable to remove polyubiquitin chains from TRAF2. We also proved that CYLD-D68lG could not inhibit TRAP 2- or TNFα- mediated NF-κB or INK activations in 293T cells. These results underlined the importance of the D68l residue for the enzymatic activity of CYLD. TRAP-interacting protein (TRIP), which is a E3-Ubiquitin ligase, is a partner of CYLD. In the second project of the thesis, we studied the function of TRIP in the epidermis. We found that TRIP was a nucleolar protein in cultured human primary keratinocytes (HEK) and HeLa cells, and was detected in the midbody of HeLa cells. Moreover, TRIP expression was shown to be downregulated through a PKC-dependent mechanism before induction of keratinocyte differentiation. We also proved that TRIP was upregulated in basal cell carcinomas. Furthermore, TRIP was found to be important for keratinocyte survival and proliferation through the regulation of the Gl/S transition. Our results suggest that TRIP may be involved in keratinocyte tumorigenesis.RÉSUMÉ :Les cylindromes, trichoépithéliomes et spiradénomes sont des tumeurs bénignes du follicule pileux causées par des mutations et une perte d'hétérozygotie du gène CYLD. CYLD est ubiquitaire mais les tumeurs sont limitées à la peau, suggérant que la tumorigénèse est influencée par des protéines spécifiques de la peau et par des mutations dans d'autres gènes. Les objectifs de la thèse étaient d'2malyser les mécanismes moléculaires aboutissant à la formation de ces tumeurs. Dans le premier projet, cinq nouvelles mutations du gène CYLD ont été identifiées chez cinq familles présentant différentes combinaisons des tumeurs citées ci- dessus. Quatre de ces mutations causaient I' introduction d'un codon stop prématuré dans la séquence protéique, mais une était une mutation «misser1se» changeant l'aspartate 681 en résidu glycine (D68lG) chez des patients présentant des trichoépithéliomes multiples. CYLD est une déubiquitinase qui inhibe les voies de signalisation de NF-κB et JNK, en déubiquitinant notamment TRAF2. Nous avons montré que la protéine mutante CYLD- D68lG ne pouvait pas cliver la chaîne de poly-ubiquitines liée à TRAF2. CYLD-D68lG était aussi incapable d'inhiber l'activation de NF-κB ou de JNK induite par TRAF2 ou TNF-o dans les cellules 293T. Ces résultats ont donc souligné l'impo1tance du résidu D68l pour l'activité de CYLD. «TRAF-interacting protein (TRIP)», qui est une «E3-ubiquitin-ligase», est un partenaire de CYLD. Dans le second proj et de la thèse, nous avons étudié la fonction de TRIP dans l'épidenne. Nous avons montrépque TRIP était nucléolaire dans les cellules HeLa et les kératinocytes primaires humains en culture et était détectée dans le «midbody» des cellules HeLa. Nous avons prouvé que l'ARNm de TRIP était diminué avant l'induction de la différentiation des kératinocytes, par un mécanisme dépendent de la protéine kinase C, tandis qu'il était augmenté dans les carcinomes baso-cellulaires. Nous avons aussi montré que TRIP influençait la prolifération et la survie des kératinocytes en régulant la transition G1/S, Nos résultats suggèrent que TRIP est peut-être impliquée dans la tumorigénèse des kératinocytes. 7

Target Molecular Size and Sodium Dodecyl Sulfate-Polyacrylamide Gel Electrophoresis Analysis of the ATP-and Pyrophosphate-Dependent Proton Pumps from Maize Root Tonoplast.

Tonoplast-enriched membranes were prepared from maize (Zea mays L. cv LG 11) primary roots, using sucrose nonlinear gradients. The functional molecular size of the tonoplast ATP-and PPi-dependent proton pumps were analyzed by radiation inactivation. Glucose-6-phosphate dehydrogenase (G6PDH) was added as an internal standard. Frozen samples (-196 degrees C) of the membranes were irradiated with (60)Co for different periods of time. After thawing the samples, the activities of G6PDH, ATPase, and PPase were tested. By applying target theory, the functional sizes of the ATPase and PPase in situ were found to be around 540 and 160 kilodaltons, respectively. The two activities were solubilized and separated by gel filtration chromatography. The different polypeptides copurifying with the two pumps were analyzed by sodium dodecyl sulfate-polyacrylamide gel electrophoresis. Two bands (around 59 and 65 kilodaltons) were associated with the ATPase activity, whereas a double band (around 40 kilodaltons) was recovered with the PPase activity.

Epidermal growth factor and bovine growth hormone stimulate differentiation and myelination of brain cell aggregates in culture.

Bovine growth hormone (bGH) and epidermal growth factor (EGF) increased the activity of ornithine decarboxylase (ODC) in brain cell aggregates cultured in a serum-free chemically defined medium. ODC is considered as a marker of cell growth and differentiation. The effect of bGH and EGF on myelination was investigated by measuring two myelin markers, 2',3'-cyclic nucleotide 3'-phosphodiesterase (CNP) and myelin basic protein (MBP). EGF treatment at days 2 and 5 caused a dose-dependent increase of both myelin markers at culture day 12. This increase could still be observed at culture day 19, indicating a prolonged action of EGF. The continual presence of bGH in the culture medium produced a large accumulation of MBP at day 19. This effect was dose-dependent and required the presence of triiodothyronine (T3). In contrast, the effect of bGH on CNP activity did not require the presence of T3. This is the first report showing a direct effect of bGH on CNS myelination in vitro and of EGF on both MBP accumulation and ODC activity.

Glucose sensing by the hepatoportal sensor is GLUT2-dependent: in vivo analysis in GLUT2-null mice.

In the preceding article, we demonstrated that activation of the hepatoportal glucose sensor led to a paradoxical development of hypoglycemia that was associated with increased glucose utilization by a subset of tissues. In this study, we tested whether GLUT2 plays a role in the portal glucose-sensing system that is similar to its involvement in pancreatic beta-cells. Awake RIPGLUT1 x GLUT2-/- and control mice were infused with glucose through the portal (Po-) or the femoral (Fe-) vein for 3 h at a rate equivalent to the endogenous glucose production rate. Blood glucose and plasma insulin concentrations were continuously monitored. Glucose turnover, glycolysis, and glycogen synthesis rates were determined by the 3H-glucose infusion technique. We showed that portal glucose infusion in RIPGLUT1 x GLUT24-/- mice did not induce the hypoglycemia observed in control mice but, in contrast, led to a transient hyperglycemic state followed by a return to normoglycemia; this glycemic pattern was similar to that observed in control Fe-mice and RIPGLUT1 x GLUT2-/- Fe-mice. Plasma insulin profiles during the infusion period were similar in control and RIPGLUT1 x GLUT2-/- Po- and Fe-mice. The lack of hypoglycemia development in RIPGLUT1 x GLUT2-/- mice was not due to the absence of GLUT2 in the liver. Indeed, reexpression by transgenesis of this transporter in hepatocytes did not restore the development of hypoglycemia after initiating portal vein glucose infusion. In the absence of GLUT2, glucose turnover increased in Po-mice to the same extent as that in RIPGLUT1 x GLUT2-/- or control Fe-mice. Finally, co-infusion of somatostatin with glucose prevented development of hypoglycemia in control Po-mice, but it did not affect the glycemia or insulinemia of RIPGLUT1 x GLUT2-/- Po-mice. Together, our data demonstrate that GLUT2 is required for the function of the hepatoportal glucose sensor and that somatostatin could inhibit the glucose signal by interfering with GLUT2-expressing sensing units.

cAMP-dependent chloride secretion mediates tubule enlargement and cyst formation by cultured mammalian collecting duct cells.

Polycystic kidney diseases result from disruption of the genetically defined program that controls the size and geometry of renal tubules. Cysts which frequently arise from the collecting duct (CD) result from cell proliferation and fluid secretion. From mCCD(cl1) cells, a differentiated mouse CD cell line, we isolated a clonal subpopulation (mCCD-N21) that retains morphogenetic capacity. When grown in three-dimensional gels, mCCD-N21 cells formed highly organized tubular structures consisting of a palisade of polarized epithelial cells surrounding a cylindrical lumen. Subsequent addition of cAMP-elevating agents (forskolin or cholera toxin) or of membrane-permeable cAMP analogs (CPT-cAMP) resulted in rapid and progressive dilatation of existing tubules, leading to the formation of cystlike structures. When grown on filters, mCCD-N21 cells exhibited a high transepithelial resistance as well as aldosterone- and/or vasopressin-induced amiloride-sensitive and -insensitive current. The latter was in part inhibited by Na(+)-K(+)-2Cl(-) cotransporter (bumetanide) and chloride channel (NPPB) inhibitors. Real-time PCR analysis confirmed the expression of NKCC1, the ubiquitous Na(+)-K(+)-2Cl(-) cotransporter and cystic fibrosis transmembrane regulator (CFTR) in mCCD-N21 cells. Tubule enlargement and cyst formation were prevented by inhibitors of Na(+)-K(+)-2Cl(-) cotransporters (bumetanide or ethacrynic acid) or CFTR (NPPB or CFTR inhibitor-172). These results further support the notion that cAMP signaling plays a key role in renal cyst formation, at least in part by promoting chloride-driven fluid secretion. This new in vitro model of tubule-to-cyst conversion affords a unique opportunity for investigating the molecular mechanisms that govern the architecture of epithelial tubes, as well as for dissecting the pathophysiological processes underlying cystic kidney diseases.

Globalization and culture shaping the gender gap: A comparative analysis of urban Latin America and East Asia (1970 - 2000)

In this paper we present: 1. The available data on comparative gender inequality at themacroeconomic level and 2. Gender inequality measures at the microeconomic and case studylevel. We see that market openness has a significant effect on the narrowing of the human capitalgender gap. Globalization and market openness stand as factors that improve both the humancapital endowments of women and their economic position. But we also see that the effects ofculture and religious beliefs are very different. While Catholicism has a statistically significantinfluence on the improvement of the human capital gender gap, Muslim and Buddhist religiousbeliefs have the opposite effect and increase human capital gender differences.In the second global era, some Catholic Latin American countries benefited from market opennessin terms of the human capital and income gender gap, whereas we find the opposite impact inBuddhist and Muslim countries like China and South Korea where women s economic positionhas worsened in terms of human capital and wage inequality.