Results 81 to 90 of about 10,035,291 (332)
Logical closure properties of propositional proof systems - (Extended abstract) [PDF]
, 2008 In this paper we define and investigate basic logical closure properties of propositional proof systems such as closure of arbitrary proof systems under modus ponens or substitutions.
Beyersdorff, O
core +1 more source
The characterizations of upper approximation operators based on special coverings
Open Mathematics, 2017 In this paper, we discuss the approximation operators apr¯NS${\overline {apr} _{NS}}$ and apr¯S${\overline {apr} _S}$ which are based on NS(U) and S.
Wang Pei, Li Qingguo
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
On Closure Properties of #P in the Context of PF ° #P
Journal of computer and system sciences (Print), 1996 For any operator?on integer-valued functions, we say that #P isclosed under ? in the context ofPF?#P if, for everyf?#P,?f] belongs to PF?num;P. For several operators?, it is shown that the closure properties of #P under?in the above sense is closely ...
Mitsunori Ogihara +3 more
semanticscholar +1 more source
Biophysical approaches for studying viral entry
FEBS Letters, EarlyView.Viruses infect all living organisms and have been responsible for major epidemics and pandemics. Their ongoing evolutionary battle with host defenses creates a constant need for improved tools to study viral behavior. Advancing methods to probe viral attachment, fusion, and genome release deepen our understanding of how infections begin and support the
Inbar Yosibash, Raya Sorkin
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
The European Journal of Humour Research, 2018 Three related studies are presented with the aim of investigating the individual differences in humour appreciation, sensation seeking and need for closure.
Filip Sulejmanov +2 more
doaj +1 more source
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
Closure properties of cellular automata
Theoretical Computer Science, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source