Sökning: "Calculus"

Visar resultat 1 - 5 av 165 avhandlingar innehållade ordet Calculus.

  1. 1. Grammatical calculus

    Författare :Hans Karlgren; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : .... LÄS MER

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

    Författare :Björn Victor; Joachim Parrow; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :José Igor Morlanes; Andriy Andreev; Hans Nyquist; Henrik Hult; Stockholms universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  7. 5. Dynamic scoping in -calculus

    Författare :José Luis Vivas; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER