Essays about: "The Correct Use of Time"

Showing result 1 - 5 of 288 essays containing the words The Correct Use of Time.

  1. 1. Modeling wave behavior with linear wave theory

    University essay from Umeå universitet/Institutionen för fysik

    Author : Elsa Renström; [2024]
    Keywords : ;

    Abstract : This thesis aimed to look at the behaviours of the water beneath waves from a modeling and simulations point of view. We have investigated how to use Linear wave theory (LWT) to model the kinematic movements in water governed by free ocean waves. The model assumes the surface to consist of a superposition of sinusoidal waves. READ MORE

  3. 2. ASSESSING STRATEGIES FORBEHAVIOUR CONSISTENCYCHECKING USING LLMS

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Oskar Berglund; [2024]
    Keywords : ;

    Abstract : UML diagrams are used today to aid developers in a variety of ways. Some of the things UML supports is the creation of abstract representations of projects and the creation of views of different aspects of the system that is being modelled. READ MORE

  4. 3. Energy retrofitting effect on perceived indoor climate: A case study of Estonian multi-family buildings

    University essay from Lunds universitet/Avdelningen för Energi och byggnadsdesign; Lunds universitet/Institutionen för arkitektur och byggd miljö

    Author : Kadri Reinumägi; [2023]
    Keywords : Indoor environment; Thermal comfort; Indoor Air Quality; Window airing habits; Energy renovation; Occupant survey; Technology and Engineering;

    Abstract : Energy renovations are an important measure for achieving the European Union’s target of climate neutrality by 2050. To meet the EU goal, Estonia needs to fully renovate 14 000 multi-family buildings by that time, affecting the indoor environment conditions of a large number of people. 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. Using eye tracking to measure visual responses

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

    Author : Sebaztian Johansson; Zebastian Kensert Forsman; [2023]
    Keywords : ;

    Abstract : Eye tracking technology is becoming more accessible in general, presenting new opportunities for applications. Said technology is also a relatively new and unexplored tool that can be used in research to enable insights not previously available. READ MORE