Results 61 to 70 of about 658,465 (305)
Yolculuğun Başlamasına veya Devamına Engel Olan Sebepler Yüzünden Navlun Sözleşmesinin Feshi
Sözleşme nazariyesi ve tatbikatında, bir sözleşmenin ifa ile sona ermesi ve tasfiyesi beklenir. Bununla birlikte bazı hâllerde, tarafların sözleşme ile bağlı kalmaları mümkün olmaz veya kendilerinden beklenemez.
Fevzi Fırat Gözüyeşil
doaj +1 more source
Emerging experimental and computational methods for studying redox‐regulated structural transitions
Redox reactions can reshape proteins and alter how they behave in cells, with important consequences for health and disease. This review explores emerging experimental and computational approaches for discovering these redox‐sensitive protein switches, revealing their structural effects, and predicting their behavior, opening new opportunities to ...
Tasneem Rass +2 more
wiley +1 more source
Termination Analysis by Learning Terminating Programs [PDF]
We present a novel approach to termination analysis. In a first step, the analysis uses a program as a black-box which exhibits only a finite set of sample traces. Each sample trace is infinite but can be represented by a finite lasso. The analysis can "learn" a program from a termination proof for the lasso, a program that is terminating by ...
Matthias Heizmann +2 more
openaire +4 more sources
Structural and biochemical analysis of a B12 superbinder
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
Attitudes toward prenatal diagnosis and termination of pregnancy in Saudi Arabia [PDF]
INTRODUCTION: Advances in molecular biology will soon make it possible to offer parents prenatal testing for a large number of different genetic disorders.
Alsulaiman, Ayman
core +4 more sources
Morbid Obesity: An Obstetric Challenge
Obesity, which has become a modern-day pandemic, is also compounding the problems of managing pregnant women. It affects the course of ante, intra and postpartum period of pregnancy.
Shabista Shaikh, Tanvi Nijhawan
doaj +1 more source
Cut, invariant rule, and loop-check free sequent calculus for PLTL
In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis +1 more
doaj +1 more source
Mycobacterial 3‐methylcrotonyl‐CoA carboxylase uses a mobile biotin‐carrying domain to shuttle a carboxyl group between two catalytic sites, enabling carboxylation of 3‐methylcrotonyl‐CoA during leucine breakdown. Cryo‐electron microscopy captures the carrier at both sites and reveals an inward loop movement that may prevent futile rebinding to the ...
Ajit Yadav +2 more
wiley +1 more source
Rho-dependent terminators and transcription termination [PDF]
Rho-dependent transcription terminators participate in sophisticated genetic regulatory mechanisms, in both bacteria and phages; they occur in regulatory regions preceding the coding sequences of genes and within coding sequences, as well as at the end of transcriptional units, to prevent readthrough transcription.
openaire +2 more sources
How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley +1 more source

