Results 61 to 70 of about 14,123 (265)

Twist Sequent Calculi for S4 and its Neighbors [PDF]

EPTCS 415, 2024, pp. 16-32
Two Gentzen-style twist sequent calculi for the normal modal logic S4 are introduced and investigated. The proposed calculi, which do not employ the standard logical inference rules for the negation connective, are characterized by several twist logical inference rules for negated logical connectives.
arxiv   +1 more source

A Case of Interstitial Cystitis With Hunner Lesions Involving Bilateral Ureters

IJU Case Reports, EarlyView.
ABSTRACT Introduction Interstitial cystitis with Hunner lesion (IC/HL) is an enigmatic, chronic inflammatory disease of the urinary bladder. Few documented cases have reported the IC/HL involving the upper urinary tract. Case Presentation A 51‐year‐old Japanese woman with IC/HL developed bilateral ureteral stenosis and associated hydronephrosis ...
Satoki Otsuka, Yoshiyuki Akiyama, Daichi Maeda, Aya Niimi, Kenichi Hashimoto, Jun Kamei, Satoru Taguchi, Yuta Yamada, Yusuke Sato, Daisuke Yamada, Tomonori Minagawa, Tetsuo Ushiku, Yukio Homma, Haruki Kume   +13 more
wiley   +1 more source

Ureteroscopic treatment of larger renal calculi (\u3e2 cm). [PDF]

, 2012
OBJECTIVES: To evaluate the current status of ureteroscopic lithotripsy (UL) for treating renal calculi of \u3e2 cm, as advances in flexible ureteroscope design, accessory instrumentation and lithotrites have revolutionised the treatment of urinary ...
Bagley, Demetrius H., Healy, Kelly A., Kleinmann, Nir   +2 more
core   +1 more source

Renal screening sonography—A comparative study in a Portuguese basic emergency service

Journal of Medical Radiation Sciences, Volume 72, Issue 1, Page 8-16, March 2025.
Renal sonography screening aids in clinical decision‐making for patients with suspected renal colic. This study intends to compare the accuracy and pertinence of sonographic findings obtained by a sonographer in a Basic Emergency Service (BES) with that of radiologists at Referral Hospital (RH) in Portugal. Renal sonography screening was able to detect
Sérgio Miravent, Carmen Jiménez, Narciso Barbancho, Manuel Duarte Lobo, Teresa Figueiredo, Carla Gomes, Ion Ratusneac, João Mário Gonçalves, Corina Hasnas, Rui de Almeida   +9 more
wiley   +1 more source

Quantitative Dynamic Contrast‐Enhanced Ultrasound Confirms Renal Obstruction

Journal of Ultrasound in Medicine, EarlyView.
Objectives To evaluate dynamic contrast‐enhanced ultrasound (DCEUS) potential for diagnosing ureteropelvic junction obstruction (UPJO). We hypothesize that DCEUS can identify differences in renal parenchymal microcirculation between normal and obstructed kidneys.
Kourosh Kalayeh, Sapan N. Ambani, Man Zhang, Stephanie Daignault‐Newton, Benjamin L. Viglianti, Rashmi Mediratta, William W. Schultz, J. Brian Fowlkes, Bryan S. Sack   +8 more
wiley   +1 more source

Ureteral fibroepithelial polyps with calculi: a case series

Journal of Medical Case Reports, 2008
Introduction Fibroepithelial polyps of the ureter are benign tumors arising from the mesodermal tissue in the ureteral wall. Their etiology remains unknown. Hematuria and obstructive urinary symptoms are the most common findings.
Turunc Tahsin, Kuzgunbay Baris, Canpolat Tuba   +2 more
doaj   +1 more source

Comparing several calculi for first-order infinite-valued Łukasiewicz logic [PDF]

, 2018
From the viewpoint of provability, we compare some Gentzen-type hypersequent calculi for first-order infinite-valued {\L}ukasiewicz logic and for first-order rational Pavelka logic with each other and with H\'ajek's Hilbert-type calculi for these logics. The key aspect of our comparison is a density elimination proof for one of the hypersequent calculi
arxiv   +1 more source

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics [PDF]

Logical Methods in Computer Science, Volume 7, Issue 2 (May 17, 2011) lmcs:971, 2011
We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents. Our first style of calculi is what we call "shallow calculi", where inference rules are only applied at the root node in a nested sequent.
arxiv   +1 more source

Percutaneous Ureteric Stricture Dilation (PCUSD) [PDF]

, 1997
Ureteric stricture dilation as an interventional uroradiological technique was initiated locally in March 1991. In ureteric dilation two approaches are feasible.
Cutajar, Lino, Formosa, Norman, Schranz, Martin, Wood, Corinne, Zammit, Anthony   +4 more
core  

Function of the Normal Neuromuscular Junction in Young Children

Muscle &Nerve, EarlyView.
ABSTRACT Introduction/Aims The repetitive nerve stimulation (RNS) test is fundamental to test the functional integrity of the neuromuscular junction. RNS data are scarce for newborns and young children, limiting early diagnostic efforts to identify children with neuromuscular diseases. Here, we performed RNS in young children.
Márk Kozák, Katalin Szatmári, Erzsébet Németh, Béla Fülesdi, Attila Nagy, Attila Tóth, Judit Boczán   +6 more
wiley   +1 more source