Results 51 to 60 of about 1,901,215 (265)
Summary This article generalizes the differential method on intervals, using the Mizar system [2], [3], [12]. Differentiation of real one-variable functions is introduced in Mizar [13], along standard lines (for interesting survey of formalizations of real analysis in various proof-assistants like ACL2 [11], Isabelle/HOL [10], Coq [4],
openaire +2 more sources
ABSTRACT Introduction Pre‐dilution online hemodiafiltration (Pre‐HDF) is predominantly used in Japan, whereas post‐dilution online HDF (Post‐HDF) is more common in Europe. An asymmetric cellulose triacetate (ATA) membrane may improve biocompatibility.
Kenji Sakurai +4 more
wiley +1 more source
Restoration of CpG Methylation in The Egf Promoter Region during Rat Liver Regeneration
Epidermal growth factor (EGF) is an important factor for healing after tissue damage in diverse experimental models. It plays an important role in liver regeneration (LR).
Deming Li +3 more
doaj
Single-molecule imaging of transcription dynamics, RNA localization and fate in human T cells
T cells are critical effector cells counteracting infections and malignancies. To achieve this, they produce pro-inflammatory cytokines, including IFN-γ and TNF.
M Valeria Lattanzio +9 more
doaj +1 more source
Retinitis pigmentosa (RP), an inherited retinal disorder, leads to progressive photoreceptor degeneration and irreversible blindness, with limited treatment options available. Emerging evidence implicates microRNAs (miRNAs) in the pathogenesis of retinal
Na Yang +8 more
doaj +1 more source
The blood-brain barrier (BBB) is composed of four cell populations, brain endothelial cells (BECs), pericytes, neurons, and astrocytes. Its role is to precisely regulate the microenvironment of the brain through selective substance crossing.
Kohei Yamamizu +10 more
doaj +1 more source
The Wnt Inhibitory Factor 1 (Wif1), known to inhibit Wnt signaling pathways, is composed of a WIF domain and five EGF-like domains (EGF-LDs) involved in protein interactions.
Florian Pennarubia +6 more
doaj +1 more source
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Background: Heat-processed ginseng, sun ginseng (SG), has been reported to have improved therapeutic properties compared with raw forms, such as increased antidiabetic, anti-inflammatory, and antihyperglycemic effects.
Hyejin Lee +5 more
doaj +1 more source
Differential evolution with generalized differentials
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source

