Sökning: "Lisa Kaati"
Hittade 2 avhandlingar innehållade orden Lisa Kaati.
1. Reduction Techniques for Finite (Tree) Automata
Sammanfattning : Finite automata appear in almost every branch of computer science, for example in model checking, in natural language processing and in database theory. In many applications where finite automata occur, it is highly desirable to deal with automata that are as small as possible, in order to save memory as well as excecution time. LÄS MER
2. Techniques for analyzing digital environments from a security perspective
Sammanfattning : The development of the Internet and social media has exploded in the last couple of years. Digital environments such as social media and discussion forums provide an effective method of communication and are used by various groups in our societies. LÄS MER