Results 131 to 140 of about 167,596,152 (287)
A Study on Completeness and Soundness of the Connection Graph Proof Procedure [PDF]
, 2006 P(論文)In 1975, R. A. Kowalski introduced the connection graph proof procedure, and in 1981 W. Bibel proved that it is complete and sound. The purpose of this paper is to show concrete examples of completeness and soundness in propositional logic.
265 +3 more
core
Epigenetic reprogramming of lineage switching in cancer
FEBS Letters, EarlyView.Cancer cells rarely commit to a single identity. Epigenetic mechanisms and tumor microenvironment cues push epithelial cells toward flexible, hybrid states that can shift into mesenchymal, neuroendocrine, or stem‐like fates, driving metastasis, drug resistance, and tumor heterogeneity. Targeting the epigenetic regulators behind these transitions, using
Ezgi Boyvatlı +4 more
wiley +1 more source
Arizona Agricultural Statistics bulletin
This title contains one or more publications. These publications are available in print format from the Arizona State Library and Archives' State Documents collection, beginning with 1867.
United States Department of Agriculture; Statistical Reporting Service
core
FEBS Letters, EarlyView.This review focuses on the role of autophagy and mitophagy in maintaining pancreatic β‐cell function and homeostasis. We discuss how genetic defects affecting these pathways contribute to the development of type 1, type 2, monogenic, and gestational diabetes. We further explore their potential as therapeutic targets. Created in BioRender.
Yunkyeong Lee +2 more
wiley +1 more source
The influence of structured reporting on the accuracy of head and neck sonographies
Scientific ReportsThe use of structured reports (SR) has been shown to improve report completeness, time efficiency and interrater reliability in head and neck sonography (HNS).
Johannes Matthias Weimer +9 more
doaj +1 more source
COMPLETE AVULSION OF THE SCALP WITH A REPORT OF A CASE
Annals of Surgery, 1914 n ...
openaire +3 more sources
Golgi enzymes are retrieved from the plasma membrane to the trans‐Golgi network
FEBS Letters, EarlyView.Golgi enzymes are traditionally considered resident proteins retained within the Golgi apparatus. Here, we demonstrate that a subset transiently reaches the cell surface and is subsequently retrieved to the trans‐Golgi network via retrograde transport. Using a nanobody‐based toolkit, we uncover a dynamic trafficking cycle of several Golgi enzymes.
Dominik P. Buser, Tina Junne
wiley +1 more source
FEBS Letters, EarlyView.Obesity raises blood levels of PAI‐1, a protein linked to metabolic dysfunction‐associated steatotic liver disease in people with obesity. In female mice fed a high‐fat diet, partially lowering PAI‐1 led to smaller subcutaneous fat cells and lower liver cholesterol, without changing body weight or insulin sensitivity.
Claudia E. Ramirez Bustamante +10 more
wiley +1 more source
Emerging experimental and computational methods for studying redox‐regulated structural transitions
FEBS Letters, EarlyView.Redox reactions can reshape proteins and alter how they behave in cells, with important consequences for health and disease. This review explores emerging experimental and computational approaches for discovering these redox‐sensitive protein switches, revealing their structural effects, and predicting their behavior, opening new opportunities to ...
Tasneem Rass +2 more
wiley +1 more source