Results 131 to 140 of about 29,860 (193)
Some of the next articles are maybe not open access.
Termination of Rewriting with Right-Flat Rules
International Conference on Rewriting Techniques and Applications, 2007Termination and innermost termination are shown to be decidable for term rewrite systems whose right-hand side terms are restricted to be shallow (variables occur at depth at most one) and linear. Innermost termination is also shown to be decidable for shallow rewrite systems.
Guillem Godoy +2 more
openaire +2 more sources
Resuscitation, 2020
AIM To assess whether any clinical decision rule for patients sustaining an in-hospital cardiac arrest (IHCA) can predict mortality or survival with poor neurological outcome.
K. Lauridsen +18 more
semanticscholar +1 more source
AIM To assess whether any clinical decision rule for patients sustaining an in-hospital cardiac arrest (IHCA) can predict mortality or survival with poor neurological outcome.
K. Lauridsen +18 more
semanticscholar +1 more source
Refined rules termination analysis through transactions
Information Systems, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Montesi, Danilo +2 more
openaire +2 more sources
Emergency Medicine Journal, 2019
Background Our objective was to perform a systematic review of studies reporting the accuracy of termination of resuscitation rules (TORRs) for out-of-hospital cardiac arrest (OHCA).
M. Ebell +3 more
semanticscholar +1 more source
Background Our objective was to perform a systematic review of studies reporting the accuracy of termination of resuscitation rules (TORRs) for out-of-hospital cardiac arrest (OHCA).
M. Ebell +3 more
semanticscholar +1 more source
Review recent rulings involving termination
Campus Legal Advisor, 2021An overview of the key topics faced by campus administrators with citations to noteworthy cases, statutes, regulations, and additional sources.
openaire +1 more source
A Single Approach to Decide Chase Termination on Linear Existential Rules
Description Logics, 2018Existential rules, long known as tuple-generating dependencies in database theory , have been intensively studied in the last decade as a powerful formalism to represent ontological knowledge in the context of ontology-based query answering.
M. Leclère +3 more
semanticscholar +1 more source
Automated Termination Analysis of Polynomial Probabilistic Programs
European Symposium on Programming, 2020The termination behavior of probabilistic programs depends on the outcomes of random assignments. Almost sure termination (AST) is concerned with the question whether a program terminates with probability one on all possible inputs.
Marcel Moosbrugger +3 more
semanticscholar +1 more source
Prehospital termination of resuscitation rule
Current Opinion in Critical Care, 2019Purpose of review The purpose of the review is to briefly describe the derivation, validation and implementation of the Termination of Resuscitation Rules for out-of-hospital adult cardiac arrest and to describe the controversies surrounding implementation that have been recently published ...
openaire +2 more sources
Review recent rulings involving employee terminations
Campus Legal Advisor, 2022An overview of the key topics faced by campus administrators with citations to noteworthy cases, statutes, regulations, and additional sources.
openaire +1 more source
A termination rule for degradation experiments
IEEE Transactions on Reliability, 1997Analysis of degradation data can provide information about the lifetime of highly reliable products, if there exists a product characteristic whose degradation over time can be related to reliability. To obtain a precise estimator of a product mean time-to-failure, one practical problem arising from designing a degradation experiment is: how long ...
null Sheng-Tsaing Tseng +1 more
openaire +1 more source