Results 21 to 30 of about 29,860 (193)
Critical Care, 2022 Background In Japan, emergency medical service (EMS) providers are prohibited from field termination-of-resuscitation (TOR) in out-of-hospital cardiac arrest (OHCA) patients.
Y. Goto, A. Funada, T. Maeda, Y. Goto
semanticscholar +1 more source
Conditional rewrite rules: Confluence and termination
Journal of Computer and System Sciences, 1986 The authors consider conditional rewrite rules: \[ \bigwedge^{n}_{i=0}(t_ i\@s_ i)\quad \Rightarrow \quad (t\to s)\quad,\quad where\quad \@\in (=,|,\to \to \}\quad, \] and four corresponding term rewriting systems (TRS); 0 for \(n=0,\) I for \(n=0\) and \(\@\) is \(=,\) II for \(n=0\) and \(\@\) is \(|\), and III for \(n=0\) and \(\@\) is \(\to \to ...
Bergstra, J.A., Klop, J.W.
openaire +2 more sources
Sound and Complete Proof Rules for Probabilistic Termination [PDF]
Proc. ACM Program. Lang.Deciding termination is a fundamental problem in the analysis of probabilistic imperative programs. We consider the qualitative and quantitative probabilistic termination problems for an imperative programming model with discrete probabilistic choice and
Rupak Majumdar, V. R. Sathiyanarayana
semanticscholar +1 more source
Local Termination: theory and practice [PDF]
Logical Methods in Computer Science, 2010 The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years.
Joerg Endrullis +2 more
doaj +1 more source
Resuscitation, 2019 AIM To minimize termination of resuscitation (TOR) in potential survivors, the desired positive predictive value (PPV) for mortality and specificity of universal TOR-rules are ≥99%.
J. Nas +8 more
semanticscholar +1 more source
The Consequences of issuance and nullification of tenant discharge verdict according to lessor and lessee relations Act 1978 [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i Khuṣūṣī, 2020 According to lessor and lessee relations Act 1978 and about hire rules, there are different and special sentences in comparison to civil law in Iran; one of these distinctions announces court based hire termination has different effects and consequences.
Pejman Mohamadi
doaj +1 more source
Non-simplifying Graph Rewriting Termination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 So far, a very large amount of work in Natural Language Processing (NLP) rely on trees as the core mathematical structure to represent linguistic informations (e.g. in Chomsky's work).
Bruno Guillaume, Guillaume Bonfante
doaj +1 more source
Critical Care, 2016 BackgroundThe 2015 American Heart Association Guidelines for Cardiopulmonary Resuscitation recommend Basic Life Support (BLS) and Advanced Life Support (ALS) rules for termination of resuscitation (TOR).
Masahiro Kashiura +8 more
semanticscholar +1 more source
The hierarchy of consumer rights in the event of a lack of conformity of the goods in Slovenian, Croatian, and Serbian law [PDF]
Zbornik Radova: Pravni Fakultet u Novom Sadu, 2023 This paper aims to compare the remedies at the consumer's disposal in the event of a lack of conformity of goods in Slovenian, Croatian, and Serbian law.
Dudás Attila I., Jokanović Ivan M.
doaj
Third-party litigation in two legal systems of Iran and France [PDF]
پژوهشنامه حقوق تطبیقی, 2022 The deadline for a third-party litigation in Iran is until the end of the first hearing, while in France until the end of the investigation .Third-party involvement in the appeal stage is one of the exceptions to the principle of prohibition of ...
Majid Aziziyani, Siamak RahPeik
doaj +1 more source