Results 31 to 40 of about 3,277,763 (307)

Dynamic Equivalence of Control Systems and Infinite Permutation Matrices [PDF]

, 2019
To each dynamic equivalence of two control systems is associated an infinite permutation matrix. We investigate how such matrices are related to the existence of dynamic equivalences.
Stackpole, M.W., Hu, Y., Clelland, Jeanne, Hu, Yuhao, Clelland, J.N., Stackpole, Matthew W   +5 more
core   +1 more source

Grammatical Equivalence between the Egyptian Novel A¼Gram and its English Translation

Al-Mağallah Al-ʿilmiyyaẗ Li Kulliyyaẗ Al-Adāb - Ǧāmiʿaẗ Asyūṭ
Grammatical equivalence refers to the degree to which a target text [TT] maintains the grammatical structure of the source text [ST] while maintaining meaning.
Hagar Muhammad Ashraf, Marwa Mostafa Abdel-Muttalib, Lobna Muhammad Shaddad   +2 more
doaj   +1 more source

Dynamically Equivalent Disjunctive Networks

Theoretical Computer Science
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aracena, Julio, Cabrera-Crot, Luis, Richard, Adrien, Salinas, Lilian   +3 more
openaire   +5 more sources

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, Masatomo So, Ayako Furukawa, Kenji Sugase   +3 more
wiley   +1 more source

Salmonella lipopolysaccharide‐containing supported lipid bilayers as platforms to study bacteriophage interactions

FEBS Letters, EarlyView.
We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace, Alyssa Borges, Charles Arnaud, Tove Karlsson, Nina K. Bröker, Stefanie Barbirz, Marta Bally   +6 more
wiley   +1 more source

Trace Equivalence Decision: Negative Tests and Non-determinism [PDF]

, 2011
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-type properties, like anonymity, vote-privacy, and unlinkability.
Hubert Comon-Lundh, Stéphanie Delaune, Cheval, Vincent, Delaune, Stéphanie, Vincent Cheval, Comon-Lundh, Hubert   +5 more
core   +1 more source

Microbiome−host proteostasis crosstalk—An emerging perspective on mechanisms and interventions toward healthy longevity

FEBS Letters, EarlyView.
Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley   +1 more source

Combinational Equivalence Checking Using Satisfiability and Recursive Learning

, 1999
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been proposed for solving this problem.
Thomas Glass, Marques-Silva, Joao, João Marques-Silva, Glass, Thomas   +3 more
core   +1 more source

Identifying Equivalent Training Dynamics

Advances in Neural Information Processing Systems 37
23 pages, 5 figures, 6 supplemental ...
William T. Redman, Juan M. Bello-Rivas, Maria Fonoberova, Ryan Mohr, Yannis G. Kevrekidis, Igor Mezic   +5 more
openaire   +3 more sources

ABL kinase‐dependent phosphorylation of SH proteins promotes their direct interaction with CRK family SH2 domains

FEBS Letters, EarlyView.
CT10 regulator of kinase (CRK) and CRK‐Like (CRKL) are signaling adaptors driving cell adhesion, motility, differentiation, and proliferation. SH2‐domain containing (SH) proteins are enriched in YXXP motifs which when phosphorylated create preferred binding sites for CRK family SH2 domains.
Phoebe M. Cousens, Brendan W. Chandler, Anna M. Schmoker, Jaye L. Weinert, Charlotte A. Kearns, Warren T. Yacawych, Amila Šemić, Alicia M. Ebert, Bryan A. Ballif   +8 more
wiley   +1 more source