Results 61 to 70 of about 1,624,256 (334)
Size-Change Termination as a Contract
, 2019 Termination is an important but undecidable program property, which has led to a large body of work on static methods for conservatively predicting or enforcing termination.
Gilray, Thomas +3 more
core +1 more source
Nucleic Acids Research, 2018 When a stop codon is at the 80S ribosomal A site, there are six nucleotides (+4 to +9) downstream that are inferred to be occupying the mRNA channel. We examined the influence of these downstream nucleotides on translation termination success or failure ...
A. Cridge +3 more
semanticscholar +1 more source
Termination Analysis of Probabilistic Programs Through Positivstellensatz's [PDF]
International Conference on Computer Aided Verification, 2016 We consider nondeterministic probabilistic programs with the most basic liveness property of termination. We present efficient methods for termination analysis of nondeterministic probabilistic programs with polynomial guards and assignments.
Krishnendu Chatterjee +2 more
semanticscholar +1 more source
Mapping the evolution of mitochondrial complex I through structural variation
FEBS Letters, EarlyView.Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin +2 more
wiley +1 more source
eLifeThe brain is consisted of diverse neurons arising from a limited number of neural stem cells. Drosophila neural stem cells called neuroblasts (NBs) produces specific neural lineages of various lineage sizes depending on their location in the brain.
Phuong-Khanh Nguyen, Louise Y Cheng
doaj +1 more source
Italian Labour Law e-Journal, 2020 On March 11th 2020, the World Health Organization was forced to declare the novel coronavirus disease a global pandemic after a surge in reported cases of the disease outside China.
Ratemo Tom Junior
doaj +1 more source
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
ARMENIAN ADULT MALE ARTISTIC GYMNASTS SPORT CAREER TERMINATION REASONS
Science of Gymnastics JournalThe information about the reasons for sports career (SC) termination among athletes is of significant importance, as it provides a theoretical foundation to prevent early withdrawal.
Hayk Gasparyan
doaj +1 more source
Cover crops as green mulching for weed management in rice
Italian Journal of Agronomy, 2021 A field study was carried out in 2017 and 2018 in two Italian rice farms (at Livorno Ferraris and Rovasenda) to assess the effect of using cover crops as green mulching on weed control and rice yield.
Silvia Fogliatto +5 more
doaj +1 more source
Genes & Development, 2017 Here, Dewar et al. use a proteomic screen in Xenopus egg extracts to identify factors that are enriched on chromatin when CMG unloading from chromatin, which is a key event during eukaryotic replication termination, is blocked.
James M. Dewar +4 more
semanticscholar +1 more source