Results 31 to 40 of about 1,624,256 (334)
Autophagy termination and lysosome reformation regulated by mTOR
Nature, 2010 Autophagy is an evolutionarily conserved process by which cytoplasmic proteins and organelles are catabolized. During starvation, the protein TOR (target of rapamycin), a nutrient-responsive kinase, is inhibited, and this induces autophagy. In autophagy,
Li Yu +14 more
semanticscholar +1 more source
Approaches for Ending Ineffective Programs: Strategies From State Public Health Practitioners
Frontiers in Public Health, 2021 Background: Public health agencies are increasingly concerned with ensuring they are maximizing limited resources by delivering evidence-based programs to enhance population-level chronic disease outcomes.
Emily Rodriguez Weno +7 more
doaj +1 more source
Deciding Conditional Termination [PDF]
, 2014 We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates.
Bozga, Marius +2 more
core +4 more sources
A method of marks and indices for linear modal logic
Lietuvos Matematikos Rinkinys, 2009 In the paper a method to check termination of history-free proof for linear modal logic S4.3 is proposed. This method improves the method proposed by the authors for modal logic S4.
Regimantas Pliuškevičius +1 more
doaj +1 more source
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs [PDF]
Proc. ACM Program. Lang., 2017 Probabilistic programs extend classical imperative programs with real-valued random variables and random branching. The most basic liveness property for such programs is the termination property. The qualitative (aka almost-sure) termination problem asks
Sheshansh Agrawal +2 more
semanticscholar +1 more source
Molecular Medicine, 2018 Premature termination codons (PTCs) in the coding regions of mRNA lead to the incorrect termination of translation and generation of non-functional, truncated proteins.
M. Dąbrowski +2 more
semanticscholar +1 more source
Approximating the Termination Value of One-Counter MDPs and Stochastic Games [PDF]
, 2011 One-counter MDPs (OC-MDPs) and one-counter simple stochastic games (OC-SSGs) are 1-player, and 2-player turn-based zero-sum, stochastic games played on the transition graph of classic one-counter automata (equivalently, pushdown automata with a 1-letter ...
G.R. Grimmett +6 more
core +3 more sources
Selective Roles of Vertebrate PCF11 in Premature and Full-Length Transcript Termination
bioRxiv, 2018 The pervasive nature of RNA polymerase II (Pol II) transcription requires efficient termination. A key player in this process is the cleavage and polyadenylation (CPA) factor PCF11, which directly binds to the Pol II C-terminal domain and dismantles ...
Kinga Kamieniarz-Gdula +9 more
semanticscholar +1 more source
Genome-Wide Analysis of RNA Decay in the Cyanobacterium
mSystems, 2020 RNA degradation is an important process that influences the ultimate concentration of individual proteins inside cells. While the main enzymes that facilitate this process have been identified, global maps of RNA turnover are available for only a few ...
Gina C. Gordon +5 more
doaj +1 more source