School of Computer Science and Statistics
In some applications, such as many cryptography algorithms, multiplication by a known integer constant is a common operation. It’s well known that integer multiplication with a constant can be computed with a sequence of shifts and adds. Most modern processors already have fast integer multiplication units, so in software it is usually faster to use … Read more
Matrix multiplication is one of the commonly-used computations across a wide range of applications. For example, most implementations of neural networks implement very large numbers of matrix multiplications. Almost all processor and GPU manufacturers provide libraries with carefully hand-tuned fast matrix multiplication routines. All the best-known algorithms matrix multiplication are out-of-place; that is, the result … Read more
Taken- This project involves exploring the role Provenance standards can play to address issues of data linkage in health research data. The project will specifically focus on health research for the disease of Multiple Sclerosis.
Microworlds are a type of computer simulation which have proven to be very powerful tools with which to create effective learning experiences. For example a previous project developed one to teach about nati0nal waste management. This project will involve developing a microworld to help teach about the challenges involved in tackling the housing crisis. The … Read more
The use of technology in education continually evolves. Use of AI in educational practices and the impacts is might have are topics of current discussion by students, academics and institutions. The focus of this project is to take a technology ethics approach to collecting opinions on the role of AI in education. This project … Read more
This project will focus on improving sales forecasting in the automotive industry using traditional forecasting methods (e.g., ARIMA) and machine learning models (e.g., Isolation Forests).
Microworlds are a type of computer simulation which have proven to be very powerful tools with which to create effective learning experiences. For example a previous project developed one to teach about nati0nal waste management. This project will involve developing a microworld to help teach about managing personal finances. The tool is aimed at Transition … Read more
TAKEN RTEMS (https://www.rtems.org/) is an open-source real-time operating system widely used in aircraft and spacecraft. It offers a comprehensive API, mostly defined in terms of “managers” that provide calls to perform specific kinds of services or provide specific infrastructure. As part of an activity sponsored by the European Space Agency (ESA) we have developed a … Read more
TAKEN Cubesats are small satellites that are built as on ore more 10cm-sized cubes. There is a growing industry for developing and launching these. Typically their computing requirements are relatively low, and so they often use lightweight versions of operating systems. This project looks at using Promela/SPIN to model and do test generation for some … Read more
There is no excerpt because this is a protected post.