Sökning: "Invariant Detection"
Visar resultat 1 - 5 av 20 uppsatser innehållade orden Invariant Detection.
1. Event categorisation and Machine-learning Techniques in Searches for Higgs Boson Pairs in the ATLAS Experiment at the LHC
Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/HögenergifysikSammanfattning : This thesis investigates the pair production of Higgs bosons (di-Higgs events) at the ATLAS experiment in the Large Hadron Collider (LHC), focusing on the channel where one Higgs boson decays into two bottom quarks and the other decays into two tau leptons. The main objective was to determine whether introducing a split in the invariant mass of the decay products from the two Higgs bosons (the di-Higgs mass) and using this as an analysis variable improves the sensitivity of the Boosted Decision Tree (BDT) machine learning algorithm to the di-Higgs signal. LÄS MER
2. Increasing Trust in Software by Synthesizing Property-based Tests from Existing Unit Tests : A study on the expansion of existing test suites through the creation of property-based tests via invariants inferred from existing example-based unit tests
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Many software projects include an extensive suite of example-based unit tests. The examples in the test suite can be used as an implicit specification of the behavior of the software. Inferring invariants from these examples may aid in the creation of property-based tests. LÄS MER
3. Modeling of a Hydraulic Rock Drill for Condition Monitoring
Master-uppsats, Linköpings universitet/FordonssystemSammanfattning : This thesis aims to investigate the possibility of using a mathematical model to detect several common faults in a hydraulic rock drill. To this end, a parameterized state space model of the hydraulic drill, which simulate its behavior, is created. LÄS MER
4. Shape Detection in Images Using Machine Learning
Uppsats för yrkesexamina på grundnivå, Örebro universitet/Institutionen för naturvetenskap och teknikSammanfattning : Rapporten undersöker hur man ska gå tillväga för att implementera en support vector machinesom kan klassificera olika former i bilder med hjälp av OpenCV libraryt i Python. Dettakommer att göras genom att beräkna scale-invariant features. De scale-invariant features somkommer undersökas är simple features och Hu moments. LÄS MER
5. Accessibility Studies of Potentially Hazardous Asteroids from the Sun-Earth L2 Libration Point
Master-uppsats, Luleå tekniska universitet/RymdteknikSammanfattning : A newly proposed F-class mission by the European Space Agency (ESA) in 2019,Comet Interceptor, aims to dynamically intercept a New Solar System Objectsuch as a Dynamically New Comet (DNC). The Spacecraft will be placed in aperiodic (Halo) orbit around the Sun-Earth L2 Lagrangian point, waiting for furtherinstructions about the passage of a comet or an asteroid, which could well bereached within the stipulated mission constraints. LÄS MER