|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.|
|Report||Finding Hidden Independent Sets in Interval Graphs (PDF)||
|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.|
|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)
|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.|
|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)
|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.|
|Comments||This report was generated as part of a project for a 700 level course at the University of Waterloo, Waterloo, ON, Canada|
Codd tables with duplicates (PS)
|Codd tables with duplicates (PDF)|
|Title||Evolution of Recurrent Neural Networks to Control Autonomous Life Agents|
|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.|
|Comments||Source code of the ALA Training System is available upon request.
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)|
|Report||Only available in printed format|
|Report||Only available in printed format|
|Date||#issued July 4, 2001,|
|Report||Only available in printed format|
|Title||A Behavioral Analysis Approach to Pattern-Based Composition|
|Authors||Jing Dong, Paulo S.C. Alencar and Donald D. Cowan|
|Report||A Behavioral Analysis Approach to Pattern-Based Composition (PDF)|
|Title||User's Manual as a Requirements Specification|
|Authors||D.M. Berry, K. Daudjee, J. Dong, M.A. Nelson and T.Nelson|
|Report||User's Manual as a Requirements Specification (PDF)||Compressed PostScript:
User's Manual as a Requirements Specification (PS.Z)
|Date||# issued May 16th|
|Report||Only available in printed format|
|Title||Finding Shortest Paths in Large Network Systems|
|Authors||E.P.F. Chan and N. Zhang|
|Report||Finding Shortest Paths in Large Network Systems (PDF)||Compressed PostScript:
Finding Shortest Paths in Large Network Systems (PS.Z)
|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/|
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)
|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)|
|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)|
|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.|
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)
|Title||Using OpenGL for Video Streaming|
|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.
|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
ball, geri, tree (MPV)
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)
|Title||Evaluation of Buffer Queries in Spatial Databases|
|Report||Evaluation of Buffer Queries in Spatial Databases (PDF)||Compressed PostScript:
Evaluation of Buffer Queries in Spatial Databases (PS.Z)
|Title||Just-in-time subgrammar extraction for HPSG|
|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.
|Report||Just-in-time subgrammar extraction for HPSG (PDF)||Compressed PostScript:
Just-in-time subgrammar extraction for HPSG (PS.Z)
|Authors||A. Garcia and D.D. Cowan|
|Report||Only available in printed format|
|Title||Text Structure Recognition using a Region Algebra|
|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.
|Report||Text Structure Recognition using a Region Algebra (PDF)||Compressed PostScript:
Text Structure Recognition using a Region Algebra (GZIP)
|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.
|Report||Modular HPSG (PDF)||Compressed PostScript:
Modular HPSG (PS.Z)
|Title||Optimum Multi-dimensional Interval Routing Schemes on Networks with Dynamic Cost Links|
|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.
|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)
|Title||Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Schemes|
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.
|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)
|Title||Reducing the Size of Auxiliary Data Needed to Maintain Materialized Views by Exploiting Integrity Constraints|
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.
|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)
|Title||Issues in Scalable Distributed-System Management|
|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
|Report||Issues in Scalable Distributed-System Management (PDF)||Compressed PostScript:
Issues in Scalable Distributed-System Management (PS.Z)