Avancerad sökning

Hittade 4 avhandlingar som matchar ovanstående sökkriterier.

1. 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)

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

   Författare :Hamid Reza Motamedian; Artem Kulachenko; Umberto Perego; KTH; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

   Författare :Robin Fondberg; Karolinska Institutet; Karolinska Institutet; []
   Nyckelord :;

   Sammanfattning : 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. LÄS MER