Essays about: "LSM"

Showing result 6 - 10 of 16 essays containing the word LSM.

  1. 6. Comparison of State Backends for Modern Stream Processing System

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

    Author : Mikolaj Robakowski; [2021]
    Keywords : ;

    Abstract : Distributed Stream Processing is a very popular computing paradigm used invarious modern computer systems. An important aspect of distributed streamprocessing systems is how they deal with computation state bigger than thesystem memory. READ MORE

  3. 7. Event Geometry and Anisotropic Flow in Proton-Proton Collisions

    University essay from Lunds universitet/Teoretisk partikelfysik - Geonomgår omorganisation

    Author : Johannes Holst; [2021]
    Keywords : high energy physics; particle physics; proton; collision; quark-gluon plasma; flow; anisotropy; anisotropic flow; elliptic flow; initial state; geometry; eccentricity; gaussian; cms; alice; lhc; Physics and Astronomy;

    Abstract : We seek to better understand the relationship between an anisotropic distribution of partons in the initial state of pp-collisions and the amount of elliptic flow. We do this through the implementation of a new model that is based in generating positions for multiparton interactions from the uneven volume created by the overlap of two Gaussians. READ MORE

  4. 8. Automatically Learning Register Automata from MATLAB Code : A case study in autonomous driving

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

    Author : Marco Dei Rossi; [2021]
    Keywords : Automata learning; SL*; Register automata; RALib; Lateral State Manager; Automata learning; SL*; Register automata; RALib; LSM; Automata learning; SL*; Register automata; RALib; LSM;

    Abstract : The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. READ MORE

  5. 9. Phase field modelling of LLZO/LCO cathode-electrolyte interfaces in solid state batteries

    University essay from Uppsala universitet/Strukturkemi

    Author : Michele Riva; [2018]
    Keywords : LLZO; LCO; phase; field; phase-field; phasefield; solid; state; solid-state; solidstate; battery; batteries; sintering; model; modelling;

    Abstract : This work describes two phase field models for the simulation of the interface evolution between a LiCoO2 cathode (LCO) and a Li7La3Zr2O12 solid electrolyte (LLZO) in a Li-metal/LLZO/LCO battery during high temperature sintering. In these conditions atomic species tend to diffuse into the opposing material, creating an intermediate layer of mixed composition which resists the movement of lithium ions. READ MORE

  6. 10. Sensitivity analysis and calibration of multi energy balance land surface model parameters

    University essay from Lunds universitet/Institutionen för naturgeografi och ekosystemvetenskap

    Author : Kim Friberg; [2017]
    Keywords : Physical Geography; Land Surface Model; Multi Energy Balance; Sensitivity Analysis; Parameter Calibration; Earth and Environmental Sciences;

    Abstract : Flows of energy between the atmosphere, the oceans and the land surfaces drive weather and climate on Earth. Increased understanding of these processes is crucial to successfully predict and address the challenges of climate change. READ MORE