Search for dissertations about: "A Kreuger"

Showing result 1 - 5 of 20 swedish dissertations containing the words A Kreuger.

  2. 1. GCLA II : a definitional approach to control

    Author : Per Kreuger; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  4. 2. Development of a robust and rapid microfluidics-based antibiotic susceptibility test : From prototype to clinical implementation

    Author : Christer Malmberg; Johan Kreuger; Thomas Tängdén; Till Bachmann; Uppsala universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; lab-on-a-chip; rapid antibiotic susceptibility testing; AST; sepsis; microfluidics; blood culture; Medical Cell Biology; Medicinsk cellbiologi;

    Abstract : Even though bacteria normally are rapidly cleared from the blood by the immune system, a blood stream infection may arise, in turn possibly leading to sepsis and septic shock. Sepsis is a life-threatening condition, where the inflammatory response to infection targets tissues and organs. READ MORE

  5. 3. Computational Issues in Calculi of Partial Inductive Definitions

    Author : Per Kreuger; RISE; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

    Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE

  6. 4. A Study of Combinatorial Optimization Problems in Industrial Computer Systems

    Author : Markus Bohlin; Björn Lisper; Per Kreuger; Mikael Sjödin; Petru Eles; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Computer Science; datavetenskap;

    Abstract : A combinatorial optimization problem is an optimization problem where the number of possible solutions are finite and grow combinatorially with the problem size. Combinatorial problems exist everywhere in industrial systems. READ MORE

  7. 5. Decoding Heparan Sulfate

    Author : Johan Kreuger; John T. Gallager; Uppsala universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Biochemistry; Heparan sulfate; fibroblast growth factor; receptor; endostatin; angiogenesis; interaction; sequence; Biokemi; Biochemistry; Biokemi; Medical Biochemistry; medicinsk biokemi;

    Abstract : Heparan sulfate (HS) is a polysaccharide of glycosaminoglycan type composed of alternating hexuronic acid [either glucuronic acid (GlcA) or iduronic acid (IdoA)] and glucosamine (GlcN) units that can be sulfated in various positions. HS binds to a large number of proteins and these interactions promote many biological processes, including cell adhesion and growth factor signaling. READ MORE