Sökning: "logical"

Visar resultat 11 - 15 av 335 avhandlingar innehållade ordet logical.

  1. 11. Self-Organizing Logical-Clustering Topology for Managing Distributed Context Information

    Författare :Hasibur Rahman; Theo Kanter; Rahim Rahmani; Athanasios V. Vasilakos; Stockholms universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Internet of Things; Context Information; Clustering; Distributed Computing; data- och systemvetenskap; Computer and Systems Sciences;

    Sammanfattning : Internet of Things (IoT) is on the verge of experiencing a paradigm shift, the focus of which is the integration of people, services, context information, and things in the Connected Society, thus enabling Internet of Everything (IoE). Hundreds of billions of things will be connected to IoT/IoE by 2020. LÄS MER

  2. 12. Om kyrklundheten : Värde, kunskap och skrivande i Willy Kyrklunds Om godheten

    Författare :Johan Sahlin; Margareta Petersson; Fredrik Stjernberg; Anders Pettersson; Växjö universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Kyrklund; naturalism in ethics; ethical dilemmas; personal identity; self-reflexive literature; metafiction; rhetoric; hybrid genre; essay genre; essayism; philosophy and literature; epistemology; empiricism; rationalism; logical empiricism; Kaila; Darwinism; Literature; Litteraturvetenskap; Comparative literature; Litteraturvetenskap;

    Sammanfattning : The quest for certainty is a constant theme in the works of Swedish-Finnish author Willy Kyrklund. This quest is communicated both explicitly in essayistic prose articles and implicitly as a theme in his works of fiction. LÄS MER

  3. 13. Frege och idén om det givna : En undersökning av logisk form och idén om ett begreppsligt givet innehåll i språket

    Författare :Thorsten Johansson; Uppsala universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Philosophy; sense; reference; Sinn; Bedeutung; representations; logical form; intuitions; conceptual content; idealism; realism; a priori; judgements; truth; existence; objectivity; justification; assertion; Filosofi; Philosophy subjects; Filosofiämnen; Theoretical Philosophy; Teoretisk filosofi;

    Sammanfattning : This study is an investigation of some main problems of the philosophy of language initiated by Gottlob Frege. Frege wanted to show that there is a conceptual content in expressions that is not the same as the psychological associations given in intuitions. He also wanted to show that such a content is objective and independent of thesubject. LÄS MER

  4. 14. Synchronization and consistency in concurrent systems

    Författare :Anders Gidenstam; Chalmers University of Technology; []
    Nyckelord :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

  5. 15. Relations in Dependent Type Theory

    Författare :Carlos Gonzalía; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    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