Sökning: "exact completion"

Visar resultat 1 - 5 av 11 avhandlingar innehållade orden exact completion.

  1. 1. Exact completion and type-theoretic structures

    Författare :Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

    Sammanfattning : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. LÄS MER

  3. 2. Small energy isotopies of loose Legendrian submanifolds

    Författare :Lukas Nakamura; Tobias Ekholm; Álvaro del Pino Gómez; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; contact geometry; Legendrian submanifolds; Chekanov-Shelukhin-Hofer energy; Mathematics; Matematik;

    Sammanfattning : In the first paper, we prove that for a closed Legendrian submanifold L of dimension n>2 with a loose chart of size η, any Legendrian isotopy starting at L can be C0-approximated by a Legendrian isotopy with energy arbitrarily close to η/2. This in particular implies that the displacement energy of loose displaceable Legendrians is bounded by half the size of its smallest loose chart, which proves a conjecture of Dimitroglou Rizell and Sullivan. LÄS MER

  4. 3. Flexibility in Statically Scheduled Real-Time Systems

    Författare :Gerhard Fohler; Mälardalens högskola; []
    Nyckelord :;

    Sammanfattning : Static scheduling has been shown to be appropriate for a variety of hard real-time systems, mainly due to the verifiable timing behavior of the system and the complex task models supported. Its application is, however, impeded in systems with changing operational modes and critical activities, that arrive infrequently with unknown occurrence times. LÄS MER

  5. 4. Neuronal assembly formation and non-random recurrent connectivity induced by homeostatic structural plasticity

    Författare :Julia Gallinaro; Pawel Herman; Alexander Kozlov; Stefan Rotter; Wulfram Gerstner; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Plasticity is usually classified into two distinct categories: Hebbian or homeostatic. Hebbian is driven by correlation in the activity of neurons, while homeostatic relies on a negative feedback signal to control neuronal activity. LÄS MER

  7. 5. Response time analysis for implementation of distributed control systems

    Författare :Ola Redell; KTH; []
    Nyckelord :real-time systems; response time analysis; control systems; control jitter;

    Sammanfattning : Methods for performing response time analysis of real-timesystems are important, not only for their use in traditionalschedulability testing, but also for deriving bounds on outputtiming variations in control applications. Automatic controlsystems are inherently sensitive to variations in periodicityand end-to-end delays. LÄS MER