Sökning: "definitions"

Visar resultat 11 - 15 av 589 avhandlingar innehållade ordet definitions.

  1. 11. On function definitions I : basic notions and primitive recursive function definitions

    Författare :Daniel Fredholm; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  3. 12. Parastomal hernia : clinical studies on definitions and prevention

    Författare :Arthur Jänes; Leif Israelsson; Åke Öberg; Torbjörn Holm; Umeå universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Parastomal hernia; stoma complications; prosthetic mesh; mesh complications; sigmoid stoma; ileostomy; laparoscopic stoma; CT-scan; Surgery; Kirurgi; kirurgi; Surgery;

    Sammanfattning : The aims of the studies was to evaluate the short and long term effects on the development of parastomal hernia and stoma complications of a prophylactic prosthetic mesh placed in a sublay position at the index operation.  Also the purpose was to validate a definition of parastomal hernia at clinical examination and a method and a definition of parastomal hernia at CT-scan. LÄS MER

  4. 13. Constipation in palliative care : Prevalence, definitions, symptom distress and risk-factors

    Författare :Eva Erichsén; Maria Friedrichsen; Anna Milberg; Tiny Jaarsma; Linköpings universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Palliative care; constipation; prevalence; definition; symptom-distress; risk factors;

    Sammanfattning : Background and aims: Constipation for patients in palliative care is common and described with variations in prevalence. Side -effects from opioid- treatment, is considered to be one of the main factors leading to constipation. LÄS MER

  5. 14. Finitary Partial Inductive Definitions and General Logic

    Författare :Lars-Henrik Eriksson; Kungl. Tekniska Högskolan; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computing Science; Datalogi;

    Sammanfattning : .... LÄS MER

  7. 15. Computational Issues in Calculi of Partial Inductive Definitions

    Författare :Per Kreuger; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

    Sammanfattning : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. LÄS MER