Formal verification involves with proving properties about a system to make sure that the system is not free of bugs. There are two main methods for verification which are called model checking and theorem proving. Most current approaches to systems biology rely on model checking. Model checking is more automatic but not as general and […]

Le stagiaire développera un algorithme d’apprentissage automatique permettant la classification automatique du sentiment dans des courriels. L’algorithme sera entraîné sur des exemples de courriels issus de l’organisation partenaire (i.e. l’entreprise Coveo) et sera utilisé par les clients de cette dernière pour classifier le plus adéquatement possible leurs propres courriels. L’algorithme résoudra donc un problème d’apprentissage […]

Inspired by needs for haptic support of large motions on a surface in applications like embodied conceptual learning, commercial design, and 2D virtual/augmented reality, we at SPIN lab at the University of British Columbia made a ballpoint drive system called Magic Pen [1]. This novel approach circumvents conventional constraints by imposing a new one: motion […]

Recreational cannabis was legalized on Oct 17th, 2018. Internationally, some countries have already legalized or are going to legalize the recreational/medical cannabis products. Unfortunately, there are not much data available for stakeholders to make decisions in a data-driven way. However, the government, industry and community are hungry to obtain statistical data to understand the impact […]

We envision a future where it will be possible to lavish the same attention on individual plants in a large prairie crop farm as one might on those in a backyard garden. As camera sensors shrink in size, and self-driving vehicles continue to improve, such an idea is no longer the realm of science fiction. […]

The layout drawing is the popular format in the Oil & Gas industry to illustrate the design of layouts and the internal equipment. The complex drawings contain primary shapes, indicative lines and textual annotations. So far the expert knowledge is still required to understand, modify and create such documents. The proposed project is to develop […]

The goal of this project that will be conducted in collaboration with Heyday is to create a technology that uses a given messaging platform (e.g. Facebook Messenger, web chat widget) that allows users to communicate easily and smoothly with their preferred brands or retailers. This technology should allow the automation of answers and interaction between […]