Results 51 to 60 of about 555,741 (309)
Constraint equations for heavy-to-light currents in SCET
, 2005 A complete basis for the next-to-next-to leading order heavy-to-light currents in the soft-collinear effective theory is constructed. Reparameterization invariance is imposed by deriving constraint equations. Their solutions give the set of allowed Dirac
A. V. Manohar +3 more
core +1 more source
A quasi-current representation for information needs inspired by Two-State Vector Formalism [PDF]
, 2017 Recently, a number of quantum theory (QT)-based information retrieval (IR) models have been proposed for modeling session search task that users issue queries continuously in order to describe their evolving information needs (IN).
Hou, Yuexian +5 more
core +1 more source
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories [PDF]
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019 We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC) - a system of higher-order logic modulo theories - and prove its soundness and refutational completeness w.r.t. the standard semantics. As corollaries, we obtain the compactness theorem and semi-decidability of HoCHC for semi-decidable background theories, and
Ong, C, Wagner, D
openaire +3 more sources
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
FEBS Letters, EarlyView.Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
Two-loop renormalization of multiflavor $\phi^3$ theory in six dimensions and the trace anomaly
, 2015 We use the background-field method and the heat kernel to obtain all counterterms to two-loop order of conformally-coupled multiflavor $\phi^3$ theory in six spacetime dimensions, defined in curved spacetime and with spacetime-dependent couplings.
Grinstein, Benjamin +3 more
core +1 more source
Mapping the evolution of mitochondrial complex I through structural variation
FEBS Letters, EarlyView.Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin +2 more
wiley +1 more source
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
Globally Governed Session Semantics [PDF]
Logical Methods in Computer Science, 2014 This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer.
Dimitrios Kouzapas, Nobuko Yoshida
doaj +1 more source
JMIR Public Health and Surveillance, 2022 BackgroundDisease surveillance is a critical function of public health, provides essential information about the disease burden and the clinical and epidemiologic parameters of disease, and is an important element of effective and
Bala Hota +7 more
doaj +1 more source
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source