Sökning: "Niklas Een"

Hittade 2 avhandlingar innehållade orden Niklas Een.

  1. 1. SAT Based Model Checking

    Författare :Niklas Een; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This Thesis is a study of automatic reasoning about finite state machines (FSMs). Two techniques used in hardware verification are presented. In both, the verification is carried out by a translation of the problem into propositional logic. Satisfiability and validity of propositional formulas are decided by the use of a SAT solver. LÄS MER

  3. 2. Metabolomic features and viral infections in paediatric inflammatory bowel disease

    Författare :Niklas Nyström; Jonas Halfvarson; Kjell Alving; Yigael Finkel; Ignacio Catalan Serra; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Inflammatory bowel disease; IBD; Crohn s disease; ulcerative colitis; pediatric; metabolomics; lipidomics; enterovirus; coxsackievirus; Pediatrik; Pediatrics; Internal Medicine; Internmedicin;

    Sammanfattning : Background: Up to 25% of patients with inflammatory bowel disease have a paediatric onset (PIBD). The pathophysiological processes underlying PIBD are complex and largely unknown.  Aims: To investigate a hypothesized role for human enterovirus B (HEV-B) in Crohn’s disease (CD) (I). LÄS MER