Results 11 to 20 of about 29,860 (193)
A new proof rule for almost-sure termination [PDF]
Proceedings of the ACM on Programming Languages, 2017 We present a new proof rule for proving almost-sure termination of probabilistic programs, including those that contain demonic non-determinism. An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates "almost surely".
McIver, Annabelle +3 more
openaire +4 more sources
Resuscitation, 2022 AIM To evaluate the cost-effectiveness of practices with and without termination-of-resuscitation (TOR) rules for out-of-hospital cardiac arrest (OHCA), using an analytic model based on a nationwide population-based registry in Japan.
Keita Shibahashi +3 more
semanticscholar +1 more source
Termination of Resuscitation Rules for In-Hospital Cardiac Arrest.
JAMA Intern MedImportance There are no validated decision rules for terminating resuscitation during in-hospital cardiac arrest. Decision rules may guide termination and prevent inappropriate early termination of resuscitation.
Holmberg MJ +7 more
europepmc +2 more sources
The probabilistic termination tool amber [PDF]
Formal methods in system design, 2021 We describe the Amber tool for proving and refuting the termination of a class of probabilistic while-programs with polynomial arithmetic, in a fully automated manner.
Marcel Moosbrugger +3 more
semanticscholar +1 more source
Logical Methods in Computer Science, 2021 The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees (or corresponding terms) equipped with a 'star' as control symbol, signifying a ...
Jörg Endrullis +2 more
doaj +1 more source
The Termination of an Employment Contract Initiated by the Employer’s Will
Teisė, 2021 This article systematically analyses new Labour code rules (regulation from July 2017) and the judicial practice of Lithuania relating to the termination of an employment contract initiated by the employer by employer’s will (Labour Code of the Republic ...
Tomas Bagdanskis
doaj +1 more source
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories [PDF]
Logical Methods in Computer Science, 2010 We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories are shown to be decidable for term rewrite systems (TRS) whose right-hand ...
Luis Barguno +3 more
doaj +1 more source
On deciding when to stop metaheuristics: Properties, rules and termination conditions
Operations Research Perspectives, 2023 Most metaheuristics lack a termination condition based on reasonable premises and guaranteeing the quality of the solution provided by the algorithm. We propose a methodological frame that distinguishes the concepts of properties of the final incumbent ...
Albert Corominas
doaj +1 more source
CLEI Electronic Journal, 2007 This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation,composition, if, skip and while and rules for termination of function calls.
Patricia Peratto
doaj +1 more source
Dynamic Dependency Pairs for Algebraic Functional Systems [PDF]
Logical Methods in Computer Science, 2012 We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reduction and separate {\beta}-steps are considered.
Cynthia Kop, Femke van Raamsdonk
doaj +1 more source