Search for dissertations about: "exact completion"

Showing result 1 - 5 of 11 swedish dissertations containing the words exact completion.

2. 1. Exact completion and type-theoretic structures

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

   Abstract : 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. READ MORE

4. 2. Small energy isotopies of loose Legendrian submanifolds

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

   Abstract : 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. READ MORE

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

   Author : Gerhard Fohler; Mälardalens högskola; []
   Keywords : ;

   Abstract : 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. READ MORE

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

   Author : Julia Gallinaro; Pawel Herman; Alexander Kozlov; Stefan Rotter; Wulfram Gerstner; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : 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. READ MORE

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

   Author : Ola Redell; KTH; []
   Keywords : real-time systems; response time analysis; control systems; control jitter;

   Abstract : 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. READ MORE