Sökning: "explicit inversion"

Visar resultat 1 - 5 av 12 avhandlingar innehållade orden explicit inversion.

  1. 1. Analytic and Numerical Methods for the Solution of Electromagnetic Inverse Source Problems

    Författare :Mikhail Popov; KTH; []
    Nyckelord :Inverse problem; inverse source problem; explicit identification; data continuation; global optimization; optimization approach; simulated annealing; genetic algorithm; non-destructive testing; lightning; return stroke model; explicit inversion; biom;

    Sammanfattning : .... LÄS MER

  3. 2. Three-Dimensional Modelling and Inversion of DC resistivity and Time Domain EM data using Multi-Resolution Framework

    Författare :Jingyu Gao; Thorkild Maack Rasmussen; Maxim Smirnov; Bülent Tezkan; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; DC Resistivity; time-domain electromagnetic; forward modelling; data inversion; Prospekteringsgeofysik; Exploration Geophysics;

    Sammanfattning : 3-D forward modelling and inversion techniques play an important role in data interpretation, but they are still computationally challenging tasks. Therefore, this thesis aims to improve forward modelling and inversion performance using novel multi-resolution (MR) grid approach. LÄS MER

  4. 3. A Natural Interpretation of Classical Proofs

    Författare :Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

    Sammanfattning : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. LÄS MER

  5. 4. On Invertibility of the Radon Transform and Compressive Sensing

    Författare :Joel Andersson; Jan-Olov Strömberg; Mikko Salo; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Radon transform; invertibility; compressive sensing; stability estimates; Mathematics; Matematik;

    Sammanfattning : This thesis contains three articles. The first two concern inversion andlocal injectivity of the weighted Radon transform in the plane. The thirdpaper concerns two of the key results from compressive sensing.In Paper A we prove an identity involving three singular double integrals. LÄS MER

  7. 5. Gaze control in episodic memory

    Författare :Linus Holm; Timo Mäntylä; Bruno Laeng; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Psychology; Psykologi; Psychology; psykologi; Psychology; psykologi;

    Sammanfattning : The role of gaze control in episodic recognition was investigated in two studies. In Study 1, participants encoded human faces inverted or upright, with or without eye movements (Experiment 1) and under sorting or rating tasks (Experiment 2) respectively. LÄS MER