EECS4080

Supervisor: Jonathan Ostroff

Required background: General prerequisites, at least a B+ in CSE 3311

Recommended background: Knowledge of Javascript a plus

Description

The Selenium IDE is an integrated development environment for Selenium scripts. It is implemented as a Firefox extension, and allows you to record, edit, and debug tests of web applications. The Selenium IDE is a recording tool, or you may edit your scripts by hand. With autocomplete support and the ability to move commands around quickly, Selenium IDE is the nice environment for creating webtests no matter what style of tests you prefer.

Tests can be translated to Java (JUnit), C#, Python etc. It can be extended to any language that can make HTTP calls.

The goal of this project is (1) to translate Selenium tests into tests that can be run under Eiffel (e.g. via ESpec or AutoTest), and (2) to provide a complete Eiffel web application creation template (with embedded database such as sqlite) for creating and testing web applications.

Automated Reasoning System for Quantified Propositional Logic

Supervisor: Zbigniew Stachniak

Required background: General prerequisites

Recommended background: Passion for programming and experimentation; Some knowledge of propositional and predicate logic

Description

Quantified Propositional Logics (QPL) plays an important role in a number of computer science disciplines from the theoretical computer science to knowledge representation and verification. There are also a number of open problems concerning this logic, and formulated more than 70 years ago, that can be finally solved (or at least approached) using automated reasoning techniques. The first step in such investigations has to be the design and implementation of a theorem prover, or automated reasoning system, for QPL. Such a system should, in principle, be able to determine whether or not a given formula of QPL is a theorem (or a tautology) in this logic.

The theorem prover for QPL is to be designed, implemented, and fully tested.

Background: Various variants of QPL have been formally formulated for the first time in the 1920s by a number of logicians and mathematicians. In modern computer science, QPL plays a significant role in theoretical computer science (proof complexity, satisfiability) as well as in verification and AI.

NABU Network Emulator

Supervisor: Zbigniew Stachniak

Required background: General prerequisites

Recommended background: Java (including 2D graphics); Some knowledge of PC hardware architecture; Some knowledge of (any) assembler language is an asset.

Description

Have you ever considered writing your own emulator of an interesting system? There has been a substantial activity in building software emulators of historically significant computers, game consoles, and, recently, smart communication devices. As a result, there is at least one emulator of almost every significant system. This activity contributes, in the first place, to the preservation and dissemination of significant hardware and software technologies. It also allows for cost-effective development of contemporary software and hardware. The project's objective is to design and implement an emulator of the NABU Network – one of the earliest “proto-Internet” networks. The emulator is to be implemented in Java.

Background : The NABU Network was designed and implemented by a Canadian company NABU Manufacturing between 1981 and 1983. The underlying idea behind the network was to link home personal computers to cable television networks which would supply a continuous, high speed stream of computer programs and information (at the rate of 6.5 Mbits per second) to almost an unlimited number of users. Cable television was a uniquely ideal technology for NABU to deliver software and data to home computers because of its high bandwidth and networking capabilities. After the official launch on Ottawa Cablevision in October of 1983, the NABU Network was introduced by Ottawa's Skyline Cablevision in 1984 and a year later in Sowa, Japan, via a collaboration between NABU and ASCII Corp. NABU Network subscribers could rent or buy a NABU PC and dedicated network adaptor, and use an ordinary television set as a display monitor. Once connected to the network, a user could choose from various application programs and services in categories including entertainment, information and guides, education, and professional programs. Dedicated NABU magazines, newsletters, programming guides, and user groups provided subscribers with supplementary information and support. To learn more, visit here .

Robotic tangible user interface for large tabletops

Supervisor: Wolfgang Stuerzlinger

Required Background: General CSE4080 prerequisites

Recommended Background: CSE3431 or equivalent

Description

Tangible user interfaces provide the user with object that they can touch and use as input devices. One example is the use of (tracked) toy houses to perform a city planning task on a large surface. This project implements a new form of tracking/identification scheme for tangible objects via LED arrays mounted on them. Furthermore, and using robotic components, the tangible objects will have the ability to move around autonomously, which enables important functionalities such as undo and replay.

Better Layout Mechanisms for User Interfaces Toolkits

Supervisor: Wolfgang Stuerzlinger

Required Background: General CSE4080 prerequisites

Description

The layout mechanisms for many GUI toolkits are hard to understand and often difficult to use. This project investigates new, easy-to-understand layout mechanisms and evaluates an implementation of one of them in a comparative user study. Platform: any modern GUI toolkit.

Predicting Visibility Obstructions for a 6DOF Tracker

Supervisor: Wolfgang Stuerzlinger

Required Background: General CSE4080 prerequisites

Description

Previous work of the supervisor generated a novel and highly accurate Virtual Reality tracking system based on (eye-safe) laser diodes. The speed and accuracy of this system matches or exceeds the specification of all competing commercial systems. However, this system works only in 5 or 6-sided immersive display environment. Recent work has adapted the system to track successfully with as little as one large display wall and has also characterized the accuracy more comprehensively. The next step is to generalize the system to work in normal rooms, which may have lamps, shelves, etc. Here, visibility obstructions play a significant role and predicting these obstructions can be used to increase the tracking accuracy. This project will simulate a new method for visibility obstruction prediction to detect how big an increase in accuracy can be expected.

Extensions to a 3D Modeling System

Supervisor: Wolfgang Stuerzlinger

Required Background: General CSE4080 prerequisites

Description

K-3D is a successful, open-source, 3D modeling system, that can even deal with million-polygon models in real-time. This project aims to improve the user interface for K-3D by adding several novel 3D manipulation techniques. While all the mentioned operations already exist in in K-3D, the user interfaces are typically fairly inefficient and/or require significant learning. Depending on the outcome, the results of each project may even be merged back into the K-3D distribution. Each of the following two items can be considered a separate project:

Integration of an existing implementation of a 3D sliding technique, which greatly facilitates 3D object movement. The ability to draw new “lines”, rectangles, and other 2D constructs in a simple manner onto surfaces. This ability greatly simplifies many interesting operations, such as the creation of extrusions, holes, etc.