Linguagem de especificação leve Hoare-separação para java

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

Solubilities of C‑Tetraalkylcalix[4]resorcinarenes in SCCO2: experimental measurements, characterization, and correlation

The solubilities of two C-tetraalkylcalix[4]resorcinarenes, namely C-tetramethylcalix[4]resorcinarene and C-tetrapentylcalix[4]resorcinarene, in supercritical carbon dioxide (SCCO2) were measured in a flow-type apparatus at a temperature range from (313.2 to 333.2) K and at pressures from (12.0 to 35.0) MPa. The C-tetraalkylcalix[4]resorcinarenes were synthesized applying our optimized procedure and fully characterized by means of gel permeation chromatography, infrared and nuclear magnetic resonance spectroscopy. The solubilities of the C-tetraalkylcalix[4]resorcinarenes in SCCO2 were determined by analysis of the extracts obtained by HPLC with ultraviolet (UV) detection methodology adapted by our team. Four semiempirical density-based models, and the SoaveRedlichKwong cubic equation of state (SRK CEoS) with classical mixing rules, were applied to correlate the solubility of the calix[4]resorcinarenes in the SC CO2. The physical properties required for the modeling were estimated and reported.

Molecular details of INH-C-10 binding to wt KatG and Its S315T mutant

Isoniazid (INH) is still one of the two most effective antitubercular drugs and is included in all recommended multitherapeutic regimens. Because of the increasing resistance of Mycobacterium tuberculosis to INH, mainly associated with mutations in the katG gene, new INH-based compounds have been proposed to circumvent this problem. In this work, we present a detailed comparative study of the molecular determinants of the interactions between wt KatG or its S315T mutant form and either INH or INH-C10, a new acylated INH derivative. MD simulations were used to explore the conformational space of both proteins, and results indicate that the S315T mutation did not have a significant impact on the average size of the access tunnel in the vicinity of these residues. Our simulations also indicate that the steric hindrance role assigned to Asp137 is transient and that electrostatic changes can be important in understanding the enzyme activity data of mutations in KatG. Additionally, molecular docking studies were used to determine the preferred modes of binding of the two substrates. Upon mutation, the apparently less favored docking solution for reaction became the most abundant, suggesting that S315T mutation favors less optimal binding modes. Moreover, the aliphatic tail in INH-C10 seems to bring the hydrazine group closer to the heme, thus favoring the apparent most reactive binding mode, regardless of the enzyme form. The ITC data is in agreement with our interpretation of the C10 alkyl chain role and helped to rationalize the significantly lower experimental MIC value observed for INH-C10. This compound seems to be able to counterbalance most of the conformational restrictions introduced by the mutation, which are thought to be responsible for the decrease in INH activity in the mutated strain. Therefore, INH-C10 appears to be a very promising lead compound for drug development.

C'est là que l'on joue la comédie: les casa da opera en Amérique Portugaise (1719-1819)

La présente thèse doctorale propose l’étude de l’activité théâtrale développée dans les théâtres permanents construits en Amérique Portugaise au long du XVIIIe et dans la première décennie du XIXe siècle, en mettant l’accent sur les idéalisateurs des Casas da Ópera et les moyens de financement utilisés dans l’édification et l’entretien de celles-ci, le répertoire mis en scène, les artistes composant les compagnies théâtrales, les spectateurs et les possibilités de sociabilité établies dans l’espace théâtrale et les modèles architectoniques qui ont inspiré la construction des bâtiments théâtraux au cours de la période mentionnée. Ces cinq axes principaux soulignent l’approche interdisciplinaire qui a orienté nos études, dans un souci de contribution à une plus complète compréhension de notre sujet de recherche. Mots clés : Théâtres, Amérique Portugaise, Comédiens Mulâtres, Théâtre Éphémère, Comédies Portugaises, Architecture théâtrale luso-américaine, Casa da Ópera de Vila Rica/Ouro Preto.

C&SIG na delimitação da estrutura ecológica municipal: aplicação ao município de Cascais

Trabalho de projecto apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica.

High prevalence of hepatitis C infection among Brazilian hemodialysis patients in Rio de Janeiro: a one-year follow-up study

Nearly 400 hemodialysis patients treated at 5 different hemodialysis units in Rio de Janeiro were tested for one year for the presence of hepatitis C and B markers. During the same period, samples were also obtained from 35 continuous ambulatory peritoneal dialysis (CAPD) patients and from 242 health care workers. Depending on the hemodialysis unit studied, anti-HCV prevalence rates ranging from 47% to 82% (mean 65%) were detected. CAPD patients showed a lower prevalence of 17%. The prevalence of antibodies against hepatitis C virus (anti-HCV) among health care workers was 2.9%. We observed a hepatitis C attack rate of 11.5% per year in the anti-HCV-negative hemodialysis patient population. An average of 9.4% of the hemodialysis patients were chronic carriers of hepatitis B virus (HBV) (range 1.8% - 20.4%), while 48.9% showed markers of previous HBV infection. The HBV attack rate was 4.5% per year (range 0% - 6%). These results indicate an alarming high prevalence of anti-HCV among hemodialysis patients of this studied region.

Long term follow-up and patterns of response of ALT in patients with chronic hepatitis NANB/C treated with recombinant interferon-alpha

The response to interferon treatment in chronic hepatitis NANB/C has usually been classified as complete, partial or absent, according to the behavior of serum alanine aminotransferase (ALT). However, a more detailed observation of the enzymatic activity has shown that the patterns may be more complex. The aim of this study was to describe the long term follow-up and patterns of ALT response in patients with chronic hepatitis NANB/C treated with recombinant interferon-alpha. A follow-up of 6 months or more after interferon-a was achieved in 44 patients. We have classified the serum ALT responses into six patterns and the observed frequencies were as follows: I. Long term response = 9 (20.5%); II. Normalization followed by persistent relapse after IFN = 7 (15.9%); III. Normalization with transient relapse = 5 (11.9%); IV. Temporary normalization and relapse during IFN = 4 (9.1%); V. Partial response (more than 50% of ALT decrease) = 7 (15.9%); VI. No response = 12 (27.3%). In conclusion, ALT patterns vary widely during and after IFN treatment and can be classified in at least 6 types.

Genetic structure of Neisseria meningitidis serogroup C epidemic strains in South Brazil

In the present study we report the results of an analysis, based on serotyping, multilocus enzyme electrophoresis (MEE), and ribotyping of N. meningitidis serogroup C strains isolated from patients with meningococcal disease (MD) in Rio Grande do Sul (RS) and Santa Catarina (SC) States, Brazil, as the Center of Epidemiology Control of Ministry of Health detected an increasing of MD cases due to this serogroup in the last two years (1992-1993). We have demonstrated that the MD due to N.meningitidis serogroup C strains in RS and SC States occurring in the last 4 years were caused mainly by one clone of strains (ET 40), with isolates indistinguishable by serogroup, serotype, subtype and even by ribotyping. One small number of cases that were not due to an ET 40 strains, represent closely related clones that probably are new lineages generated from the ET 40 clone referred as ET 11A complex. We have also analyzed N.meningitidis serogroup C strains isolated in the greater São Paulo in 1976 as representative of the first post epidemic year in that region. The ribotyping method, as well as MEE, could provide useful information about the clonal characteristics of those isolates and also of strains isolated in south Brazil. The strains from 1976 have more similarity with the actual endemic than epidemic strains, by the ribotyping, sulfonamide sensitivity, and MEE results. In conclusion, serotyping with monoclonal antibodies (C:2b:P1.3), MEE (ET 11 and ET 11A complex), and ribotyping by using ClaI restriction enzyme (Rb2), were useful to characterize these epidemic strains of N.meningitidis related to the increased incidence of MD in different States of south Brazil. It is mostly probable that these N.meningitidis serogroup C strains have poor or no genetic corelation with 1971-1975 epidemic serogroup C strains. The genetic similarity of members of the ET 11 and ET 11A complex were confirmed by the ribotyping method by using three restriction endonucleases.

An integer programming framework for sequencing cutting patterns based on interval graph completion

We derived a framework in integer programming, based on the properties of a linear ordering of the vertices in interval graphs, that acts as an edge completion model for obtaining interval graphs. This model can be applied to problems of sequencing cutting patterns, namely the minimization of open stacks problem (MOSP). By making small modifications in the objective function and using only some of the inequalities, the MOSP model is applied to another pattern sequencing problem that aims to minimize, not only the number of stacks, but also the order spread (the minimization of the stack occupation problem), and the model is tested.

An integer programming model for the minimum interval graph completion problem

The minimum interval graph completion problem consists of, given a graph G = ( V, E ), finding a supergraph H = ( V, E ∪ F ) that is an interval graph, while adding the least number of edges |F| . We present an integer programming formulation for solving the minimum interval graph completion problem recurring to a characteri- zation of interval graphs that produces a linear ordering of the maximal cliques of the solution graph.

Hepatitis G virus / GB virus C in Brazil. Preliminary report

Hepatitis G virus/ GB virus C is a novel flavivirus recently detected in hepatitis non A-E cases. In this study, the presence of this virus in chronic non-B, non-C hepatitis patients was evaluated using GBV-C specific PCR and this virus was detected in one out of thirteen patients. This patient has presented a severe liver failure, has lived for a long time in the Western Amazon basin and no other cause for this clinical picture was reported. The impact of the discovery of this new agent is still under evaluation throughout the world. The study of the prevalence of this virus among chronic hepatitis patients and healthy individuals (as blood donors) will furnish subside to evaluate its real pathogenicity.

Increase of the Delivered Power Probability in Distribution Networks using Pareto DC Programming

A methodology to increase the probability of delivering power to any load point through the identification of new investments in distribution network components is proposed in this paper. The method minimizes the investment cost as well as the cost of energy not supplied in the network. A DC optimization model based on mixed integer non-linear programming is developed considering the Pareto front technique in order to identify the adequate investments in distribution networks components which allow increasing the probability of delivering power for any customer in the distribution system at the minimum possible cost for the system operator, while minimizing the energy not supplied cost. Thus, a multi-objective problem is formulated. To illustrate the application of the proposed methodology, the paper includes a case study which considers a 180 bus distribution network