Results 101 to 110 of about 158,293 (172)

Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq [PDF]

, 2012
This paper shows equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in LR, the deterministic call-by-need lambda calculus with letrec extended by data constructors, case ...
Sabel, David, Schmidt-Schauß, Manfred, Machkasova, Elena   +2 more
core  

Antegrade flexible ureteroscopic lithotripsy with suctioning ureteral access sheath for large distal ureteral stones in neobladder patients: A case report

Urology Case Reports
The use of suctioning ureteral access sheaths (sUAS) in endoscopic stone surgery provides significant advantages for retrograde procedures, including enhancing stone-free outcomes, shortening hospitalization stay, and lowering the incidence of infection.
Thanakorn Pattamawalai, Kun Sirisopana, Surawach Piyawannarat, Premsant Sangkum, Wisoot Kongchareonsombat, Chinnakhet Ketsuwan   +5 more
doaj   +1 more source

Calculus-related functional protein expression in ureteral calculus-adhered polyp: A preliminary study. [PDF]

Medicine (Baltimore), 2021
Li M, Zhang H, Jiang D, Li L, Liu X, Zhao X, Ye D, Ni Y.   +7 more
europepmc   +1 more source

Combination of transurethral resection of the prostate and flexible and rigid ureteroscopy for benign prostatic hyperplasia and ureteral calculus. [PDF]

Transl Androl Urol, 2021
He K, Liu Y, Li D, Yu Q.
europepmc   +1 more source

Management of proximal ureteral stones - comparison of outpatient ureterolithotripsy with in-situ shock wave lithotripsy (SWL)

Indian Journal of Urology, 2003
Objectives: The aim of this study is to review the feasi-bility and effectiveness of ureteroscopy with intracorporeal lithotripsy under intravenous sedation on outpatient basis as a primary procedure in patients with proximal ureteral calculi and its ...
Harbans Singh, Vipul Tandon, U S Dwivedi, Mufti Mahmood, Arif Hamid, Gopi Kishore, P B Singh   +6 more
doaj  

Robotic-assisted ileal ureter reconstruction: step-by-step guide

Urology Video Journal
Urolithiasis is one of the most common causes of urology consultation. Management for ureteral stones 10 mm, or complicated (obstructed or infected), definitive treatment may involve ureteroscopy, shock-wave lithotripsy, percutaneous nephrolithotripsy ...
F. Eskenazi, A. Ardiles, L. Fumero, N. Otaño, L. Galvis, O. Rodriguez, R. Sotelo   +6 more
doaj   +1 more source

A Calculus of Trust Management

, 2004
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its legal behaviour, and with a protocol, which allows interactions between ...
Carbone, M., Nielsen, M., Sassone, V.
core  

Ureterolithotripsy for a Ureteral Calculus at the Ureteroureterostomy of a Renal-transplant Recipient

We describe a 40-year-old living-donor renal-transplant recipient who underwent successful ureterolithotripsy. He had been on hemodialysis for >15 years pre-transplant and underwent ureteroureterostomy along with the surgery.
Kobayashi, Yasuyuki, Watanabe, Toyohiko, Nasu, Yasutomo, Yoshioka, Takashi, Nishimura, Shingo, Sasaki, Katsumi, Mitsui, Yosuke, Araki, Motoo, Ariyoshi, Yuichi, Wada, Koichiro   +9 more
core  

Stented and Non-Stented Techniques in Extracorporeal Shock Wave Lithoplasty for Upper Ureteral Stones

Greenfort International Journal of Applied Medical Science
Background and Objectives: Extra corporeal shock wave lithotripsy (ESWL) is a non-invasive technique for treating patients with renal calculi. It fragments the stone to smaller size which ease its passage through distal urinary tracts.
S.M Yunus Ali, Md. Saiful Islam, Md. Saiful Islam, Salma Jahan, Sayem Al Munsur Faizi, Ziaur Rahman, A K Al Miraj   +6 more
doaj   +1 more source

EXPTIME Tableaux for the Coalgebraic Mu-Calculus

, 2009
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk, Cirstea, Corina, Kupke, Clemens   +2 more
core   +1 more source