Results 71 to 80 of about 173,804,276 (284)
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
FEBS Letters, EarlyView.Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
Interpreting HOL in the Calculus of Constructions ⋆
, 2008 The purpose of this paper is to consider a representation of the HOL theorem-prover in the calculus of constructions with the property that consistency results from the calculus of constructions imply such results in HOL.
Jonathan P. Seldin
core
Chiral separation of chloroalkanes with the chromatographic column onboard Martian rovers
FEBS Letters, EarlyView.Computer image of the Rosalind Franklin Rover of ESA's ExoMars mission. ExoMars is scheduled to land on planet Mars in Oxia Planum in 2029. This area represents an interesting spot to look for biosignatures. Investigations of ExoMars include measurement on molecular chirality. We show that chiral chloroalkanes, that have been identified on Mars, can be
Asma Merzougui +4 more
wiley +1 more source
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
PythagorasThis qualitative case study investigated first-year undergraduate students’ challenges with calculus and how those challenges can be addressed with a focus on related rates problems. This study was undertaken at a University of Technology in South Africa,
Fitzgerald Abakah +2 more
doaj +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
Наука и техника, 2017 For the last one hundred years development of mathematical statistics has reached rather high level. A universal relative and non-dimensional factor which is known as a coefficient of variation is widely used for practical calculations, analysis and ...
S. N. Osipov
doaj +1 more source
DNA ligase LigE increases bacterial transformation with damaged extracellular DNA
FEBS Letters, EarlyView.The DNA ligase LigE from the naturally competent Gram‐negative bacterium Neisseria gonorrhoaea increases transformation with cut extracellular DNA. This process is ATP‐dependent and relies on the catalytic activity of LigE; it also requires that LigE contains an intact periplasmic localisation sequence, indicating that ligE functions in the periplasm ...
Jolyn Pan +4 more
wiley +1 more source
Boomborg-PC: A Proof-Checker of Calculus of Constructions Running on a Buffer of GNU Emacs
, 1995 Introduction Boomborg-PC is a proof-checker of Calculus of Constructions that runs on a buffer of GNU Emacs. Calculus of Constructions, proposed by Thierry Coquand and G'erard Huet [2], is one of the so-called higher-order typed -calculi [1].
Masami Hagiya
core
Preface to the December 2015 issue
CLEI Electronic Journal, 2015 We are glad to present the last issue of 2015, completing Volume 18 of the CLEI Electronic Journal. This issue is comprised by the following regular papers.
Héctor Cancela
doaj +1 more source