Sökning: "Markus Hansson"

Hittade 3 avhandlingar innehållade orden Markus Hansson.

1. 1. Measurement and Simulation Based Techniques for Real-Time Systems Analysis

   Författare :Markus Lindgren; Hans Hansson; Jörgen Hansson; Uppsala University; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Datavetenskap;

   Sammanfattning : Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses.  Unfortunately, many of these systems are designed and evaluated using ad-hoc techniques. LÄS MER

3. 2. Phagocyte-induced apoptosis in natural killer cells and T cells. Role of reactive oxygen species and regulation by histamine

   Författare :Markus Hansson; Göteborgs universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES;

   Sammanfattning : Malignant tumors frequently contain an infiltrate of leukocytes, usually cells of the monocyte/macrophage lineage and lymphocytes with anti-tumor activity such as natural killer (NK) cells and T cells. Clinical and experimental data suggest that monocytes/macrophages in tumors inhibit functions of adjacent NK cells/T cells and thereby suppress lymphocyte-dependent anti-tumor immunity. LÄS MER

4. 3. Measurement and simulation based techniques for real-time systems analysis

   Författare :Markus Lindgren; Hans Hansson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses. Unfortunately, many of these systems are designed and evaluated using ad-hoc techniques. LÄS MER