Sökning: "Semantic value"

Visar resultat 16 - 20 av 40 avhandlingar innehållade orden Semantic value.

  1. 16. Automated Deductive Verification of Safety-Critical Embedded Software

    Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

    Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER

  3. 17. Metaethical Relativism: Against the Single Analysis Assumption

    Författare :Ragnar Francén; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; moral relativism; metaethical relativism; speaker relativism; appraiser;

    Sammanfattning : This dissertation investigates the plausibility of metaethical relativism, or more specifically, what I call “moral truth-value relativism”: the idea that the truth of a moral statement or belief depends on who utters or has it, or who assesses it. According to the most prevalent variants of this view in philosophical literature – “standard relativism” – the truth-values are relative to people’s moralities, often understood as some subset of their affective or desire- like attitudes. LÄS MER

  4. 18. Predikativens funktion i svenskan : om adjektiv som subjektiva predikativ

    Författare :Maria Bolander; Umeå universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : The presentworkis a study within a framework of functional grammar, by which is understood a grammar that aims not only at describing variations in syntactic form, but also at identifying their communicative function. The scope of the study is limited to adjectives as predicate complements to subjects. LÄS MER

  5. 19. Component-Oriented Software System Architectures

    Författare :Lars Jakobsson; Remigijus Gustas; Benkt Wangler; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software Architecture; Software Component; Enterprise Modeling; Software Development; Software Life Cycle; Development Process; System Architecture; Information Systems; Informatik;

    Sammanfattning : When designing and developing software systems, there are several challenges that have to be addressed such as complexity, change management and system integrity. Trends in development processes, programming languages and software design are constantly changing. LÄS MER

  7. 20. Frontotemporal dementia - symptoms and brain pathology

    Författare :Maria Landqvist; Lund Psykiatri; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; genetics; neuropsychiatric symptoms; protein pathology; clinical diagnosis; neuropathology; biomarkers; Frontotemporal dementia;

    Sammanfattning : Frontotemporal dementia (FTD) is the clinical term for a heterogeneous group of dementia disorders with symptoms emerging from frontotemporal lobar degeneration (FTLD). FTD encompasses the behavioural variant (bvFTD) and the progressive aphasias: progressive non-fluent aphasia (PNFA) and semantic dementia (SD). LÄS MER