Essays about: "probabilistic"

Showing result 1 - 5 of 318 essays containing the word probabilistic.

  1. 1. Probabilistic Exact Inversion of 2-qubit Bipartite Unitary Operations using Local Operations and Classical Communication

    University essay from KTH/Fysik

    Author : Ludvig Lindström; [2024]
    Keywords : Resource Theory; Resource theory of entanglement; Quantum Information Theory; Quantum Computing; Distributed Quantum Computing; Higher-order quantum transformation; Quantum Algorithms; Quantum Physics; Resursteori; Resursteori för Kvantsammanflätning; Kvantinformationsteori; Kvantdatorer; Distribuerade kvantdatorer; Högre ordningens kvanttransformationer; Kvantalgoritmer; Kvantfysik;

    Abstract : A distributed quantum computer holds the potential to emulate a larger quantumcomputer by being partitioned it into smaller modules where local operations (LO)can be applied, and classical communication (CC) can be utilized between thesemodules. Finding algorithms under LOCC restrictions is crucial for leveraging thecapabilities of distributed quantum computing, This thesis explores probabilisticexact LOCC supermaps, that maps 2-qubit bipartite unitary operations to its inver-sion and complex conjugation. READ MORE

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

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