Type inference for conversation types

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

Identification of mating type genes in the bipolar basidiomycetous yeast rhodosporidium toruloides: first insight into the MAT Locus structure of the sporidiobolales

Eukaryotic Cell, Vol.7, Nº6

Inapparent lung involvement in patients with the subacute juvenile type of paracoccidioidomycosis

Three patients with the diagnosis of subacute juvenile paracoccidioidomycosis who, at the time of their first visit, had no signs or symptoms of lung involvement, were studied. Initially the diagnosis was confirmed by the observation of P. brasiliensis in biopsy material obtained from clinically involved lymphadenopathies. The lung X-rays done in all patients, did not reveal pathologic changes, although it was possible to observe and isolate the fungus from sputum samples obtained from the three patients. This fact reinforces the pulmonary genesis of the mycosis and proofs the existence of a pulmonary primary infection, even in patients with the juvenile manifestations, in whom the lung component is obscured by the predominant lymph node involvement.

Anaerobic bacteria: an investigation of metabolic important enzymes: a novel type of oxygen reductase and enzymes of the tetrapyrrole biosynthesis

Desulfovibrio desulfuricans was the first species of a sulphatereducing bacterium to be isolated, in 1895. Since that time, many questions were raised in the scientific community regarding the metabolic and ecological aspects of these bacteria. At present, there is still a myriad of open questions remaining to be answered to enlarge our knowledge of the metabolic pathways operative in these bacteria that have implications in the sulfur cycle, in biocorrosion, namely in sewers and in oil and gas systems, and in bioremediation of several toxic metals. The work presented in this dissertation aimed at contributing with new insights of enzymes involved in two different metabolic systems on Desulfovibrio species, namely enzymes that play a role in the response to oxidative stress and that are involved in the haem biosynthetic pathway.(...)

Labeling of Salmonella Typhymurium with iodine-131 to study phagocytic function in rats

The present study describes a method for labeling Salmonella typhymurium with iodine-131 to evaluate both the morphological and the functional characteristics of the reticulo-endothelial system. A suspension containing 2 x 10(9) bacteria per ml was labeled with carrier-free Na131I without reductor, with a labeling yield of 46.5 ± 3% and 3.5 ± 1.3% of free Iodine-131. The biodistribution of the labeled bacteria in rats was studied with a large field-of-view scintillation camera equiped with a pinhole collimator. Whole body images were obtained 15 and 30 minutes after intravenous injection of the labeled microorganisms. Images showed accumulation of bacteria in the liver and both normal and transplanted spleens of the animals. Autoradiographs of liver and spleen demonstrated labeled bacteria within the cells of the reticulo-endothelial system. The method described is easy to perform, has a good labeling yield and allows the functional evaluation of the reticulo-monophagocytic system, including transplanted spleens.

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

Journal of Bacteriology (Out 2010) 5312-5318

Miocene c4tfishes (Ariidae, Bagridae) from Lisbon: a Nilotic (or Sudanian) type fauna

Miocene catfishes from Lisbon are dealt with. Two distinct sets of pectoral and dorsal pterygiophores are described. That from the Langhian V-b is referred to Arius sp. probably close to A. Beudeloti. Another set from the uppermost Burdigalian V-a may be ascribed to a bagtid, cf, Chrysichthys sp., identified for the first time in this region. The catfish and Lates association is strikingly similar to African, nilotic or sudanian ones as far as freshwaters are concerned. In marine, coastal environments, stenotherm warm-water forms (Polynemids, large barracudas and several sharks) indicate, as a model, faunas like those from Cape Verde to northern Angola. There is some gradation for brackish waters (fig. 1). Catfishes and Lates probably migrated into the Iberian Peninsule in the lower Miocene. They are unknown after Langhian V-b except for a reappearance of Arius in the middle Tortonian VII-b. Decreasing temperatures and aridity account for local extinction at least in freshwaters. Expansion of these fishes have been made easier owing to the displacement of land masses that narrowed or closed the marine waterway between Europe and Africa. Salinity tolerance is not necessarily the sole explanation for migration. Catfishes plus Lates associations colonized inland waters from both sides of the Paleomediterranean. Local extinction may have weighed more in the development of modern distribution patterns than migration.

Renal involvement in prolonged salmonella bacteremia: the role of schistosomal glomerulopathy

Renal involvement has been well documented in patients with hepatosplenic schistosomiasis and in patients with prolonged salmonella bacteremia (PSB). Whether there is a specific renal lesion related to PSB or the chronic bacterial infection aggravates a pre-existing schistosomal glomerulopathy has been a matter of controversy. To analyze the clinical manifestations and histopathological findings of the renal involvement, 8 patients with hepatosplenic schistosomiasis and PSB (group I) were compared with 8 patients with schistosomal glomerulopathy (group II) matched by sex and glomerular disease. The mean age in group I was 17.7 years. All patients presented with hematuria, in 4 cases associated with non-nephrotic proteinuria. In group II the mean age was 23 years; nephrotic syndrome was the clinical presentation in 7 of the 8 patients in the group. All patients in group I experienced remission of the clinical and laboratory abnormalities as the salmonella infection was cured; in group II the patients had persistent, steroid-resistant, nephrotic syndrome. On histological examination, no difference was noted between the two groups, except for pronounced glomerular hypercellularity and interstitial mononuclear cell infiltration in group I. These observations strongly suggest that PSB exacerbates a pre-existing sub-clinical schistosomal glomerulopathy by the addition of active lesions directly related to the prolonged bacteremia

Task assignment algorithms for two-type heterogeneous multiprocessors

Consider the problem of assigning implicit-deadline sporadic tasks on a heterogeneous multiprocessor platform comprising two different types of processors—such a platform is referred to as two-type platform. We present two low degree polynomial time-complexity algorithms, SA and SA-P, each providing the following guarantee. For a given two-type platform and a task set, if there exists a task assignment such that tasks can be scheduled to meet deadlines by allowing them to migrate only between processors of the same type (intra-migrative), then (i) using SA, it is guaranteed to find such an assignment where the same restriction on task migration applies but given a platform in which processors are 1+α/2 times faster and (ii) SA-P succeeds in finding a task assignment where tasks are not allowed to migrate between processors (non-migrative) but given a platform in which processors are 1+α times faster. The parameter 0<α≤1 is a property of the task set; it is the maximum of all the task utilizations that are no greater than 1. We evaluate average-case performance of both the algorithms by generating task sets randomly and measuring how much faster processors the algorithms need (which is upper bounded by 1+α/2 for SA and 1+α for SA-P) in order to output a feasible task assignment (intra-migrative for SA and non-migrative for SA-P). In our evaluations, for the vast majority of task sets, these algorithms require significantly smaller processor speedup than indicated by their theoretical bounds. Finally, we consider a special case where no task utilization in the given task set can exceed one and for this case, we (re-)prove the performance guarantees of SA and SA-P. We show, for both of the algorithms, that changing the adversary from intra-migrative to a more powerful one, namely fully-migrative, in which tasks can migrate between processors of any type, does not deteriorate the performance guarantees. For this special case, we compare the average-case performance of SA-P and a state-of-the-art algorithm by generating task sets randomly. In our evaluations, SA-P outperforms the state-of-the-art by requiring much smaller processor speedup and by running orders of magnitude faster.

Provably Good Task Assignment for Two-Type Heterogeneous Multiprocessors Using Cutting Planes

Consider scheduling of real-time tasks on a multiprocessor where migration is forbidden. Specifically, consider the problem of determining a task-to-processor assignment for a given collection of implicit-deadline sporadic tasks upon a multiprocessor platform in which there are two distinct types of processors. For this problem, we propose a new algorithm, LPC (task assignment based on solving a Linear Program with Cutting planes). The algorithm offers the following guarantee: for a given task set and a platform, if there exists a feasible task-to-processor assignment, then LPC succeeds in finding such a feasible task-to-processor assignment as well but on a platform in which each processor is 1.5 × faster and has three additional processors. For systems with a large number of processors, LPC has a better approximation ratio than state-of-the-art algorithms. To the best of our knowledge, this is the first work that develops a provably good real-time task assignment algorithm using cutting planes.

Herpes simplex virus type 2 infection in pregnancy: asymptomatic viral excretion at delivery and seroepidemiologic survey of two socioeconomically distinct populations in São Paulo, Brazil

The objective of the present study was to estimate the prevalence of herpes simplex virus type 2 (HSV 2) antibodies in child bearing women of 2 Brazilian populations with different socioeconomic status and to determine the risk of neonatal HSV exposure by means of maternal cultures at the onset of labor. The study was conducted at 2 hospitals: A, serving very low income patients and B, serving middle socioeconomic class. 173 participants from group A and 127 from B answered a questionnaire which showed that the patients had similar ages (27.7 and 26.8 years, respectively) but differed with regard to socioeconomic status, age at first intercourse (18.6 vs 20.6 years), number of sex partners (1.5 vs 1.2) and previous sexually transmitted diseases (15% vs. 1.5%). History of genital herpes was given by 11% of group A participants and by a similar number, 7%, of patients from group B. In addition, 200 serum samples from population A and 455 from B were tested by ELISA for and HSV antibodies and 92% and 86%, respectively, were found to be positive. Sixty seropositive samples from group A and 90 from B were further analyzed by Western blot, which showed the presence of type 2 specific antibodies in 46% and 36%, respectively, suggesting an overall HSV 2 prevalence of 42% in group A and 31% in B. Cervical specimens were obtained for culture from 299 asymptomatic patients of population A and 313 of B. HSV was isolated from one specimen in each group, indicating a 0.3% incidence of asymptomatic viral excretion in both populations. In conclusion, the prevalence of type 2 antibodies in childbearing women was very high, but it did not differ with the socioeconomic status. The risk of HSV perinatal transmission was also similar in the 2 study populations and it was comparable with the data from developed countries. Our findings do not indicate the need of special screening programs for asymptomatic HSV excretion in Brazilian pregnant women.

Evolution of Drug Resistance: Insight on TEM -Lactamases Structure and Activity and Beta-Lactam Antibiotics

Extended-spectrum β-lactamases (ESBLs) prevalence was studied in the north of Portugal, among 193 clinical isolates belonging to citizens in a district in the boundaries between this country and Spain from a total of 7529 clinical strains. In the present study we recovered some members of Enterobacteriaceae family, producing ESBL enzymes, including Escherichia coli (67.9%), Klebsiella pneumoniae (30.6%), Klebsiella oxytoca (0.5%), Enterobacter aerogenes (0.5%), and Citrobacter freundii (0.5%). β-lactamases genes blaTEM, blaSHV, and blaCTX-M were screened by polymerase chain reaction (PCR) and sequencing approaches. TEM enzymes were among the most prevalent types (40.9%) followed by CTX-M (37.3%) and SHV (23.3%). Among our sample of 193 ESBL-producing strains 99.0% were resistant to the fourth-generation cephalosporin cefepime. Of the 193 isolates 81.3% presented transferable plasmids harboring genes. Clonal studies were performed by PCR for the enterobacterial repetitive intragenic consensus (ERIC) sequences. This study reports a high diversity of genetic patterns. Ten clusters were found for E. coli isolates and five clusters for K. pneumoniae strains by means of ERIC analysis. In conclusion, in this country, the most prevalent type is still the TEM-type, but CTX-M is growing rapidly.

Soliton-type and other travelling wave solutions for an improved class of nonlinear sixth-order Boussinesq equations

An improved class of nonlinear bidirectional Boussinesq equations of sixth order using a wave surface elevation formulation is derived. Exact travelling wave solutions for the proposed class of nonlinear evolution equations are deduced. A new exact travelling wave solution is found which is the uniform limit of a geometric series. The ratio of this series is proportional to a classical soliton-type solution of the form of the square of a hyperbolic secant function. This happens for some values of the wave propagation velocity. However, there are other values of this velocity which display this new type of soliton, but the classical soliton structure vanishes in some regions of the domain. Exact solutions of the form of the square of the classical soliton are also deduced. In some cases, we find that the ratio between the amplitude of this wave and the amplitude of the classical soliton is equal to 35/36. It is shown that different families of travelling wave solutions are associated with different values of the parameters introduced in the improved equations.

Implementação do método de suspensão quantitativa para avaliar a actividade bactericida de desinfectantes químicos, de acordo com a Norma Europeia EN 1040

As bactérias patogénicas presentes nos sistemas de processamento de alimentos podem ser potencialmente causadoras de doenças alimentares graves, quando sobrevivem à acção bactericida de desinfectantes. Esta acção depende da eficácia das substâncias activas que fazem parte da formulação do desinfectante e das condições ambientais onde se processa a interacção desinfectante – bactéria, sendo ainda específica para cada estirpe bacteriana. Este trabalho teve, como propósito, a implementação de um método que permita avaliar, in vitro, a eficácia bactericida de desinfectantes comerciais contra estirpes bacterianas que são potencialmente causadores de doenças de origem alimentar. A eficácia do desinfectante foi avaliada seguindo a Norma EN1040 e aplicando o método de diluição-neutralização. Para além das estirpes recomendadas naquele documento normativo, nomeadamente, Pseudomonas aeruginosa e Staphylococcus aureus, foram também utilizadas Escherichia coli, Enterococcus faecalis, Salmonella Typhimurium e Listeria monocytogenes. Os desinfectantes foram seleccionados com base nas suas formulações, tendo sido escolhidos desinfectantes cujos princípios activos são, respectivamente: tensioactivos aniónicos; alcalis inorgânicos; hidrocloreto de biguanida polimérica; álcool etoxilado ou cloreto benzalcónio. Foram seleccionados como neutralizantes: tampão fosfato, tiosulfato de sódio, gema de ovo fresca e polisorbato 80 com histidina. Após cada ensaio, o número de bactérias sobreviventes foi obtido pelo cálculo da redução logarítmica decimal, a partir do número de unidades formadoras de colónia presentes em cada placa. A eficácia do desinfectante, na inactivação de cada estirpe alvo, foi classificada numa escala de redução logarítmica à qual 5 log corresponde a redução mínima aceitável do número de colónias quando o tempo de contacto é de 5 minutos, e a temperatura do ensaio é 20ºC. Conclui-se que o método de diluição-neutralização é sensível para todas as estirpes testadas. A gema de ovo fresca revelou ser o melhor neutralizante para desinfectantes contendo tensioactivos aniónicos, enquanto o tampão fosfato é mais adequado para neutralizar desinfectantes contendo alcalis inorgânicos. Porém, nenhum dos neutralizantes testados mostrou ser adequado para os desinfectantes contendo cloreto de benzalcónio ou hidrocloreto biguanida polimérica ou álcool etoxilado. Conclui-se também que as condições laboratoriais implementadas são as adequadas para testar a acção bactericida de desinfectantes utilizados em sistemas de processamento de alimentos.

Dengue type 2 outbreak in the south of the State of Bahia, Brazil: laboratorial and epidemiological studies

During March 1994 cases of a exanthematic acute disease were reported in the municipalities of Itagemirim, Eunápolis and Belmonte, state of Bahia. Dengue fever was confirmed by serology (MAC-ELISA) and by dengue virus type 2 isolation, genotype Jamaica. Signs and symptoms of classic dengue fever were observed with a high percentual of rash (73.8%) and pruritus (50.5%). Major haemorrhagic manifestations were unfrequent and only bleeding gum was reported. Dengue virus activity spreaded rapidly to important tourism counties like Porto Seguro, Ilhéus, Santa Cruz de Cabrália, Prado, Alcobaça and others, representing a risk for the spreading of dengue virus into the country and abroad.