Sökning: "explicit inversion"

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

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

    Detta är en avhandling från Institutionen för teoretisk elektroteknik

    Författare :Mikhail Popov; KTH.; [2001]
    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

  2. 2. A Natural Interpretation of Classical Proofs

    Detta är en avhandling från Stockholm : Matematiska institutionen

    Författare :Jens Brage; Stockholms universitet.; [2006]
    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; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys 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

  3. 3. On Invertibility of the Radon Transform and Compressive Sensing

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Joel Andersson; KTH.; [2014]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Radon transform; invertibility; compressive sensing; stability estimates; Matematik; Mathematics;

    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

  4. 4. Gaze control in episodic memory

    Detta är en avhandling från Umeå : Institutionen för psykologi

    Författare :Linus Holm; Umeå universitet.; [2004]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SOCIAL SCIENCES Social sciences Psychology; SAMHÄLLSVETENSKAP Socialvetenskap 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

  5. 5. Some Applications of Integral Formulas in Several Complex Variables

    Detta är en avhandling från Göteborg : Chalmers University of Technology

    Författare :Jörgen Boo; Göteborgs universitet.; Gothenburg University.; [1996]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The thesis gives three examples of how integral formulas can be used in complex analysis. We say that a set S in Cn is quadratically convex if through any point in its complement there is a quadratic hypersurface that does not intersect S. LÄS MER