University of St Andrews

research

∙ 10/03/2019

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

The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix...

Alan M. Frisch, et al. ∙

research

∙ 04/20/2022

MultiPathGAN: Structure Preserving Stain Normalization using Unsupervised Multi-domain Adversarial Network with Perception Loss

Histopathology relies on the analysis of microscopic tissue images to di...

Haseeb Nazki, et al. ∙

research

∙ 09/30/2019

CSPLib: Twenty Years On

In 1999, we introduced CSPLib, a benchmark library for the constraints c...

Ian Gent, et al. ∙

research

∙ 07/09/2021

Hoechst Is All You Need: Lymphocyte Classification with Deep Learning

Multiplex immunofluorescence and immunohistochemistry benefit patients b...

Jessica Cooper, et al. ∙

research

∙ 03/05/2016

A Linked Data Scalability Challenge: Concept Reuse Leads to Semantic Decay

The increasing amount of available Linked Data resources is laying the f...

Paolo Pareti, et al. ∙

research

∙ 04/22/2015

Generalized Support and Formal Development of Constraint Propagators

Constraint programming is a family of techniques for solving combinatori...

James Caldwell, et al. ∙

research

∙ 10/29/2014

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

This paper proposes a novel framework for representing community know-ho...

Paolo Pareti, et al. ∙

research

∙ 12/14/2015

Compressed Dynamic Mode Decomposition for Background Modeling

We introduce the method of compressed dynamic mode decomposition (cDMD) ...

N. Benjamin Erichson, et al. ∙

research

∙ 12/11/2015

Randomized Low-Rank Dynamic Mode Decomposition for Motion Detection

This paper introduces a fast algorithm for randomized computation of a l...

N. Benjamin Erichson, et al. ∙

research

∙ 10/28/2011

Modelling Constraint Solver Architecture Design as a Constraint Problem

Designing component-based constraint solvers is a complex problem. Some ...

Ian P. Gent, et al. ∙

research

∙ 08/25/2010

Distributed solving through model splitting

Constraint problems can be trivially solved in parallel by exploring dif...

Lars Kotthoff, et al. ∙

research

∙ 08/25/2010

Machine learning for constraint solver design -- A case study for the alldifferent constraint

Constraint solvers are complex pieces of software which require many des...

Ian Gent, et al. ∙

research

∙ 05/19/2010

Using machine learning to make constraint solver implementation decisions

Programs to solve so-called constraint problems are complex pieces of so...

Lars Kotthoff, et al. ∙

research

∙ 05/01/2010

The Exact Closest String Problem as a Constraint Satisfaction Problem

We report (to our knowledge) the first evaluation of Constraint Satisfac...

Tom Kelsey, et al. ∙

research

∙ 01/31/2010

Dominion -- A constraint solver generator

This paper proposes a design for a system to generate constraint solvers...

Lars Kotthoff, et al. ∙

research

∙ 04/12/2013

The Recomputation Manifesto

Replication of scientific experiments is critical to the advance of scie...

Ian P. Gent, et al. ∙

research

∙ 11/24/2017

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...

Long Thai, et al. ∙

research

∙ 11/15/2017

MAMoC: Multisite Adaptive Offloading Framework for Mobile Cloud Applications

This paper presents MAMoC, a framework which brings together a diverse r...

Dawand Sulaiman, et al. ∙

research

∙ 11/28/2017

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...

Wei Jing, et al. ∙

research

∙ 06/04/2013

V-BOINC: The Virtualization of BOINC

The Berkeley Open Infrastructure for Network Computing (BOINC) is an ope...

Gary A. McGilvary, et al. ∙

research

∙ 03/27/2017

Randomized CP Tensor Decomposition

The CANDECOMP/PARAFAC (CP) tensor decomposition is a popular dimensional...

N. Benjamin Erichson, et al. ∙

research

∙ 09/04/2017

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...

Michail Papathomas, et al. ∙

research

∙ 09/04/2017

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...

Michail Papathomas, et al. ∙

research

∙ 03/01/2018

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

This paper introduces a reinforcement-learning based resource allocation...

Georgios C. Chasparis, et al. ∙

research

∙ 03/29/2018

A Review of Literature on Parallel Constraint Solving

As multicore computing is now standard, it seems irresponsible for const...

Ian P. Gent, et al. ∙

research

∙ 04/30/2018

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

First-order resolution has been used for type inference for many years, ...

František Farka, et al. ∙

research

∙ 06/19/2018

Francy - An Interactive Discrete Mathematics Framework for GAP

Data visualization and interaction with large data sets is known to be e...

Manuel Machado Martins, et al. ∙

research

∙ 07/27/2018

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...

Nnamdi Ekwe-Ekwe, et al. ∙

research

∙ 08/28/2018

An Academic's Observations from a Sabbatical at Google

How experiences gained in industry can improve academic research and tea...

Adam Barker, et al. ∙

research

∙ 08/29/2018

Modelling Langford's Problem: A Viewpoint for Search

The performance of enumerating all solutions to an instance of Langford'...

Özgür Akgün, et al. ∙

research

∙ 08/29/2018

Memory Consistency Models using Constraints

Memory consistency models (MCMs) are at the heart of concurrent programm...

Ruth Hoffmann, et al. ∙

research

∙ 02/12/2019

Optimal BIBD-extended designs

Balanced incomplete block designs (BIBDs) are a class of designs with v ...

Sera Aylin Cakiroglu, et al. ∙

research

∙ 03/22/2019

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...

Wenjie Li, et al. ∙

research

∙ 05/06/2019

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...

Claus Vogl, et al. ∙

research

∙ 05/07/2019

The strong approximation theorem and computing with linear groups

We obtain a computational realization of the strong approximation theore...

Alla Detinko, et al. ∙

research

∙ 06/28/2019

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

The most famous single-player card game is 'Klondike', but our ignorance...

Charlie Blake, et al. ∙

research

∙ 08/01/2019

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

While previous work exists on how to conduct and disseminate insights fr...

Kyle Wm. Hall, et al. ∙

research

∙ 10/01/2019

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...

Gökberk Koçak, et al. ∙

research

∙ 05/01/2020

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...

Ian D. Jonsen, et al. ∙

research

∙ 07/23/2020

MLJ: A Julia package for composable Machine Learning

MLJ (Machine Learing in Julia) is an open source software package provid...

Anthony D. Blaom, et al. ∙

research

∙ 08/15/2020

Stronger Lower Bounds for Polynomial Time Problems

We introduce techniques for proving stronger conditional lower bounds fo...

András Z. Salamon, et al. ∙

research

∙ 04/01/2021

Idris 2: Quantitative Type Theory in Practice

Dependent types allow us to express precisely what a function is intende...

Edwin Brady, et al. ∙

research

∙ 10/24/2021

The privacy protection effectiveness of the video conference platforms' virtual background and the privacy concerns from the end-users

Due to the abrupt arise of pandemic worldwide, the video conferencing pl...

Shijing He, et al. ∙

research

∙ 10/27/2021

A Preliminary Case Study of Planning With Complex Transitions: Plotting

Plotting is a tile-matching puzzle video game published by Taito in 1989...

Jordi Coll, et al. ∙

research

∙ 11/01/2021

Towards Reformulating Essence Specifications for Robustness

The Essence language allows a user to specify a constraint problem at a ...

Özgür Akgün, et al. ∙

research

∙ 11/03/2021

Effective guessing has unlikely consequences

A classic result of Paul, Pippenger, Szemerédi and Trotter states that D...

András Z. Salamon, et al. ∙

research

∙ 12/10/2021

Short and Long Range Relation Based Spatio-Temporal Transformer for Micro-Expression Recognition

Being spontaneous, micro-expressions are useful in the inference of a pe...

Liangfei Zhang, et al. ∙

research

∙ 02/08/2022

Variance matrix priors for Dirichlet process mixture models with Gaussian kernels

The Dirichlet Process Mixture Model (DPMM) is a Bayesian non-parametric ...

Wei Jing, et al. ∙

research

∙ 05/12/2022

Bayesian inference for stochastic oscillatory systems using the phase-corrected Linear Noise Approximation

Likelihood-based inference in stochastic non-linear dynamical systems, s...

Ben Swallow, et al. ∙

University of St Andrews

Featured Researchers