Results 101 to 110 of about 7,184 (162)
The prophet's rite of passage - pitfalls in evaluating real-time prediction in medicine. [PDF]
Front PhysiolKeidar N, Yaniv Y.
europepmc +1 more source
From disavowal to dialogue: forging collaborative ethical, clinical, and medical approaches to severe and enduring anorexia nervosa. [PDF]
J Eat DisordBauschka M, O'Melia AM.
europepmc +1 more source
Treatment-Limiting Decisions in Neurointensive Care: Withholding or Withdrawal of Life-Sustaining Measures. [PDF]
Acta Anaesthesiol ScandAnkerstjerne IC +8 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2007
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined ...
Ana Bove, Venanzio Capretta
openaire +2 more sources
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined ...
Ana Bove, Venanzio Capretta
openaire +2 more sources