Sökning: "Bengt Nilsson"

Visar resultat 11 - 15 av 45 avhandlingar innehållade orden Bengt Nilsson.

1. 11. Regular model checking

   Författare :Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. LÄS MER

3. 12. Accurate description of heterogeneous tumors for biologically optimized radiation therapy

   Författare :Johan Nilsson; Bengt Lind; Anders Brahme; Margareta Edgren; Søren Bentzen; Stockholms universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; heterogeneous tumors; radiation therapy; biological optimization; tumor hypoxia; effective radiation sensitivity; effective radiation resistance; Radiation biology; Strålningsbiologi;

   Sammanfattning : In this thesis, a model of tissue oxygenation is presented, that takes into account the heterogeneous nature of tumor vasculature. Even though the model is rather simple, the resulting oxygen distributions agree very well with clinically observed oxygen distributions for most tumors and healthy normal tissues. LÄS MER

4. 13. Regular Model Checking

   Författare :Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

   Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER

5. 14. Electrodes and Electrokinetic Systems for Biotechnological Applications

   Författare :Sara Nilsson; Nathaniel D Robinson; Fredrik Björefors; Bengt Danielsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Research in bioelectronics studies biological systems and materials in combination with electronic interfaces for the development of devices, e.g., for medical applications, drug and toxicity tests, and biotechnology in general. Neural implants and pacemakers are examples of products developed from this area of research. LÄS MER

7. 15. Cardiovascular aspects on chronic obstructive pulmonary disease : with focus on ischemic ECG abnormalities, QT prolongation and arterial stiffness

   Författare :Ulf Nilsson; Anne Lindberg; Anders Blomberg; Bengt Johansson; Christine Brulin; Per Bakke; Umeå universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Epidemiology; COPD; ischemic heart disease; cardiovascular disease; ECG; spirometry; kardiologi; Cardiology;

   Sammanfattning : Background: Chronic Obstructive Pulmonary disease (COPD) is an under-diagnosed disease with a prevalence of approximately 10%, highly dependent on age and smoking habits. Comorbidities are common in COPD and of these, cardiovascular diseases (CVD) are the most common. LÄS MER