Sökning: "logical"

Visar resultat 26 - 30 av 357 avhandlingar innehållade ordet logical.

  1. 26. Studies regarding the concept formation of young children and their performance on logical tasks

    Författare :Eva Berglund; Uppsala universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Sammanfattning : .... LÄS MER

  3. 27. On the role of the electron-electron interaction in two-dimensional quantum dots and rings

    Författare :Erik Waltersson; Eva Lindroth; Stephanie Reimann; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; quantum dot; quantum ring; quantum dot molecule; electronic structure; two-dimensional; many-body physics; many-body perturbation theory; coupled cluster; coupled cluster singles and doubles; quantum logical gates; quantum computing; quantum control; quantum control algorithm; Electronic structure; Elektronstruktur; fysik; Physics;

    Sammanfattning : Many-Body Perturbation Theory is put to test as a method for reliable calculations of the electron-electron interaction in two-dimensional quantum dots. We show that second order correlation gives qualitative agreement with experiments on a level which was not found within the Hartree-Fock description. LÄS MER

  4. 28. Samhällets tvåsidighet : Aktör-struktur i tre forskningsansatsers program och tillämpningar

    Författare :Mikael Rundqvist; Sweden University of Gothenburg Department of political science; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Actor factors; actor theoretical approach; actor-structural theoretical approach. application; interna! logical congruence; relational concept of structure; research programme; structural theoretical approach; structure factors; two-sided leve! realism;

    Sammanfattning : Samhällsvetenskapliga portalfigurer som Durkheim, Marx och Weber har medverkat i diskussionen om aktör och struktur. Diskussionen om intentioner; agerande och samhällsstrukturer pågår fortfarande. Om de samhällsvetenskapliga fenomenen utgår från individen – aktören – och/eller dess omgivning - strukturen - är en evig fråga. LÄS MER

  5. 29. Communication in the context of acute pain : Persuasion or validation?

    Författare :Johan Carstens Söderstrand; Steven Linton; Katja Boersma; Tamar Pincus; Örebro universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Acute pain; communication; validation; reassurance; expectations for recovery; catastrophizing; recall; misdirected problem solving; psycho-logical flexibility;

    Sammanfattning : Historically, the dominating theoretical framework for communication in the context of acute pain is reassurance. An inherent assumption of this framework is that the person in pain needs to have their fears and doubts removed and be educated, or persuaded, that the pain problem is not dan-gerous. LÄS MER

  7. 30. Logics of Knowledge and Cryptography : Completeness and Expressiveness

    Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

    Sammanfattning : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. LÄS MER