Results 71 to 80 of about 3,277,763 (307)
MathematicsDynamic equivalence of active distribution networks (ADNs) is emerging as one of the most important issues for the backbone network security analysis due to high penetration of distributed generations (DGs) and electricity vehicles (EVs).
Wenhao Wang +3 more
doaj +1 more source
Leucine‐rich glioma inactivated 1 (LGI1) is a ganglioside‐binding protein
FEBS Letters, EarlyView.Neuronal hyperexcitability associated with a decrease/absence of the extracellular protein LGI1 has been suggested to be primarily due to the downregulation of Kv1 channel expression. The molecular mechanisms underlying this decrease have not yet been elucidated.
Kévin Debreux +7 more
wiley +1 more source
Journal of Thermal Science and Technology, 2012 Responses of the premixed methane/air mixture flames under equivalence ratio oscillations were numerically investigated assuming axi-symmetric stagnation flow fields.
Mohd Rosdzimim Abdul RAHMAN +2 more
doaj +1 more source
Fully dynamic cycle-equivalence in graphs [PDF]
Proceedings 35th Annual Symposium on Foundations of Computer Science, 2002 Two edges e/sub 1/ and e/sub 2/ of an undirected graph are cycle-equivalent iff all cycles that contain e/sub 1/ also contain e/sub 2/, i.e., iff e/sub 1/ and e/sub 2/ are a cut-edge pair. The cycle-equivalence classes of the control-flow graph are used in optimizing compilers to speed up existing control-flow and data-flow algorithms.
openaire +3 more sources
A context‐dependent modulatory role for eIF6 in acquired resistance to vemurafenib in melanoma
FEBS Letters, EarlyView.Acquired resistance to vemurafenib upregulates the translation factor eIF6 in melanoma cells. Silencing eIF6 in resistant cells reduces proliferation and partially restores drug sensitivity, whereas its overexpression increases sensitivity across melanoma lines regardless of BRAF status, via modulation of mTOR, S6K, and MAPK signaling.
George Kyriakopoulos +9 more
wiley +1 more source
On the use of observation equivalence in synthesis abstraction [PDF]
, 2011 In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata.
Simon Ware +7 more
core +1 more source
Smaller is better: nanobodies meet NMR
FEBS Letters, EarlyView.Nanobodies are single‐domain antigen‐binding fragments derived from camelid heavy chain antibodies. Their small size, high stability, and exceptional specificity make nanobodies uniquely useful probes for NMR studies of protein dynamics, transient conformational states, and protein–protein interactions.
Oleg Y. Dmitriev
wiley +1 more source
Certainty equivalence and model uncertainty [PDF]
Simon’s and Theil’s certainty equivalence property justifies a convenient algorithm for solving dynamic programming problems with quadratic objectives and linear transition laws: first, optimize under perfect foresight, then substitute optimal forecasts ...
Thomas J. Sargent, Lars Peter Hansen
core
FEBS Letters, EarlyView.Vacuolar H+‐ATPase (V‐ATPase) is a multisubunit rotary proton pump that acidifies intracellular compartments. Using elastic network models, we identified conserved hinge residues that govern its large‐scale functional motions. We show that intrinsically encoded ‘soft modes’ drive critical functional transitions, including rotary catalysis and ...
Diksha Parwana +3 more
wiley +1 more source
Automating Security Analysis: Symbolic Equivalence of Constraint Systems [PDF]
, 2010 We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy).
Hubert Comon-Lundh +5 more
core +1 more source