Results 51 to 60 of about 16,427,329 (274)
The Journal of Symbolic Logic, 2023 AbstractWe introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We then use this formulation to prove the central property of this interpretation, namely homotopy invariance ...
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
First-Order Peaks Determination for Direction-Finding High-Frequency Radar
Journal of Marine Science and Engineering, 2020 Direction-finding (DF) high-frequency radar (HFR) is preferred among the HFR family and is widely used around the world due to its compact structure.
Yeping Lai, Yuhao Wang, Hao Zhou
doaj +1 more source
First-Class Functions for First-Order Database Engines [PDF]
, 2013 We describe Query Defunctionalization which enables off-the-shelf first-order database engines to process queries over first-class functions. Support for first-class functions is characterized by the ability to treat functions like regular data items ...
Grust, Torsten, Ulrich, Alexander
core
First order quantum phase transitions
, 2006 Quantum phase transitions have been the subject of intense investigations in the last two decades [1]. Among other problems, these phase transitions are relevant in the study of heavy fermion systems, high temperature superconductors and Bose-Einstein ...
A.S. Ferreira +19 more
core +1 more source
Artificial Intelligence, 2017 Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, where knowledge about heterogeneous domains is scattered into a set of interconnected modules.
Chiara Ghidini, Luciano Serafini
openaire +3 more sources
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
HEAT AND MASS TRANSFER EFFECTS ON FLOW PAST PARABOLIC STARTING MOTION OF ISOTHERMAL VERTICAL PLATE IN THE PRESENCE OF FIRST ORDER CHEMICAL REACTION [PDF]
Journal of Mechanical Engineering and Sciences, 2013 An exact solution of unsteady flow past a parabolic starting motion of the infinite isothermal vertical plate with uniform mass diffusion, in the presence of a homogeneous chemical reaction of the first order, has been studied.
R. Muthucumaraswamy, S. Velmurugan
doaj
First order dynamical phase transitions
, 2014 Recently, dynamical phase transitions have been identified based on the non-analytic behavior of the Loschmidt echo in the thermodynamic limit [Heyl et al., Phys.~Rev.~Lett.~{\bf 110}, 135704 (2013)]. By introducing conditional probability amplitudes, we
Canovi, Elena +2 more
core +1 more source
Reciprocal control of viral infection and phosphoinositide dynamics
FEBS Letters, EarlyView.Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source