Search for dissertations about: "Calculus Thesis"

Showing result 1 - 5 of 155 swedish dissertations containing the words Calculus Thesis.

  2. 1. Grammatical calculus

    Author : Hans Karlgren; Stockholms universitet; []
    Keywords : HUMANIORA; HUMANITIES;

    Abstract : .... READ MORE

  4. 2. The Fusion Calculus : Expressiveness and Symmetry in Mobile Processes

    Author : Björn Victor; Joachim Parrow; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : The fusion calculus is presented as a significant step towards a canonical calculus of concurrency. It simplifies and extends the π-calculus of Milner, Parrow and Walker.The fusion calculus contains the polyadic π-calculus as a proper subcalculus and thus inherits all its expressive power. READ MORE

  5. 3. Programming Language Design - Issues in Web Programming and Security

    Author : Niklas Broberg; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation; calculus;

    Abstract : This thesis consists of two separate parts. Both concern programming language design, the first in the domain of web programming and the other for security. READ MORE

  6. 4. Some Extensions of Fractional Ornstein-Uhlenbeck Model : Arbitrage and Other Applications

    Author : José Igor Morlanes; Andriy Andreev; Hans Nyquist; Henrik Hult; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fractional Ornstein-Uhlenbeck process; insider information; simulation embedding method; jump times; least-squares estimator; likelihood process; Ito calculus; Malliavin calculus; stochastic calculus; Statistics; statistik;

    Abstract : This doctoral thesis endeavors to extend probability and statistical models using stochastic differential equations. The described models capture essential features from data that are not explained by classical diffusion models driven by Brownian motion.New results obtained by the author are presented in five articles. READ MORE

  7. 5. Dynamic scoping in -calculus

    Author : José Luis Vivas; KTH; []
    Keywords : ;

    Abstract : .... READ MORE