Browsing Masters Theses by Author "Konstantinidis, Stavros"

Now showing items 1-7 of 7

Application and implementation of transducer tools in answering certain questions about regular languages

Yang, Meng (Halifax, N.S. : Saint Mary's University, 2012)

In this research, we investigate, refine, and implement algorithmic tools that allow us to answer decision questions about regular languages. We provide a thorough presentation of existing algorithmic tools to answer the ...
A comparative study of automated reviewer assignment methods

Young, Joshua Peter (Halifax, N.S. : Saint Mary's University, 2012)

The reviewer assignment problem is the problem of determining suitable reviewers for papers submitted to journals or conferences. Automated solutions to this problem have used standard information retrieval methods such ...
Computing error-detecting capabilities of regular languages

Daka, Alifasi (Halifax, N.S. : Saint Mary's University, 2011)

The property of error-detection ensures that when words of a language are communicated over a noisy channel, no word of the language can be transformed into another word of the language. The newer concept of maximal ...
Encoding methods for DNA languages defined via the subword closure operation

Cui, Bo (Halifax, N.S. : Saint Mary's University, 2007)

In DNA computing, information is encoded onto DNA sequences. The DNA codes in the form of single-stranded DNA sequences are not stable. This is because when two single-stranded DNA sequences, used to carry data, have ...
Formal methods for secure software construction

Goodspeed, Ben (Halifax, N.S. : Saint Mary's University, 2016)

The objective of this thesis is to evaluate the state of the art in formal methods usage in secure computing. From this evaluation, we analyze the common components and search for weaknesses within the common workflows of ...
Formalizations of error models with applications to spelling error correction

Xu, Jing (Halifax, N.S. : Saint Mary's University, 2004)

For many information processing applications, there are several different existing error models and error correction algorithms. This research focuses on a general methodology for defining error models describing different ...
A system for describing and deciding properties of regular languages using input altering transducers

Dudzinski, Krystian (Halifax, N.S. : Saint Mary's University, 2011)

We present a formal method for describing and deciding code related properties of regular languages using input altering transducers. We also provide an implementation of that method in the form of a web application. We ...