Results 91 to 100 of about 2,493,519 (340)
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source
Compiler-aided Type Tracking for Correctness Checking of MPI Applications
, 2018 MUST, a dynamic MPI correctness checker, is extended with a type and memory allocation tracking sanitizer called TypeART for C/C++ codes based on the LLVM compiler framework.
Protze, Joachim +13 more
core +1 more source
Thinking of Political Correctness With Its Opposite: Anti – Political Correctness
, 2023 1960’ların sonlarında Amerikan Üniversitelerinde ilk olarak ortaya çıktığında Politik doğruculuk kavramı, en genel haliyle konuşurken ve davranışlarımızla başta etnik, dinsel, kültürel ve cinsel azınlıkları olmak üzere başkalarını incitecek ifade ve ...
Kumtepe, Mehmet Akif +1 more
core +1 more source
An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane
FEBS Letters, EarlyView.Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa +3 more
wiley +1 more source
Reasoning about Protocols using Dijkstra’s Calculus
Journal of Computer Science and Technology, 2004 A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for this purpose. It is demonstrated that
Awadhesh Kumar Singh +1 more
doaj
Validation of an in vitro biological method for filgrastim potency assessment
Биопрепараты: Профилактика, диагностика, лечениеINTRODUCTION. Filgrastim is a human granulocyte colony-stimulating factor produced using recombinant DNA technology. Since filgrastim quality control necessitates a validated method, establishing the entire method validation parameters is of high ...
L. A. Gaiderova +5 more
doaj +1 more source
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
On correctness of buffer implementations in a concurrent lambda calculus with futures
, 2009 Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other.
Sabel, David +3 more
core
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source