Sökning: "logical"

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

  1. 11. Type Theory with First-Order Data Types and Size-Change Termination

    Författare :David Wahlstedt; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Sammanfattning : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. LÄS MER

  3. 12. Self-Organizing Logical-Clustering Topology for Managing Distributed Context Information

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

    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

  4. 13. 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 :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

  5. 14. 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 :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

  7. 15. Synchronization and consistency in concurrent systems

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