Results 131 to 140 of about 173,804,276 (284)

Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells

FEBS Open Bio, EarlyView.
Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim, Marco Corazzari, Iman Osman, Jane Armstrong, Noel Carter   +4 more
wiley   +1 more source

Provability Calculus of Constructions

, 1999
This thesis presents a type system, Provability Calculus of Constructions (PCoC) that can be used for the formalization of logic. In a theorem prover based on the system, the user can extend the prover with new inference rules in a logically consistent ...
Nyblad, Kasten
core  

Yeast Gcn2 retains activity following humanization of its auto‐phosphorylation region

FEBS Open Bio, EarlyView.
Using Saccharomyces cerevisiae as a model to study Gcn2 activation and regulation is limited by the lack of antibodies detecting phosphorylated Gcn2. To overcome this, we engineered Gcn2‐HsC, a yeast Gcn2 variant recognizable by commercial anti‐human phospho‐GCN2 antibodies.
Reuben A. Anderson, Anja H. Schiemann, Evelyn Sattlegger   +2 more
wiley   +1 more source

MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis

FEBS Open Bio, EarlyView.
MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss, Ao Li, Eduardo H. Gilglioni, Mayank Bansal, Sumeet Pal Singh, Latifa Bakiri, Alessandra K. Cardozo, Esteban N. Gurzov   +7 more
wiley   +1 more source

Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) [PDF]

, 2009
We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions for the propositional linear-time temporal logic.
Bolotov, A., Grigoriev, O.
core  

Importin 7 mediates the nuclear import of HIV‐1 integrase via a specific interacting interface

FEBS Open Bio, EarlyView.
HIV‐1 integrase enables viral DNA integration into the host genome. By binding to the core domain of the host protein Importin 7 via its C‐terminal domain, the integrase is transported across the nuclear membrane into the nucleus, where integration of the viral genome into host DNA takes place. This translocation is a critical step for subsequent viral
Juana Bana, Avigail Yariv, Tal Oppenheim, Hadar Amartely, Dana Reichmann, Oded Livnah   +5 more
wiley   +1 more source

Unification and Anti-Unification in the Calculus of Constructions

, 2008
We present algorithms for unification and antiunification in the Calculus of Constructions, where occurrences of free variables (the variables subject to instantiation) are restricted to higher-order patterns, a notion investigated for the simply-typed λ-

core  

Dose‐dependent hepatotoxicity of hydrogen peroxide in HepG2 cells and its modulation by CYP450 induction

FEBS Open Bio, EarlyView.
NMR metabolomics revealed concentration‐dependent metabolic perturbations in HepG2 cells exposed to H2O2. Rifampicin pretreatment enhanced metabolic competence, attenuated toxin‐induced alterations and produced metabolite profiles more consistent with human liver physiology, supporting the use of CYP450‐induced HepG2 models for improved in vitro ...
Maren Jinks, Garth L. Maker, Emily C. Davies, Berin A. Boughton, Samantha Lodge   +4 more
wiley   +1 more source

KDAC6 alters cell morphology and motility through positive and negative modulation of F‐actin distribution

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, Andrea B. Pham, Kiara E. Bornes, Razan H. Hammad, Chelsea A. Rousseve‐Ross, Thomas M. Huckaba, Terry J. Watt, Tasha B. Toro   +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