Sökning: "M Wang"

Visar resultat 1 - 5 av 27 avhandlingar innehållade orden M Wang.

  1. 1. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

    Författare :Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

    Sammanfattning : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER

  3. 2. Time-Resolved Diffraction Studies of Structural Dynamics in Solids

    Författare :Xiaocui Wang; Atomfysik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Time-resolved X-ray diffraction; phonons; photo-acoustic transducer; electron diffusion; pressure wave; non-thermal melting; Fysicumarkivet A:2019:Wang;

    Sammanfattning : Studies of the structural dynamics of solids can improve our understanding of atomic motion in materials, and may thus help in the manufacture of new devices or the development of materials with novel structures and properties. Ultrashort laser pulses, a few tens of femtoseconds long, can deliver high energies (mJ–kJ). LÄS MER

  4. 3. Mini-Jet Production in Proton-Antiproton Interactions and Particle Production in Heavy-Ion Collisions

    Författare :Haiqiao Wang; Partikel- och kärnfysik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; proton antiproton interaction; Quark-gluon plasma; dynamical fluctuation; intermittency; limiting fragmentation; intranuclear cascading; target fragmentation; heavy-ion collision; image processing; mini-jet; Nuclear physics; Kärnfysik; Fysicumarkivet A:1997:Wang;

    Sammanfattning : The thesis is based on the data analysis and detector development of the EMU01/CERN, E863/BNL and UA1/CERN experiments. Particle fluctuations are studied with the scaled factorial moments in the fragmentation region of oxygen-induced emulsion interactions from 3.7 to 200 A GeV. LÄS MER

  5. 4. Characteristics of BVOC emissions from a Swedish boreal forest : Using chambers to capture biogenic volatile organic compounds (BVOCs) from trees and forest floor

    Författare :Min Wang; Institutionen för naturgeografi och ekosystemvetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; BVOCs; boral forest; Norway spruce; forest floor; branch chamber; soil chamber;

    Sammanfattning : Plant-emitted biogenic volatile organic compounds (BVOCs) are a large group of hydrocarbons released by plant leaves, bark, flowers and fruits into the atmosphere and from plant roots into the soil. BVOCs have important physiological and ecological functions, such as mediating within-plant and plant-plant communication, defense against herbivores attack, protection against heat or other oxidative stress, attracting pollinators etc. LÄS MER

  7. 5. Structural properties of problems in sequential testing and detection

    Författare :Yuqiong Wang; Erik Ekström; Mikhail Zhitlukhin; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER