Buscar
Mostrando ítems 21-30 de 402
Scintigraphy and Doppler ultrasonography for the evaluation of obstructive urinary calculi
(Associação Brasileira de Divulgação Científica, 2001-06-01)
Forty-seven patients with unilateral obstructive calculi (12 males and 35 females) were submitted to 99mTc-diethylene triamine pentaacetic acid (DTPA) or 99mTc-dimercaptosuccinic acid (DMSA) scans for assessment of renal ...
Internal proof calculi for modal logics with separating conjunction
(Oxford University Press, 2021-04)
Modal separation logics are formalisms that combine modal operators to reason locally, with separating connectives that allow to perform global updates on the models. In this work, we design Hilbert-style proof systems for ...
A general overview of formal languages for individual-based modelling of ecosystems
(Elsevier BV, 2019-04-01)
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct ...
A general overview of formal languages for individual-based modelling of ecosystems
(Elsevier BV, 2019-04-01)
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct ...
Ureteroscopy in Pregnant Women for Ureteral Stone
(Mary Ann Liebert, Inc., 2009-03-01)
Introduction: The occurrence of urolithiasis in pregnancy represents a challenge in both diagnosis and treatment of this condition, because it presents risks not only to the mother but also to the fetus. Surgical treatment ...
Ureteroscopy in Pregnant Women for Ureteral Stone
(Mary Ann Liebert, Inc., 2009-03-01)
Introduction: The occurrence of urolithiasis in pregnancy represents a challenge in both diagnosis and treatment of this condition, because it presents risks not only to the mother but also to the fetus. Surgical treatment ...