## Search

Now showing items 11-20 of 106

#### Fast and Robust Mathematical Modeling of NMR Assignment Problems

(University of Waterloo, 2012-04-26)

NMR spectroscopy is not only for protein structure determination, but also for drug screening and studies of dynamics and interactions. In both cases, one of the main bottleneck steps is backbone assignment. When a homologous ...

#### 2-crossing critical graphs with a V8 minor

(University of Waterloo, 2012-01-17)

The crossing number of a graph is the minimum number of pairwise crossings of edges among all planar drawings of the graph. A graph G is k-crossing critical if it has crossing number k and any proper subgraph of G has a ...

#### Cyclic Sieving Phenomenon of Promotion on Rectangular Tableaux

(University of Waterloo, 2012-09-28)

Cyclic sieving phenomenon (CSP) is a generalization by Reiner, Stanton, White of Stembridge's q=-1 phenomenon. When CSP is exhibited, orbits of a cyclic action on combinatorial objects show a nice structure and their sizes ...

#### Quotient Complexity Of Star-Free Languages

(World Scientific Publishing, 2012-09-01)

The quotient complexity, also known as state complexity, of a regular language is the number of distinct left quotients of the language. The quotient complexity of an operation is the maximal quotient complexity of the ...

#### Syntactic Complexities of Some Classes of Star-Free Languages

(Springer, 2012)

The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of regular languages is the maximal syntactic complexity of languages in that subclass, ...

#### On The Complexity Of The Evaluation Of Transient Extensions Of Boolean Functions

(World Scientific Publishing, 2012-01-01)

Transient algebra is a multi-valued algebra for hazard detection in gate circuits. Sequences of alternating 0's and 1's, called transients, represent signal values, and gates are modeled by extensions of boolean functions ...

#### Geometrical Frustration and Static Correlations in a Simple Glass Former

(American Physical Society, 2012-01-18)

We study the geometrical frustration scenario of glass formation for simple hard-sphere models. We find that the dual picture in terms of defects brings little insight and no theoretical simplification for the understanding ...

#### Generalisations of Roth's theorem on finite abelian groups

(University of Waterloo, 2012-12-18)

Roth's theorem, proved by Roth in 1953, states that when A is a subset of the integers [1,N] with A dense enough, A has a three term arithmetic progression (3-AP). Since then the bound originally given by Roth has been ...

#### Representations of Operator Algebras

(University of Waterloo, 2012-05-11)

The following thesis is divided into two main chapters. In Chapter 2 we study isometric representations of product systems of correspondences over the semigroup 𝐍ᵏ which are minimal dilations of finite dimensional, fully ...

#### Predicting Test Suite Effectiveness for Java Programs

(University of Waterloo, 2012-07-26)

The coverage of a test suite is often used as a proxy for its effectiveness. However, previous studies that investigated the influence of code coverage on test suite effectiveness have failed to reach a consensus about ...