Essays about: "Explosion"
Showing result 1 - 5 of 173 essays containing the word Explosion.
-
1. SeqLTL and ωLTL
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : 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
-
2. LEO Satellite Connectivity for flying vehicles
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
3. The dark side of AI : A systematic literature review
University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknikAbstract : 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
-
4. Probabilistic guarantees in model-checking with Time Petri Nets
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
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)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