Sökning: "olsén"

Visar resultat 1 - 5 av 113 avhandlingar innehållade ordet olsén.

  1. 1. Numerical investigations in nuclear and atomic spectroscopy : methods for design and optimization of particle focussing devices, theoretical studies of perturbed angular correlations, and evaluation of experimental data

    Författare :Bengt Olsen; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP;

    Sammanfattning : .... LÄS MER

  3. 2. Automatic Verification of Petri Netsin a CLP framework

    Författare :Hans Olsén; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis presents an approach to automatic verification of Petri Nets. The method is formulated in a CLP framework and the class of systems we consider is characterized syntactically as a special class of Constraint Logic Programs. The state space of the system in question coincides with the least fixpoint of the program. LÄS MER

  4. 3. Chemoreceptive behaviour in Arctic charr, Salvelinus alpinus (L.) : response to conspecific scent and nitrogenous metabolites

    Författare :Håkan Olsén; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP;

    Sammanfattning : .... LÄS MER

  5. 4. Collage induction : proving properties of logic programs by program synthesis

    Författare :Hans Olsén; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The motivation behind this thesis is to formally prove programs correct. The contributions are twofold:Firstly, a new rule of mathematical induction called collage induction, is introduced, which treats mathematical induction as a natural generalization of the CUT-rule. LÄS MER

  7. 5. Federico Barocci : a critical study in Italian cinquecento painting

    Författare :Harald Olsen; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Art; Konstvetenskap;

    Sammanfattning : .... LÄS MER