Results 81 to 90 of about 89,630 (300)
A vesicocutaneous fistula secondary to bladder calculi in a patient with spina bifida
Journal of Surgical Case Reports, 2010 We present a rare case of a vesicocutaneous fistula secondary to two large bladder calculi in a patient with spina bifida. A 62 year old lady presented with swelling of her right thigh and a calcified mass protruding through the subcutaneous tissues of ...
Jonathan D Horsnell, Richard B Kinder
doaj
A Histomorphological Pattern of Gallbladder Lesions in a Tertiary Hospital in Southwestern Nigeria: A Retrospective Descriptive Study [PDF]
Rwanda Medical Journal, 2021 BACKGROUND: The gallbladder is one of the most common specimens encountered in the surgical pathology laboratory, and gallstone related diseases are among the most common medical problems requiring surgical intervention.
M. A. Ajani et al.
doaj
Twisting of quantum differentials and the Planck scale Hopf algebra
, 1998 We show that the crossed modules and bicovariant different calculi on two Hopf algebras related by a cocycle twist are in 1-1 correspondence. In particular, for quantum groups which are cocycle deformation-quantisations of classical groups the calculi ...
Majid, Shahn, Oeckl, Robert
core +1 more source
Structural biology of ferritin nanocages
FEBS Letters, EarlyView.Ferritin is a conserved iron‐storage protein that sequesters iron as a ferric mineral core within a nanocage, protecting cells from oxidative damage and maintaining iron homeostasis. This review discusses ferritin biology, structure, and function, and highlights recent cryo‐EM studies revealing mechanisms of ferritinophagy, cellular iron uptake, and ...
Eloise Mastrangelo, Flavio Di Pisa
wiley +1 more source
Outcomes of flexible ureteroscopic lithotripsy with holmium laser for upper urinary tract calculi
International Brazilian Journal of Urology, 2008 OBJECTIVE: To assess the perioperative and financial outcomes of flexible ureteroscopic lithotripsy with holmium laser for upper tract calculi in 44 patients.
Marcello Cocuzza +6 more
doaj +1 more source
Tool support for reasoning in display calculi [PDF]
, 2016 We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
Distilling Abstract Machines (Long Version) [PDF]
, 2014 It is well-known that many environment-based abstract machines can be seen as strategies in lambda calculi with explicit substitutions (ES). Recently, graphical syntaxes and linear logic led to the linear substitution calculus (LSC), a new approach to ES
Accattoli, Beniamino +2 more
core
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
A Fully Abstract Symbolic Semantics for Psi-Calculi
, 2010 We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics.
A. M. Pitts +26 more
core +3 more sources