Sökning: "Termination"

Visar resultat 6 - 10 av 332 avhandlingar innehållade ordet Termination.

  1. 6. Accuracy of protein synthesis and its tuning by mRNA modifications

    Författare :Gabriele Indrisiunaite; Måns Ehrenberg; Suparna Sanyal; Jaanus Remme; Uppsala universitet; []
    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

  3. 7. Primary and Secondary Outcomes from a Double Randomized Clinical Preference Trial of two Panic-Focused Psychotherapies

    Författare :Thomas Nilsson; Institutionen för psykologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Paniksyndrom; Kognitiv beteendeterapi KBT ; Psykodynamisk terapi PDT ; Arbetsförmåga; Termination setback; Panic Disorder; Cognitive Behavioural Therapy CBT ; Psychodynamic Therapy PDT ; Work Ability; Termination Setback;

    Sammanfattning : Approximately 2-3% of adults in Sweden will experience unexpected panic attacks that cause them to develop fears of future attacks and to alter their lives, defined as Panic Disorder with or without Agoraphobia (PD/A). The condition often onsets in late adolescence or early adulthood, with high levels of psychiatric comorbidity, social difficulties, diminished study and work ability, an elevated risk for substance use, health problems, and mortality. LÄS MER

  4. 8. Verification of networks of communicating processes : Reachability problems and decidability issues

    Författare :Othmane Rezine; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson; Barbara König; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; infinite-state systems; distributed programs; concurrent programs; networks of communicating processes; reachability; termination; decidability; Computer Science; Datavetenskap;

    Sammanfattning : Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. LÄS MER

  5. 9. Translational termination, frameshift and ribosome assembly

    Författare :Monica Rydén Aulin; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The aim of this thesis was to study components involved in translational termination. Most of the work is centered around this, but the outcome of some of the experiments, led me onto other paths too.Firstly, isolation of a mutant which was shown to be in release factor one, was mapped to min 26,5 on the Escherichia coli chromosome. LÄS MER

  7. 10. Type Theory with First-Order Data Types and Size-Change Termination

    Författare :David Wahlstedt; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Sammanfattning : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. LÄS MER