Sökning: "Hans Olsén"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden Hans Olsén.

  1. 1. 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

  3. 2. 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

  4. 3. Maupassant marionnettiste : lecture d'une "structure de farce" dans les récits courts de Maupassant

    Författare :Hans Färnlöf; Margareta Östman; Michel Olsen; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Maupassant; nouvelles; farce; structure; Literature; litteraturvetenskap;

    Sammanfattning : .... LÄS MER

  5. 4. Avian Influenza Virus : Deciphering receptor interactions and their role in interspecies transmission

    Författare :Per Eriksson; Patrik Ellström; Björn Olsen; Josef D. Järhult; Åke Lundkvist; Jonas Waldenström; Hans-Dieter Klenk; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; birds; glycobiology; glycovirology; host range; mixing vessel; virus attachment; Medical Virology; Medicinsk virologi;

    Sammanfattning : Influenza A virus (IAV) annually infects approximately 5–15 % of the human population, causing ~500,000 deaths globally. Novel IAVs have emerged and spread pandemically in the human population, but have over time established endemic circulation with reduced pathogenicity causing seasonal influenza. The natural reservoir of IAVs is wild waterfowl. LÄS MER

  7. 5. Theoretical Description of Electronic Transitions in Large Molecular Systems in the Optical and X-Ray Regions

    Författare :Nanna Holmgaard List; Jacob Kongsted; Hans Jørgen Aagaard Jensen; Roberto Cammi; Jeppe Olsen; Jens Oddershede; Denmark University of Southern Denmark Chemistry and Biology Department of Physics; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Polarizable embedding; multiscale modeling; localized electronic transitions; response theory; QM MM; damped linear response; non-dipolar effects; light-matter interactions; multipole expansion; embedding potentials; local field effects; fluorescent proteins; computational chemistry; MCSCF; Teoretisk kemi och biologi; Theoretical Chemistry and Biology;

    Sammanfattning : The size and conformational complexity of proteins and other large systems represent major challenges for today's methods of quantum chemistry.This thesis is centered around the development of new computational tools to gain molecular-level insight into electronic transitions in such systems. LÄS MER