Essays about: "probabilistic model"

Showing result 1 - 5 of 182 essays containing the words probabilistic model.

  1. 1. Modeling Stoppage Time as a Convolution of Negative Binomials

    University essay from Uppsala universitet/Avdelningen för systemteknik

    Author : Råvan Talani; [2023]
    Keywords : Machine learning; negative binomial; convolution; stoppage time; injury time; extra time; football;

    Abstract : This thesis develops and evaluates a probabilistic model that estimates the stoppage time in football. Stoppage time represents the additional minutes of play given after the original matchtime is over. It is crucial in determining the course of events during the remainder of a match, thereby affecting the odds of live sports betting. READ MORE

  3. 2. Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes : Reducing the Conservativeness in Data-Driven Pedestrian Predictions by Incorporating Their Behavior

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

    Author : August Söderlund; [2023]
    Keywords : Data-driven reachability analysis; Autonomous vehicles; Automated safety; Autonomous situational awareness; Datadriven nåbarhetsanalys; Autonoma fordon; Automatiserad säkerhet; Autonom situationsmedvetenhet;

    Abstract : Predicting the future state occupancies of pedestrians in urban scenarios is a challenging task, especially considering that conventional methods need an explicit model of the system, hence introducing data-driven reachability analysis. Data-driven reachability analysis uses data, inherently produced by an unknown system, to perform future state predictions using sets, generally represented by zonotopes. READ MORE

  4. 3. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Author : Manon Lecart; [2023]
    Keywords : Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Abstract : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. READ MORE

  5. 4. Impact of Residual Stress on the Warm Pre-Stressing Effect

    University essay from KTH/Hållfasthetslära

    Author : Emil Danielsson; [2023]
    Keywords : Warm Pre-Stressing effect; Residual stress; Cleavage fracture; Ferritic Steel; Fracture mechanics; Varm förspänning; Restspänningar; Klyvbrott; Brottmekanik; Ferritiskt stål;

    Abstract : Irradiation of a reactor pressure vessel (RPV) causes a shift of the ductile to brittle transition region towards higher temperature regions. In the event of a pressurized thermal shock (PTS), where the temperature drops drastically, the ductile to brittle transition region might be entered for irradiated ferritic steel. READ MORE

  6. 5. Transmission expansion planning considering Probabilistic Risk Assessment : Implemented at Swedish National Grid

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

    Author : Jakob Björns; [2023]
    Keywords : Probabilistic risk assessment; PSS E; Transmission expansion planning; National grid; Probabilistisk riskbedömning; PSS E; Transmissionsnätsutveckling; Stamnät;

    Abstract : Svenska kraftnät (Swedish National Grid) is the transmission system operator in Sweden and is responsible for maintaining and developing the Swedish transmission grid. One of the tasks included in this responsibility is transmission expansion planning, which means analyzing and planning the capacity in the future transmission grid for the requested load and generation. READ MORE