Avancerad sökning
Visar resultat 1 - 5 av 12 avhandlingar som matchar ovanstående sökkriterier.
1. Analytic and Numerical Methods for the Solution of Electromagnetic Inverse Source Problems
Sammanfattning : .... LÄS MER
2. Three-Dimensional Modelling and Inversion of DC resistivity and Time Domain EM data using Multi-Resolution Framework
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
3. A Natural Interpretation of Classical Proofs
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
4. On Invertibility of the Radon Transform and Compressive Sensing
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
5. Gaze control in episodic memory
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