Results 71 to 80 of about 29,860 (193)

Termination and confluence of rule execution [PDF]

Proceedings of the second international conference on Information and knowledge management - CIKM '93, 1993
Leonie van der Voort, Arno Siebes
openaire   +1 more source

Termination of Dependently Typed Rewrite Rules

, 2015
Our interest is in automated termination proofs of higher-order rewrite rules in presence of dependent types modulo a theory T on base types. We first describe an original transformation to a type discipline without type dependencies which preserves non-termination.
Jouannaud, Jean-Pierre, Li, Jianqi
openaire   +2 more sources

Effect of scoring and termination rules on test-retest variability of a novel high-pass letter acuity chart.

Investigative Ophthalmology and Visual Science, 2014
N. Shah, S. Dakin, Heather L. Whitaker, R. Anderson   +3 more
semanticscholar   +1 more source

Restricted Chase (Non)Termination for Existential Rules with Disjunctions

International Joint Conference on Artificial Intelligence, 2017
David Carral, Irina Dragoste, M. Krötzsch   +2 more
semanticscholar   +1 more source

Symbolic Termination and Confluence Checking for ECA Rules

Trans. Petri Nets Other Model. Concurr., 2014
Xiaoqing Jin, Yousra Lembachar, G. Ciardo   +2 more
semanticscholar   +1 more source

Practical adaptability of a pre-hospital prognostic prediction model for patients following out-of-hospital cardiac arrest during the COVID-19 pandemic. [PDF]

BMJ Health Care Inform
Nishi M, Shikuma A, Uchino E, Matoba S, Naohiro Y, Tahara Y, Ikeda T.   +6 more
europepmc   +1 more source

A new Greenland ice core chronology for the last glacial termination

, 2006
S. Rasmussen, K. K. Andersen, A. Svensson, J. Steffensen, B. Vinther, H. Clausen, M. Siggaard-Andersen, S. Johnsen, L. B. Larsen, D. Dahl-Jensen, M. Bigler, R. Röthlisberger, H. Fischer, K. Goto‐Azuma, M. Hansson, U. Ruth   +15 more
semanticscholar   +1 more source

Medical Termination of Pregnancy: Contrast in American and Indian Positions in the Global Scenario. [PDF]

Indian J Community Med
Sethi S, Arora P, Thimmaiah G.
europepmc   +1 more source

The R-loop grammar predicts R-loop formation under different topological constraints. [PDF]

PLoS Comput Biol
Ferrari MM, Poznanović S, Riehl M, Lusk J, Hartono S, Gonzalez-Isunza G, Chédin F, Vázquez M, Jonoska N.   +8 more
europepmc   +1 more source

Different Resuscitation Termination Criteria for Out of Hospital Cardiac Arrest; A Prognostic Accuracy Study. [PDF]

Arch Acad Emerg Med
Termkijwanich P, Sanguanwit P, Yuksen C, Trakulsrichai S, Sricharoen P.   +4 more
europepmc   +1 more source