Results 41 to 50 of about 896,089 (265)
, 2007 This paper investigates an approach to substitution alternative to the implicit treatment of the $\lambda$-calculus and the explicit treatment of explicit substitution calculi. In this approach, substitutions are delayed (but not executed) explicitly.
openaire +2 more sources
Think Again: Higher Elasticity of Substitution Increases Economic Resilience [PDF]
This paper shows that, counter-intuitively, a higher elasticity of substitution in model production function can lead to reduced economic resilience and larger vulnerability to shocks in production factor prices.
P. Dumas, S. Hallegatte
core
The human gut microbiome across the life course
FEBS Letters, EarlyView.Despite significant individual variation and continuous change throughout life, the human gut microbiome follows some life stage‐specific trends. This article provides a brief overview of how gut microbiome composition shifts across different phases of life. Created in BioRender. Özkurt, E. (2026) https://BioRender.com/8q4nrnc.
Alise J. Ponsero +4 more
wiley +1 more source
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
Currency Substitution in the Transition Economy : A Case of the Czech Republic 1993-2001 [PDF]
Currency substitution appears to be an important issue affecting the design of monetary policy, especially in transition economies. Therefore, this paper strives to analyze the particular relevance of a currency substitution phenomenon for the Czech ...
Melecký Martin, Komárek Luboš
core
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
The ubiquitin‐proteasome system and autophagy as guardians of the cellular proteome
FEBS Letters, EarlyView.This Perspective covers the three principles governing the crosstalk between the ubiquitin‐proteasome system and autophagy in cellular proteostasis: (1) a shared ubiquitin code routing substrates via shuttle factors or autophagy receptors; (2) spatial compartmentalization into phase‐separated degradation hubs and organelle‐specific modules (exemplified
Ivan Dikic
wiley +1 more source
Elasticities of Substitution and Complementarity [PDF]
This paper is a modern synthesis of the more than seventy years of literature on the elasticity of substitution. At times, authors, such as Mundlak, have provided syntheses of the literature but these often seem to be forgotten by later authors and ...
David I. Stern
core
FEBS Letters, EarlyView.An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley +1 more source
Theoretical Computer Science, 1988 Always renaming bound variables and doing this in parallel with substitution we obtain simultaneous substitution which is defined in the paper for untyped lambda-calculus (in my opinion, everything must hold also for typed lambda-calculus). Theorems relating substitution and alpha-congruence are proved, as well as the substitution lemma of denotational
openaire +2 more sources