Sökning: "PROVER"
Visar resultat 1 - 5 av 1134 uppsatser innehållade ordet PROVER.
1. A Verified QBF Solver
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : 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
2. Characterisation of Non-metallic Inclusions in Special Steels using Electrolytic Extraction
Master-uppsats, KTH/MaterialvetenskapSammanfattning : When producing high strength special steels strict requirements are in place to assure the quality of the final product, both in terms of harmful elements and the content of non-metallic inclusions (NMI). Achieving cleanliness is a gradual process where all the steps of the production process are inter- connected, meaning that it is crucial to know the influence of each step in order to assure the contents of the final product. LÄS MER
3. Gas Chromatographic Method Development for Analysis of Samples from a Carbon Capture Pilot Plant
Master-uppsats, Lunds universitet/Kemiteknik (CI)Sammanfattning : In response to the escalating threat of climate change, carbon capture and storage have gained increasing attention as an important component in mitigating the global carbon dioxide emissions. Substantial research efforts have focused on enhancing the energy efficiency and availability of these technologies. LÄS MER
4. Can blue mussel shells be used for retrospective 14C-analysis in the marine environment of nuclear power plants?
Kandidat-uppsats, Lunds universitet/Fysiska institutionen; Lunds universitet/Partikel- och kärnfysikSammanfattning : Carbon-14 (14C) is one of the most important contributors to the collective effective dose of the public due to radioactive releases from nuclear power plants. However, the discharge of 14C from nuclear power plants (NPPs) into water has not been measured previously. LÄS MER
5. När patienter behöver läsa mellan raderna – en analys av mallar för kallelser i sjukvården
Kandidat-uppsats, Göteborgs universitet/Institutionen för svenska språketSammanfattning : I det här specialarbetet undersöks hur de kommunikativa syftena för kallelsebrev inom specialistvården vid Sahlgrenska universitetssjukhuset i Göteborg realiseras textuellt, innehållsmässigt och multimodalt i kallelsebreven och dess bilagor. Syftet är att med hjälp av textanalytiska metoder synliggöra hur det som patienterna måste begripa framgår i breven, och hur enkelt det är att som patient göra rätt i den komplexa proceduren som dessa kallelsebrev initierar: att inför ett läkarbesök också boka tid för provtagning, lämna prover och – för vissa patientgrupper – förbereda sig inför provtagningen genom att fasta eller förbereda prover hemma. LÄS MER