Search for dissertations about: "Hans Olsén"
Found 5 swedish dissertations containing the words Hans Olsén.
-
1. Automatic Verification of Petri Netsin a CLP framework
Abstract : 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. READ MORE
-
2. Collage induction : proving properties of logic programs by program synthesis
Abstract : 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. READ MORE
-
3. Avian Influenza Virus : Deciphering receptor interactions and their role in interspecies transmission
Abstract : 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. READ MORE
-
4. Theoretical Description of Electronic Transitions in Large Molecular Systems in the Optical and X-Ray Regions
Abstract : 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. READ MORE
-
5. Amoebae as Hosts and Vectors for Spread of Campylobacter jejuni
Abstract : Campylobacter jejuni is the leading bacterial cause of gastrointestinal diarrheal disease in humans worldwide. This zoonotic pathogen has a complex epidemiology due to its presence in many different host organisms. READ MORE