- Home
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Konstantinidis, Stavros"
Now showing items 1-12 of 12
-
(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 ...
-
-
(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 ...
-
(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 ...
-
(Halifax, N.S. : Saint Mary's University, 2019)Language Equations is an area of Theoretical Computer Science that is concerned with expressing desirable constraints on formal languages of interest and answering algorithmic problems about such languages. Language Equations ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(BioMed Central, 2015-08-07)Background Motivated by the general need to identify and classify species based on molecular evidence, genome comparisons have been proposed that are based on measuring mostly Euclidean distances between Chaos Game ...
-
(Halifax, N.S. : Saint Mary's University, 2022-04-28)Regular expressions encode text patterns and define languages of symbolic words. The membership problem decides if a given word is an element of the language described by a given regular expression. This problem has various ...
-
(Halifax, N.S. : Saint Mary's University, 2021)The Language Server (LaSer ) is a website created to ask and answer various questions pertaining to regular languages. One of its main features is testing property satisfiability, that is, does a given regular language ...
-
(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 ...
Now showing items 1-12 of 12