Sökning: "Henrik Forssell"

Hittade 4 avhandlingar innehållade orden Henrik Forssell.

  1. 1. De contactu linearum disquisitio quam venia ampl. facult. philos. Upsal. præside mag. Henrico Falck ... pro gradu philosophico p. p. auctor Carolus Adolphus Forssell Gestricio-Helsingus in audit. Gustav. die XXIX Maji MDCCCXXXIII. H. a. m. s

    Författare :Henrik Falck; Carl Adolf Forssell; Henrik Falck; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  3. 2. Performance Guarantees for Physical Layer Authentication in Mission-Critical Communications

    Författare :Henrik Forssell; Ragnar Thobaben; Stefano Tomasin; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Physical layer authentication; mission-critical communica- tions; worst-case performance; queueing delay performance; stochastic net- work calculus; optimal attack strategies.; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : As the application areas for wireless communications are expanding, we also see new security vulnerabilities arise due to the open nature of the wire- less medium. One particularly challenging problem is how to guarantee the security of emerging mission-critical communications, e.g. LÄS MER

  4. 3. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

    Författare :Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

    Sammanfattning : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. LÄS MER

  5. 4. Univalent Types, Sets and Multisets : Investigations in dependent type theory

    Författare :Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

    Sammanfattning : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. LÄS MER