Differences

This shows you the differences between two versions of the page.

--- projects [2010/12/08 16:33] – bil
+++ projects [2010/12/10 14:54] (current) – bil
@@ Line 129: / Line 129: @@
+====== Selenium/Eiffel Web Test Driven Development ======
+**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 [[http://seleniumhq.org/about/platforms.html|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 [[http://www.cse.yorku.ca/museum/research/NABU.htm|here]] .
+====== CPS/1 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__
+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 CPS/1 computer -- one of the earliest commercially available microprocessor-powered computers.
+BACKGROUND: The CPS/1 computer was designed and built by a Canadian company Microsystems International Ltd between 1972 and 73. The computer was built around the first Canadian microprocessor--the MF7114--one of world's earliest microprocessors. Although none of the CPS/1 computers have survived, technical information about the CPS/1 has been preserved. This makes the design and implementation of an emulator possible. More information [[http://www.cse.yorku.ca/museum/collections/MIL/MIL.htm|here]].
 ====== Robotic tangible user interface for large tabletops ======
@@ Line 149: / Line 216: @@
-====== Different "snapping" techniques in drawing systems ======
+====== 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
-**Recommended Background**: CSE3461
+__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__
-Many graphics programs implement snapping to facilitate drawing. Snapping ensures that end-points of lines meet, that the endpoint of one line correctly "touches" another, that objects align side-to-side, etc. One problem of simple snapping techniques is that one cannot position objects arbitrarily close together - otherwise the snapping technique interferes. A novel snapping technique "Snap-and-Go" circumvents this problem by slowing the cursor over the line, instead of snapping it close to the line. The objective of this project is to implement several snapping techniques for two-dimensional drawing systems and then to perform an evaluation with a small user study.
+[[http://www.k-3d.org|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.