research
∙
02/12/2021
Exploiting Spline Models for the Training of Fully Connected Layers in Neural Network
The fully connected (FC) layer, one of the most fundamental modules in a...
share
research
∙
09/08/2020
Completeness in Polylogarithmic Time and Space
Complexity theory can be viewed as the study of the relationship between...
research
∙
09/08/2020
Realisability of Control-State Choreographies
Choreographies prescribe the rendez-vous synchronisation of messages in ...
research
∙
05/10/2020
Insignificant Choice Polynomial Time
In the late 1980s Gurevich conjectured that there is no logic capturing ...
research
∙
01/07/2020
Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms
We develop a behavioural theory of reflective sequential algorithms (RSA...
research
∙
01/07/2020
A Behavioural Theory of Recursive Algorithms
“What is an algorithm?” is a fundamental question of computer science. G...
research
∙
11/29/2019
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems
The polylogarithmic time hierarchy structures sub-linear time complexity...
research
∙
11/29/2019
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time
We introduce a restricted second-order logic SO^plog for finite structur...
research
∙
02/13/2019
Concurrent Computing with Shared Replicated Memory
The behavioural theory of concurrent systems states that any concurrent ...
research
∙
06/19/2018
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic
Let SO^plog denote the restriction of second-order logic, where second-o...
research
∙
06/12/2017
Serialisable Multi-Level Transaction Control: A Specification and Verification
We define a programming language independent controller TaCtl for multi-...
research
∙
06/06/2017