Results 231 to 240 of about 1,182,071 (254)

A transdiagnostic conflict-square algorithm: a four-node computational framework for psychotherapy and functional diagnosis. [PDF]

Front Psychiatry
Niederlohmann E.
europepmc   +1 more source

Loop checks for logic programs with functions

Theoretical Computer Science, 2001
Two complete loop checking mechanisms have been presented in the literature for logic programs with functions: OS-check and EVA-check. OS-check is computationally efficient but quite unreliable in that it often mis-identies infinite loops, whereas EVA ...
Yi-Dong Shen, Li-Yan Yuan
exaly   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Loop-Check Specification for a Sequent Calculus of Temporal Logic

Studia Logica, 2022
Romas Alonderis
exaly  

Heat transfer performances of the capillary loop pulsating heat pipes with spring-loaded check valve

Applied Thermal Engineering, 2020
Zhenping Wan, Xiaowu Wang
exaly  

Annual check-ups in stages

Ca-A Cancer Journal for Clinicians, 1964
Roald N Grant, R N Grant
exaly  

Internal Flow Patterns on Heat Transfer Performance of a Closed-Loop Oscillating Heat Pipe with Check Valves

Experimental Heat Transfer, 2012
S Rittidech
exaly