For tabled Lindenmayer systems and their languages, the degree of synchronization and the degree of nondeterminism are well investigated measures of descriptional complexity. In this paper the sequential counterparts of tabled Lindenmayer systems, namely cooperating distributed grammar systems and their pure variant (working in the so called t-mode of derivation) are treated with respect to the...

In a designated verifier signature (DVS) scheme a signer creates a signature which is only verifiable by a designated verifier. A DVS is a useful scheme for authenticating a signer without disturbing her privacy. In a universal DVS (UDVS) scheme, everyone who holds Alice’s traditional signature on a message (the signature holder), is able to transform it to a DVS for a specific verifier. Non-de...

Decision tree pruning is critical for the construction of good decision trees. The most popular and widely used method among various pruning methods is cost-complexity pruning, whose implementation requires a training dataset to develop a full tree and a validation dataset to prune the tree. However, different pruned trees are found to be produced when the original dataset are randomly partitio...

My research interests involve Finite Model Theory and Descriptive Complexity, an area of research nestled in the intersection of Combinatorics, Logic and Computer Science. Inspired by Ehrenfeucht–Fräıssé games, I have been studying local properties of regular colored graphs– in particular, the computational complexity of realizing a given set of neighborhoods in a graph.

Although parallel systems with high peak performance have been exciting, high peak performance often means high power consumption. In this paper, power-aware parallel systems are investigated, where each node can make dynamic voltage scaling (DVS). Based on the characteristics of communication and memory access in MPI programs, a compiler is used to automatically form communication and computat...

Distributed generation and storage of energy, conceived as one of the prominent applications of the Smart Grid, has become one of the most popular ways for generation and usage of electricity. Not only does it offer environmental advantages and a more decentralized way to produce energy, but it also enables former consumers to become producers (thus turning them into prosumers). Alternatively, ...

In this study, the cooperative principles described by characters in Back to Outback movie are implemented using Grice's theory. The research uses qualitative descriptive explain data. Sudaryanto collected data non-participatory and observational methods. was then examined Pragmatic Identity Method Matching method. were context pragmatic identity There four types of maxims principle found. tota...

This study aims to explain the theory position in structure of legal science. research is a normative research. The data collection technique used literature study. that has been collected then processed qualitative descriptive manner, described narrative manner. results indicate one theoretical disciplines, whose object law broad sense. does not dogmatic definition and examine positive sense b...

Hiermit versichere ich, daa ich die Arbeit selbstt andig verfaat und keine anderen als die angegebenen Quellen und Hilfsmittel benutzt sowie Zitate kenntlich gemacht habe. I have many people to thank and acknowledge. Especially I would like to thank my advisor, Eric Rosen, for all the time he spent in supporting my thesis work.