Sökning: "Aliasing"

Visar resultat 1 - 5 av 55 uppsatser innehållade ordet Aliasing.

  1. 1. Embedded digital filter design and implementation

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Xiao Su; [2023]
    Nyckelord :;

    Sammanfattning : Digital filters have been widely used in signal processing, to reduce or remove unwanted signals of different types, such as noise, and interference, and to enhance or keep desired signals. They are implemented as algorithms on an embedded system (a microcontroller) or a computer. LÄS MER

  3. 2. Phase Unwrapping MRI Flow Measurements

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen Vi3

    Författare :Mio Liljeblad; [2023]
    Nyckelord :phase unwrapping; computer vision; cine MRI; NMR; flow measurements; velocity encoding; venc; energy minimization; magnetic resonance; cardiac MRI; sinotubuar junction; pulmonary artery; ascending descending aorta; laplacian algorithm; iterative graph cuts; IGC; sequential tree-reweighted message passing; TRW-S; velocity to noise ratio; VNR; retrospective wrapping; energy formulation;

    Sammanfattning : Magnetic resonance images (MRI) are acquired by sampling the current of induced electromotiveforce (EMF). EMF is induced due to flux of the net magnetic field from coherent nuclear spins with intrinsic magnetic dipole moments. LÄS MER

  4. 3. Reconstruction of Accelerated Cardiovascular MRI data

    Master-uppsats, Linköpings universitet/Statistik och maskininlärning

    Författare :Hussnain Khalid; [2023]
    Nyckelord :medical imaging; deep learning; CNN; Magnetic resonance imaging; MRI; Cardiac MRI; Cardiac; Cardiovascular; reconstruction; 4D flow MRI; Parallel Imaging; Compressed Sensing; FlowVN; Flow Variational Network; K-space; Reference images; sensitivity maps; Respiratory motion; undersampled images;

    Sammanfattning : Magnetic resonance imaging (MRI), is a noninvasive medical imaging testing techniquewhich is used to produce detailed images of internal structure of the human body, includingbones, muscles, organs, and blood vessels. MRI scanners use large magnets and radiowaves to create images of the body. LÄS MER

  5. 4. Automated Inference of ACSL Contracts for Programs with Heaps

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

  7. 5. Procedural Natural Texture Generation on a Global Scale

    Master-uppsats, Linköpings universitet/Informationskodning

    Författare :Anna Pohl Lundgren; [2023]
    Nyckelord :computer graphics; procedural generation; procedural textures; gpu; image processing; satellite imagery; real time; real-time; shadow detection;

    Sammanfattning : This Master’s thesis investigates the application of dynamically generated procedural terrain textures for texturing 3D representations of the Earth’s surface. The study explores techniques to overcome limitations of the currently most common method – projecting satellite imagery onto the mesh – such as insufficient resolution for close-up views and challenges in accommodating external lighting models. LÄS MER