Sökning: "G Weber"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden G Weber.

  1. 1. Photon Dose Calculations in a Fluence-Based Treatment Planning System: Data Processing, Implementation and Validation

    Författare :Lars Weber; Lund Medicinsk strålningsfysik; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; radiobiologi; Nuclear medicine; Radiopharmaceutical technology; Radiofarmaceutisk teknik; Nukleärmedicin; radiobiology;

    Sammanfattning : The accuracy of dose calculations for various aspects of a treatment planning system (TPS) using an energy fluence beam modelling has been evaluated. The investigated TPS uses a beam model, which separates the energy fluence into a number of sources in the treatment head. LÄS MER

  2. 2. Plant resistance ecology - the role of resistance in plant-insect mutualisms

    Författare :Daniela Weber; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES;

    Sammanfattning : Global food security is largely dependent on the use of synthetic pesticides for pest control. This extensive reliance on pesticides, however, has promoted widespread loss of insect diversity; thereby jeopardizing the provision of insect ecosystem services like pollination and biological control. LÄS MER

  3. 3. Biocatalytic transamination with recombinant Saccharomyces cerevisiae: Challenges and opportunities

    Författare :Nora Weber; Teknisk mikrobiologi; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Saccharomyces cerevisiae; transamination; whole-cell biocatalysis; pyruvate; PLP; thiamine; reduction;

    Sammanfattning : Chiral building blocks are important molecules for synthesis of fine chemicals and pharmaceuticals. Biocatalysis has gained in relevance over traditional organic methods for synthesis of chiral compounds, as reactions can be performed at high enantio-selectivity and purity with environmentally friendly, simple, and cheap methods. LÄS MER

  4. 4. Constraint-based conceptual design using principle solution elements

    Författare :Sören Wilhelms; Christian Weber; Linköpings universitet; []
    Nyckelord :Conceptual design; functional modelling; constraint-based design; design reuse; VDI 2222; product modelling; design support; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : The design of new products is an important engineering activity, and much of the competitiveness in high-salary countries depends on the ability to develop innovative products with acceptable time to market.During conceptual design, the principle solution for a product is conceived. LÄS MER

  5. 5. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

    Författare :Arve Gengelbach; Tjark Weber; Joachim Parrow; Andrei Popescu; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; higher-order logic HOL ; conservative extension; ad-hoc overloading; definitions; Computer Science; Datavetenskap;

    Sammanfattning : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. LÄS MER