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

open access: yesFEBS Letters, EarlyView.
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]

open access: yes, 2007
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

open access: yesFEBS Letters, EarlyView.
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]

open access: yes, 2006
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

open access: yesMolecular Oncology, EarlyView.
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]

open access: yes, 2007
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  

Circular RNA expression landscapes in myelodysplastic neoplasms: Associations with mutational signatures and disease progression

open access: yesMolecular Oncology, EarlyView.
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]

open access: yes, 1991
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

open access: yesKarpatsʹkì Matematičnì Publìkacìï, 2009
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

open access: yesScience of Computer Programming, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Frédéric Loulergue   +2 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy