Sökning: "Kreuger"

Visar resultat 1 - 5 av 25 avhandlingar innehållade ordet Kreuger.

  1. 1. Massive blood transfusions : studies on newborn infants of the effects of blood preserved by different procedures

    Författare :Anders Kreuger; Uppsala universitet; []
    Nyckelord :MEDICINE; MEDICIN;

    Sammanfattning : .... LÄS MER

  3. 2. The potential of industrial hemp (Cannabis sativa L.) for biogas production

    Författare :Emma Kreuger; Bioteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; biogas; anaerobic digestion; bioenergy; Cannabis sativa L.; hemp; energy crops; biofuel; methane; transportation fuel; renewable energy;

    Sammanfattning : Biofuels are currently produced from agricultural crops, and an increasing use of crops for this application is expected in the EU in the years to come. The dominating crops cultivated in the EU for biofuel production today have a relatively large environmental impact. LÄS MER

  4. 3. Decoding Heparan Sulfate

    Författare :Johan Kreuger; John T. Gallager; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

    Författare :Per Kreuger; RISE; []
    Nyckelord :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.;

    Sammanfattning : 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. LÄS MER

  7. 5. GCLA II : a definitional approach to control

    Författare :Per Kreuger; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER