Results 41 to 50 of about 26,719 (309)
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 +9 more
wiley +1 more source
An inverse of the evaluation functional for typed Lambda-calculus [PDF]
, 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
A new concept of q-calculus with respect to another function
Journal of Innovative Applied Mathematics and Computational SciencesIn this paper, we present an approach to quantum calculus and its applications through a functional method. This approach enables the exploration of the number-theoretic properties of q-calculus in a functional framework, facilitating the modification ...
Shrinath Manjarekar, Hossein Jafari
doaj +1 more source
Density estimates for the exponential functionals of fractional Brownian motion
Comptes Rendus. Mathématique, 2022 In this note, we investigate the density of the exponential functional of the fractional Brownian motion. Based on the techniques of Malliavin’s calculus, we provide a log-normal upper bound for the density.
Tien Dung, Nguyen +2 more
doaj +1 more source
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
Reduction in a linear lambda-calculus with applications to operational semantics
, 2005 We study beta-reduction in a linear lambda-calculus derived from Abramsky's linear combinatory algebras. Reductions are classified depending on whether the redex is in the computationally active part of a term ("surface" reductions) or whether it is ...
Simpson, Alexander, Alex Simpson
core +1 more source
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
Functional Differential Equations Involving the ψ-Caputo Fractional Derivative
Fractal and Fractional, 2020 This paper is devoted to the study of existence and uniqueness of solutions for fractional functional differential equations, whose derivative operator depends on an arbitrary function.
Ricardo Almeida
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
A Calculus of Mobile Resources
, 2002 We introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se.
Godskesen, J.Chr. +8 more
core +1 more source