Results 71 to 80 of about 6,665 (300)
Lazy Evaluation and Delimited Control [PDF]
Logical Methods in Computer Science, 2010 The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics.
Ronald Garcia +2 more
doaj +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
Communicating quantum processes [PDF]
, 2005 We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation.
Simon J. Gay +5 more
core +1 more source
A Survey on Orthogonal Polynomials from a Monomiality Principle Point of View
EncyclopediaThis survey highlights the significant role of exponential operators and the monomiality principle in the theory of special polynomials. Using operational calculus formalism, we revisited classical and current results corresponding to a broad class of ...
Clemente Cesarano +2 more
doaj +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
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
Program equivalence for a concurrent lambda calculus with futures
, 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
Fractional calculus of periodic distributions
, 2011 Two approaches for defining fractional derivatives of periodic distributions are presented. The first is a distributional version of the Weyl fractional derivative in which a derivative of arbitrary order of a periodic distribution is defined via Fourier
Lamb, Wilson +5 more
core +1 more source
FEBS Letters, EarlyView.Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source
Structural operational semantics for stochastic and weighted transition systems
, 2013 We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Klin, Bartek, Sassone, Vladimiro
core +1 more source