Visar resultat 16 - 20 av 334 avhandlingar innehållade ordet logical.
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
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
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
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
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