Sökning: "daniel karlsson liu"

Visar resultat 1 - 5 av 11 avhandlingar innehållade orden daniel karlsson liu.

  1. 1. Specification of unique neuronal sub-types by integration of positional and temporal cues

    Författare :Daniel Karlsson; Stefan Thor; Mattias Alenius; Jeremy S. Dasen; Linköpings universitet; []
    Nyckelord :MEDICINE; MEDICIN;

    Sammanfattning : The nervous system contains vast numbers of neuronal sub-types, generated at specific time points, in the proper location, and in proper numbers. One of the fundamental issues in neurobiology is to understand the molecular genetic mechanisms that underlie the generation of this daunting neuronal diversity. LÄS MER

  3. 2. Towards Formal Verification in a Component-based Reuse Methodology

    Författare :Daniel Karlsson; Petru Eles; Zebo Peng; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Model checking; Petri net; Reuse; Computer science; Datavetenskap;

    Sammanfattning : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). LÄS MER

  4. 3. Verification of Component-based Embedded System Designs

    Författare :Daniel Karlsson; Petru Eles; Zebo Peng; Bashir Al-Hashimi; Linköpings universitet; []
    Nyckelord :Datorsystem; embedded systems; formal verification; Petri-net; IP; reuse; components; model checking; simulation; Datorsystem; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components. At the same time, the systems must fulfill strict functional and non-functional requirements. LÄS MER

  5. 4. Aspects of the use of medical decision-support systems : the role of context in decision support

    Författare :Daniel Karlsson; Linköpings universitet; []
    Nyckelord :MEDICINE; MEDICIN;

    Sammanfattning : There is a great need today for distribution of medical information. The amount of information is growing quickly, and information that could potentially influence clinical practice fails to reach health care professionals. The supply of information to health care has from the start been the main goal of medical informatics. LÄS MER

  7. 5. Design and evaluation of a clinical decision and information support system

    Författare :Daniel Karlsson; Linköpings universitet; []
    Nyckelord :MEDICINE; MEDICIN;

    Sammanfattning : There is an obvious need today for distribution of medical information and expert knowledge among health-care providers. The ever-expanding volume of the biomedical knowledge base and the reduced funding in health-care organisations make the task of keeping up-to-date with developments in clinical medicine difficult. LÄS MER