Essays about: "Formalism Approach"

Showing result 1 - 5 of 20 essays containing the words Formalism Approach.

1. 1. Multi-Robot Motion Planning Under High-Level Task Specifications

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Axel Abrahamsson; Lukas Granqvist; [2023]
   Keywords : ;

   Abstract : 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. READ MORE

3. 2. Spinor-Helicity Formalism and ScatteringAmplitudes in Various Dimensions

   University essay from Uppsala universitet/Teoretisk fysik

   Author : Chen Huang; [2023]
   Keywords : ;

   Abstract : 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. READ MORE

4. 3. Asymptotic Symmetries and Dressed States in QED and QCD

   University essay from Stockholms universitet/Fysikum

   Author : Saimeng Zhou; [2023]
   Keywords : Dressed states; Large gauge transformation; Faddeev-Kulish formalism; Generalized coherent state operator; Wilson line; Infrared divergence; Asymptotic Hamiltonian; QED; QCD;

   Abstract : Infrared divergences arising in theories with massless gauge bosons have been shown to cancel in scattering amplitudes when using dressed states constructed from the Faddeev- Kulish approach to the asymptotic states. It has been established that these states are closely related to asymptotic symmetries of the theory, that is, non-vanishing gauge trans- formations at the asymptotic boundary. READ MORE

5. 4. Generating Wikipedia Articles with Grammatical Framework : A Case Study

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Keivan Matinzadeh; [2023]
   Keywords : Grammatical Framework; Computational Linguistics; Natural Language Generation; Computer Science; Grammatical Framework; Beräkningslingvistik; Textgenerering; Datavetenskap;

   Abstract : Natural language generation is a method used to produce understandable texts in human languages from data [1]. Grammatical Framework is a grammar formalism and a functional programming language using a nonstatistical approach to build natural language applications. READ MORE

6. 5. Prediction of appropriate L2 regularization strengths through Bayesian formalism

   University essay from Lunds universitet/Beräkningsbiologi och biologisk fysik - Genomgår omorganisation; Lunds universitet/Institutionen för astronomi och teoretisk fysik - Genomgår omorganisation

   Author : Alexander Degener; [2022]
   Keywords : Machine learning; Artificial Neural Network; L2 regularization strength; Bayesian formalism; Classification tasks; Physics and Astronomy;

   Abstract : This paper proposes and investigates a Bayesian relation between optimal L2 regularization strengths and the number of training patterns and hidden nodes used for an artificial neural network. The results support the proposed dependence for number of training patterns, while the dependence on hidden architecture was less clear. READ MORE