
A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix...
read it

CSPLib: Twenty Years On
In 1999, we introduced CSPLib, a benchmark library for the constraints c...
read it

A Linked Data Scalability Challenge: Concept Reuse Leads to Semantic Decay
The increasing amount of available Linked Data resources is laying the f...
read it

Generalized Support and Formal Development of Constraint Propagators
Constraint programming is a family of techniques for solving combinatori...
read it

A Semantic Web of KnowHow: Linked Data for CommunityCentric Tasks
This paper proposes a novel framework for representing community knowho...
read it

Compressed Dynamic Mode Decomposition for Background Modeling
We introduce the method of compressed dynamic mode decomposition (cDMD) ...
read it

Randomized LowRank Dynamic Mode Decomposition for Motion Detection
This paper introduces a fast algorithm for randomized computation of a l...
read it

Modelling Constraint Solver Architecture Design as a Constraint Problem
Designing componentbased constraint solvers is a complex problem. Some ...
read it

Distributed solving through model splitting
Constraint problems can be trivially solved in parallel by exploring dif...
read it

Machine learning for constraint solver design  A case study for the alldifferent constraint
Constraint solvers are complex pieces of software which require many des...
read it

Using machine learning to make constraint solver implementation decisions
Programs to solve socalled constraint problems are complex pieces of so...
read it

The Exact Closest String Problem as a Constraint Satisfaction Problem
We report (to our knowledge) the first evaluation of Constraint Satisfac...
read it

Dominion  A constraint solver generator
This paper proposes a design for a system to generate constraint solvers...
read it

The Recomputation Manifesto
Replication of scientific experiments is critical to the advance of scie...
read it

A Survey and Taxonomy of Resource Optimisation for Executing BagofTask Applications on Public Clouds
Cloud computing has been widely adopted due to the flexibility in resour...
read it

MAMoC: Multisite Adaptive Offloading Framework for Mobile Cloud Applications
This paper presents MAMoC, a framework which brings together a diverse r...
read it

On the correspondence of deviances and maximum likelihood and interval estimates from loglinear to logistic regression modelling
Consider a set of categorical variables P where at least one, denoted by...
read it

VBOINC: The Virtualization of BOINC
The Berkeley Open Infrastructure for Network Computing (BOINC) is an ope...
read it

Randomized CP Tensor Decomposition
The CANDECOMP/PARAFAC (CP) tensor decomposition is a popular dimensional...
read it

On synthetic data with predetermined subject partitioning and cluster profiling, and partially specified categorical variable marginal correlation structure
A standard approach for assessing the performance of partition or mixtur...
read it

On synthetic data with predetermined subject partitioning and cluster profiling, and prespecified categorical variable marginal dependence structure
A standard approach for assessing the performance of partition or mixtur...
read it

Learningbased Dynamic Pinning of Parallelized Applications in ManyCore Systems
This paper introduces a reinforcementlearning based resource allocation...
read it

A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for const...
read it

Proofrelevant Horn Clauses for Dependent Type Inference and Term Synthesis
Firstorder resolution has been used for type inference for many years, ...
read it

Francy  An Interactive Discrete Mathematics Framework for GAP
Data visualization and interaction with large data sets is known to be e...
read it

Location, Location, Location: Exploring Amazon EC2 Spot Instance Pricing Across Geographical Regions  Extended Version
Cloud computing is becoming an almost ubiquitous part of the computing l...
read it

An Academic's Observations from a Sabbatical at Google
How experiences gained in industry can improve academic research and tea...
read it

Modelling Langford's Problem: A Viewpoint for Search
The performance of enumerating all solutions to an instance of Langford'...
read it

Memory Consistency Models using Constraints
Memory consistency models (MCMs) are at the heart of concurrent programm...
read it

Optimal BIBDextended designs
Balanced incomplete block designs (BIBDs) are a class of designs with v ...
read it

Quality of Experience from Cache Hierarchies: Keep your lowbitrate close, and highbitrate closer
Recent studies into streaming media delivery suggest that performance ga...
read it

Maximum likelihood (ML) estimators for scaled mutation parameters with a strand symmetric mutation model in equilibrium
With the multiallelic parentindependent mutationdrift model, the equil...
read it

The strong approximation theorem and computing with linear groups
We obtain a computational realization of the strong approximation theore...
read it

The Winnability of Klondike and Many Other SinglePlayer Card Games
The most famous singleplayer card game is 'Klondike', but our ignorance...
read it

Design by Immersion: A Transdisciplinary Approach to ProblemDriven Visualizations
While previous work exists on how to conduct and disseminate insights fr...
read it

Towards Improving Solution Dominance with Incomparability Conditions: A casestudy using Generator Itemset Mining
Finding interesting patterns is a challenging task in data mining. Const...
read it

A continuoustime statespace model for rapid qualitycontrol of Argos locations from animalborne tags
Statespace models are important tools for quality control of errorpron...
read it

MLJ: A Julia package for composable Machine Learning
MLJ (Machine Learing in Julia) is an open source software package provid...
read it

Stronger Lower Bounds for Polynomial Time Problems
We introduce techniques for proving stronger conditional lower bounds fo...
read it

Idris 2: Quantitative Type Theory in Practice
Dependent types allow us to express precisely what a function is intende...
read it
University of St Andrews
University of Victoria offers degrees in both undergraduate and graduate level curriculum. The University offers programs including undergraduate degree programs in nursing and business as well as graduate degree programs in accounting and biology.