Integracja szlaków sygnalizacyjnych interferonu gamma i receptora TLR4 w procesie zapalnym naczyń krwionośnych, warunkowana czynnikami transkrypcyjnymi STAT1 i IRF

Wydział Biologii: Instytut Biologii Molekularnej i Biotechnologii Zakład Genetyki Molekularnej Człowieka

Caracterização da estrutura populacional de isolados de Escherichia coli provenientes de suiniculturas de produção intensiva e extensiva de Portugal

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

Inibidores do co-transportador renal de sódio-glicose 2

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

Avaliação dos perfis de resistência a antibióticos em Escherichia coli provenientes de infeções urinárias adquiridas na comunidade

As infeções do trato urinário (ITU) são das infeções mais frequentes na comunidade, sendo E. coli o principal agente etiológico. O conhecimento da realidade epidemiológica no que concerne aos padrões de suscetibilidade aos vários antibióticos utilizados no tratamento de ITU é de extrema importância, permitindo assim a escolha mais adequada em contexto de terapia empírica. No tratamento da ITU são utilizados antibióticos de eliminação urinária, nomeadamente

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

Type Inference for Variant Object Types

Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive power of the type system. Flexibility of static typing can be recovered in different ways: in first-order systems, by the adoption of object types with variance annotations, in second-order systems by resorting to Self types. Type inference is known to be P-complete for first-order systems of finite and recursive object types, and NP-complete for a restricted version of Self types. The complexity of type inference for systems with variance annotations is yet unknown. This paper presents a new object type system based on the notion of Split types, a form of object types where every method is assigned two types, namely, an update type and a select type. The subtyping relation that arises for Split types is variant and, as a result, subtyping can be performed both in width and in depth. The new type system generalizes all the existing first-order type systems for objects, including systems based on variance annotations. Interestingly, the additional expressive power does not affect the complexity of the type inference problem, as we show by presenting an O(n^3) inference algorithm.

Towards Formalizing Java's Weak References

Weak references provide the programmer with limited control over the process of memory management. By using them, a programmer can make decisions based on previous actions that are taken by the garbage collector. Although this is often helpful, the outcome of a program using weak references is less predictable due to the nondeterminism they introduce in program evaluation. It is therefore desirable to have a framework of formal tools to reason about weak references and programs that use them. We present several calculi that formalize various aspects of weak references, inspired by their implementation in Java. We provide a calculus to model multiple levels of non-strong references, where a different garbage collection policy is applied to each level. We consider different collection policies such as eager collection and lazy collection. Similar to the way they are implemented in Java, we give the semantics of eager collection to weak references and the semantics of lazy collection to soft references. Moreover, we condition garbage collection on the availability of time and space resources. While time constraints are used in order to restrict garbage collection, space constraints are used in order to trigger it. Finalizers are a problematic feature in Java, especially when they interact with weak references. We provide a calculus to model finalizer evaluation. Since finalizers have little meaning in a language without side-effect, we introduce a limited form of side effect into the calculus. We discuss determinism and the separate notion of uniqueness of (evaluation) outcome. We show that in our calculus, finalizer evaluation does not affect uniqueness of outcome.

Preclinical atherosclerosis in rheumatoid arthritis

Introduction: There is accumulating evidence of an increased risk of cardiovascular morbidity and mortality in rheumatoid arthritis patients. A combination of both traditional cardiovascular risks and rheumatoid specific factors appear to be responsible for driving this phenomenon. Rheumatoid arthritis has been an orphan of cardiologists in the past and rheumatologists themselves are not good at CVD screening. Identifying the extent of preclinical atherosclerosis in RA patients will help us to appreciate the magnitude of this serious problem in an Irish population. Methods: We undertook a cross-sectional study of 63 RA patients and 48 OA controls and compared the 2 groups with respect to 1) traditional CV risks factors, 2) serum biomarkers of inflammation, including CRP, TNFα, IL6 and PAI-1, 3) carotid intima-media thickness (cIMT), carotid plaque and ankle-brachial index (ABI) as markers of pre-clinical atherosclerosis, 4) biochemical and ultrasonic measures of endothelial dysfunction and 5) serum and echocardiographic measures of diastolic dysfunction. Within the RA group, we also investigated for associations between markers of inflammation, subclinical atherosclerosis and diastolic dysfunction. Results: Prevalence of traditional CV risks was similar in the RA and OA groups. A number of biomarkers of inflammation were significantly higher in the RA group: CRP, fibrinogen, IL- 2, -4, -6, TNFα. PAI-1, a marker of thrombosis, correlated with disease activity and subclinical atherosclerosis in RA patients. With regard to subclinical atherosclerosis measures, RA patients had a significantly lower ABI than OA patients. Carotid plaque and cIMT readings were similar in RA and OA patients. Assessment of endothelial function revealed that RA patients had significantly higher concentrations of adhesion molecules, in particular sero-positive RA patients and RA smokers. Adhesion molecule concentrations were associated with markers of diastolic dysfunction in RA. Urine PCR, another marker of endothelial dysfunction also correlated with diastolic dysfunction in RA. Assessment of endothelial function with flow mediated dilatation (FMD) found no difference between the RA and OA groups. Disease activity scores in RA patients were associated with endothelial dysfunction, as assessed by FMD. Conclusions: We did not find significant differences in measures of subclinical atherosclerosis, flow mediated dilatation or diastolic function between RA and OA patients. This is most likely in part due to the fact that there is increasing evidence that OA has an inflammatory component to its pathogenesis and is associated with metabolic syndrome and increased CV risk. We reported a significant association between urinary PCR and measures of diastolic dysfunction. Urinary PCR may be a useful screening tool for diastolic dysfunction in RA. The association between RA disease activity and measures of vascular function supports the theory that the excess cardiovascular burden in RA is linked to uncontrolled inflammation.

The impact of first pregnancy and delivery on pelvic floor dysfunction

Background: The first childbirth has the greatest impact on a woman’s pelvic floor when major changes occur. The aim of this study was to comprehensively describe pelvic floor dysfunction (PFD) in young nulliparous women, and its correlation with postnatal pathology. Methods: A prospective study was performed at Cork University Maternity Hospital, Ireland. Initially 1484 nulliparous women completed the validated Australian Pelvic Floor Questionnaire at 15 weeks’ gestation and repeatedly at one year postnatally (N=872). In the second phase, at least one year postnatally, 202 participants without subsequent pregnancies attended the clinical follow up which included: pelvic organ prolapse quantification, a 3D-Transperineal ultrasound scan and collagen level assessment. Results: A high pre-pregnancy prevalence of various types of PFD was detected, which in the majority of cases persisted postnatally and included multiple types of PFD. The first birth had a negative impact on severity of pre-pregnancy symptoms in <15% of cases. Apart from prolapse, vaginal delivery, including instrumental delivery did not increase the risk of PFD symptoms, where as Caesarean section was protective for all types of PFD. The first birth had a bigger impact on pre-existing symptoms of overactive bladder compared to stress urinary incontinence. Pelvic organ prolapse is extremely prevalent in young primiparous women, however usually it is low grade and asymptomatic. Congenital factors and high collagen type III levels play an important role in the aetiology of pelvic organs prolapse. Levator ani trauma is present in one in three women after the first pregnancy and delivery. Conclusion: The main damage to the pelvic floor most likely occurs due to an undiagnosed congenital intrinsic weakness of the pelvic floor structures. PFD is highly associated with first childbirth, however it seems that pregnancy and delivery are contributing factors only which unmask the congenital intrinsic weakness of the pelvic floor support.

Effect of lithotripter focal width on stone comminution in shock wave lithotripsy.

Using a reflector insert, the original HM-3 lithotripter field at 20 kV was altered significantly with the peak positive pressure (p(+)) in the focal plane increased from 49 to 87 MPa while the -6 dB focal width decreased concomitantly from 11 to 4 mm. Using the original reflector, p(+) of 33 MPa with a -6 dB focal width of 18 mm were measured in a pre-focal plane 15-mm proximal to the lithotripter focus. However, the acoustic pulse energy delivered to a 28-mm diameter area around the lithotripter axis was comparable ( approximately 120 mJ). For all three exposure conditions, similar stone comminution ( approximately 70%) was produced in a mesh holder of 15 mm after 250 shocks. In contrast, stone comminution produced by the modified reflector either in a 15-mm finger cot (45%) or in a 30-mm membrane holder (14%) was significantly reduced from the corresponding values (56% and 26%) produced by the original reflector (no statistically significant differences were observed between the focal and pre-focal planes). These observations suggest that a low-pressure/broad focal width lithotripter field will produce better stone comminution than its counterpart with high-pressure/narrow focal width under clinically relevant in vitro comminution conditions.

A novel mutation of the ACADM gene (c.145C>G) associated with the common c.985A>G mutation on the other ACADM allele causes mild MCAD deficiency: a case report.

A female patient, with normal familial history, developed at the age of 30 months an episode of diarrhoea, vomiting and lethargy which resolved spontaneously. At the age of 3 years, the patient re-iterated vomiting, was sub-febrile and hypoglycemic, fell into coma, developed seizures and sequels involving right hemi-body. Urinary excretion of hexanoylglycine and suberylglycine was low during this metabolic decompensation. A study of pre- and post-prandial blood glucose and ketones over a period of 24 hours showed a normal glycaemic cycle but a failure to form ketones after 12 hours fasting, suggesting a mitochondrial β-oxidation defect. Total blood carnitine was lowered with unesterified carnitine being half of the lowest control value. A diagnosis of mild MCAD deficiency (MCADD) was based on rates of 1-14C-octanoate and 9, 10-3H-myristate oxidation and of octanoyl-CoA dehydrogenase being reduced to 25% of control values. Other mitochondrial fatty acid oxidation proteins were functionally normal. De novo acylcarnitine synthesis in whole blood samples incubated with deuterated palmitate was also typical of MCADD. Genetic studies showed that the patient was compound heterozygous with a sequence variation in both of the two ACADM alleles; one had the common c.985A>G mutation and the other had a novel c.145C>G mutation. This is the first report for the ACADM gene c.145C>G mutation: it is located in exon 3 and causes a replacement of glutamine to glutamate at position 24 of the mature protein (Q24E). Associated with heterozygosity for c.985A>G mutation, this mutation is responsible for a mild MCADD phenotype along with a clinical story corroborating the emerging literature view that patients with genotypes representing mild MCADD (high residual enzyme activity and low urinary levels of glycine conjugates), similar to some of the mild MCADDs detected by MS/MS newborn screening, may be at risk for disease presentation.

High-throughput identification of chemical inhibitors of E. coli Group 2 capsule biogenesis as anti-virulence agents.

Rising antibiotic resistance among Escherichia coli, the leading cause of urinary tract infections (UTIs), has placed a new focus on molecular pathogenesis studies, aiming to identify new therapeutic targets. Anti-virulence agents are attractive as chemotherapeutics to attenuate an organism during disease but not necessarily during benign commensalism, thus decreasing the stress on beneficial microbial communities and lessening the emergence of resistance. We and others have demonstrated that the K antigen capsule of E. coli is a preeminent virulence determinant during UTI and more invasive diseases. Components of assembly and export are highly conserved among the major K antigen capsular types associated with UTI-causing E. coli and are distinct from the capsule biogenesis machinery of many commensal E. coli, making these attractive therapeutic targets. We conducted a screen for anti-capsular small molecules and identified an agent designated "C7" that blocks the production of K1 and K5 capsules, unrelated polysaccharide types among the Group 2-3 capsules. Herein lies proof-of-concept that this screen may be implemented with larger chemical libraries to identify second-generation small-molecule inhibitors of capsule biogenesis. These inhibitors will lead to a better understanding of capsule biogenesis and may represent a new class of therapeutics.

Changing epidemiology of serious bacterial infections in febrile infants without localizing signs.

OBJECTIVE: Historically, management of infants with fever without localizing signs (FWLS) has generated much controversy, with attempts to risk stratify based on several criteria. Advances in medical practice may have altered the epidemiology of serious bacterial infections (SBIs) in this population. We conducted this study to test the hypothesis that the rate of SBIs in this patient population has changed over time. PATIENTS AND METHODS: We performed a retrospective review of all infants meeting FWLS criteria at our institution from 1997-2006. We examined all clinical and outcome data and performed statistical analysis of SBI rates and ampicillin resistance rates. RESULTS: 668 infants met criteria for FWLS. The overall rate of SBIs was 10.8%, with a significant increase from 2002-2006 (52/361, 14.4%) compared to 1997-2001 (20/307, 6.5%) (p = 0.001). This increase was driven by an increase in E. coli urinary tract infections (UTI), particularly in older infants (31-90 days). CONCLUSIONS: We observed a significant increase in E. coli UTI among FWLS infants with high rates of ampicillin resistance. The reasons are likely to be multifactorial, but the results themselves emphasize the need to examine urine in all febrile infants <90 days and consider local resistance patterns when choosing empiric antibiotics.

Optimization of treatment strategy used during shockwave lithotripsy to maximize stone fragmentation efficiency.

BACKGROUND AND PURPOSE: Previous studies have demonstrated that treatment strategy plays a critical role in ensuring maximum stone fragmentation during shockwave lithotripsy (SWL). We aimed to develop an optimal treatment strategy in SWL to produce maximum stone fragmentation. MATERIALS AND METHODS: Four treatment strategies were evaluated using an in-vitro experimental setup that mimics stone fragmentation in the renal pelvis. Spherical stone phantoms were exposed to 2100 shocks using the Siemens Modularis (electromagnetic) lithotripter. The treatment strategies included increasing output voltage with 100 shocks at 12.3 kV, 400 shocks at 14.8 kV, and 1600 shocks at 15.8 kV, and decreasing output voltage with 1600 shocks at 15.8 kV, 400 shocks at 14.8 kV, and 100 shocks at 12.3 kV. Both increasing and decreasing voltages models were run at a pulse repetition frequency (PRF) of 1 and 2 Hz. Fragmentation efficiency was determined using a sequential sieving method to isolate fragments less than 2 mm. A fiberoptic probe hydrophone was used to characterize the pressure waveforms at different output voltage and frequency settings. In addition, a high-speed camera was used to assess cavitation activity in the lithotripter field that was produced by different treatment strategies. RESULTS: The increasing output voltage strategy at 1 Hz PRF produced the best stone fragmentation efficiency. This result was significantly better than the decreasing voltage strategy at 1 Hz PFR (85.8% vs 80.8%, P=0.017) and over the same strategy at 2 Hz PRF (85.8% vs 79.59%, P=0.0078). CONCLUSIONS: A pretreatment dose of 100 low-voltage output shockwaves (SWs) at 60 SWs/min before increasing to a higher voltage output produces the best overall stone fragmentation in vitro. These findings could lead to increased fragmentation efficiency in vivo and higher success rates clinically.

Outcomes of metallic stents for malignant ureteral obstruction.

PURPOSE: Malignant ureteral obstruction often necessitates chronic urinary diversion and is associated with high rates of failure with traditional ureteral stents. We evaluated the outcomes of a metallic stent placed for malignant ureteral obstruction and determined the impact of risk factors previously associated with increased failure rates of traditional stents. MATERIALS AND METHODS: Patients undergoing placement of the metallic Resonance® stent for malignant ureteral obstruction at an academic referral center were identified retrospectively. Stent failure was defined as unplanned stent exchange or nephrostomy tube placement for signs or symptoms of recurrent ureteral obstruction (recurrent hydroureteronephrosis or increasing creatinine). Predictors of time to stent failure were assessed using Cox regression. RESULTS: A total of 37 stents were placed in 25 patients with malignant ureteral obstruction. Of these stents 12 (35%) were identified to fail. Progressive hydroureteronephrosis and increasing creatinine were the most common signs of stent failure. Three failed stents had migrated distally and no stents required removal for recurrent infection. Patients with evidence of prostate cancer invading the bladder at stent placement were found to have a significantly increased risk of failure (HR 6.50, 95% CI 1.45-29.20, p = 0.015). Notably symptomatic subcapsular hematomas were identified in 3 patients after metallic stent placement. CONCLUSIONS: Failure rates with a metallic stent are similar to those historically observed with traditional polyurethane based stents in malignant ureteral obstruction. The invasion of prostate cancer in the bladder significantly increases the risk of failure. Patients should be counseled and observed for subcapsular hematoma formation with this device.