Essays about: "Verified"
Showing result 1 - 5 of 1124 essays containing the word Verified.
-
1. Reconstructing point patterns from spatially aggregated data
University essay from Göteborgs universitet/Institutionen för matematiska vetenskaperAbstract : In this thesis we explore the ability to reconstruct samples (point configurations) from a point process, based only on the information contained in spatially aggregated data, namely the number of points in the partitions of a larger region. The ability to reconstruct a point configuration, in such a way that it retains most of it’s statistical properties, could be useful in cases where one is faced with a mixed dataset; some regions containing the full point configuration data, while other regions only contain aggregated data, i. READ MORE
-
2. A Verified QBF Solver
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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. Increasing the diodicity of ceramic Tesla valves by exploiting the design freedom of additive manufacturing : A study in design optimizations of Tesla valves for ceramic 3D printing
University essay from Uppsala universitet/Institutionen för materialvetenskapAbstract : The work presented in this thesis was conducted at Uppsala University and at Fraunhofer IKTS, Dresden. The thesis aims to study design optimizations for increasing the diodicity and thereby performance of a Tesla valve, a type of “no moving parts” (NMP) valve, through design freedoms offered by ceramic additive manufacturing. READ MORE
-
4. Solving the incompressible Navier-Stokes equations in 3-D to model gas flow in a room
University essay from Uppsala universitet/Avdelningen för beräkningsvetenskapAbstract : The thesis proposes to model the flow of gases in a room by solving the incompressible Navier-Stokes equations in three dimensions. The transportationof scalars such as temperature and concentration of CO2 is modeled by solving the advection-diffusion equation, and the effects of temperature on thevelocity is accounted for by employing the Boussinesq approximation. READ MORE
-
5. A study of productivity measurement and modeling of inhaler production at AstraZeneca
University essay from Linköpings universitet/Kommunikations- och transportsystem; Linköpings universitet/Tekniska fakultetenAbstract : Production planning and evaluation can be performed using various tools. This study encompasses two main topics: productivity measurement and production simulation. The study was conducted at AstraZeneca, a pharmaceutical company, where their production of inhalers was examined. READ MORE