Results 101 to 110 of about 603,535 (296)
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
First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation
, 2015 In this paper we consider first-order logic theorem proving and model building via approximation and instantiation. Given a clause set we propose its approximation into a simplified clause set where satisfiability is decidable.
A. Newell +10 more
core +1 more source
Известия высших учебных заведений. Поволжский регион: Физико-математические наукиBackground. The study of infinitesimal affine transformation of bundles over Weil algebra is one of the important problems in the theory of these bundles.
Konstantin M. Budanov
doaj +1 more source
Geometric topological completions with universal final lifts
Topology and its Applications, 1985 Concrete categories are characterized which have a topological extension with certain universal final lifts and certain trivial fibres. The characterization is closely related to that of the reviewer and \textit{V. Koubek} [ibid. 11, 1-16 (1980; Zbl 0423.18010)] concerning Cartesian closed topological extensions.
openaire +2 more sources
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
On automorphisms of Enriques surfaces and their entropy
, 2017 Consider an arbitrary automorphism of an Enriques surface with its lift to the covering K3 surface. We prove a bound of the order of the lift acting on the anti-invariant cohomology sublattice of the Enriques involution.
Allcock +15 more
core +1 more source
On Sympletic Lifts of Actions for Complete Lagrangian Fibrations
, 2019 In this note we discuss symplectic lifts of actions for a complete Lagrangian fibration. Firstly, we describe the symplectic cotangent lifts of a G-action on a manifold Q in terms of 1-cocycles in the cohomology of G induced by the action with values in the space of closed 1-forms on Q.
Marrero, Juan Carlos, Padrón, Edith
openaire +2 more sources
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Design of a portable powered seat lift [PDF]
People suffering from degenerative hip or knee joints find sitting and rising from a seated position very difficult. These people can rely on large stationary chairs at home, but must ask others for assistance when rising from any other chair.
Weddendorf, Bruce
core +1 more source
Computer program calculates sonic-boom pressure signatures [PDF]
, 1967 Computer programs calculate sonic boom characteristics of airplane configurations for a range of flight conditions. One program provides the area distribution, and another program provides the equivalent area due to lift. Program outputs are the complete
Craidon, C. B.
core +1 more source