Sökning: "Formalism"

Visar resultat 1 - 5 av 166 uppsatser innehållade ordet Formalism.

  1. 1. The Pseudo-Unitary Group U(p,q) in Quantum Magnonics

    L3-uppsats, Uppsala universitet/Materialteori

    Författare :Maximilian Meyer-Mölleringhof; [2024]
    Nyckelord :quantum magnonics; materials theory; pseudo-unitary; quantum mechanics; magnons; antiferromagnets;

    Sammanfattning : The study of magnons is an essential part of combining quantum information science and spintronics, allowing for the investigation of quantum properties such as entanglement in solid-state devices. Magnons are commonly described using the theory of T. Holstein and H. LÄS MER

  3. 2. Glauber Monte Carlo for proton-proton and virtual-photon-proton collisions

    Kandidat-uppsats, Lunds universitet/Fysiska institutionen; Lunds universitet/Teoretisk partikelfysik - Geonomgår omorganisation

    Författare :Oscar Sepp; [2023]
    Nyckelord :Physics and Astronomy;

    Sammanfattning : In high energy physics, we want to probe the inner structures and behaviours of the particles that are the building blocks of our universe. This is often done by colliding nuclei together. LÄS MER

  4. 3. FN:s utredningsmekanismer, internationell människorätt och realpolitik: En dekonstruktion av utredningsmekanismernas politiska inflytanden, struktur och ursprung

    Kandidat-uppsats, Lunds universitet/Mänskliga rättigheter

    Författare :Alexander Pedersen; [2023]
    Nyckelord :IIIM; IIMM; UNITAD; international human rights law; UN; formalism; pragmatism; anti-formalism.; Law and Political Science;

    Sammanfattning : Denna kandidatuppsats undersöker FN:s utredningsmekanismer som inrättades med avsikten att samla in, analysera, katalogisera och fördela bevismaterial till internationella samt nationella rättsväsenden. Uppsatsens övergripande frågeställning behandlar vad utredningsmekanismerna representerar i relation till den internationella människorättens begränsningar och möjligheter. LÄS MER

  5. 4. Multi-Robot Motion Planning Under High-Level Task Specifications

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Axel Abrahamsson; Lukas Granqvist; [2023]
    Nyckelord :;

    Sammanfattning : This bachelor thesis explores the use of Signal Temporal Logic (STL) and ControlBarrier Functions (CBFs) to address the challenges associated with multi-robot motionplanning under high-level task specifications. STL is a formalism used to specify temporalproperties of signals, while CBFs are used to enforce safety constraints. LÄS MER

  7. 5. Spinor-Helicity Formalism and ScatteringAmplitudes in Various Dimensions

    Master-uppsats, Uppsala universitet/Teoretisk fysik

    Författare :Chen Huang; [2023]
    Nyckelord :;

    Sammanfattning : In recent decades, spinor-helicity formalism has gained popularity as a useful tool for studyingscattering amplitudes in four dimensions. This formalism has been extended to higher dimensions,but there is still much work to be done around its application. LÄS MER