Sökning: "Boolean"

Visar resultat 1 - 5 av 74 uppsatser innehållade ordet Boolean.

  1. 1. A Verified QBF Solver

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

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  3. 2. Analysis of Mutable Game Environments Built on a Tetrahedral Mesh : Tetras, a Potential Alternative to Voxels

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

    Författare :Noah Tell; [2023]
    Nyckelord :Voxels; Tetrahedron; Tetrahedral Mesh; Tetrahedralization; Tessellation; Mutable Environment; Editable Terrain; Deformable Environment; Boolean Operations; Real-Time; Computer Games; Computational Geometry; Voxlar; Tetrahedror; Tetrahedralisering; Tessellering; Formbar Terräng; Booliska Operationer; Realtid; Datorspel; Beräkningsgeometri;

    Sammanfattning : Historically 3D game environments have almost always been immutable. Mutable environments are a technical challenge that will affect performance. For games of the future to continue approaching realism, mutable environments are an essential step. LÄS MER

  4. 3. Parallelization of boolean operations for CAD Software using WebGPU

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Max Helmrich; Linus Käll; [2023]
    Nyckelord :Parallelization; Web; Boolean Operations; WebGPU; CAD; GPU Acceleration;

    Sammanfattning : This project is about finding ways to improve performance of a Computer-Aided-Design (CAD) application running in the web browser. With the new Web API WebGPU, it is now possible to use the GPU to accelerate calculations for CAD applications in the web. LÄS MER

  5. 4. Forecasting post COVID-19 : How to improve forecasting models’ performance when training data has been aected by exceptional events like COVID-19 pandemic?

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

    Författare :Lina Shrebati; [2023]
    Nyckelord :Time Series; Forecasting; COVID-19; Data processing; Optimal transport; Tidsserier; Prognoser; COVID-19; Databehandling; Optimal transport;

    Sammanfattning : Almost every company around the world were aected by the COVID-19 crisis and the government measures that were taken to slow the spread of the virus. The impact the crisis had on the economy caused the appearance of anomalies in the data collected by companies : such as abnormal trend, seasonality etc. LÄS MER

  7. 5. Psilocybin Induced Psychedelic Experiences : their Neural Mechanisms and Efficacy for Treating Depressive Disorders

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för biovetenskap

    Författare :Linda Lindecrantz; Nicklas Villman; [2023]
    Nyckelord :psilocybin; depression; fMRI; systematic review; DMN;

    Sammanfattning : The aim of this systematic review is to present the current literature on the therapeutic potential of the classic psychedelic compound psilocybin for depressive disorders and the neurocognitive mechanisms involved recorded with functional magnetic resonance imaging (fMRI). A comprehensive literature search was conducted in the electronic databases Web of Science, Scopus and Medline EBSCO using a Boolean search string containing the keywords psilocybin, depression, fMRI, MRI and PET. LÄS MER