Search for dissertations about: "Bengt Jonsson"

Showing result 11 - 15 of 62 swedish dissertations containing the words Bengt Jonsson.

  2. 11. Model-Based Protocol Testing in an Erlang Environment

    Author : Johan Blom; Bengt Jonsson; Sven-Olof Nyström; Bernhard Aichernig; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Erlang; Model-Based Testing; Symbolic Execution; Communication Protocols; Datavetenskap; Computer Science;

    Abstract : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. READ MORE

  4. 12. Regular Inference for Communication Protocol Entities

    Author : Therese Bohlin; Bengt Jonsson; Dilian Gurov; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer engineering; Datorteknik;

    Abstract : A way to create well-functioning computer systems is to automate error detection in the systems. Automated techniques for finding errors, such as testing and formal verification, requires a model of the system. The technique for constructing deterministic finite automata (DFA) models, without access to the source code, is called regular inference. READ MORE

  5. 13. The Folding Energy Landscape of MerP

    Author : Ann-Christin Brorsson; Bengt-Harald Jonsson; Daniel Otzen; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Biochemistry; protein folding and stability; hydrogen exchange; intermediate; partial unfolding; Biokemi; Biochemistry; Biokemi; Biochemistry; biokemi;

    Abstract : This thesis is based on studies, described in four papers, in which the folding energy landscape of MerP was investigated by various techniques. MerP is a water-soluble 72 amino acid protein with a secondary structure consisting of four anti-parallel β-strands and two α-helices on one side of the sheet in the order β1α1β2β3α2β4. READ MORE

  6. 14. SOD1´s Law : An Investigation of ALS Provoking Properties in SOD1

    Author : Roberth Byström; Gerhard Gröbner; Stefan Marklund; Mikael Oliveberg; Bengt-Harald Jonsson; Umeå universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; ALS; amyotrophic lateral sclerosis; SOD1; protein folding; membrane interaction; aggregates; survival time; repulsive charge; Biochemistry; Biokemi;

    Abstract : Proteins are the most important molecules in the cell since they take care of most of the biological functions which resemble life. To ensure that everything is working properly the cell has a rigorous control system to monitor the proper function of its proteins and sends old or dysfunctional proteins for degradation. READ MORE

  7. 15. Sphagnum limits : Physiology, morphology and climate

    Author : Charles Campbell; Håkan Rydin; Gustaf Granath; Sebastian Sundberg; Bengt-Gunnar Jonsson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Sphagnum; ecology; bryophyte; winter; species distribution models; low temperature; plant structure; water economy; Biology with specialization in Ecological Botany; Biologi med inriktning mot ekologisk botanik;

    Abstract : Sphagnum is the most important plant genus in terms of terrestrial carbon cycling. It and the habitats it creates store an equivalent of ~68% of the CO2 in the atmosphere. The genus has little dispersal limitation and the mire habitats are functionally similar at global scales. READ MORE