Essays about: "gräns"

Showing result 1 - 5 of 222 essays containing the word gräns.

  1. 1. Real-Time Certified MPC for a Nano Quadcopter

    University essay from Linköpings universitet/Institutionen för systemteknik

    Author : Arvid Linder; [2024]
    Keywords : MPC; Model predictive control; quadcopter; control system;

    Abstract : There is a constant demand to use more advanced control methods in a wider field of applications. Model Predictive Control (MPC) is one such control method, based on recurrently solving an optimization problem for determining the optimal control signal. READ MORE

  3. 2. Uncertainty Estimation in Radiation Dose Prediction U-Net

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

    Author : Frida Skarf; [2023]
    Keywords : Radiation dose prediction models; U-net; quantile regression; Monte Carlo Dropout; epistemic uncertainty estimation; aleatoric uncertainty estimation; Stråldospredicerande modeller; U-net; kvantilregression; Monte Carlo Dropout; epistemisk osäkerhetsskattning; aletorisk osäkerhetsskattning;

    Abstract : The ability to quantify uncertainties associated with neural network predictions is crucial when they are relied upon in decision-making processes, especially in safety-critical applications like radiation therapy. In this paper, a single-model estimator of both epistemic and aleatoric uncertainties in a regression 3D U-net used for radiation dose prediction is presented. READ MORE

  4. 3. Sink or Swim: Sea Level Rise Adaptation in Venice, Italy : A case of citizen non-participation

    University essay from KTH/Hållbar utveckling, miljövetenskap och teknik

    Author : Jesper Karlsson; [2023]
    Keywords : civic capacity; climate change; Gioia methodology; MOSE; project development; public involvement;

    Abstract : Due to global warming, sea levels will irreversibly continue to rise around the world throughout this century. Therefore, coastal urban communities will need to adapt to new environmental challenges, such as more frequent and intense flood events. READ MORE

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

  6. 5. What limits the luminosity of red supergiants?

    University essay from Lunds universitet/Astrofysik; Lunds universitet/Fysiska institutionen

    Author : Eric Svensson; [2023]
    Keywords : Stellar evolution; Red supergiants; Red giants; Luminosity; Binary stars; Binary star systems; Binary star interactions; Binary stellar evolution; Humphreys-Davidson limit; Upper luminosity limit; BSE; Population synthesis; Simulations; M31; LMC; SMC; Metallicity; Mass transfer; Merging; Physics and Astronomy;

    Abstract : The observed upper limit of the luminosity of red supergiants, often called the Humphreys-Davidson limit, has recently been shown to be independent of metallicity and to not be explainable by single star evolution – findings that both contradict established ideas of the origins of the limit. It is now known that the vast majority of stars with sufficient mass to possibly evolve into red supergiants above the limit interact with companion stars at some point during their lives. READ MORE