Results 71 to 80 of about 590,012 (309)

Age‐ and disease‐specific reference values for neurofilament light presented in an online interactive support interface

Annals of Clinical and Translational Neurology, 2022
Interpretation of axonal damage biomarker Neurofilament Light chain (NfL) concentrations is difficult due to the lack of age‐specific and disease‐specific reference values.
Lisa Vermunt, Marco Otte, Inge M. W. Verberk, Joep Killestein, Afina W. Lemstra, Wiesje M. van derFlier, Yolande A. L. Pijnenburg, Everard G. B. Vijverberg, Femke H. Bouwman, Gido Gravesteijn, Wilma D. J. van deBerg, Philip Scheltens, Argonde C. vanHarten, Eline A. J. Willemse, Charlotte E. Teunissen   +14 more
doaj   +1 more source

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

FEBS Letters, EarlyView.
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley   +1 more source

An efficient, parametric fixpoint algorithm for analysis of java bytecode

, 2007
interpretation has been widely used for the analysis of object-oriented languages and, in particular, Java source and bytecode. However, while most existing work deals with the problem of flnding expressive abstract domains that track accurately the ...
Mario Méndez, Manuel V. Hermenegildo, Navas, J., Hermenegildo, Manuel V., Navas, Jorge, Méndez-Lojo, Mario, Méndez, Mario, Jorge Navas   +7 more
core   +1 more source

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

FEBS Letters, EarlyView.
In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode

, 2002
We present an approach enabling end-users to prove security properties of the Java bytecode by statically analysing the code itself, thus eliminating the run time check for the access permission. The approach is based on the combination of two well-known
DE FRANCESCO, NICOLETTA, Cinzia Bernardeschi, BERNARDESCHI, CINZIA, Nicoletta De Francesco   +3 more
core   +1 more source

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, Mihály Mérey, Rebeka Vásárhelyi, Ramóna Pék, Victor Imburchia, László Henn, Adrián Kószó, Nicholas D. Lakin, Ivan Ahel, Sébastien Huet, Ágnes Czibula, Gyula Timinszky   +11 more
wiley   +1 more source

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language [PDF]

Logical Methods in Computer Science
We introduce an extension of first-order logic that comes equipped with additional predicates for reasoning about an abstract state. Sequents in the logic comprise a main formula together with pre- and postconditions in the style of Hoare logic, and the ...
Thomas Powell
doaj   +1 more source

Abstract Interpreters for Free [PDF]

, 2010
In small-step abstract interpretations, the concrete and abstract semantics bear an uncanny resemblance. In this work, we present an analysis-design methodology that both explains and exploits that resemblance. Specifically, we present a two-step method to convert a smallstep concrete semantics into a family of sound, computable abstract ...
openaire   +1 more source

pH‐mediated activation of the lysosomal arginine sensor SLC38A9

FEBS Letters, EarlyView.
Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley   +1 more source

The Best of Abstract Interpretations

Proceedings of the ACM on Programming Languages
We study “ the best of abstract interpretations ”, that is, the best possible abstract interpretations of programs. Abstract interpretations are inductively defined by composing abstract transfer functions for the basic commands, such as assignments and Boolean guards.
Roberto Giacobazzi, Francesco Ranzato
openaire   +1 more source