Results 21 to 30 of about 1,419,974 (304)
Functional Diversity of Mitochondrial Peptidyl-tRNA Hydrolase ICT1 in Human Cells
Frontiers in Molecular Biosciences, 2021 Mitochondria are energy producing organelles of the eukaryotic cell, involved in the synthesis of key metabolites, calcium homeostasis and apoptosis. Protein biosynthesis in these organelles is a relic of its endosymbiotic origin.
I.V. Chicherin +11 more
doaj +1 more source
A Comparative Study of the Impact of Frustration of the Cause of Obligation on the Continuity of Successive Contracts in Iranian and French Law [PDF]
پژوهشنامه حقوق تطبیقیIn contract law, the purpose of concluding a contract is called cause, which may be legitimate or illegitimate. The article employs a descriptive and analytical method, utilizing a comparative approach to demonstrate that prior to the 2016 reforms of the
Aliakbar Fouladin +3 more
doaj +1 more source
Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems [PDF]
, 2006 In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size based termination and initially developed for ML-like programs.
Blanqui, Frédéric, Riba, Colin
core +4 more sources
Doboku Gakkai Ronbunshu, 1999 The main purpose of this paper is to identify the terminal handling cost structure. In particular, its aim is to investigate whether the Activity Based Costing (ABC) approach offers a better perspective for assessing and allocating the costs of freight terminals.
Wiegmans, B.W., Nijkamp, P., Masurel, E.
openaire +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
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
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
Automated Termination Analysis for Logic Programs with Cut
, 2010 Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, whereas real-world Prolog programs typically use the cut operator.
Giesl, Jürgen +4 more
core +2 more sources
Termination of rewrite relations on $\lambda$-terms based on Girard's notion of reducibility [PDF]
, 2015 In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of $\beta$-reduction in the polymorphic $\lambda$-calculus, to prove the termination of various kinds of rewrite relations on $\lambda$-terms,
Blanqui, Frédéric
core +4 more sources