Sökning: "logical"
Visar resultat 16 - 20 av 356 avhandlingar innehållade ordet logical.
16. Relations in Dependent Type Theory
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
17. Algorithms for synchronization and consistency in concurrent system services
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
18. Det vardagliga och det vetenskapliga : Om sociologins begrepp
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
19. A prototype system for logical reasoning about time and action
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
20. Optical Memories and Processing in Time- and Frequency Domain
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