Results 91 to 100 of about 3,210,715 (302)
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
Program transformation for functional circuit descriptions [PDF]
We model sequential synchronous circuits on the logical level by signal-processing programs in an extended lambda calculus Lpor with letrec, constructors, case and parallel or (por) employing contextual equivalence. The model describes gates as (parallel)
Sabel, David +3 more
core
A context‐dependent modulatory role for eIF6 in acquired resistance to vemurafenib in melanoma
Acquired resistance to vemurafenib upregulates the translation factor eIF6 in melanoma cells. Silencing eIF6 in resistant cells reduces proliferation and partially restores drug sensitivity, whereas its overexpression increases sensitivity across melanoma lines regardless of BRAF status, via modulation of mTOR, S6K, and MAPK signaling.
George Kyriakopoulos +9 more
wiley +1 more source
Program equivalence for a concurrent lambda calculus with futures [PDF]
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Sabel, David +3 more
core
The role of miR‐335‐5p in the redifferentiation of BRAF p.V600E thyroid cancers
The BRAF p.V600E mutation promotes thyroid cancer dedifferentiation and radioiodine resistance. Using a network approach, we identified miR‐335‐5p as a key regulator of BRAF‐mutated thyroid tumors. Restoring miR‐335‐5p increased thyroid‐specific gene expression and iodine uptake in cells and organoids.
Valeria Pecce +11 more
wiley +1 more source
Was the Early Calculus an Inconsistent Theory? [PDF]
The ubiquitous assertion that the early calculus of Newton and Leibniz was an inconsistent theory is examined. Two different objects of a possible inconsistency claim are distinguished: (i) the calculus as an algorithm; (ii) proposed explanations of the ...
Vickers, Peter
core
In this explorative study, the abundance of circular RNA molecules in bone marrow stem cells was found to be elevated in patients with high‐risk myelodysplastic neoplasms, and to be associated with an increased risk of progression to acute myeloid leukemia.
Eileen Wedge +17 more
wiley +1 more source
An inverse of the evaluation functional for typed Lambda-calculus [PDF]
In any model of typed λ-calculus conianing some basic arithmetic, a functional p - * (procedure—* expression) will be defined which inverts the evaluation functional for typed X-terms, Combined with the evaluation functional, p-e yields an efficient ...
Vermuri, R. +2 more
core +1 more source
Particular case of operator calculus for generalized functions with supports in cone
In this work the construction of functional calculus for strongly continuous semigroups of operators in Schwartz distribution algebra on some cone is generalized.
A. V. Solomko
doaj
A calculus of functional BSP programs
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Frédéric Loulergue +2 more
openaire +2 more sources

