CS-2001-26 | ||||
---|---|---|---|---|
Title | Finding Hidden Independent Sets in Interval Graphs | |||
Authors | T. Biedl, B. Brejova, E. D. Demaine, A. M. Hamel, A. Lopez-Ortiz, T. Vinar | |||
Abstract | We design efficient competitive algorithms for discovering information hidden by an adversary. Specifically, consider a game in a given interval graph $G$ in which the adversary chooses an independent set $X$ in $G$. Our goal is to discover this hidden independent set $X$ by making the fewest queries of the form ``Is point $p$ covered by an interval in $X$?'' Our interest in this problem stems from two applications: experimental gene discovery with PCR technology and the game of Battleship (in a one-dimensional setting). We provide adaptive algorithms for both the verification scenario (given an independent set, is it $X$?) and the discovery scenario (find $X$ without any information). Under some assumptions on the interval graph, these algorithms use an asymptotically optimal number of queries in every instance. | |||
Date | December 2001 | |||
Report | Finding Hidden Independent Sets in Interval Graphs (PDF) |
Compressed
PostScript: |
CS-2001-25 | ||||
---|---|---|---|---|
Title | A Direct Algorithm to Constract the Minimal Telescopers for Rational Functions (q-Difference Case) | |||
Authors | H.Q. Le, S.A. Abramov and K.O. Geddes | |||
Abstract | In this paper we present a direct algorithm to construct the minimal telescopers for rational functions for the q-difference case. | |||
Date | November 2001 | |||
Report | A Direct Algorithm to Constract the Minimal Telescopers for Rational Functions (q-Difference Case) (PDF) |
Compressed
PostScript: A Direct Algorithm to Constract the Minimal Telescopers for Rational Functions (q-Difference Case) (PS.Z) |
CS-2001-24 | |||||
---|---|---|---|---|---|
Title | HypergeometricSum: A Maple Package for Finding Closed Forms of Indefinite and Definite Sums of Hypergeometric Type | ||||
Authors | H.Q. Le, S.A. Abramov and K.O. Geddes | ||||
Abstract | We describe the Maple module HypergeometricSum which provides various tools for finding closed forms of indefinite and definite sums of hypergeometric type, and for certifying a large class of combinatorial identities. The document is intended both as an an elementary introduction to the subject and as a reference manual for the module. | ||||
Date | November 2001 | ||||
Report | HypergeometricSum: A Maple Package for Finding Closed Forms of Indefinite and Definite Sums of Hypergeometric Type (PDF) |
Compressed
PostScript: HypergeometricSum: A Maple Package for Finding Closed Forms of Indefinite and Definite Sums of Hypergeometric Type (PS.Z) |
CS-2001-23 | ||||
---|---|---|---|---|
Authors | L. Stanchev | |||
Abstract | In this paper we introduce bag relational algebra with aggregation over a particular representation of incomplete information called c-tables. The c-table representation is an extension of the Codd relational model with richer semantics for null values. The reason c-tables were chosen for our exploration is that they are the least expressive relational representation of incomplete information over which relational algebra is closed and can be "well defined". We justify the need for duplicate preserving relational algebra over this representation of incomplete information by introducing aggregation over c-tables with duplicates. | |||
Date | October 2001 | |||
Comments | This report was generated as part of a project for a 700 level course at the University of Waterloo, Waterloo, ON, Canada | |||
Report |
Compressed
PostScript: Codd tables with duplicates (PS) | Codd tables with duplicates (PDF) |
CS-2001-22 | ||||
---|---|---|---|---|
Title | Evolution of Recurrent Neural Networks to Control Autonomous Life Agents | |||
Authors | T. Abou-Assaleh | |||
Abstract | Studies of artificial life (alife) attempt to simulate simple living beings. On the other hand, autonomous agents researchers are interested in building agents that are able to complete a particular task without supervision. In this research, these two areas of artificial intelligence are combined together into what we call "Autonomous Life Agent" (ALA). ALA is an artificial agent that is sent to some environment to live in without any supervision or any predefined behaviour rules. The primary goal of the agent is to learn how to survive in the artificial environment it lives in. In this research, we utilize a recurrent neural network to determine the agent's actions. A novel ALA Training System was developed that evolves recurrent neural networks using genetic algorithms. The resulting agents are capable of living in multiple similar worlds starting from random initial positions as well as in worlds that are unseen during the training. | |||
Date | October 2001 | |||
Comments |
Source
code
of
the
ALA
Training
System
is
available
upon
request.
Appears in: Tony Abou-Assaleh, Jianna Zhang, and Nick Cercone. 2001. "Evolution of Recurrent Neural Networks to Control Autonomous Life Agents." Proceedings of the Genetic and Evolutionary Computation Conference, GECCO-2001. San Francisco, CA: Morgan Kaufmann Publishers. Page 903. Please direct all comments and suggestions to the author | |||
Report | Evolution of Recurrent Neural Networks to Control Autonomous Life Agents (PDF) |
CS-2001-21 | ||||
---|---|---|---|---|
Authors | A. Lopez-Ortiz | |||
Date | October 2001 | |||
Report | Only available in printed format |
CS-2001-20 | ||||
---|---|---|---|---|
Authors | A. Lopez-Ortiz | |||
Date | October 2001 | |||
Report | Only available in printed format |
CS-2001-19 | ||||
---|---|---|---|---|
Authors | P.A.S. Ward | |||
Date | #issued July 4, 2001, | |||
Report | Only available in printed format |
CS-2001-18 | ||||
---|---|---|---|---|
Title | A Behavioral Analysis Approach to Pattern-Based Composition | |||
Authors | Jing Dong, Paulo S.C. Alencar and Donald D. Cowan | |||
Date | June 2001 | |||
Report | A Behavioral Analysis Approach to Pattern-Based Composition (PDF) |
CS-2001-17 | ||||
---|---|---|---|---|
Title | User's Manual as a Requirements Specification | |||
Authors | D.M. Berry, K. Daudjee, J. Dong, M.A. Nelson and T.Nelson | |||
Date | May 2001 | |||
Report | User's Manual as a Requirements Specification (PDF) |
Compressed
PostScript: User's Manual as a Requirements Specification (PS.Z) |
CS-2001-16 | ||||
---|---|---|---|---|
Authors | D. Toman | |||
Date | # issued May 16th | |||
Report | Only available in printed format |
CS-2001-15 | ||||
---|---|---|---|---|
Title | Finding Shortest Paths in Large Network Systems | |||
Authors | E.P.F. Chan and N. Zhang | |||
Date | May 2001 | |||
Report | Finding Shortest Paths in Large Network Systems (PDF) |
Compressed
PostScript: Finding Shortest Paths in Large Network Systems (PS.Z) |
CS-2001-14 | ||||
---|---|---|---|---|
Title | Optimal Arrangement of Leaves in the Tree Representing Hierarchical Custering of Gene Expression Data | |||
Authors | T. Biedl, B. Brejova, E.D. Demaine, A.M. Hamel and T. Vinar | |||
Abstract | In this paper, we study how to present gene expression data to display similarities by trying to find a linear ordering of genes such that genes with similar expression profiles will be close in this ordering. In general, finding the best possible order is intractable. Therefore we assume that hierarchical clustering has been applied to the gene expression profiles, and show that the best order respecting the clustering can be computed efficiently. We perform experiments comparing the optimal order to several other methods. The implementation of the algorithm, as well as a simple program for viewing hierarchically clustered expression array data and the complete results of our experiments are available at http://monod.uwaterloo.ca/supplements/01expr/ | |||
Comments |
The paper will be submitted to WABI 2001. | |||
Report | Optimal Arrangement of Leaves in the Tree Representing Hierarchical Custering of Gene Expression Data (PDF) |
Compressed
PostScript: Optimal Arrangement of Leaves in the Tree Representing Hierarchical Custering of Gene Expression Data (PS.Z) |
CS-2001-13 | ||||
---|---|---|---|---|
Title | Process-Based Representation and Analysis of Framework Instantiation | |||
Authors | Paulo S. C. Alencar, Donald D. Cowan, Toacy C. Oliviera, Carlos J. P. Lucena | |||
Abstract | Object-oriented frameworks are currently regarded as a promising technology for reusing designs and implementations. However, developers find there is still a steep learning curve when extracting the design rationale and understanding the framework documentation during framework instantiation. Thus, instantiation is a costly process in terms of time, people and other resources. These problems raise a number of questions including: "How can frameworks be instantiated more quickly and with greater ease? How can the same high-level design abstractions that were used to develop the framework be used during framework instantiation instead of using source code as is done currently? How can we capture the designers' knowledge of the framework in order to compensate for the loss of key development personnel? How can we raise the level of abstraction in which the framework evolution and instantiation is expressed, reasoned about and implemented?" In this paper we present a process-based approach to framework instantiation that addresses these issues. Our main goal is to represent the framework architectural design models in an explicit and declarative way, and support changes to this architecture based on explicit instantiation processes and activities while maintaining system integrity, invariants, and general constraints. In this way, the framework instantiation and evolution can be performed in a valid and controlled way. To accomplish our goal, we introduce a process-oriented description of framework instantiation as well as a formal specification of these processes that allows us to reason about instantiation using model checking techniques. Discovering instantiation errors and analyzing alternative architectures and designs early in the development process could certainly lower the cost and effort in fixing them. Various forms of analysis can be performed using our approach to check properties such as: structural evolution properties, pre- and post-conditions of an instantiation, the validity of the processes associated with extension points, the order of the instantiation processes, the safety and liveness of these processes, reachability, and deadlocks. We illustrate our approach with DrawingTool, a framework to provide drawing features of a case tool. | |||
Report | Process-Based Representation and Analysis of Framework Instantiation (PDF) |
CS-2001-12 | ||||
---|---|---|---|---|
Title | A Framework For Community Information Systems | |||
Authors | Martin Luo, Paulo S. C. Alencar, Donald D. Cowan | |||
Abstract | In this paper we present a generic framework architecture for web-based community information systems (CIS). The framework has an open architecture based on COTS (commercial-off-the-shelf) software components and network technologies. We discuss how a component-based approach, a layered architecture model, and design patterns can be used to provide a common framework for CIS. The CIS framework architecture results in significant benefits that include reuse, a flexible user interface, powerful search mechanisms and an integrated and scalable architecture, XML and rule-based StyleSheet languages are used for storage, information search and graphical presentation at the server or client. The overall framework architecture, its individual components and the interaction among these components are outlined. | |||
Report | A Framework For Community Information Systems (PDF) |
CS-2001-11 | ||||
---|---|---|---|---|
Title | Monotonicity Preserving and Total Variaion Diminishing Multigrid Time Stepping Methods | |||
Authors | A. Jameson and J.W.L. Wan | |||
Abstract | We propose a fast multiplicative and additive multigrid time stepping schemes for solving linear and nonlinear wave equations in one dimension. The idea is based on an upwind biased interpolation and residual restriction operators, and a nonstandard coarse grid update formula for linear equations. We prove that the two-level schemes preserve monotonicity and are total variation diminishing, and the same results hold for the multilevel additive scheme. We generalize the idea to nonlinear equations by solving local Riemann problems. We demonstrate numerically that these schemes are essentially nonoscillatory, and that the optimal speed of wave propagation of 2^M-1 is achieved, where M is the number of grids. | |||
Date | April 2001 | |||
Comments |
Conference presentation: Tenth Copper Mountain Conference on Multigrid Methods Also appear in virtual proceedings at MGNET. | |||
Report | Monotonicity Preserving and Total Variaion Diminishing Multigrid Time Stepping Methods (PDF) |
Compressed
PostScript: Monotonicity Preserving and Total Variaion Diminishing Multigrid Time Stepping Methods (PS.Z) |
CS-2001-10 | ||||
---|---|---|---|---|
Title | Using OpenGL for Video Streaming | |||
Authors | P. Gilhuly | |||
Abstract |
The
process
of
streaming
digital
video
is
difficult
due
to
the
large
amount
of
data
inherent.
Previously,
without
specialized
hardware,
video
output
has
been
limited
to
low
resolution
or
slow
playback,
as
measured
by
frames
per
second.
Many of the functions of a video decoder can be mapped to the capabilities of a graphics card. However, for the graphics work involved with digital video a graphics card is required while a video decoder card is not. This thesis proposes a method to use common graphics cards, through the OpenGL API, for the task of video streaming. | |||
Date | April 2001 | |||
Comments |
I
have
included
the
video
sequences
I
used
to
test
my
compressor
and
streamer
as
well
as
a
PostScript
and
a
PDF
format
of
my
thesis.
Under
the
directories
Hier
and
BFI
you
will
find
uncompressed
AVIs
(subsequently
gzipped)
of
the
frames
generated
by
my
streamer.
Under
the
directory
MPEG
you
will
find
MPEG
1
encoding
of
the
three
movies,
compressed
using
default
settings.
MPEG/*
-
MPEG1
encoded
versions
of
animations | |||
Report |
MPEG: ball, geri, tree (MPV) |
Compressed
AVI: geri_br (GZIP), tree_br (GZIP), geri_hi (GZIP), tree_hi (GZIP) | Using OpenGL for Video Streaming (PDF) |
Compressed
PostScript: Using OpenGL for Video Streaming (GZIP) |
CS-2001-09 | ||||
---|---|---|---|---|
Title | Evaluation of Buffer Queries in Spatial Databases | |||
Authors | E.P.F. Chan | |||
Date | April 2001 | |||
Report | Evaluation of Buffer Queries in Spatial Databases (PDF) |
Compressed
PostScript: Evaluation of Buffer Queries in Spatial Databases (PS.Z) |
CS-2001-08 | ||||
---|---|---|---|---|
Title | Just-in-time subgrammar extraction for HPSG | |||
Authors | V. Keselj | |||
Abstract |
We
define
the
basic
problem
of
subgrammar
extraction
for
head-driven
phrase
structure
grammars
(HPSG)
in
the
following
way: Given a large HPSG grammar G and a set of words W, find a small subgrammar of G that accepts the same set of sentences from W^* as G, and for each of them produces the same parse trees. The set of words W is obtained from a piece of text. Additionally, we assume that this operation is done ``just-in-time,'' i.e., just before parsing the text. This application requires that this operation be done in an automatic and efficient way. After defining the problem in the general framework, we discuss the problem for context-free grammars (CFG), and give an efficient algorithm for it. We show that finding the smallest subgrammar for HPSGs is an NP-hard problem, and give an efficient algorithm that solves an easier, approximate version of the problem. We also discuss how the algorithm can be efficiently implemented. | |||
Date | March 2001 | |||
Report | Just-in-time subgrammar extraction for HPSG (PDF) |
Compressed
PostScript: Just-in-time subgrammar extraction for HPSG (PS.Z) |
CS-2001-07 | ||||
---|---|---|---|---|
Authors | A. Garcia and D.D. Cowan | |||
Date | March 2001 | |||
Report | Only available in printed format |
CS-2001-06 | ||||
---|---|---|---|---|
Title | Text Structure Recognition using a Region Algebra | |||
Authors | M. Young-Lai | |||
Abstract |
We
consider
the
problem
of
incrementally
developing
a
parser
for
text
structure.
This
means
building
the
parser
specification
a
piece
at
a
time
while
simultaneously
developing
our
understanding
of
the
text.
We argue that existing solutions have usability and efficiency problems for this application and propose an alternative approach based on the type of region algebra that is often used as a query language for text databases. This is an appropriate interface for incremental development, but has no efficient batch parsing model such as those that exist for grammars. In this thesis, we propose an efficient batch parsing model and characterize the region algebras to which it applies. | |||
Date | February 2001 | |||
Report | Text Structure Recognition using a Region Algebra (PDF) |
Compressed
PostScript: Text Structure Recognition using a Region Algebra (GZIP) |
CS-2001-05 | ||||
---|---|---|---|---|
Title | Modular HPSG | |||
Authors | V. Keselj | |||
Abstract |
We
present
a
detailed
description
of
the
modular
Head-driven
Phrase
Structure
Grammar
(HPSG).
Although
the
notion
of
modularity
is
known
in
the
area
of
programming
languages,
and
it
is
described
for
context-free
grammars
(CFG),
this
is
the
first
attempt
of
defining
modularity
for
HPSGs.
We describe and formally define modularity for an HPSG-type grammar, and we illustrate its application on an example. | |||
Date | February 2001 | |||
Report | Modular HPSG (PDF) |
Compressed
PostScript: Modular HPSG (PS.Z) |
CS-2001-04 | ||||
---|---|---|---|---|
Title | Optimum Multi-dimensional Interval Routing Schemes on Networks with Dynamic Cost Links | |||
Authors | Y. Ganjali | |||
Abstract |
One
of
the
fundamental
tasks
in
any
distributed
computing
system
is
routing
messages
between
pairs
of
nodes.
An
Interval
Routing
Scheme
(IRS)
is
a
space
efficient
way
of
routing
messages
in
a
network.
The
problem
of
characterizing
graphs
that
support
an
IRS
is
a
well-known
problem
and
has
been
studied
for
some
variants
of
IRS.
It
is
natural
to
assume
that
the
costs
of
links
may
vary
over
time
(dynamic
cost
links)
and
to
try
to
find
an
IRS
which
routes
all
messages
on
shortest
paths
(optimum
IRS).
In
this
paper,
we
study
this
problem
for
a
variant
of
IRS
in
which
the
labels
assigned
to
the
vertices
are
d-ary
integer
tuples
(d-dimensional
IRS).
The
only
known
results
in
this
case
are
for
specific
graphs
like
hypercubes,
n-dimensional
grids,
or
for
the
one-dimensional
case.
We
give
a
complete
characterization
for
the
class
of
networks
supporting
multi-dimensional
strict
and
linear
(which
is
a
variation
of
IRS)
interval
routing
schemes
with
dynamic
cost
links. Keywords: Interval routing, networks, routing algorithms, dynamic, multi-dimensional, characterization. | |||
Date | March 2001 | |||
Report | Optimum Multi-dimensional Interval Routing Schemes on Networks with Dynamic Cost Links (PDF) |
Compressed
PostScript: Optimum Multi-dimensional Interval Routing Schemes on Networks with Dynamic Cost Links (PS.Z) |
CS-2001-03 | ||||
---|---|---|---|---|
Title | Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Schemes | |||
Authors | Y. Ganjali | |||
Abstract |
An
Interval
routing
scheme
(IRS)
is
a
well-known,
space
efficient
routing
strategy
for
routing
messages
in
a
distributed
network.
In
this
scheme,
each
node
of
the
network
is
assigned
an
integer
label
and
each
link
at
each
node
is
labeled
with
an
interval.
The
interval
assigned
to
a
link
l
at
a
node
v
indicates
the
set
of
destination
addresses
which
should
be
forwarded
through
l
from
v.
A
Multi-dimensional
Interval
Routing
Scheme
(MIRS)
is
a
generalization
of
IRS
in
which
each
node
is
assigned
a
multi-dimensional
label
(which
is
a
list
of
d
integers
for
the
d-dimensional
case).
The
labels
assigned
to
the
links
of
the
network
are
also
multi-dimensional
(a
list
of
d
one-dimensional
intervals).
The
class
of
networks
supporting
linear
IRS
(in
which
the
intervals
are
not
cyclic)
is
already
known
for
the
one-dimensional
case
[FG94].
In
this
paper,
we
generalize
this
result
and
completely
characterize
the
class
of
networks
supporting
linear
MIRS
(or
MLIRS)
for
a
given
number
of
dimensions
d.
We
show
that
by
increasing
d,
the
class
of
networks
supporting
MLIRS
is
strictly
expanded.
We
also
give
a
characterization
of
the
class
of
networks
supporting
strict
MLIRS,
which
is
a
modified
version
of
MLIRS. | |||
Date | March 2001 | |||
Comments | Will be submitted to SIROCCO 2001 | |||
Report | Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Schemes (PDF) |
Compressed
PostScript: Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Schemes (PS.Z) |
CS-2001-02 | ||||
---|---|---|---|---|
Title | Reducing the Size of Auxiliary Data Needed to Maintain Materialized Views by Exploiting Integrity Constraints | |||
Authors | L. Stanchev | |||
Abstract |
A
data
warehouse
consists
of
materialized
views,
which
contain
derived
data
from
several
data
sources.
The
advantage
of
using
materialized
views
is
that
they
contain
the
results
of
standard
queries
and
therefore
when
such
queries
are
posed,
the
data
sources
those
queries
are
based
on,
which
are
usually
costly
to
access
because
of
their
size
and
remoteness,
don't
have
to
be
accessed.
However
in
order
for
the
materialized
views
to
contain
up-to-data
data
they
have
to
be
updated
periodically.
Such
synchronization
of
the
materialized
views
with
the
data
sources
could
be
slow
if
the
later
have
to
be
queries
for
a
correct
update
to
be
done
-
i.e.
if
just
the
data
for
the
changes
done
to
the
data
sources
is
insufficient.
A
way
querying
the
data
sources
during
materialized
view
update
can
be
avoided
is
by
storing
any
data
from
the
data
sources,
which
could
be
relevant
to
an
update
of
the
materialized
views,
on
the
data
warehouse
site.
Such
auxiliary
data
is
stored
in
auxiliary
views
and
has
the
characteristic
that
it
makes
the
data
stored
at
the
data
warehouse
self-maintainable,
i.e.
it
can
be
update
correctly
from
the
log
of
changes
done
to
the
the
data
sources. | |||
Date | September 2001 | |||
Comments | It was submitted to CASCON 2000 as a paper but it was not accepted. The reported was created as a result of 700 level distributed database course at the University of Waterloo thought by Prof. Ken Salem. | |||
Report | Reducing the Size of Auxiliary Data Needed to Maintain Materialized Views by Exploiting Integrity Constraints (PS) |
Compressed
PostScript: Reducing the Size of Auxiliary Data Needed to Maintain Materialized Views by Exploiting Integrity Constraints (PS.Z) |
CS-2001-01 | ||||
---|---|---|---|---|
Title | Issues in Scalable Distributed-System Management | |||
Authors | P.A.S. Ward | |||
Abstract |
Distributed-system
management
concerns
the
observation
of
a
distributed
computation
and
then
using
the
information
gained
by
that
observation
to
control
the
computation.
This
necessitates
collecting
the
information
required
to
determine
the
partial
order
of
execution,
and
then
reasoning
about
that
partial
order.
This
in
turn
requires
a
partial-order
data
structure
and,
if
the
reasoning
is
being
performed
by
a
human,
a
system
for
visualizing
that
partial
order.
Both
creating
such
a
data
structure
and
visualizing
it
are
hard
problems. Current partial-order data structure techniques suffer various shortcomings. Potentially scalable mechanisms, such as Ore timestamps, are static. Dynamic algorithms, on the other hard, either require a significant search operation to answer basic questions, or they require a vector of size equal to the width of the partial order for each element stored in the order. Scalable visualization of a partial order is hard for the same reasons that drawing any large graph is hard. Any visualization that will be meaningful to a user requires appropriate abstractions on the data structure, while preserving the core meaning of the data structure. Such abstraction is difficult. This report formalizes these problems and identifies the specific difficulties that must be solved to enable scalable distributed-system management. Keywords: distributed-system observation, partial-order data structure, vector timestamp, data-structure visualization, scalability | |||
Date | January 2001 | |||
Report | Issues in Scalable Distributed-System Management (PDF) |
Compressed
PostScript: Issues in Scalable Distributed-System Management (PS.Z) |