Advanced search

Found 4 swedish dissertations matching the above criteria.

2. 1. Redox reactions and structure - properties relations in mixed alkali/alkaline earth glasses : The role of antimony oxides during the fining process- A structural study of copper(I) and copper(II)

   Author : Lina Grund Bäck; Bo Jonson; Leena Hupa; Linnéuniversitetet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fining; oxygen activity; redox reactions; mixed alkali effect; mixed alkali silicate glasses; copper; antimony; Glasteknologi; Glass Technology;

   Abstract : It is important to optimize glass compositions for their specific purpose but also for the efficiency of the production process, the manufacturing of glass. This will be beneficial economically and environmentally. READ MORE

4. 2. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

   Author : Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

   Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. READ MORE

5. 3. Beam-to-Beam Contact and Its Application to Micromechanical Simulation of Fiber Networks

   Author : Hamid Reza Motamedian; Artem Kulachenko; Umberto Perego; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; fiber network; beam-to-beam contact; rotational contact; non-consistent; simulation; finite element; multiscale; microscale; micromechanics; paper; refining; beating; fine; hygroexpansion; shrinkage; drying; Hållfasthetslära; Solid Mechanics;

   Abstract : This doctoral thesis covers the topic of modeling the three-dimensional fiber net- works with the finite element method. It contains the part addressing the numerical aspects of the modeling, namely, the contact formulation and application of the developed methods to the fundamental questions such as the effect of randomness in fiber properties and effect of fines and hygroexpansion. READ MORE

6. 4. Mechanisms of flavor perception : how odor and taste interact when we eat

   Author : Robin Fondberg; Karolinska Institutet; Karolinska Institutet; []
   Keywords : ;

   Abstract : Every time we eat, our brains are bombarded with sensory information from the olfactory and gustatory modalities. Through a binding process that is not fully understood, the odor and taste are then merged into flavor, a unitary sensation that appears to arise from inside the mouth. READ MORE