Essays about: "boolean"

Showing result 1 - 5 of 55 essays containing the word boolean.

  1. 1. A Verified QBF Solver

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2024]
    Keywords : ;

    Abstract : 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. READ MORE

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

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

    Author : Noah Tell; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE

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

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Max Helmrich; Linus Käll; [2023]
    Keywords : Parallelization; Web; Boolean Operations; WebGPU; CAD; GPU Acceleration;

    Abstract : 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. READ MORE

  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?

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

    Author : Lina Shrebati; [2023]
    Keywords : Time Series; Forecasting; COVID-19; Data processing; Optimal transport; Tidsserier; Prognoser; COVID-19; Databehandling; Optimal transport;

    Abstract : 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. READ MORE

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

    University essay from Högskolan i Skövde/Institutionen för biovetenskap

    Author : Linda Lindecrantz; Nicklas Villman; [2023]
    Keywords : psilocybin; depression; fMRI; systematic review; DMN;

    Abstract : 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. READ MORE