Essays about: "SAT."

Showing result 1 - 5 of 113 essays containing the word SAT..

  1. 1. Planet-NeRF : Neural Radiance Fields for 3D Reconstruction on Satellite Imagery in Season Changing Environments

    University essay from Linköpings universitet/Datorseende

    Author : Erica Ingerstad; Liv Kåreborn; [2024]
    Keywords : NeRF; Neural Radiance Field; Satellite Imagery; Machine Learning; Deep Learning;

    Abstract : This thesis investigates the seasonal predictive capabilities of Neural Radiance Fields (NeRF) applied to satellite images. Focusing on the utilization of satellite data, the study explores how Sat-NeRF, a novel approach in computer vision, per- forms in predicting seasonal variations across different months. READ MORE

  3. 2. Using eye tracking to measure visual responses

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Sebaztian Johansson; Zebastian Kensert Forsman; [2023]
    Keywords : ;

    Abstract : Eye tracking technology is becoming more accessible in general, presenting new opportunities for applications. Said technology is also a relatively new and unexplored tool that can be used in research to enable insights not previously available. READ MORE

  4. 3. Numerical simulation of the non-linear Schrödinger equation A comparative study based on the summation-by-parts method in space and time

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Ibrohim Hamoud; [2023]
    Keywords : ;

    Abstract : In this work, we present the numerical implementation of various time marching methods based on the summation-by-parts (SBP) method for the time integration of nonlinear dispersive systems. More specifically, we consider the nonlinear Schrödinger (NLS) equation that accepts soliton or soliton-like solution as a primary case study. READ MORE

  5. 4. Simulation of low frequency acoustic waves in small rooms : An SBP-SAT approach to solving the time dependent acoustic wave equation in three dimensions

    University essay from

    Author : Alva Fährlin; Olle Edgren Schüllerqvist; [2023]
    Keywords : room acoustics; numerical methods; SBP; SAT; acoustic wave equation.;

    Abstract : Low frequency acoustic room behaviour can be approximated using numerical methods. Traditionally, music studio control rooms are built with complex geometries, making their eigenmodes difficult to predict mathematically. READ MORE

  6. 5. Synthesis of Neural Networks using SAT Solvers

    University essay from Stockholms universitet/Institutionen för data- och systemvetenskap

    Author : Ludvig Warpe; August Johnson Palm; [2023]
    Keywords : Neural networks; Boolean satisfiability problems; SAT solvers;

    Abstract : Artificial neural networks (ANN) have found extensive use in solving real-world problems in recent years, where their exceptional information processing is the main advantage. Facing increasingly complex problems, there is a need to improve their information processing. READ MORE