Essays about: "Explosion"

Showing result 1 - 5 of 173 essays containing the word Explosion.

  1. 1. SeqLTL and ωLTL

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Oskar Grekula; [2023-10-19]
    Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

  3. 2. LEO Satellite Connectivity for flying vehicles

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

    Author : Jinxuan Chen; [2023]
    Keywords : LEO satellite network; satellite connectivity strategy; Nash-SAC; flying vehicles; LEO:s satellitnät; Strategi för satellitanslutning; Nash-SAC; flygande fordon;

    Abstract : Compared with the terrestrial network (TN), which can only support limited covered areas, satellite communication (SC) can provide global coverage and high survivability in case of an emergency like an earthquake. Especially low-earth orbit (LEO) satellites, as a promising technology, which is integral to achieving the goal of global seamless coverage and reliable communication, catering to 6G’s communication requirements. READ MORE

  4. 3. The dark side of AI : A systematic literature review

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Emma Corselli; [2023]
    Keywords : AI; decision-making; risks; drawbacks;

    Abstract : The world is currently experiencing an extraordinary explosion of data due to the advancements in digitalization, this has made the decision-making processes become increasingly complex. Modern decision-making incorporates various technologies such as AI, big data, and machine learning and they offer significant advantages in terms of speed, scalability, and granularity. 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. Investigation of Milled Wood Lignin Extraction Using Enzymatic Hydrolysis for Application in Hydrophobic Barriers in the Food Packaging Industry

    University essay from Lunds universitet/Kemiteknik (CI)

    Author : Anna Wagne; [2023]
    Keywords : Lignin; extraction; hydrophobicity; chemical engineering; Technology and Engineering;

    Abstract : The objective of this report is twofold: to optimise the extraction method of lignin from spruce altering a few process parameters and to investigate the use of lignin as a hydrophobic barrier in food applications. The process used was STEX (steam explosion) pretreatment followed by enzymatic hydrolysis and MWL (milled wood lignin) extraction using a mixture of dioxane-water. READ MORE