Research works proposed that radical scavenging activity of flavonoids is due to ring B, andthe remaining part of the molecule can be disregarded. Thus the objective of this work is toobserve whether hydroxytoluenes account the radical scavenging activity of flavonoid and toestablish structural requirements for their activity (as they showed appreciable activity) andelucidate a comprehensive me...

CoFe2O4 is a promising catalytic material for many chemical reactions. We used ab initio molecular dynamic simulations to study the structure and reactivity of A- B-terminations low-index CoFe2O4(001) surfaces water adsorption at room temperature. Upon adsorption, partly dissociates on both termination with higher dissociation degree A-termination (30% versus 19%). The 2-fold coordinated Fe3+(t...

In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning. 1 Termination and Non-Termination Reasoning with

Transcript termination is essential for accurate gene expression and the removal of RNA polymerase (RNAP) at the ends of transcription units. In bacteria, two mechanisms are responsible for proper transcript termination: intrinsic termination and Rho-dependent termination. Intrinsic termination is mediated by signals directly encoded within the DNA template and nascent RNA, whereas Rho-dependen...

Nascent untranslated transcripts in bacteria are prone to generating RNA-DNA hybrids (R-loops); Rho-dependent transcription termination acts to reduce their prevalence. Here we discuss the mechanisms of R-loop formation and growth inhibition in bacteria.

From a practical perspective, it is important for programs to have modular correctness properties. Some (largely syntactic) sufficient conditions are given here for the union of terminating rewrite systems to be terminating, particularly in the hierarchical case, when one of the systems makes no reference to functions defined by the other. 1 I n t r o d u c t i o n A rewrite rule is an equation...

We give an overview of applications of weighted finite automata to automatically prove termination of rewriting. Instances of this approach are: standard and arctic matrix interpretations, and the match bound technique. These methods have been developed in recent years, and they are being used by today’s leading automated termination prover

Translation termination in eukaryotes is mediated by two release factors, eRF1 and eRF3. eRF1 recognizes each of the three stop codons (UAG, UAA, and UGA) and facilitates release of the nascent polypeptide chain. eRF3 is a GTPase that stimulates the translation termination process by a poorly characterized mechanism. In this study, we examined the functional importance of GTP hydrolysis by eRF3...