Sökning: "Approximate number system"

Visar resultat 26 - 30 av 61 avhandlingar innehållade orden Approximate number system.

  1. 26. Numerical simulation of well stirred biochemical reaction networks governed by the master equation

    Författare :Andreas Hellander; Per Lötstedt; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Scientific Computing; Beräkningsvetenskap;

    Sammanfattning : Numerical simulation of stochastic biochemical reaction networks has received much attention in the growing field of computational systems biology. Systems are frequently modeled as a continuous-time discrete space Markov chain, and the governing equation for the probability density of the system is the (chemical) master equation. LÄS MER

  3. 27. Infinite-state Stochastic and Parameterized Systems

    Författare :Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
    Nyckelord :program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

    Sammanfattning : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. LÄS MER

  4. 28. Cell-Free Massive MIMO : Scalability, Signal Processing and Power Control

    Författare :Giovanni Interdonato; Erik G. Larsson; Hien Quoc Ngo; Àngel Lozano; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The fifth generation of mobile communication systems (5G) is nowadays a reality. 5G networks are been deployed all over the world, and the first 5G-capable devices (e.g., smartphones, tablets, wearable, etc. LÄS MER

  5. 29. Construction of Adaptive Multistep Methods for Problems with Discontinuities, Invariants, and Constraints

    Författare :Fatemeh Mohammadi; Numerisk analys; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; multistep methods; Initialization; beta-blocking; Discontinuity; Time adaptivity; Strong stability preserving; Differential algebraic equations;

    Sammanfattning : Adaptive multistep methods have been widely used to solve initial value problems. These ordinary differential equations (ODEs) may arise from semi-discretization of time-dependent partial differential equations(PDEs) or may combine with some algebraic equations to represent a differential algebraic equations (DAEs). LÄS MER

  7. 30. Sequential Monte Carlo for inference in nonlinear state space models

    Författare :Johan Dahlin; Thomas Schön; Fredrik Lindsten; Adam M. Johansen; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Nonlinear state space models (SSMs) are a useful class of models to describe many different kinds of systems. Some examples of its applications are to model; the volatility in financial markets, the number of infected persons during an influenza epidemic and the annual number of major earthquakes around the world. LÄS MER