Sökning: "Optimisations"

Visar resultat 1 - 5 av 35 avhandlingar innehållade ordet Optimisations.

  1. 1. The Chirality-Flow Formalism and Optimising Scattering Amplitudes

    Författare :Andrew Lifson; Partikel- och kärnfysik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Spinor-helicity formalism; Chirality-flow formalism; Helicity amplitudes; Standard Model; QED; QCD; Optimisations; Colour expansion; Phenomenology; Fysicumarkivet A:2023:Lifson;

    Sammanfattning : This thesis is composed of five papers, which all attempt to optimise calculations of scattering amplitudes in high-energy-physics collisions. These scattering amplitudes are a key part of theoretical predictions for particle-physics experiments like the Large Hadron Collider at CERN. LÄS MER

  3. 2. Thermal properties of materials from first principles

    Författare :Olle Hellman; Sergey Simak; Igor Abrikosov; Risto Nieminen; Linköpings universitet; []
    Nyckelord :;

    Sammanfattning : In the search of clean and efficient energy sources intermediate temperature solid oxide fuel cells are among the prime candidates. What sets the limit of their efficiency is the solid electrolyte. A promising material for the electrolyte is ceria. LÄS MER

  4. 3. Code Optimisation Techniques for Lazy Functional Languages

    Författare :Urban Boquist; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; graph reduction; garbage collection; lazy functional languages; program transformation; interprocedural register allocation; graph colouring; intermediate code; code optimisation; compiler back-end;

    Sammanfattning : This thesis describes a complete compiler back-end for lazy functional languages, which uses various interprocedural optimisations to produce highly optimised code. The most important contributions of this work are the following. LÄS MER

  5. 4. Mutation Testing: Fewer, Faster, and Smarter

    Författare :Sten Vercammen; Programvaruteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The growing reliance on automated software tests raises a fundamental question: How trustworthy are these automated tests? Today, mutation testing is acknowledged within academic circles as the most promising technique for assessing the fault-detection capability of a test suite. The technique deliberately injects faults (called mutants) into the production code and counts how many of them are caught by the test suite. LÄS MER

  7. 5. Element 115

    Författare :Ulrika Forsberg; Kärnfysik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; superheavy elements; element 115; new elements; alpha decay; X rays; gamma rays; nuclear structure; spontaneous fission; Fysicumarkivet A:2016:Forsberg; kärnstruktur; supertunga grundämnen; nya grundämnen; alfasönderfall; röntgenstrålning; gammastrålning; spontan fission; element 115; spektroskopi;

    Sammanfattning : This thesis is devoted to detailed studies of element 115 decay chains using the highly efficient multi-coincidence alpha, electron, gamma and X-ray detector setup TASISpec at the gas-filled separator TASCA at GSI, Darmstadt, Germany. In a three-week long experiment thirty new decay chains assumed to stem from element 115 isotopes were observed together with the very first detections of gamma rays and potential X-rays from these nuclei. LÄS MER