Admissible Substitutions in Sequent Calculi

For first-order classical logic a new notion of admissible substitution is defined. This notion allows optimizing the procedure of the application of quantifier rules when logical inference search is made in sequent calculi. Our objective is to show that such a computer-oriented sequent technique may be created that does not require a preliminary skolemization of initial formulas and that is efficiently comparable with methods exploiting the skolemization. Some results on its soundness and completeness are given.

Operational Calculi for the Euler Operator

2000 Mathematics Subject Classification: 44A40, 44A35

Three-Dimensional Operational Calculi for Nonlocal Evolution Boundary Value Problems

Иван Христов Димовски, Юлиан Цанков Цанков - Построени са директни операционни смятания за функции u(x, y, t), непрекъснати в област от вида D = [0, a] × [0, b] × [0, ∞). Наред с класическата дюамелова конволюция, построението използва и две некласически конволюции за операторите ∂2x и ∂2y. Тези три едномерни конволюции се комбинират в една тримерна конволюция u ∗ v в C(D). Вместо подхода на Я. Микусински, основаващ се на конволюционни частни, се развива алтернативен подход с използване на мултипликаторните частни на конволюционната алгебра (C(D), ∗).

Computational model of bladder tissue based on its measured optical properties

Urinary bladder diseases are a common problem throughout the world and often difficult to accurately diagnose. Furthermore, they pose a heavy financial burden on health services. Urinary bladder tissue from male pigs was spectrophotometrically measured and the resulting data used to calculate the absorption, transmission, and reflectance parameters, along with the derived coefficients of scattering and absorption. These were employed to create a "generic" computational bladder model based on optical properties, simulating the propagation of photons through the tissue at different wavelengths. Using the Monte-Carlo method and fluorescence spectra of UV and blue excited wavelength, diagnostically important biomarkers were modeled. Additionally, the multifunctional noninvasive diagnostics system "LAKK-M" was used to gather fluorescence data to further provide essential comparisons. The ultimate goal of the study was to successfully simulate the effects of varying excited radiation wavelengths on bladder tissue to determine the effectiveness of photonics diagnostic devices. With increased accuracy, this model could be used to reliably aid in differentiating healthy and pathological tissues within the bladder and potentially other hollow organs.

Changes in autofluorescence based organoid model of muscle invasive urinary bladder cancer

Muscle invasive urinary bladder cancer is one of the most lethal cancers and its detection at the time of transurethral resection remains limited and diagnostic methods are urgently needed. We have developed a muscle invasive transitional cell carcinoma (TCC) model of the bladder using porcine bladder scaffold and the human bladder cancer cell line 5637. The progression of implanted cancer cells to muscle invasion can be monitored by measuring changes in the spectrum of endogenous fluorophores such as reduced nicotinamide dinucleotide (NADH) and flavins. We believe this could act as a useful tool for the study of fluorescence dynamics of developing muscle invasive bladder cancer in patients.

Electrical stimulation with non-implanted electrodes for overactive bladder in adults

External sources The National Institute for Health Research (NIHR), UK. This project was supported byNIHR via Cochrane Infrastructure, Cochrane Programme Grant or Cochrane Incentive funding to the Incontinence Group. The views and opinions expressed therein are those of the authors and do not necessarily reflect those of the Systematic Reviews Programme, NIHR, National Health Service (NHS) or the Department of Health. NHS Grampian Endowment Research Grants, UK. This project was also supported by NHS Grampian Endowment Research Grants.

Dynamic Compartmentalization of Persistent UPEC in the Superficial Bladder Epithelium

Urinary tract infections (UTIs) are typically caused by bacteria that colonize different regions of the urinary tract, mainly the bladder and the kidney. Approximately 25% of women that suffer from UTIs experience a recurrent infection within 6 months of the initial bout, making UTIs a serious economic burden resulting in more than 10 million hospital visits and $3.5 billion in healthcare costs in the United States alone. Type-1 fimbriated Uropathogenic E. coli (UPEC) is the major causative agent of UTIs, accounting for almost 90 % of bacterial UTIs. The unique ability of UPEC to bind and invade the superficial bladder epithelium allows the bacteria to persist inside epithelial niches and survive antibiotic treatment. Persistent, intracellular UPEC are retained in the bladder epithelium for long periods, making them a source of recurrent UTIs. Hence, the ability of UPEC to persist in the bladder is a matter of major health and economic concern, making studies exploring the underlying mechanism of UPEC persistence highly relevant.

In my thesis, I will describe how intracellular Uropathogenic E.coli (UPEC) evade host defense mechanisms in the superficial bladder epithelium. I will also describe some of the unique traits of persistent UPEC and explore strategies to induce their clearance from the bladder. I have discovered that the UPEC virulence factor Alpha-hemolysin (HlyA) plays a key role in the survival and persistence of UPEC in the superficial bladder epithelium. In-vitro and in-vivo studies comparing intracellular survival of wild type (WT) and hemolysin deficient UPEC suggested that HlyA is vital for UPEC persistence in the superficial bladder epithelium. Further in-vitro studies revealed that hemolysin helped UPEC persist intracellularly by evading the bacterial expulsion actions of the bladder cells and remarkably, this virulence factor also helped bacteria avoid t degradation in lysosomes.

To elucidate the mechanistic basis for how hemolysin promotes UPEC persistence in the urothelium, we initially focused on how hemolysin facilitates the evasion of UPEC expulsion from bladder cells. We found that upon entry, UPEC were encased in “exocytic vesicles” but as a result of HlyA expression these bacteria escaped these vesicles and entered the cytosol. Consequently, these bacteria were able to avoid expulsion by the cellular export machinery.

Since bacteria found in the cytosol of host cells are typically recognized by the cellular autophagy pathway and transported to the lysosomes where they are degraded, we explored why this was not the case here. We observed that although cytosolic HlyA expressing UPEC were recognized and encased by the autophagy system and transported to lysosomes, the bacteria appeared to avoid degradation in these normally degradative compartments. A closer examination of the bacteria containing lysosomes revealed that they lacked V-ATPase. V-ATPase is a well-known proton pump essential for the acidification of mammalian intracellular degradative compartments, allowing for the proper functioning of degradative proteases. The absence of V-ATPase appeared to be due to hemolysin mediated alteration of the bladder cell F-actin network. From these studies, it is clear that UPEC hemolysin facilitates UPEC persistence in the superficial bladder epithelium by helping bacteria avoid expulsion by the exocytic machinery of the cell and at the same time enabling the bacteria avoid degradation when the bacteria are shuttled into the lysosomes.

Interestingly even though UPEC appear to avoid elimination from the bladder cell their ability to multiple in bladder cells seem limited.. Indeed, our in-vitro and in-vivo experiments reveal that UPEC survive in superficial bladder epithelium for extended periods of time without a significantly change in CFU numbers. Indeed, we observed these bacteria appeared quiescent in nature. This observation was supported by the observation that UPEC genetically unable to enter a quiescence phase exhibited limited ability to persist in bladder cells in vitro and in vivo, in the mouse bladder.

The studies elucidated in this thesis reveal how UPEC toxin, Alpha-hemolysin plays a significant role in promoting UPEC persistence via the modulation of the vesicular compartmentalization of UPEC at two different stages of the infection in the superficial bladder epithelium. These results highlight the importance of UPEC Alpha-hemolysin as an essential determinant of UPEC persistence in the urinary bladder.

The role of inflammatory mediators in the overactive and bladder pain syndromes

The Overactive Bladder (OAB) and Bladder Pain Syndrome (BPS) are debilitating disorders for which the pathophysiological mechanisms are poorly understood. Injury or dysfunction of the protective urothelial barrier layer, specifically the proteoglycan composition and number, has been proposed as the primary pathological characteristic of BPS. For OAB, the myogenic theory with dysfunction of the muscarinic receptors is the most reiterated hypothesis. For both over activity of the inflammatory response has been posited to play a major role in these diseases. We hypothesise that BPS and OAB are peripheral sensory disorders, with an increase in inflammatory mediators, such as cytokines and chemokines, which are capable of activating, either directly or indirectly, sensory nerve activity causing the disease. The aim of the PhD is to identify potential new therapeutic targets for the treatment of BPS and OAB. We used medium throughput quantitative gene expression analysis of 96 inflammation associated mediators to measure gene expression levels in BPS and OAB bladder biopsies and compared them to control samples. Then we created a novel animal model of disease by specific proteoglycan deglycosylation of the bladder mucosal barrier, using the bacterial enzymes Chondroitinase ABC and Heparanase III. These enzymes specifically remove the glycosaminoglycan side chains from the urothelial proteoglycan molecules. We tested role of the identified mediators in this animal model. In addition, in order to determine on which patients peripheral treatment strategies may work, we assessed the effect of local anaesthetics on patients with bladder pain. Gene expression analysis did not reveal a difference in inflammatory genes in the OAB versus control biopsies. However, several genes were upregulated in BPS versus control samples, from which two genes, FGF7 and CLL21 were correlated with patient clinical phenotypes for ICS/PI symptom and problem indices respectively. In order to determine which patients are likely to respond to treatment, we sought to characterise the bladder pain in BPS patients. Using urodynamics and local anaesthetics, we differentiated patients with peripherally mediated pain and patients with central sensitisation of their pain. Finally to determine the role of these mediators in bladder pain, we created an animal model of disease, which specifically replicates the human pathology: namely disruption in the barrier proteoglycan molecules. CCL21 led to an increase in painrelated behaviour, while FGF7 attenuated this behaviour, as measured by cystometry, spinal c-fos expression and mechanical withdrawal threshold examination. In conclusion, we have identified CCL21 and FGF7 as potential targets for the treatment of BPS. Manipulation of these ligands or their receptors may prove to be valuable previously unexploited targets for the treatment of BPS.

Comparing the orthogonal and homotopy functor calculi

Goodwillie’s homotopy functor calculus constructs a Taylor tower of approximations toF , often a functor from spaces to spaces. Weiss’s orthogonal calculus provides a Taylortower for functors from vector spaces to spaces. In particular, there is a Weiss towerassociated to the functor V ÞÑ FpSVq, where SVis the one-point compactification of V .In this paper, we give a comparison of these two towers and show that when F isanalytic the towers agree up to weak equivalence. We include two main applications, oneof which gives as a corollary the convergence of the Weiss Taylor tower of BO. We alsolift the homotopy level tower comparison to a commutative diagram of Quillen functors,relating model categories for Goodwillie calculus and model categories for the orthogonal calculus.

Mucosal modulation of contractility in bladder strips from normal and overactive rat models and the effect of botulinum toxin A on overactive bladder strips

AIMS: To investigate the local, regulatory role of the mucosa on bladder strip contractility from normal and overactive bladders and to examine the effect of botulinum toxin A (BoNT-A).

METHODS: Bladder strips from spontaneously hyperactive rat (SHR) or normal rats (Sprague Dawley, SD) were dissected for myography as intact or mucosa-free preparations. Spontaneous, neurogenic and agonist-evoked contractions were investigated. SHR strips were incubated in BoNT-A (3 h) to assess effects on contractility.

RESULTS: Spontaneous contraction amplitude, force-integral or frequency were not significantly different in SHR mucosa-free strips compared with intacts. In contrast, spontaneous contraction amplitude and force-integral were smaller in SD mucosa-free strips than in intacts; frequency was not affected by the mucosa. Frequency of spontaneous contractions in SHR strips was significantly greater than in SD strips. Neurogenic contractions in mucosa-free SHR and SD strips at higher frequencies were smaller than in intact strips. The mucosa did not affect carbachol-evoked contractions in intact versus mucosa-free strips from SHR or SD bladders. BoNT-A reduced spontaneous contractions in SHR intact strips; this trend was also observed in mucosa-free strips but was not significant. Neurogenic and carbachol-evoked contractions were reduced by BoNT-A in mucosa-free but not intact strips. Depolarisation-induced contractions were smaller in BoNT-A-treated mucosa-free strips.

CONCLUSIONS: The mucosal layer positively modulates spontaneous contractions in strips from normal SD but not overactive SHR bladder strips. The novel finding of BoNT-A reduction of contractions in SHR mucosa-free strips indicates actions on the detrusor, independent of its classical action on neuronal SNARE complexes.

Surgical technique to avoid bladder flap formation during cesarean section

Cesarean section (CS) is now the most common major surgical procedure performed on women worldwide. A CS can be performed by either suturing or not suturing of the visceral peritoneum. Creation of the bladder flap is an integral step of the standard cesarean section. The bladder flap is made by superficially incising and dissecting the peritoneal lining to separate the urinary bladder from the lower uterine segment. It’s still debated whether the formation of bladder flap is advantageous or not. If the uterine incision is made slightly above the vesicouterine peritoneal fold, the loose connective tissue between the uterus and the urinary bladder allows spontaneous descent of the bladder. Evidence on the role of the bladder flap in cesarean section is very limited. At present, it remains to be established whether there is any advantage in dissecting the bladder from the lower uterine segment during cesarean section.