Sökning: "logical"

Visar resultat 16 - 20 av 334 avhandlingar innehållade ordet logical.

  1. 16. Algorithms for synchronization and consistency in concurrent system services

    Författare :Anders Gidenstam; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; threading; plausible clocks; memory management; event ordering; lock-free; optimistic causal order; nonblocking; group communication; synchronization; memory reclamation; time stamping system; logical clocks; atomic registers.;

    Sammanfattning : Synchronization, consistency and scalability are important issues in the design of concurrent computer system services. In this thesis we study the application of optimistic and scalable methods in concurrent system services. LÄS MER

  2. 17. Det vardagliga och det vetenskapliga : Om sociologins begrepp

    Författare :Klas Gustavsson; Sociologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; sociological theory; philosophy of social science; common sense; ordinary language; everyday life; epistemological break; logical positivism; Louis Althusser; Herbert Blumer; Pierre Bourdieu; Émile Durkheim; Harold Garfinkel; Alfred Schutz; Dorothy E. Smith; Max Weber; Peter Winch; Ludwig Wittgenstein;

    Sammanfattning : This dissertation concerns the relationship between sociology and everyday life and aims primarily to critically evaluate the positions taken in the theoretical discussion on sociological concept formation and its relation to everyday life and social sciences. The main theoretical positions in the debate are summarized in two ideal typological models: (1) The rationalist theory of an epistemological break between everyday life and social science, here represented by the scholarships of Émile Durkheim, Louis Althusser and Pierre Bourdieu; (2) the everyday-life-oriented theory of continuity between everyday life and social science, represented by Peter Winch, Harold Garfinkel and Dorothy E. LÄS MER

  3. 18. A prototype system for logical reasoning about time and action

    Författare :Christer Hansson; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis presents the experience and results from the implementation of a prototype system for reasoning about time and action. Sandewall has defined syntax, semantics and preference relations on the interpretations of a temporal logic. LÄS MER

  4. 19. Optical Memories and Processing in Time- and Frequency Domain

    Författare :Baozhu Luo; Atomfysik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Optical storage; photon echo; spectral hole burning; nonlinear optics; fiber amplifier; logical operation; phase retrieval; polarization holographic recording and retrieval; optical processing; Atomic and molecular physics; Atom- och molekylärfysik; Fysicumarkivet A:1998:Luo;

    Sammanfattning : Spectral hole burning and photon echoes are the techniques for frequency-selective optical memories, which have the potential to increase areal data storage density by a factor 10**7. They also have the capability to perform in-memory data processing. LÄS MER

  5. 20. Reasoning with Bounded Cognitive Resources

    Författare :Abdul Rahim Nizamani; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :NATURVETENSKAP; NATURVETENSKAP; SAMHÄLLSVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; SOCIAL SCIENCES; Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling;

    Sammanfattning : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. LÄS MER