University of St Andrews

∙ St Andrews , United Kingdom ∙ 0 followers

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.

A Commentary on "Breaking Row and Column Symmetries in Matrix Models"

The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix...
10/03/2019 ∙ by Alan M. Frisch, et al. ∙ 23 ∙ share

read it
CSPLib: Twenty Years On

In 1999, we introduced CSPLib, a benchmark library for the constraints c...
09/30/2019 ∙ by Ian Gent, et al. ∙ 15 ∙ share

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...
03/05/2016 ∙ by Paolo Pareti, et al. ∙ 0 ∙ share

read it
Generalized Support and Formal Development of Constraint Propagators

Constraint programming is a family of techniques for solving combinatori...
04/22/2015 ∙ by James Caldwell, et al. ∙ 0 ∙ share

read it
A Semantic Web of Know-How: Linked Data for Community-Centric Tasks

This paper proposes a novel framework for representing community know-ho...
10/29/2014 ∙ by Paolo Pareti, et al. ∙ 0 ∙ share

read it
Compressed Dynamic Mode Decomposition for Background Modeling

We introduce the method of compressed dynamic mode decomposition (cDMD) ...
12/14/2015 ∙ by N. Benjamin Erichson, et al. ∙ 0 ∙ share

read it
Randomized Low-Rank Dynamic Mode Decomposition for Motion Detection

This paper introduces a fast algorithm for randomized computation of a l...
12/11/2015 ∙ by N. Benjamin Erichson, et al. ∙ 0 ∙ share

read it
Modelling Constraint Solver Architecture Design as a Constraint Problem

Designing component-based constraint solvers is a complex problem. Some ...
10/28/2011 ∙ by Ian P. Gent, et al. ∙ 0 ∙ share

read it
Distributed solving through model splitting

Constraint problems can be trivially solved in parallel by exploring dif...
08/25/2010 ∙ by Lars Kotthoff, et al. ∙ 0 ∙ share

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...
08/25/2010 ∙ by Ian Gent, et al. ∙ 0 ∙ share

read it
Using machine learning to make constraint solver implementation decisions

Programs to solve so-called constraint problems are complex pieces of so...
05/19/2010 ∙ by Lars Kotthoff, et al. ∙ 0 ∙ share

read it
The Exact Closest String Problem as a Constraint Satisfaction Problem

We report (to our knowledge) the first evaluation of Constraint Satisfac...
05/01/2010 ∙ by Tom Kelsey, et al. ∙ 0 ∙ share

read it
Dominion -- A constraint solver generator

This paper proposes a design for a system to generate constraint solvers...
01/31/2010 ∙ by Lars Kotthoff, et al. ∙ 0 ∙ share

read it
The Recomputation Manifesto

Replication of scientific experiments is critical to the advance of scie...
04/12/2013 ∙ by Ian P. Gent, et al. ∙ 0 ∙ share

read it
A Survey and Taxonomy of Resource Optimisation for Executing Bag-of-Task Applications on Public Clouds

Cloud computing has been widely adopted due to the flexibility in resour...
11/24/2017 ∙ by Long Thai, et al. ∙ 0 ∙ share

read it
MAMoC: Multisite Adaptive Offloading Framework for Mobile Cloud Applications

This paper presents MAMoC, a framework which brings together a diverse r...
11/15/2017 ∙ by Dawand Sulaiman, et al. ∙ 0 ∙ share

read it
On the correspondence of deviances and maximum likelihood and interval estimates from log-linear to logistic regression modelling

Consider a set of categorical variables P where at least one, denoted by...
11/28/2017 ∙ by Wei Jing, et al. ∙ 0 ∙ share

read it
V-BOINC: The Virtualization of BOINC

The Berkeley Open Infrastructure for Network Computing (BOINC) is an ope...
06/04/2013 ∙ by Gary A. McGilvary, et al. ∙ 0 ∙ share

read it
Randomized CP Tensor Decomposition

The CANDECOMP/PARAFAC (CP) tensor decomposition is a popular dimensional...
03/27/2017 ∙ by N. Benjamin Erichson, et al. ∙ 0 ∙ share

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...
09/04/2017 ∙ by Michail Papathomas, et al. ∙ 0 ∙ share

read it
On synthetic data with predetermined subject partitioning and cluster profiling, and pre-specified categorical variable marginal dependence structure

A standard approach for assessing the performance of partition or mixtur...
09/04/2017 ∙ by Michail Papathomas, et al. ∙ 0 ∙ share

read it
Learning-based Dynamic Pinning of Parallelized Applications in Many-Core Systems

This paper introduces a reinforcement-learning based resource allocation...
03/01/2018 ∙ by Georgios C. Chasparis, et al. ∙ 0 ∙ share

read it
A Review of Literature on Parallel Constraint Solving

As multicore computing is now standard, it seems irresponsible for const...
03/29/2018 ∙ by Ian P. Gent, et al. ∙ 0 ∙ share

read it
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis

First-order resolution has been used for type inference for many years, ...
04/30/2018 ∙ by František Farka, et al. ∙ 0 ∙ share

read it
Francy - An Interactive Discrete Mathematics Framework for GAP

Data visualization and interaction with large data sets is known to be e...
06/19/2018 ∙ by Manuel Machado Martins, et al. ∙ 0 ∙ share

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...
07/27/2018 ∙ by Nnamdi Ekwe-Ekwe, et al. ∙ 0 ∙ share

read it
An Academic's Observations from a Sabbatical at Google

How experiences gained in industry can improve academic research and tea...
08/28/2018 ∙ by Adam Barker, et al. ∙ 0 ∙ share

read it
Modelling Langford's Problem: A Viewpoint for Search

The performance of enumerating all solutions to an instance of Langford'...
08/29/2018 ∙ by Özgür Akgün, et al. ∙ 0 ∙ share

read it
Memory Consistency Models using Constraints

Memory consistency models (MCMs) are at the heart of concurrent programm...
08/29/2018 ∙ by Ruth Hoffmann, et al. ∙ 0 ∙ share

read it
Optimal BIBD-extended designs

Balanced incomplete block designs (BIBDs) are a class of designs with v ...
02/12/2019 ∙ by Sera Aylin Cakiroglu, et al. ∙ 0 ∙ share

read it
Quality of Experience from Cache Hierarchies: Keep your low-bitrate close, and high-bitrate closer

Recent studies into streaming media delivery suggest that performance ga...
03/22/2019 ∙ by Wenjie Li, et al. ∙ 0 ∙ share

read it
Maximum likelihood (ML) estimators for scaled mutation parameters with a strand symmetric mutation model in equilibrium

With the multiallelic parent-independent mutation-drift model, the equil...
05/06/2019 ∙ by Claus Vogl, et al. ∙ 0 ∙ share

read it
The strong approximation theorem and computing with linear groups

We obtain a computational realization of the strong approximation theore...
05/07/2019 ∙ by Alla Detinko, et al. ∙ 0 ∙ share

read it
The Winnability of Klondike and Many Other Single-Player Card Games

The most famous single-player card game is 'Klondike', but our ignorance...
06/28/2019 ∙ by Charlie Blake, et al. ∙ 0 ∙ share

read it
Design by Immersion: A Transdisciplinary Approach to Problem-Driven Visualizations

While previous work exists on how to conduct and disseminate insights fr...
08/01/2019 ∙ by Kyle Wm. Hall, et al. ∙ 0 ∙ share

read it
Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining

Finding interesting patterns is a challenging task in data mining. Const...
10/01/2019 ∙ by Gökberk Koçak, et al. ∙ 0 ∙ share

read it
A continuous-time state-space model for rapid quality-control of Argos locations from animal-borne tags

State-space models are important tools for quality control of error-pron...
05/01/2020 ∙ by Ian D. Jonsen, et al. ∙ 0 ∙ share

read it
MLJ: A Julia package for composable Machine Learning

MLJ (Machine Learing in Julia) is an open source software package provid...
07/23/2020 ∙ by Anthony D. Blaom, et al. ∙ 0 ∙ share

read it
Stronger Lower Bounds for Polynomial Time Problems

We introduce techniques for proving stronger conditional lower bounds fo...
08/15/2020 ∙ by András Z. Salamon, et al. ∙ 0 ∙ share

read it
Idris 2: Quantitative Type Theory in Practice

Dependent types allow us to express precisely what a function is intende...
04/01/2021 ∙ by Edwin Brady, et al. ∙ 0 ∙ share

read it

University of St Andrews

Featured Researchers