Sökning: "program refinement"

Visar resultat 6 - 10 av 29 avhandlingar innehållade orden program refinement.

  1. 6. Rehabilitation for persons with epilepsy : assessment of a comprehensive rehabilitation program

    Författare :Ewa Wadhagen Wedlund; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :epilepsy;

    Sammanfattning : Epilepsy is one of the most common serious neurological disorders with an estimated prevalence of approximately 0.5%. In addition to the obvious medical risk associated with epilepsy, psychosocial consequences may be extensive. These can include problems related to different comorbidities and disabilities as well as cognitive impairment. LÄS MER

  3. 7. Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing

    Författare :Rudy Matela Braquehais; University of York; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis presents techniques for discovery, refinement and generalization of properties about functional programs. These techniques work by reasoning from test results: their results are surprisingly accurate in practice, despite an inherent uncertainty in principle. LÄS MER

  4. 8. The value of informing Children prior to examination and procedures

    Författare :Marie Edwinson Månsson; Lund Pediatrik; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; pediatrik; omvårdnad; information; kunskap;

    Sammanfattning : The value of infoming children about impending medical procedures was investigated, particularly in ægard to possible effects on anxiety, fear, noncooperation and distress in specific clinical situations: urological investigation, heart catheterization, lumbar puncture, acute appendectomy. The use of a preparatory infonnation program was compared with conventional verbal infomation and pharmacological premedication. LÄS MER

  5. 9. Human Engineering of Sensor Fusion Systems in Fighter Aircraft

    Författare :Peter Svenmarck; peter Wide; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : A pressing concern in modern fighter aircraft cockpit design is how to present and reduce large amounts of data obtained from several sensor observations of the same object. Currently, sensor observations are presented individually as overlays or in different displays requiring the pilot to control each sensor and integrate observations. LÄS MER

  7. 10. Refined crystal structures of Zn(II)- and Cu(II)-alcohol dehydrogenase : a comparative study

    Författare :Salam al-Karadaghi; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; strukturkemi; Structural Chemistry;

    Sammanfattning : The crystal structure of the ternary complex of horse liver alcohol dehydrogenase (LADH) with the coenzyme NADH and inhibitor dimethyl sulphoxide (DMSO) (space group PI) has been refined by simulated annealing with molecular dynamics and restrained positional refinement using the program system XPLOR. The resulting crystallographic R- factor is 17. LÄS MER