Results 71 to 80 of about 14,123 (265)
All bicovariant differential calculi on Glq(3,C) and SLq(3,C) [PDF]
J.Phys. A28 (1995) 2545-2562, 1994 All bicovariant first order differential calculi on the quantum group GLq(3,C) are determined. There are two distinct one-parameter families of calculi. In terms of a suitable basis of 1-forms the commutation relations can be expressed with the help of the R-matrix of GLq(3,C).
arxiv +1 more source
Neurourology and Urodynamics, EarlyView.ABSTRACT Objective This study aimed to analyze the outcomes of clinical management of patients with interstitial cystitis (IC). Patients and Methods We retrospectively analyzed the electronic medical records of patients with IC who visited outpatient clinics with pelvic pain between October 2005 and December 2019.
Hyun Ju Jeong +4 more
wiley +1 more source
Critical analysis of treatment options for proximal ureteral calculus [PDF]
Einstein (São Paulo), 2006 Ureteral lithiasis is a prevalent problem that may cause painful renalcolic. When interventions are necessary, various techniques may beemployed. Endourological techniques and minimally invasive proceduresare the preferred options to treat lithiasis and ...
Antonio Corrêa Lopes Neto +1 more
doaj
Urology Case Reports, 2017 Urolithiasis can result as a complication of urinary diversión, favored by urinary stasis, intestinal mucus, urinary tract bacteriuria, the metabolic derangements and the presence of foreign bodies.
Andrés Gutierrez +3 more
doaj +1 more source
A note on calculi for non-deterministic many-valued logics [PDF]
Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's
centenary (January 2, 2023) fi:8847, 2021 We present two deductively equivalent calculi for non-deterministic many-valued logics. One is defined by axioms and the other - by rules of inference. The two calculi are obtained from the truth tables of the logic under consideration in a straightforward manner.
arxiv
Acta Paediatrica, EarlyView.ABSTRACT Aim To explore the possibility of reducing the diagnostic burden in children with prenatally detected unilateral ureteropelvic junction obstruction. Methods Children with unilateral ureteropelvic junction obstruction (2012–2020) were identified from a prenatal hydronephrosis registry.
Tim Malmström +4 more
wiley +1 more source
Labelled calculi for quantified modal logics with definite descriptions [PDF]
arXiv, 2020 We introduce labelled sequent calculi for quantified modal logics with definite descriptions. We prove that these calculi have the good structural properties of G3-style calculi. In particular, all rules are height-preserving invertible, weakening and contraction are height-preserving admissible and cut is admissible.
arxiv
Expressiveness Results for Timed Modal Mu-Calculi [PDF]
arXiv, 2023 This paper establishes relative expressiveness results for several modal mu-calculi interpreted over timed automata. These mu-calculi combine modalities for expressing passage of (real) time with a general framework for defining formulas recursively; several variants have been proposed in the literature. We show that one logic, which we call $L^{rel}_{\
arxiv
Psi-Calculi Revisited: Connectivity and Compositionality [PDF]
Logical Methods in Computer Science, Volume 16, Issue 4 (December
15, 2020) lmcs:5767, 2019 Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Mechanised proofs of standard algebraic and congruence properties of bisimilarity apply to all calculi within the framework.
arxiv +1 more source
Cancer Science, Volume 116, Issue 5, Page 1424-1432, May 2025.Fibroblast growth factor receptor (FGFR) gene alterations (GAs) are known as driver genes for urothelial cancer (UC); however, the proportion of UC genetic panel testing in Japan remains low. In this Japanese database study, we clarified that one of the eight patients had FGFR2/3 GAs in advanced/metastatic UC.
Nobuaki Matsubara +12 more
wiley +1 more source