Results 81 to 90 of about 10,794,162 (307)
Justification of the structural synthesis of programs
Science of Computer Programming, 1982 AbstractWe present a constructive description of the automatic program synthesis method used in the PRIZ programming system. We give a justification of the method by proving the completeness of its inference rules for the class of constructive theories, and we present rules for transforming any intuitionistic propositional formula into a form suitable ...
Grigori Mints, Enn Tyugu
openaire +1 more source
Structural and biochemical analysis of a B12 superbinder
FEBS Letters, EarlyView.BtuG proteins are vitamin B12 scavengers in Bacteroides thetaiotaomicron, a dominant human gut bacterium. We present crystal structures of three BtuG homologs bound to cobalamin and its precursor cobinamide, revealing picomolar binding affinities, among the highest known for any natural protein.
Jose M. Martinez Felices +3 more
wiley +1 more source
Synthesis and Structure of Helical Supramolecular Arrays
, 2016 Synthesis and Structure of Helical Supramolecular ...
Brian S. Hammes (2701201) +5 more
core +2 more sources
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
, 2008 Synthesis and characterization of the binary structure zeolites of aluminosilicate and silicoaluminophosphate microporous ...
田志坚 +6 more
core
SYNTHESIS AND STRUCTURE OF IODOTRIS(TRYPHENYLSTIBINE)SILVER [(Ph3Sb)3AgI] [PDF]
, 2016 Interaction of silver iodide with triphenylstibine in dimethyl sulfoxide has led to the neutral complex iodotris(triphenylstibine)silver (1), whose structure has been established by X-ray diffraction analysis.
Шарутин, Владимир Викторович +4 more
core
Synthesis of Reovirus Structural Proteins
Experimental Biology and Medicine, 1969 SummaryA study of the synthesis of structural viral proteins revealed that the majority of the major proteins were synthesized early during the infectious cycle. An exception was major component IIIb which was not made until 4 hr after infection.
P C, Loh, H K, Oie
openaire +2 more sources
Bioinspired forest-like Z-scheme heterojunction of TiO
Nano Materials ScienceBifunctional catalysts for simultaneous solar fuel generation and antibacterial properties have gained increasing attention in the energy and environmental field.
Shuming Li +5 more
doaj +1 more source
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
Doty, Matthew F.Photon upconversion is a unique optical process in which multiple low-energy photons are absorbed to generate higher-energy photon emission.
Cleveland, Jill M.
core +1 more source