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

Completeness in Polylogarithmic Time and Space
Complexity theory can be viewed as the study of the relationship between...
read it

Realisability of ControlState Choreographies
Choreographies prescribe the rendezvous synchronisation of messages in ...
read it

Insignificant Choice Polynomial Time
In the late 1980s Gurevich conjectured that there is no logic capturing ...
read it

Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms
We develop a behavioural theory of reflective sequential algorithms (RSA...
read it

A Behavioural Theory of Recursive Algorithms
“What is an algorithm?” is a fundamental question of computer science. G...
read it

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems
The polylogarithmic time hierarchy structures sublinear time complexity...
read it

A Restricted SecondOrder Logic for Nondeterministic PolyLogarithmic Time
We introduce a restricted secondorder logic SO^plog for finite structur...
read it

Concurrent Computing with Shared Replicated Memory
The behavioural theory of concurrent systems states that any concurrent ...
read it

The PolylogTime Hierarchy Captured by Restricted SecondOrder Logic
Let SO^plog denote the restriction of secondorder logic, where secondo...
read it

Serialisable MultiLevel Transaction Control: A Specification and Verification
We define a programming language independent controller TaCtl for multi...
read it

Specifying Transaction Control to Serialize Concurrent Program Executions
We define a programming language independent transaction controller and ...
read it
KlausDieter Schewe
is this you? claim profile