Sökning: "logical form"

Visar resultat 6 - 10 av 71 avhandlingar innehållade orden logical form.

1. 6. Synchronization and consistency in concurrent systems

   Författare :Anders Gidenstam; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; event ordering; lock-free; memory management; time-stamping system; plausible clocks; non-blocking; logical clocks; synchronization;

   Sammanfattning : This thesis investigates aspects of synchronization and coordination in concurrent systems. In such systems synchronization and coordination are highly important as they form a basis for how a set of entities can collaborate to solve a task. LÄS MER

3. 7. A Facet Model of the Logical Operational Structures of Piaget's Theory : Guttman's Facet Design applied to Piaget's Theory

   Författare :Barbro Bergling; Siv Fischbein; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; facet design; Piaget; operational thinking; Rasch; partial credit model; hierarchical model; psykologi; Psychology;

   Sammanfattning : This thesis explored whether the complex structure of Piaget's theory of operational thinking could be synthesized into a facet model by means of facet design. The aims were: (1) to deduce from detailed conceptual analyses of 12 of Piaget's classical experiments the essential parts of the operational structures (Study I); (2) to explore the internal structure of his constructs in terms of a mapping sentence (Study II); (3) to study the hierarchical structure of the interrelationships between the constructs (Study III); and (4) to apply the facet model in the development of test items (Study II and IV). LÄS MER

4. 8. Automated Theorem Proving with Extensions of First-Order Logic

   Författare :Evgenii Kotelnikov; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; clausal normal form; Program Verification; automated theorem proving; program analysis; TPTP; Vampire; first-order logic;

   Sammanfattning : Automated theorem provers are computer programs that check whether a logical conjecture follows from a set of logical statements. The conjecture and the statements are expressed in the language of some formal logic, such as first-order logic. LÄS MER

5. 9. 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

7. 10. 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