Search for dissertations about: "Niklas Een"
Found 2 swedish dissertations containing the words Niklas Een.
-
1. SAT Based Model Checking
Abstract : 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. READ MORE
-
2. Metabolomic features and viral infections in paediatric inflammatory bowel disease
Abstract : 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). READ MORE