Results 61 to 70 of about 173,804,276 (284)

Conserved binding mode but diverse interfaces of MreC‐PBP2 interactions

FEBS Letters, EarlyView.
The crystal structure of abMreC reveals a conserved two β‐barrel architecture and provides structural insights into its role within the bacterial elongasome. The abMreC–abPBP2 complex model identifies the molecular basis of MreC‐mediated PBP2 recognition, contributing to the regulation of peptidoglycan synthesis.
Hyunseok Jang, Hyo Been Jin, Chang Min Kim, So Yeon Lee, Hyun Ho Park   +4 more
wiley   +1 more source

Optoelectronic information-measuring systems for determining the absolute position of an object

Известия высших учебных заведений. Поволжский регион:Технические науки, 2022
Background. Currently, during the modernization of domestic rocket, space and aviation equipment (RS and AE), special attention is paid to the accuracy of manufacturing large-sized body parts that are part of responsible products.
T.I. Murashkina, E.A. Badeeva, K.S. Samokhina, A.V. Badeev, A.A. Tolova   +4 more
doaj   +1 more source

Interpreting HOL in the calculus of constructions

Journal of Applied Logic, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry

FEBS Letters, EarlyView.
EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri, Ayaka Nagasato‐Ichikawa, Keita Iida, Shuhei Kimura, Akira Imamoto, Mariko Okada   +5 more
wiley   +1 more source

Translophagy—A potential link between autophagy impairment and translational errors

FEBS Letters, EarlyView.
Neurodegenerative diseases are characterised by the accumulation of abnormal proteins and protein aggregates, but their origin often remains unknown. We propose that selective autophagy removes damaged protein‐making machinery, preventing errors during protein synthesis.
Mykola V. Korolchuk, Gailing Ma, Robin Antrobus, Diego Manni, Marco Trevisan‐Herraz, Mustafa Khwaja, Max Brown, Gavin D. Richardson, Masaaki Komatsu, Daniel Erskine, Viktor I. Korolchuk, Tetsushi Kataura   +11 more
wiley   +1 more source

Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems

CLEI Electronic Journal, 2015
In this work we investigate the security of security-critical applications, i.e. applications in which a failure may produce consequences that are unacceptable.
Gustavo Betarte, Carlos Luna
doaj   +1 more source

Functional comparison of EncB and EncC cargo proteins in iron storage within the Myxococcus xanthus encapsulin

FEBS Letters, EarlyView.
Encapsulins are protein nanocompartments that play an important role in iron storage. In the Myxococcus xanthus encapsulin system, two cargo proteins called EncB and EncC contribute to iron mineralization. Here, we show that EncB and EncC generate iron‐containing minerals with distinct chemical compositions, suggesting that the composition of stored ...
Harry B. McDowell, Thomas Walther, Egbert Hoiczyk   +2 more
wiley   +1 more source

Building Decision Procedures in the Calculus of Inductive Constructions

, 2007
International audienceIt is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof ...
Jouannaud, Jean-Pierre, Blanqui, Frédéric, Strub, Pierre-Yves, Pierre-Yves Strub, Jean-Pierre Jouannaud, Frédéric Blanqui   +5 more
core   +1 more source

Inductive types in the Calculus of Algebraic Constructions

, 2005
Journal version of TLCA'03International audienceIn a previous work, we proved that an important part of the Calculus of Inductive Constructions (CIC), the basis of the Coq proof assistant, can be seen as a Calculus of Algebraic Constructions (CAC), an ...
Blanqui, Frédéric
core   +1 more source

Pfaffian Systems, Cartan Connections, and the Null Surface Formulation of General Relativity

Universe
This review examines the role of differential forms, Pfaffian systems, and hypersurfaces in general relativity. These mathematical constructions provide the essential tools for general relativity, in which the curvature of spacetime—described by the ...
Emanuel Gallo, Carlos Kozameh
doaj   +1 more source