Results 191 to 200 of about 25,817 (283)
Construction of sequent calculi of composition-nominative multimodal logics
In this paper first-order composition-nominative multimodal logics of quantifier-equational level are studied. For these logics sequent calculi are constructed. Soundness and completeness theorems are proved for the defined calculi.
Shkilniak, O.S.
core
Evaluating the effect of γ‐oryzanol on MASLD pathology using a medaka fish model
FEBS Open Bio, EarlyView.This study explores a liver disease called MASLD, which is increasing worldwide and can lead to serious damage. Researchers used medaka fish instead of rodents to test a food compound, γ‐oryzanol. Fish fed this compound had less liver fat and healthier gut bacteria.
Yukako Ito +7 more
wiley +1 more source
Proof theory for locally finite many-valued logics: Semi-projective logics.
Theor Comput Sci, 2013 Ciabattoni A, Montagna F.
europepmc +1 more source
Ultrasonography compared with intravenous urography in investigation of urinary tract infection in adults. [PDF]
BMJ, 1990 Spencer J, Lindsell D, Mastorakou I.
europepmc +1 more source
FEBS Open Bio, EarlyView.KDAC6 has been associated with cell motility and actin structures, but specific domain contributions are not established. The two catalytic domains have differential effects on motility and F‐actin regulation, affecting cortical F‐actin density, motility, stress fibers, and cell spreading.
Taylor V. Joseph +7 more
wiley +1 more source
Accurate and noninvasive prostate cancer detection using plasma‐derived extracellular vesicle RNA
FEBS Open Bio, EarlyView.Plasma extracellular vesicles were captured with WGA‐conjugated magnetic beads and profiled for RNA biomarkers. A three‐RNA panel (NM_024955, NR_047469, and NR_002564) distinguished prostate cancer from healthy controls and benign prostatic hyperplasia, supporting a simple, noninvasive approach to improve prostate cancer detection.
Hanping Wei, Haoran Wu, Wei Feng
wiley +1 more source
Identification of (20R)‐protopanaxadiol from Panax ginseng as a novel anti‐SARS‐CoV‐2 compound
FEBS Open Bio, EarlyView.We established a noninfectious BAC‐based SARS‐CoV‐2 replicon that enables antiviral screening under BSL‐2 conditions. Using this platform, we screened 373 food‐derived compounds and identified (20R)‐protopanaxadiol from Panax ginseng as a novel inhibitor of SARS‐CoV‐2 RNA replication, highlighting the value of safe replicon systems for antiviral ...
Midori Takeda +4 more
wiley +1 more source