Results 121 to 130 of about 828,996 (313)
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
Chicago Summer Institute 2012 - Truth, and Verification
, 2010 A PowerPoint presentation on the lesson on "Truth and Verification." Topics include: how journalist's pursue truth, what is truth, the verification process and how it works, kinds evidence consumers should look for, lessons for the news consumer, truth ...
Stony Brook University. School of Journalism. Center for News Literacy.
core
Exploiting Synchrony and Symmetry in Relational Verification
, 2018 Relational safety specifications describe multiple runs of the same program or relate the behaviors of multiple programs. Approaches to automatic relational verification often compose the programs and analyze the result for safety, but a naively composed
Grigory Fedyukovich +5 more
core +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
Approximation Based Safety and Stability Verification of Hybrid Systems
, 2011 "With the advent of computers to control various physical processes, there has emerged a new class of systems which contain tight interactions between the ""discrete"" digital world and the ""continuous"" physical world. These systems which exhibit mixed
Prabhakar, Pavithra
core
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
Verification and validation of knowledge-based systems with an example from site selection. [PDF]
In this paper, the verification and validation of Knowledge-Based Systems (KBS) using decision tables (DTs) is one of the central issues. It is illustrated using real-market data taken from industrial site selection problems.One of the main problems of ...
Vanthienen, Jan, Wets, G, Witlox, Frank
core
UVM-SystemC: Migrating complex verification environments
, 2022 UVM-SystemC is an implementation of the UVM standard for SystemC and is based on the donation of a proof-ofconcept UVM implementation in SystemC to Accellera in 2014.
Gerth, Stephan, Madhukumar, Akhila
core
FEBS Letters, EarlyView.This study reveals that the small GTPase Rab14 is necessary for human papillomavirus (HPV) infection and plays an essential role in the transport of virions to the trans‐Golgi network (TGN). HPV in the early endosome (EE), which harbors GTP‐bound Rab14, is transported to the TGN through the switch of Rab14 from its GTP‐bound to GDP‐bound form.
Yoshiyuki Ishii, Iwao Kukimoto
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