projects
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
projects [2017/08/10 18:36] – jenkin | projects [2018/05/07 14:31] – peterlian | ||
---|---|---|---|
Line 1: | Line 1: | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
====== Proposed Projects | ====== Proposed Projects | ||
+ | |||
+ | ====== Graphical User Interface for Power System Simulator ====== | ||
+ | **Supervisor: | ||
+ | |||
+ | The project is to develop a user-friendly Graphical User Interface (GUI) for a power system simulator program. Similar to all circuit simulation programs, the GUI should provide a library of the system components. These elements include not only the basic circuit elements such as resistor, capacitor, and inductor but also more complex equipment models such as transformers, | ||
+ | |||
+ | **Required background: | ||
+ | |||
+ | ====== Development of a Standalone Power System Optimization Toolbox ====== | ||
+ | **Supervisor: | ||
+ | |||
+ | Finding the optimum system condition and maximum/ | ||
+ | In this project, the developer is expected to explore Intel FORTRAN Math Kernel Library (MKL) and Intel Mathematics and Statistics Library (IMSL) and develop a program code in FORTRAN to call built-in functions and perform the requested optimizations specified by the user. Due to compatibility of the MS Visual Studio with both FORTRAN and C++, some parts of the code can also be developed in C++. | ||
+ | |||
+ | **Required background: | ||
+ | |||
+ | |||
+ | ====== Palpation Task Trainer ====== | ||
+ | |||
+ | **Supervisors: | ||
+ | |||
+ | Palpation of head and neck region is an integral part of a complete physical health assessment performed by both physicians (e.g., physician assistant; family doctor; Ear Nose and throat specialist and surgeon) and Nurses (Nurse practitioners, | ||
+ | 1. Head to neck anatomical structure - Making the task trainer more " | ||
+ | 2. Head and neck skin - Because we are focusing on palpation touching the skin and making the skin respond to touch is important. | ||
+ | 3. Head to neck engaging and interactive - Several health care providers perform palpation. In fact there is a hierarchy among them (nurse vs doctor; family doctor vs Ear Nose and throat). Creating some kind of interactive game to find and characterize the gland with multidiscipline. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | **Other experience: | ||
+ | |||
+ | **Resources and readings:** Here are two links to articles we published. The reference list has more resources | ||
+ | http:// | ||
+ | http:// | ||
+ | |||
+ | |||
+ | ====== Custom Camera App using the Andriod Camera 2 API ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Cameras have a number of processing steps that convert the incoming sensor image to the final sRGB-JPEG image. | ||
+ | |||
+ | The primary goal of this project is to develop custom camera applications that manipulate individual components of the imaging pipeline (e.g., custom white-balance, | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | ====== Ultrasound simulation/ | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Trans-esophageal echocardiography (TEE) is the standard of care for most cardiac surgeries and interventional cardiology procedures. It uses a thin and flexible ultrasound probe that is inserted down the esophagus in position beside the heart, and the echocardiographer adjusts the position and orientation of the probe from outside. For new clinicians, learning how to adjust the probe into the correct location for various views of the heart can be quite challenging. | ||
+ | |||
+ | The primary goal of this project is to develop an open source, inexpensive software simulation for training clinicians in the use of TEE ultrasound. Starting with a 3D-plus-time CT or MRI heart dataset, we will create simulated ultrasound images, and use a mouse to simulate the translation and rotation of the ultrasound probe. The software platform will render the simulated ultrasound, and provide the user with feedback on how well they can identify the standard TEE views. This project will involve a collaboration with clinicians in Toronto and London, Ontario. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== 3D Fractal visualizations and Music ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Visualizing and navigating through 3D fractals is very cool. Check out an example here: https:// | ||
+ | |||
+ | This project will investigate the connection between music and 3D fractal visualizations, | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | ====== Extracting Information from Music ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | While humans are quite good at extracting musical information from audio, such as tempo and time signature, computers have room for improvement in this regard. | ||
+ | |||
+ | This project will use the JUCE framework to create software that extracts such information from audio files. Existing algorithms will be implemented and compared, and possibly improved. The output will be both a stand-alone application, | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Data-driven conceptual modeling within on-line communities ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | The wealth of data to be obtained from online communities is already well acknowledged. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
====== Proposed Project: Tangible Interactive Device Design and Evaluation, Assistive Technology ====== | ====== Proposed Project: Tangible Interactive Device Design and Evaluation, Assistive Technology ====== | ||
Line 24: | Line 111: | ||
====== Distributed leader election for simple robots ====== | ====== Distributed leader election for simple robots ====== | ||
- | **Supervisors: | + | **Supervisors: |
**Project: | **Project: | ||
Line 34: | Line 121: | ||
====== Asynchronicity in infection algorithms ====== | ====== Asynchronicity in infection algorithms ====== | ||
- | **Supervisors: | + | **Supervisors: |
**Project: | **Project: | ||
Line 44: | Line 131: | ||
====== Simultaneous localization and mapping (SLAM) aided by a single unique directional landmark ====== | ====== Simultaneous localization and mapping (SLAM) aided by a single unique directional landmark ====== | ||
- | **Supervisors: | + | **Supervisors: |
**Project: | **Project: | ||
Line 53: | Line 140: | ||
- | Imputation | + | ====== Immersive Virtual Worlds ====== |
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | We have a new and unique fully immersive virtual environment at York. The student would develop interactive 3D virtual worlds to study self motion perception and human computer interaction in a virtual world. In particular, working with a senior graduate student or postdoctoral fellow, the successful applicant would model 3D environments, | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | ====== Virtual Walking Devices ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Simulating effective walking in an immersive virtual environment is challenging. Working with a senior graduate student, the successful applicant would help to develop a circular treadmill interface to support virtual walking metaphors. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Adapting a 3D Printer for Paste Extrusion ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | 3D printers are an enabling technology for engineering design. However most low- to medium-end printers can only extrude plastics through a hot-end extrusion system. A local company has developed a nozzle and pump system for pastes that can be integrated with existing printers. A student group is sought to design a mounting bracket for an existing TAZ 4 printer that can be used to augment its ABS extruder with a Discov3ry paste extruder. The bracket is to be printed with the TAZ and the design is to be released publicly to the open-source community. Sample prints, calibration routines and possible modifications to the printer' | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Peer-to-Peer agent based applications in smart power grids ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Multi-agent systems have been mentioned recently as a potential technology for several operational control objectives in smart power grids. The multi-agents technology allows the rapid and detailed creation | ||
+ | |||
+ | This project aims to implement formulated distributed constraint optimization (DCOP) in a multi-agent platform for two objectives in smart grids: 1) voltage regulation and 2) electricity market,. There are several Java-based open source platforms for peer-to-peer agent based applications e.g. (JADE, Jadex, Jason, | ||
+ | |||
+ | The student should be a strong Java and MATLAB programmer. He should have prior knowledge about multi-agent platforms such as JADE. The work involves reading and understanding the formulated DCOP in smart grids and working with the supervisor and master/PhD student(s) to implement the developed algorithms and to measure the performance of the developed algorithm(s) in the multi-agent platform. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | ====== Clustering High-Dimensional Data Sets ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Clustering is a basic technique for analyzing | ||
+ | |||
+ | Our data sets will include those obtained from Flow Cytometry data. Flow Cytometry is a common technique in many areas of Biology, particularly Immunology. Typical usage involves testing a blood sample for 25 attributes on a per-cell basis, and thus typical data sets are arrays of 500,000 points in a 25 dimensional space. The aim is to identify clusters that correspond to a biologist' | ||
+ | |||
+ | No Biology knowledge is required. The student should be a strong programmer. Knowledge of C/C++ is desirable but not essential. The work involves reading and understanding existing algorithms and working with the supervisor to design and implement improved algorithms and to measure the performance of the proposed algorithm(s). | ||
+ | |||
+ | For more information, | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | ====== Metaheuristic-based Optimization techniques ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Optimization is a crucial step in many computational problems. For computational problems that seem (or are known to be) intractable, | ||
+ | |||
+ | The student should be a strong programmer. A good grasp of algorithms and knowledge of C/C++ are desirable but not essential. The work involves reading and understanding existing algorithms and working with the supervisor to design and implement improved algorithms and to measure the performance of the proposed algorithm(s). | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | ====== Genome-wide identification of plant micro RNAs ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | The Hudak Lab in the Biology Department has an opening for a fourth-year Honours student to assist with a bioinformatics project. We study the pokeweed plant, Phytolacca americana, which displays broad-spectrum virus resistance. To evaluate pokeweed gene expression, we recently sequenced the plant’s mRNA and small RNA transcriptomes under jasmonic acid (JA) treatment. JA is a plant hormone that mediates defence against pathogens and insect herbivores. We are interested in learning how pokeweed gene expression is regulated by miRNAs during biotic stress. Please note: no previous knowledge of biology is required. | ||
+ | |||
+ | For more information, | ||
+ | |||
+ | RNA sequencing- http:// | ||
+ | |||
+ | miRNAs- http:// | ||
+ | |||
+ | Working with the support of a PhD student, your project will involve: | ||
+ | |||
+ | - Prediction of micro RNA (miRNA) targets on the basis of complementary sequence matches | ||
+ | - Correlation of miRNA and mRNA expression changes to identify genes that are regulated by miRNAs | ||
+ | - Conducting pathway analysis to determine which biological processes are controlled by miRNAs | ||
+ | - Construction of a miRNA/ | ||
+ | |||
+ | |||
+ | **Requirements: | ||
+ | |||
+ | |||
+ | ====== DDoS Attack using Google-bots ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Not long ago, botnets - networks of compromised computers - were seen as the most effective (if not the only) means of conducting Distributed Denial of Service (DDoS) attacks. However, with the growing popularity and prevalence of application-layer over other types of DDoS attacks, the DDoS execution landscape is becoming increasingly more diverse. An especially interesting new trend is the execution of application-layer DDoS attacks by means of skillfully manipulated Web-crawlers, | ||
+ | |||
+ | **Recommended Background**: | ||
+ | |||
+ | |||
+ | ====== Attentive Sensing for Better Two-Way Communication in Remote Learning Environments ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | One of the challenges in remote learning is to allow students to communicate effectively with the lecturer. For example, when a student asks a question, communication will be more effective if the instructor has a zoomed view of the student’s face, so that s/he can interpret expressions etc. The goal of this project is to apply attentive sensing technology (www.elderlab.yorku.ca) to this problem. This technology is able to monitor a large environment such as a classroom and direct a high-resolution ‘attentive’ sensor to events of interest. In particular, working with a senior graduate student or postdoctoral fellow, the successful applicant will: | ||
+ | |||
+ | Study the problem of detecting hand-raises in the preattentive sensor stream | ||
+ | Implement algorithms for detecting hand-raises based upon this investigation | ||
+ | Evaluate these algorithms in a real-classroom setting, using proprietary attentive sensing technology | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Attentive Sensing for Sport Video Recording Markets ====== | ||
+ | |||
+ | **Supervisor**: | ||
+ | |||
+ | The goal of this project is to modify York University’s patented attentive sensor technology to the sport video recording market. Specific application domains under investigation include skiing, indoor BMX parks, and horse tracks. The general problem is to use attentive sensing technology (www.elderlab.yorku.ca) to visually detect and track multiple moving agents (e.g., skiers, riders, horses) and to select specific agents for active high-resolution smooth pursuit. The student will work with senior graduate students, postdoctoral fellows and research scientists to help modify the attentive sensing technology to operate in these domains. Specific tasks include: 1. Ground-truth available datasets 2. Evaluate current attentive algorithms on these datasets 3. Modify these algorithms to improve performance on these datasets. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== JPF in a Jar ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | JPF, which is short for Java PathFinder, is an open source tool that has been developed at NASA's Ames Research Center. The aim of JPF is to find bugs in Java code. Instead of using testing to find those bugs, JPF uses model checking. The facts that JPF is downloaded hundreds of times per month and that some of the key papers on JPF have been cited more than a thousand times reflect the popularity of JPF. In fact it is the most popular model checker for Java. | ||
+ | |||
+ | A study done by Cambridge University in 2014 found that the global cost of debugging code has risen to $312 billion annually. Furthermore, | ||
+ | |||
+ | Installing JPF is far from trivial. The tool itself has been implemented in Java. Therefore, it should, in theory, be feasible to encapsulate JPF in a Java archive (jar) file. This would make it significantly simplifying the installation process of JPF and, therefore, make the tool more easily accessible to its potential users. | ||
+ | |||
+ | The aim of this project is to attempt to put JPF in a jar. Since JPF relies on a number of configuration files, so-called Java properties files, incorporating these properly into the jar is one of the challenges. Setting JPF's classpath is another challenge. Since JPF changes almost on a daily basis, our modifications to JPF should ideally be limited to only a few classes, yet another challenge. | ||
+ | |||
+ | In this project you may collaborate with graduate students of the DisCoVeri group (discoveri.eecs.yorku.ca) and computer scientists of NASA. For more information, | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Model-based Design and Development of Embedded Systems with Code Generation Tools ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Model-based design with code generation tools can be used for simulation, rapid prototyping, | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== C2000 Concerto Microcontrollers ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | |||
+ | The C2000 Concerto family of microcontrollers combines two cores on a single-chip with on-chip low latency interprocessor communication between the two cores: a C28x 32-bit control core for real-time control with faster/more loops and small sampling window; and an ARM 32-bit Cortex-M3 host core for communications and general purpose. The selected student will evaluate the capabilities of the C2000 Concerto family of microcontrollers through testing and investigating open source software for real-time control applications that runs on C2000 Concerto Microcontrollers. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Real-Time Bidding Platform ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Description: | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | ====== Circuit and Board Design for a Pulsed Ground Penetrating Radar ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | The project requires the construction of components for a ground penetrating radar. The students would have to design microwave boards for the high-frequency components of this unit, on both the transmitter and the receiver. On the transmitter side the board would take a 5-MHz input clock, run it through a series of off-the-shelf amplifiers and then through a shaping circuit that would convert the input into an outgoing series of pulses (still at 5-MHz repetition rate) less than 400-ps in duration each. The bandwidth of the signal is roughly 2-8 GHz and hence requires very careful board layout. The receiver would be a time-shifted sampler, used to sample the returning pulses in progressive periods. This radar circuit is ultimately intended to be positioned on a rover doing ground analysis. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | |||
+ | ====== Tilt Target Selection on Touchscreen Phones ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Touchscreen mobile devices commonly use a built-in accelerometer to sense movement or tilting actions of the device. Tilt is commonly used the change the orientation of the display between portrait and landscape. Gaming is another common use for tilting actions. However, tilt may also be used for target selection, as a replacement for touch. This research project will evaluate tilt as an input primitive for target selection on touchscreen mobile devices. | ||
+ | |||
+ | Readings: MacKenzie, I. S., & Teather, R. J. (2012). FittsTilt: The application of Fitts’ law to tilt-based interaction. Proceedings of the Seventh Nordic Conference on Human-Computer Interaction – NordiCHI 2012, pp. 568-577. New York: ACM. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Attentive Sensing for Better Two-Way Communication in Remote Learning Environments ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | One of the challenges in remote learning is to allow students to communicate effectively with the lecturer. For example, when a student asks a question, communication will be more effective if the instructor has a zoomed view of the student’s face, so that s/he can interpret expressions etc. The goal of this project is to apply attentive sensing technology (www.elderlab.yorku.ca) to this problem. This technology is able to monitor a large environment such as a classroom and direct a high-resolution ‘attentive’ sensor to events of interest. In particular, working with a senior graduate student or postdoctoral fellow, the successful applicant will: | ||
+ | |||
+ | Study the problem of detecting hand-raises in the preattentive sensor stream | ||
+ | Implement algorithms for detecting hand-raises based upon this investigation | ||
+ | Evaluate these algorithms in a real-classroom setting, using proprietary attentive sensing technology. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Attentive Sensing for Sport Video Recording Markets ====== | ||
+ | |||
+ | |||
+ | **Supervisor**: | ||
+ | |||
+ | The goal of this project is to modify York University’s patented attentive sensor technology to the sport video recording market. Specific application domains under investigation include skiing, indoor BMX parks, and horse tracks. The general problem is to use attentive sensing technology (www.elderlab.yorku.ca) to visually detect and track multiple moving agents (e.g., skiers, riders, horses) and to select specific agents for active high-resolution smooth pursuit. The student will work with senior graduate students, postdoctoral fellows and research scientists to help modify the attentive sensing technology to operate in these domains. Specific tasks include: 1. Ground-truth available datasets 2. Evaluate current attentive algorithms on these datasets 3. Modify these algorithms to improve performance on these datasets. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | ====== Continuation of a Path Diagram to Syntax Application ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | |||
+ | |||
+ | Structural equation modeling (SEM) is a statistical technique that is becoming increasingly popular in the educational and behavioral sciences. SEM allows researchers to test the validity of hypothesized models involving complex relationships among multiple variables. Collected data is used to estimate the parameters of the equations and assessing the fit of the model. | ||
+ | |||
+ | The software required is an application that allows researchers to define their hypothesized models visually and will output the correct syntax for the analytical software of their choosing. | ||
+ | |||
+ | To date a promising functional application has been developed in JAVA by a Computer Science student as a 4080 project. The existing software allows the user to draw a path diagram and outputs code for the R package sem. There are a number of improvements to be made (refinements and additions to graphical user interface) and then the application needs to be extended to output syntax appropriate for additional software applications (openMX, MPlus and EQS). Though this project may not begin at “the first stages” of the software lifecycle, this scenario is likely common in the software development market. In addition, the student will be working with a primary “client” who is far less technically advanced, which is also reflective of real-world situations. | ||
+ | |||
+ | **Required Background**: | ||
+ | |||
+ | **Recommended Background: | ||
+ | |||
+ | |||
+ | ====== Enabling SaaS access to an experimental AI planner ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | This project involves enriching and integrating a set of fairly complex scripts, which are components of an Artificial Intelligence (AI) planner, and exporting them to the public in a Software-as-a-Service (SaaS) fashion. | ||
+ | |||
+ | The components are various Unix executables and LISP programs that need to interact in complex ways. The components may be residing in different servers in different universities. Currently integration is performed manually, at the expense of usability. Thus, we aim at constructing a module that: (a) integrates involved components to deliver output in one call, (b) exports a unique web interface (preferably following WSDL/SOAP) to be easily accessed by custom front-end tools by anyone, anywhere, (c ) offers a simple front-end for human users. | ||
+ | |||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | |||
+ | ====== Predicting Angular Error in Rigid Registration ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Registration is a fundamental step in image-based surgical navigation. Several (seemingly) different approaches for predicting distance errors in registration are known, but for some surgical procedures, the angular error in registration is more important. This project will validate an approach for predicting angular error in registration; | ||
+ | |||
+ | ====== Calibration of a Tracked Pointer ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Description: | ||
+ | |||
+ | |||
+ | |||
+ | ====== Simulation for Forest Fire Detection ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Detection of forest fires is a challenging activity that requires considerable training. The objective of this project is to implement a virtual reality simulation to incorporate key aspects of this task and then to perform an evaluation with a small user study. | ||
+ | |||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | **Recommended Background: | ||
+ | |||
+ | ====== Study of self-motion perception in microgravity ====== | ||
+ | |||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | This is a computer graphics project to present visual motion stimuli to an observer. The software will experimentally control scene content, collect user responses and control the camera trajectory to simulate the desired self-motion profile. | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | **Recommended Background: | ||
+ | |||
+ | ====== Stereoscopic cinema calculator ====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | Directors of three-dimensional movies sometimes use ' | ||
+ | |||
+ | **Required Background: | ||
+ | |||
+ | **Recommended Background: | ||
- | Student: Michael Larin | + | ====== Computer pointing devices and the speed-accuracy tradeoff ====== |
- | Supervisor: | + | **Supervisor:** Scott MacKenzie |
- | Description | + | **Required Background: |
- | Microarrays are a relatively new technology that have had tremendous impact on many areas within biology | + | **Recommended Background: |
- | Due to technological limitations and experiment design issues, microarray data sets typically have several missing values. It has been shown that imputation of these values improves the accuracy of different processing tasks, including clustering, that are typically done on these data sets. Therefore, good imputation algorithms are required. | + | ====== One key text entry ====== |
- | In this project, we will explore fast and accurate imputation algorithms for microarray data. The student will first read the papers assigned and write a short summary of them. Then, he will study the performance a few algorithms from the literature (many algorithms are already implemented but 1 - 2 may need to be implemented). Finally, he will work with the supervisor on the design of better algorithms for the problem being studied. He will use publicly available data sets to compare the performance (accuracy and speed) of the new algorithm(s) to the GMCImpute algorithm and several other existing ones. | ||
- | Throughout the course, the student is required to maintain a course website to report any progress and details about the project. | + | **Supervisor: |
- | An Open Source Structural Equation Modeling Graph Drawing Application | + | **Required Background: |
- | Student: Doug Scheurich | + | Recommended Background: Interest in user interfaces and human-computer interaction (HCI). Understanding of experiment design. Experience in doing user studies. |
- | Supervisor: J. Edmonds | + | ====== The Algorithmics Animation Workshop ====== |
- | Description | ||
- | Structural equation modeling (SEM) is a statistical technique that is becoming increasingly popular in the sciences. SEM allows researchers to test the validity of hypothesized models involving complex relationships among multiple variables. These models can include latent variables, which are not measured directly but are constructs inferred by observed variables. Structural equation models can be represented visually by graphs. To generate such graphs currently in R would require over 80 lines of code which has no reusability and has to be re written each time a new graph has to be developed or analyzed (R is a UNIX based command line only program, however it is a very powerful analytic research tool). | + | **Supervisor: |
- | Collected data is used to estimate the parameters | + | The URL for Algorithmics Animation Workshop (AAW) is http:// |
- | We propose developing an application which will allow the user to load observed variables from a data file to create graphs, or allow using an intuitive graphical interface, and convert the graphs into a text based model specification file (ie generate the code required so the graph can be used in other programs such as R). This text file can then be used as input for the sem() function in R. The application will be implemented in Java, which can then be used with any OS. Later versions may include the ability to call R functions directly from within the application and provide options for more advanced structural equation modeling techniques. | + | **Required background: |
- | Exploring the notion of Variability in Business Process Modeling (and its relationship with Goals) | + | **Recommended background: |
- | Student: Dean Shaft | ||
- | Supervisor: S. Liaskos and Y. Lesperance | + | ====== Automated Reasoning System for Quantified Propositional Logic ====== |
- | Description | ||
- | Business Process Modeling (BPM) notations are an increasingly popular subject of investigation in the analysis and design of Information Systems. Such notations allow analysts to represent different ways by which actors of a domain can collaboratively perform tasks in order to meet certain business goals. The diagrammatic result allows understanding of the involved activities at various levels of abstraction each being useful for different stakeholders, | + | **Supervisor: |
- | Variability occurs | + | 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 |
- | In this project we shall investigate ways of modeling and reasoning about business process variability. We will pick a BPM, possibly BPMN, and explore different ways by which variability can be expressed. Then we will look at criteria that define variant selection and how such can be represented as well. Through possible formalizations in specification frameworks that are used in AI such as Situation Calculus or planning definition languages, the problem of automatically selecting variants of interest in order to meet certain customization criteria shall be studied. In the end we are hoping to develop a concrete framework for representing and reasoning about business process variability in light of high-level goal-based customization criteria. | + | The theorem prover for QPL is to be designed, implemented, and fully tested. |
- | Mobile Software Development Platform Comparison: Windows Phone 7 and Android | + | Background: Various variants of QPL have been formally formulated for the first time in the 1920s by a number of logicians |
- | Student: Ahmad Hasan | + | **Required background:** General prerequisites |
- | Supervisor: J. Ostroff | + | **Recommended background:** Passion for programming and experimentation; |
- | Description | + | ====== NABU Network Emulator ====== |
- | Over the past decade the development and use of smartphone technologies has become increasingly sophisticated. The computational power of modern smartphones is growing to match the power of conventional desktop computers. More people and organizations are becoming increasingly dependent on their mobile devices being able to perform sophisticated computations. As the leaders in the technology industry move towards providing advanced products and development platforms, the environment of traditional software development is changing rapidly. Mobile applications that provide a variety of services involving cloud computing, GPS, games, and automation. | + | **Supervisor: |
- | The goal of this project | + | Have you ever considered writing your own emulator |
- | Business applications | + | Background : The NABU Network was designed |
- | The games developed in each platform are intended to serve as explorations into the graphics capabilities of both systems. Graphics environments and frameworks are another area in mobile devices that are becoming increasingly important. Rich graphics and animation capabilities are important for providing immersive user experiences and games are excellent environments to develop and test interactive graphics capabilities on mobile devices. The Windows Phone 7 game development framework uses and extension of Microsoft’s well established XNA framework. This provides libraries to develop and debug game and graphics engines and easily integrate multimedia content into mobile games. Android game applications depend on a to be determined open source game engine. | + | **Required background: |
- | This project aims to compare the mobile platforms with respect to development languages, the use of object oriented software development principles and the utility | + | **Recommended background: |
projects.txt · Last modified: 2018/05/07 14:39 by peterlian