Search for dissertations about: "Lisa Kaati"

Found 2 swedish dissertations containing the words Lisa Kaati.

2. 1. Reduction Techniques for Finite (Tree) Automata

   Author : Lisa Kaati; Parosh Aziz Abdulla; Frank Drewes; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Finite automata; tree automata; bisimulation; minimization; simulation; composed bisimulation; composed simulation; Datavetenskap; Computer Science;

   Abstract : 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. READ MORE

4. 2. Techniques for analyzing digital environments from a security perspective

   Author : Amendra Shrestha; Lisa Kaati; Adam Wierzbicki; Uppsala universitet; []
   Keywords : digital communities; machine learning; text analysis; linguistic features; linguistic analysis; warning behaviors; Internet; social media; extremism; terrorism; psychological state; author identification; alias matching; Computer Science; Datavetenskap;

   Abstract : 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. READ MORE