Avancerad sökning

Visar resultat 21 - 25 av 61 avhandlingar som matchar ovanstående sökkriterier.

  1. 21. Causal Facts

    Författare :Johannes Persson; Teoretisk filosofi; []
    Nyckelord :HUMANIORA; HUMANITIES; causation; trope; disposition; causal explanation; causal law; Philosophical logic; counterfactual conditional; causal mechanism; Teoretisk filosofi; logik;

    Sammanfattning : The thesis addresses the nature of causation. It is argued that causation exists and is as local as its causes and effects. As a consequence, the position advocated is contrary to the as yet prevailing view that no 'causal tie' between cause and effect exists. Moreover, it is suggested that this tie can be perceived. LÄS MER

  3. 22. A study of student problems in learning to program

    Författare :Jan Erik Moström; Jürgen Börstler; Mordechai Ben-Ari; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; concurrency; learning; difficulties; programming; Computer Science; datalogi; datavetenskapernas didaktik; didactics of computer science;

    Sammanfattning : Programming is a core subject within Computer Science curricula and many also consider it a particularly difficult subject to learn. There have been many studies and suggestions on what causes these difficulties and what can be done to improve the situation. LÄS MER

  4. 23. Distorted natures : Shifting ideologies of nature in Swedish geography school textbooks 1866-2012

    Författare :Sebastian Djup; Mitchell Donald; Ann Grubbström; Jonas Almqvist; Scott Kirsch; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; nature; ideology; ideologies of nature; production of nature; geography school textbooks; geography education geografididaktik ; curriculum studies didaktik ; Geography; Geografi;

    Sammanfattning : Historically, nature has worked and functioned as a powerful idea. Therefore, this thesis provides a historical account of how ideologies of nature have been articulated and transformed in Swedish geography school textbooks (secondary and upper secondary level) from 1866 to 2012. LÄS MER

  5. 24. Minimal Optimism : Reading P. F. Strawson on Responsibility

    Författare :Anton Emilsson; Praktisk filosofi; []
    Nyckelord :HUMANIORA; HUMANITIES; P. F. Strawson; responsibility; free will; scepticism; naturalism; free will scepticism; Compatibilism; philosophical methodology; pragmatic genealogy; blame;

    Sammanfattning : Peter Strawson’s ‘Freedom and Resentment’ (1962) has reoriented the way moral philosophers think about responsibility. There is a general sense that Strawson’s approach holds the promise that we may move beyond the traditional discussion of free will in recognition of the fact that whether determinism is true is irrelevant for whether we are responsible beings. LÄS MER

  7. 25. Effective Techniques for Stateless Model Checking

    Författare :Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

    Sammanfattning : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER