Sökning: "logical"

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

1. 16. Relations in Dependent Type Theory

   Författare :Carlos Gonzalía; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

   Sammanfattning : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. LÄS MER

3. 17. Algorithms for synchronization and consistency in concurrent system services

   Författare :Anders Gidenstam; Chalmers tekniska högskola; []
   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

4. 18. Det vardagliga och det vetenskapliga : Om sociologins begrepp

   Författare :Klas Gustavsson; Sociologi; []
   Nyckelord :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

5. 19. A prototype system for logical reasoning about time and action

   Författare :Christer Hansson; Linköpings universitet; []
   Nyckelord :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

7. 20. Optical Memories and Processing in Time- and Frequency Domain

   Författare :Baozhu Luo; Atomfysik; []
   Nyckelord :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