Results 101 to 110 of about 4,730,267 (305)
Reverse Mathematics and parameter-free Transfer
, 2018 Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's axiomatic approach to Nonstandard Analysis, have been proposed.
Berg, Benno van den, Sanders, Sam
core +1 more source
FEBS Letters, EarlyView.Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
An extensible benchmark and tooling for comparing reverse engineering approaches [PDF]
, 2015 Various tools exist to reverse engineer software source code and generate design information, such as UML projections. Each has specific strengths and weaknesses, however no standardised benchmark exists that can be used to evaluate and compare their ...
Cutting, David, Noppen, Joost
core
Reverse engineering small 4-manifolds
, 2010 We introduce a general procedure called `reverse engineering' that can be used to construct infinite families of smooth 4-manifolds in a given homeomorphism type.
B Doug Park +5 more
core +1 more source
Clinical Medicine Insights: Cardiology, 2015 Cardiomyopathies (CMs) have many etiological factors that can result in severe structural and functional dysregulation. Fortunately, there are several potentially reversible CMs that are known to improve when the root etiological factor is addressed. In this article, we discuss several of these reversible CMs, including tachycardia-induced, peripartum,
Harsh Patel +4 more
openaire +4 more sources
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
Honeypot-powered Malware Reverse Engineering
, 2016 Honeypots, i.e. networked computer systems specially designed and crafted to mimic the normal operations of other systems while capturing and storing information about the interactions with the world outside, are a crucial technology into the study of ...
Bombardieri, Michele +4 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
On a more accurate Hardy-Mulholland-type inequality
Journal of Inequalities and Applications, 2017 By using the way of weight coefficients, the technique of real analysis, and Hermite-Hadamard’s inequality, a more accurate Hardy-Mulholland-type inequality with multi-parameters and a best possible constant factor is given.
Bicheng Yang, Qiang Chen
doaj +1 more source
Reversible bronchiectasis [PDF]
Thorax, 2021 Chuan Tai Foo, Sumit Karia, Jurgen Herre
openaire +2 more sources