
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)
Machine Learning (ML) is now used in a range of systems with results tha...
read it

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

DeepFault: Fault Localization for Deep Neural Networks
Deep Neural Networks (DNNs) are increasingly deployed in safetycritical...
read it

Divided We Stand: A Novel Residual Group Attention Mechanism for Medical Image Segmentation
Given that convolutional neural networks extract features via learning c...
read it

InverseRenderNet: Learning single image inverse rendering
We show how to train a fully convolutional neural network to perform inv...
read it

Depth from a polarisation + RGB stereo pair
In this paper, we propose a hybrid depth imaging system in which a polar...
read it

A Comparison of SelfPlay Algorithms Under a Generalized Framework
Throughout scientific history, overarching theoretical frameworks have a...
read it

Robust DCDBased Recursive Adaptive Algorithms
The dichotomous coordinate descent (DCD) algorithm has been successfully...
read it

Growing 3D Artefacts and Functional Machines with Neural Cellular Automata
Neural Cellular Automata (NCAs) have been proven effective in simulating...
read it

Study of Diffusion Normalized Least Mean Mestimate Algorithms
This work proposes diffusion normalized least mean Mestimate algorithm ...
read it

Win Prediction in Esports: MixedRank Match Prediction in Multiplayer Online Battle Arena Games
Esports has emerged as a popular genre for players as well as spectators...
read it

Linear Differential Constraints for Photopolarimetric Height Estimation
In this paper we present a differential approach to photopolarimetric s...
read it

3D Morphable Models as Spatial Transformer Networks
In this paper, we show how a 3D Morphable Model (i.e. a statistical mode...
read it

What does 2D geometric information really tell us about 3D face shape?
A face image contains geometric cues in the form of configurational info...
read it

Collective Adaptive Systems: Challenges Beyond Evolvability
This position paper overviews several challenges of collective adaptive ...
read it

Distance Metric Ensemble Learning and the AndrewsCurtis Conjecture
Motivated by the search for a counterexample to the Poincaré conjecture ...
read it

"Going back to our roots": second generation biocomputing
Researchers in the field of biocomputing have, for many years, successfu...
read it

What is Learning? A primary discussion about information and Representation
Nowadays, represented by Deep Learning techniques, the field of machine ...
read it

On Valid Optimal Assignment Kernels and Applications to Graph Classification
The success of kernel methods has initiated the design of novel positive...
read it

Eartoear Capture of Facial Intrinsics
We present a practical approach to capturing eartoear face models comp...
read it

Creating a level playing field for all symbols in a discretization
In time series analysis research there is a strong interest in discrete ...
read it

Fitting a 3D Morphable Model to Edges: A Comparison Between Hard and Soft Correspondences
We propose a fully automatic method for fitting a 3D morphable model to ...
read it

Exact Estimation of Multiple Directed Acyclic Graphs
This paper considers the problem of estimating the structure of multiple...
read it

Multiset Ordering Constraints
We identify a new and important global (or nonbinary) constraint. This ...
read it

Scenariobased Stochastic Constraint Programming
To model combinatorial decision problems involving uncertainty and proba...
read it

Effective Optimization Criteria and Relay Selection Algorithms for PhysicalLayer Security in MultipleAntenna Relay Networks
Physicallayer security for wireless networks has become an effective ap...
read it

Study of Joint MMSE Consensus and Relay Selection Algorithms for Distributed Beamforming
This work presents joint minimum meansquare error (MMSE) consensus algo...
read it

Steganalysis of 3D Objects Using Statistics of Local Feature Sets
3D steganalysis aims to identify subtle invisible changes produced in gr...
read it

Study of Robust Distributed Beamforming Based on CrossCorrelation and Subspace Projection Techniques
In this work, we present a novel robust distributed beamforming (RDB) ap...
read it

Unifying Theories of Timed with Generalised Reactive Processes
Hoare and He's theory of reactive processes provides a unifying foundati...
read it

CellFree Massive MIMO with Limited Backhaul
We consider a cellfree Massive multipleinput multipleoutput (MIMO) sy...
read it

Enhanced MaxMin SINR for Uplink CellFree Massive MIMO Systems
In this paper, we consider the maxmin signaltointerference plus noise...
read it

Analysing and Patching SPEKE in ISO/IEC
Simple Password Exponential Key Exchange (SPEKE) is a wellknown Passwor...
read it

Study of KnowledgeAided Iterative Detection and Decoding for Multiuser MIMO Systems
In this work, we consider the problem of reduced latency of lowdensity ...
read it

A Centrality Measure for Cycles and Subgraphs II
In a recent work we introduced a measure of importance for groups of ver...
read it

Music Genre Classification using Masked Conditional Neural Networks
The ConditionaL Neural Networks (CLNN) and the Masked ConditionaL Neural...
read it

Unifying Theories of Time with Generalised Reactive Processes
Hoare and He's theory of reactive processes provides a unifying foundati...
read it

Masked Conditional Neural Networks for Audio Classification
We present the ConditionaL Neural Network (CLNN) and the Masked Conditio...
read it

On The Uplink Throughput of ZeroForcing in CellFree Massive MIMO with Coarse Quantization
The recently proposed CellFree massive MIMO architecture is studied for...
read it

Nonrigid 3D Shape Registration using an Adaptive Template
We present a new fullyautomatic nonrigid 3D shape registration (morphi...
read it

Statistical transformer networks: learning shape and appearance models via self supervision
We generalise Spatial Transformer Networks (STN) by replacing the parame...
read it

An Evaluation of Classification and Outlier Detection Algorithms
This paper evaluates algorithms for classification and outlier detection...
read it

Study of UniqueWord Based GFDM Transmission Systems
In this paper, we propose the use of a deterministic sequence, known as ...
read it

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Reactive programs are ubiquitous in modern applications, and thus verifi...
read it

On the tadic Littlewood Conjecture
The padic Littlewood Conjecture due to De Mathan and Teulié asserts tha...
read it

Evolving simple programs for playing Atari games
Cartesian Genetic Programming (CGP) has previously shown capabilities in...
read it

A New Look at the Refund Mechanism in the Bitcoin Payment Protocol
BIP70 is the Bitcoin payment protocol for communication between a mercha...
read it

Beamforming Techniques for NonOrthogonal Multiple Access in 5G Cellular Networks
In this paper, we develop various beamforming techniques for downlink tr...
read it

The TextBased Adventure AI Competition
In 2016 and 2017 at the IEEE Conference on Computational Intelligence in...
read it

Finding Minimal Cost Herbrand Models with BranchCutandPrice
Given (1) a set of clauses T in some firstorder language L and (2) a c...
read it
University of York
0525 The University of York is a collegiate plate glass research university, located in the city of York, England.