Sökning: "termination"

Visar resultat 1 - 5 av 281 avhandlingar innehållade ordet termination.

  1. 1. Termination and Cost Analysis : Complexity and Precision Issues

    Detta är en avhandling från School of Computer Science, Technical University of Madrid

    Författare :Abu Naser Masud; [2012]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The research in this thesis is related to static cost and termination analysis.Cost analysis aims at estimating the amount of resources that a given programconsumes during the execution, and termination analysis aims at proving thatthe execution of a given program will eventually terminate. LÄS MER

  2. 2. Work in eldercare - staying or leaving Caregivers' experiences of work and support during organizational changes

    Detta är en avhandling från Stockholm : Karolinska institutet

    Författare :Birgitta Fläckman; Högskolan i Gävle.; Karolinska Institutet.; Karolinska Institutet.; [2008]
    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; Nursing home; caregivers’ experiences and expectations; organizational climate; burnout; education and clinical supervision; cutbacks and organizational changes; termination notice; transition; nursing workforce; Nursing home; caregivers experiences and expectations; organizational climate; burnout; education and clinical supervision; cutbacks and organizational changes; termination notice; transition; nursing workforce; Caregivers’ experiences and expectations; Organizational climate; Burnout; Education and clinical supervision; Cutbacks and organizational changes; Termination notice; Transition; Nursing workforce;

    Sammanfattning : The overall aim of the present thesis was to reveal nursing home (NH) caregivers’ work ex-periences when receiving support through education and clinical supervision over a two-year period, while the workplace was undergoing organizational changes. The studies (I-IV) com-bine qualitative and quantitative methods in a longitudinal two-year follow-up project in three Swedish NHs (NH I - III), in which support was given to the staff at NH I-II. LÄS MER

  3. 3. Patterns of Repetition and Change in a Psychoanalytically Informed Therapeutic Environment for Severely Disturbed Patients

    Detta är en avhandling från Stockholm : Department of Psychology, Stockholm University

    Författare :Andrzej Werbart; Stockholms universitet.; [1997]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Psychotherapy research; psychosis; personality disorders; therapeutic community; ward atmosphere; therapeutic alliance; concordance; separation; working through; termination; outcome.; SOCIAL SCIENCES Social sciences Psychology; SAMHÄLLSVETENSKAP Socialvetenskap Psykologi;

    Sammanfattning : Factors in the environment and therapeutic relationship which facilitate, as well as those which obstruct the process of psychic change were investigated in patients with psychoses or severe personality disorders, starting from a preliminary theoretical model for psychoanalytically oriented treatment. Ten patients consecutively admitted to a Swedish therapeutic community, Bikupan, and who completed the treatment, as well as their 9 therapists were studied in detail during, and up to five years after the treatment. LÄS MER

  4. 4. Parameterized Systems Generalizing and Simplifying Automatic Verification

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Ahmed Rezine; Uppsala universitet.; Uppsala universitet.; [2008]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  5. 5. Accuracy of protein synthesis and its tuning by mRNA modifications

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Gabriele Indrisiunaite; Uppsala universitet.; [2019]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Ribosome; Protein synthesis; Translation; Accuracy; Release factor; Termination; mRNA modifications; Biology with specialization in Molecular Biology; Biologi med inriktning mot molekylärbiologi;

    Sammanfattning : The ribosome is a large macromolecular complex that synthesizes all proteins in the cell in all kingdoms of life. Proteins perform many vital functions, ranging from catalysis of biochemical reactions to muscle movement. It is essential for cells and organisms that proteins are synthesized rapidly and accurately. LÄS MER