Advanced search

Showing result 1 - 5 of 3618 swedish dissertations matching the above criteria.

  2. 1. Protein Structure Prediction : Model Building and Quality Assessment

    Author : Björn Wallner; Arne Elofsson; Michael Levitt; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; protein structure prediction; proteinstrukturförutsägelse; Bioinformatics; Bioinformatik;

    Abstract : Proteins play a crucial roll in all biological processes. The wide range of protein functions is made possible through the many different conformations that the protein chain can adopt. The structure of a protein is extremely important for its function, but to determine the structure of protein experimentally is both difficult and time consuming. READ MORE

  4. 2. Model Selection

    Author : Yngve Selén; Peter Stoica; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical Engineering with specialization in Signal Processing; Elektroteknik med inriktning mot signalbehandling;

    Abstract : Before using a parametric model one has to be sure that it offers a reasonable description of the system to be modeled. If a bad model structure is employed, the obtained model will also be bad, no matter how good is the parameter estimation method. There exist many possible ways of validating candidate models. READ MORE

  5. 3. Lean, Green, and Agile Design and Control of Pallet Systems

    Author : Maziar Mashaei; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Lean structure model.; Universal model; Handling and locating pallet system; Optimization model; Energy model;

    Abstract : Pallet based automated material handling systems are main devices to transport and locate various part types in flexible production plants.To fulfill production objectives and win in the competitive environment of mass customization, proper deign and control of handling and locating pallet systems have been highly concerned. READ MORE

  6. 4. Regular Model Checking

    Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE

  7. 5. From Sequence to Structure : Using predicted residue contacts to facilitate template-free protein structure prediction

    Author : Mirco Michel; Arne Elofsson; Erik Lindahl; Johannes Söding; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; protein bioinformatics; protein structure prediction; contact prediction; machine learning; Biochemistry towards Bioinformatics; biokemi med inriktning mot bioinformatik;

    Abstract : Despite the fundamental role of experimental protein structure determination, computational methods are of essential importance to bridge the ever growing gap between available protein sequence and structure data. Common structure prediction methods rely on experimental data, which is not available for about half of the known protein families. READ MORE