Essays about: "probabilistic methods"

Showing result 1 - 5 of 110 essays containing the words probabilistic methods.

  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

  2. 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

  3. 3. Probabilistic Added Wave Resistance Predictions for Design of RoPax Ferries

    University essay from KTH/Lättkonstruktioner, marina system, flyg- och rymdteknik, rörelsemekanik

    Author : Jonathan Viinikka; [2023]
    Keywords : Added wave resistance in head waves; Roll-on Roll-off Passenger ferry; Probabilistic wave environment; Semi-empirical method; Adderat vågmotstånd i motsjö; Roll-on Roll-off Passagerar Fartyg; Probabilistiska vågförhållanden; Semiempiriska beräkningsmethoder;

    Abstract : This thesis investigates reasons for significant uncertainties in added wave resistance predictionsand how wave conditions can potentially affect the design of RoPax ferries. The objectiveis to find a suitable prediction method of added wave resistance for the RoPax ferry designapplication. READ MORE

  4. 4. 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. 5. Constructing and representing a knowledge graph(KG) for Positive Energy Districts (PEDs)

    University essay from Högskolan Dalarna/Institutionen för information och teknik

    Author : Mahtab Davari; [2023]
    Keywords : Knowledge graph; Positive Energy Districts PEDs ; longest path; Questions and Answers; Community Detection; Node Embedding; t-SNE plots; Edge Prediction;

    Abstract : In recent years, knowledge graphs(KGs) have become essential tools for visualizing concepts and retrieving contextual information. However, constructing KGs for new and specialized domains like Positive Energy Districts (PEDs) presents unique challenges, particularly when dealing with unstructured texts and ambiguous concepts from academic articles. READ MORE