Avancerad sökning

Hittade 3 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Horn clause logic with external procedures : towards a theoretical framework

    Författare :Staffan Bonnier; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Horn clause logic has certain properties which limit its usefulness as a programming language. In this thesis we concentrate on three such limitations: (1) Horn clause logic is not intended for the implementation of algorithms. LÄS MER

  3. 2. Semantic Inspection of Software Artifacts From Theory to Practice

    Författare :Tim Heyer; Ulf Nilsson; Anders Törne; Staffan Bonnier; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software development process; programming; program language; UML; Computer science; Datavetenskap;

    Sammanfattning : Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. LÄS MER

  4. 3. Restructuring the socially anxious brain : Using magnetic resonance imaging to advance our understanding of effective cognitive behaviour therapy for social anxiety disorder

    Författare :Kristoffer N. T. Månsson; Gerhard Andersson; Tomas Furmark; Per Carlbring; C-J Boraxbekk; Philippe Goldin; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Social anxiety disorder SAD ; Cognitive behaviour therapy CBT ; Amygdala; Multimodal neuroimaging; Support vector machine learning SVM ; Social ångest; Kognitiv beteendeterapi; Hjärnavbildning; Amygdala; Magnetresonanstomografi;

    Sammanfattning : Social anxiety disorder (SAD) is a common psychiatric disorder associated with considerable suffering. Cognitive behaviour therapy (CBT) has been shown to be effective but a significant proportion does not respond or relapses, stressing the need of augmenting treatment. LÄS MER